Вопросы по теме 'sml'
Как использовать библиотеку 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
Каковы пределы вывода типов?
Каковы пределы вывода типов? Какие системы типов не имеют общего алгоритма вывода?
1443 просмотров
schedule
08.03.2023
SML и церковные цифры
У меня есть задание, в котором мне нужно реализовать церковные цифры в SML, используя тип данных: тип данных 'церковь = C of ('a -'a) * 'a -> 'a
Я должен написать функцию create :int -> 'церковь и функцию ChurchToint. Пока у меня есть следующий...
1501 просмотров
schedule
12.05.2022
Как получить предшественника церковной цифры
Я практикуюсь с SML, и я выполняю небольшое задание, в котором мы должны реализовать числительные Черча, определенные как:
datatype 'a church = C of ('a -> 'a) * 'a -> 'a
пример вал
ZERO = C(fn (f,x) => x)
Я уже реализовал...
1238 просмотров
schedule
11.04.2024
Проверка на равенство в списках в SML
я хочу написать функцию, которая проверяет равенство списков в SML, например: [1,2,3] = [1,2,3]; val it = true: bool
Поэтому вместо того, чтобы записывать все это целиком, я хочу создать функцию, которая принимает два предопределенных списка и...
9570 просмотров
schedule
19.01.2023
Как перебрать список?
Я пытаюсь выполнять основные операции со списком с помощью SML.
Я хочу извлечь каждый элемент списка и добавить строку к этому элементу и добавить его обратно в список. Пример:
List : [A,B,C,D]
String : A
Final List: [AA,AB,AC,AD]
Как я...
8552 просмотров
schedule
24.04.2024
Как сделать дополнение в списке с условием?
У меня есть университетский курс по функциональному программированию, где я использую SML. В качестве подготовки к экзамену я работаю над некоторыми из старых наборов экзаменов без решений.
Один из немногих вопросов, с которым у меня действительно...
10574 просмотров
schedule
14.02.2024
SML - оператор и операнд не согласуются
У меня есть такая простая функция:
val CLC_seq=
fn (n) =>
(Cons (n, find_CLC_seq(COL_seq(n))))
Когда:
find_CLC_sqe is : int seq -> int;
COL_seq is: fn: int -> int seq;
Составитель написал:
Error: operator...
969 просмотров
schedule
14.05.2024
Стандартный ML: возможно ли присвоение имен типам данных аргументов функции?
Я новичок в ML, и у меня есть функция, которая получает специальный предопределенный тип данных и может ссылаться на весь тип данных аргумента, а не на его компоненты.
Вот глупый пример:
datatype frame = Frame of string list * string list
(*...
2209 просмотров
schedule
26.05.2023
Почему моя функция перестановок выдает предупреждение, когда передается пустой список?
моя функция перестановки:
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
стандартный мл добавить элементы в пользовательский тип данных
Я хочу создать функцию для нового типа данных в Standard ML, тип данных называется intnest и определяется следующим образом:
datatype intnest =
INT of int
| LIST of intnest list;
и я хочу сделать функцию, которая добавляет все целые числа...
804 просмотров
schedule
05.12.2022
стандартный мл сделать бст из списка
Я хочу сделать стандартную функцию ml, которая берет список и функцию и делает из нее BST. Тип функции: 'a list -> ('a * 'a -> bool) -> 'a tree , но у меня с ней проблемы, вот код, который я написал:
datatype 'data tree =
EMPTY
|...
2027 просмотров
schedule
19.05.2023
SML ('список * int) - ›(' список, логическое значение)
Итак, это мой вопрос: я хочу создать функцию, которая принимает список и int, затем она рекурсивно перемещается по списку, и если она находит в списке элемент, равный int, он должен вернуть весь список с элемент удален, и логическое значение,...
893 просмотров
schedule
06.04.2022
Хвостовая рекурсия в SML не дает никакого результата
Следуя моему предыдущему сообщению здесь , я попытался сделать то, что было предложено, и преобразовать код в метод хвостовой рекурсии с let .
Исходный код - который не работает (из-за использования val внутри условия if ):
fun func()...
905 просмотров
schedule
14.01.2024
Поддерживает ли Standard ML Unicode?
Поддерживает ли Standard ML Unicode?
Я считаю, что это не так, но не могу найти никакой авторитетной документации для SML, в которой говорится об этом.
Да или нет — это все, что нужно, но вы должны знать наверняка. Никаких догадок или я верю...
1185 просмотров
schedule
11.05.2024
Можно ли получить строковое представление общей переменной в sml
Я написал универсальную функцию, и теперь мне нужно строковое представление универсальных переменных. Есть ли простой способ их получить?
Например:
fun arg:(string*'a) = (#1 arg) ^ toString((#2 arg)
Это то, что я хочу сделать в основном....
153 просмотров
schedule
09.01.2023
Как использовать карту с двумя списками?
Как в SML можно использовать функцию карты, которая принимает два списка и возвращает список каждого элемента в одном списке, умноженный на соответствующий элемент в другом списке?
Я старался
fun mult_list v1 v2 = map (fn (x, y) => x * y)...
863 просмотров
schedule
01.06.2022
SML: фильтрация списка нерекурсивно
Я пытаюсь отфильтровать список нерекурсивно, но я не уверен, как это сделать. Для простого примера предположим, что у меня есть список [1, 2, 3, 4, 5, 6, 7], и я хочу его отфильтровать, чтобы он возвращал список чисел больше 3, т. е. [4, 5, 6, 7]....
188 просмотров
schedule
28.01.2023