Вопросы по теме 'smlnj'
Как использовать библиотеку Queue в SML/NJ
Я вижу, что SML/NJ включает структуру очереди. Я не могу понять, как его использовать. Как использовать дополнительные библиотеки, предоставляемые SML/NJ?
1692 просмотров
schedule
30.11.2023
SML сравнивает файлы на битовом уровне
Я пытаюсь сравнить файлы в каталоге с помощью SML. Использовать библиотеку TextIO довольно просто, но мне нужно сравнить файлы на уровне битов. То есть бинарное сравнение. Я использую функцию, подобную этой:
fun listDir (s) = let
fun loop...
417 просмотров
schedule
05.01.2023
Как перебрать список?
Я пытаюсь выполнять основные операции со списком с помощью SML.
Я хочу извлечь каждый элемент списка и добавить строку к этому элементу и добавить его обратно в список. Пример:
List : [A,B,C,D]
String : A
Final List: [AA,AB,AC,AD]
Как я...
8552 просмотров
schedule
24.04.2024
Почему моя функция перестановок выдает предупреждение, когда передается пустой список?
моя функция перестановки:
fun perms [] = [[]]
| perms (x::xs) = let
fun insertEverywhere [] = [[x]]
| insertEverywhere (y::ys) = let
fun consY list = y::list
in...
798 просмотров
schedule
17.05.2022
Сведение потока в SML
У меня есть этот тип данных:
datatype 'a stream' = Susp of unit -> 'a stream
and 'a stream = Empty | Cons of 'a * 'a stream'
и я хочу написать функцию сглаживания, которая имеет тип ниже.
flatten: ’a stream’ stream’ -> ’a stream’...
1010 просмотров
schedule
12.01.2024
Хвостовая рекурсия в SML не дает никакого результата
Следуя моему предыдущему сообщению здесь , я попытался сделать то, что было предложено, и преобразовать код в метод хвостовой рекурсии с let .
Исходный код - который не работает (из-за использования val внутри условия if ):
fun func()...
905 просмотров
schedule
14.01.2024
number_in_month упражнение
Я новичок в SML и делаю домашнее задание. «Напишите функцию number_in_month, которая принимает список дат и месяц (т. Е. Целое число) и возвращает количество дат в списке в данном месяце».
Это то, что я разработал, и не вижу в этом ничего плохого....
1566 просмотров
schedule
29.12.2023
Почему я не могу получить доступ к внутренней структуре ORD_SET моей структуры?
Это упражнение, которое я составил, призвано помочь мне понять сигнатуры, структуры и функторы в стандартном машинном обучении. Кажется, я не могу заставить его работать. Для справки я использую
Standard ML of New Jersey v110.75 [built: Sun Jan...
278 просмотров
schedule
01.08.2022
Проблемы с функциями Curry (SML/NJ)
Часто нас интересует вычисление f(i) i=m n∑ , суммы значений функции f(i) для i = m через n. Определите «сигму f m n», которая вычисляет f(i) i=m n∑ . Это отличается от определения «сигма (f, m, n)».
Мне нужно написать Карри-версию этой...
4215 просмотров
schedule
06.11.2022
SML: разница между типом и типом данных
Я новичок в SML, и я хотел бы убедиться, что действительно знаю основы. В чем разница между типом и типом данных в SML и когда что использовать?
7061 просмотров
schedule
27.08.2023
копирование файлов в sml
Я пытаюсь изучить ввод-вывод в sml. Пытаясь скопировать строки ls , которые совпадают с s1 , в файл l2 , я сделал следующее. Я получаю некоторые ошибки, которые я не могу понять. Может кто-нибудь мне помочь.
fun test(l2:string,ls:string...
214 просмотров
schedule
21.04.2023
Более простой способ создать таблицу истинности
Я хочу создать список списков в SML, который представляет собой таблицу истинности следующего вида:
Example:
[
[("r",true),("p",true),("q",true)],
[("r",false),("p",false),("q",true)],
[("r",false),("p",true),("q",true)],
...
]...
822 просмотров
schedule
27.03.2023
SML больше двух списков
Нужна помощь с проблемой SML, которую я не могу решить. В основном у меня есть два списка, и мне нужно вернуть большее из каждого списка.
Пример вызова:
Greater([8,4,12,5,6],[2,6,14,4,5]);
Вернул бы (8,6,14,6).
Я только начал работать...
282 просмотров
schedule
31.01.2024
Sml как использовать вложенные структуры
Как я могу определить «вложенные структуры» в SML таким образом, чтобы я мог делать что-то похожее на это:
structure Why_Does =
struct
val seriously = "..."
Structure This_Not_Work =
struct
val hmm = "this confuses...
193 просмотров
schedule
19.07.2022
SML/NJ Напишите функцию фильтра, которая принимает анонимную функцию в качестве аргумента.
Меня просят написать функцию фильтра в SMLNJ
filter: ('a -> bool) * 'a list -> 'a list
который принимает функцию f и список L в качестве параметров и возвращает новый список, содержащий элементы l из L, для которых f(l)...
479 просмотров
schedule
15.08.2022
Получение типа выражения в SML
Я новичок в sml и пытаюсь понять, как получить тип выражения. Я прочитал Получение выражения типа в ML , и я пытаюсь повторить то, что он сделал, чтобы получить мое выражение, но я не могу понять один отрывок.
Выражение, которое я пытаюсь...
182 просмотров
schedule
28.03.2024
Попытка понять синтаксис Lex для стандартного ML (ml-lex)
Пишу компилятор. Я на первом этапе, пытаюсь все токенизировать. Я все написал, но у меня ошибка. Я читал документы (smlnj) три или четыре раза, и ошибки не очень информативны.
Я думаю, что я, должно быть, испортил аспект изменения состояния...
768 просмотров
schedule
04.03.2024
Как сократить список в стандартных мл
Я только начинаю работать со стандартным мл, и мне действительно трудно понять список на этом языке. Итак, мой вопрос: как сократить список в мл? Например, если у меня есть список [1,2,3,4,5,6], я хочу сократить его до [1,2]. Что у меня есть до сих...
86 просмотров
schedule
03.04.2024
печать строки и вызов рекурсивной функции
В настоящее время я изучаю sml, но у меня есть один вопрос, на который я не могу найти ответ. Я погуглил, но все еще ничего не нашел.
Это мой код:
fun diamond(n) =
if(n=1) then (
print("*")
) else (
print("*")
diamond(n-1)...
403 просмотров
schedule
05.03.2024
Нужна помощь в понимании функции продолжения
Это из учебного примера, иллюстрирующего CPS и хвостовую рекурсию:
fun sum [] k = k 0
| sum (x::xs) k = sum xs (fn y=>k(x+y));
У меня проблемы с пониманием того, как анонимная функция fn y=>k(x+y) будет правильно суммировать...
32 просмотров
schedule
05.01.2023