Вопросы по теме 'sml'
Стандартный ML: возврат разных типов
Мне нужно вернуть другое значение на основе функции, переданной в другую функцию.
Итак, дано: fun inc x = x + 1;
И: fun double [] = [] | double (h::t) = 2*h::double (t);
Вы должны иметь возможность вызывать функцию, над которой я работаю....
1377 просмотров
schedule
06.04.2024
Увеличение глубины печати в SML / NJ
Я пытаюсь заставить SML / NJ распечатать результат на верхнем уровне, не помещая повсюду знаки #.
Согласно некоторым старым документам (и сообщению в этой группе новостей от 2001 г.), должно быть возможно использовать...
5492 просмотров
schedule
09.04.2024
стандартная мл быстрая сортировка
Я пытаюсь решить проблему в мл, и я немного застрял. простите меня, что это тривиальный код, но ответ на него решит большую часть моей проблемы.
Код:
val sorted = ([3, 2, 1], [5, 8, 4]);
fun loop ([]) = []
| loop (x::xs) = [3] @ [4];
loop...
856 просмотров
schedule
15.11.2023
Сравнение списков в Standard ML
Я новичок в SML, и мы только что получили первое задание по программированию для класса, и мне нужно немного разобраться.
Вопрос в следующем: напишите функцию ML с именем minus: int list * int list -> int list , которая принимает два списка...
3416 просмотров
schedule
24.04.2024
Я хочу разбить список на кортеж нечетных и четных элементов
Привет всем, я новичок в программировании, и я делаю проблему для обучения и удовольствия. Я немного застрял на этом этапе.. Проблема от Introduction to Programming using Sml 5.9
Я хочу разделить список [x1, x2, x3, ... ,xn] = ([x1, x3,....],...
2669 просмотров
schedule
25.10.2022
Веселые отступы в режиме SML
Я установил режим SML в Emacs, и отступы перепутались. Я отключил все свои настройки .emacs, но это не имело никакого значения. В конце каждой строки в приведенном ниже коде я использовал C-j , который сопоставляется с newline-and-indent ....
1376 просмотров
schedule
22.11.2023
ОШИБКА: список строк вместо списка строк
У меня есть эта функция, которая выводит список строк:
fun get_substitutions1 ([],_) = []
| get_substitutions1 (x::xs,s) = case all_except_option(s,x) of
NONE => [] @get_substitutions1(xs,s)
| SOME lst => lst...
507 просмотров
schedule
18.12.2023
Преобразование шестнадцатеричной строки в целое число
У меня есть шестнадцатеричная строка, например "0xff" , и я хочу преобразовать ее в int, то есть 255.
Но Int.fromString "0xff" дает ответ 0 .
Я думал, что Int.scan поможет. Но я новичок в SML.
421 просмотров
schedule
21.10.2022
Знакомство с сигами и структурами с приведением встроенного типа списка к пользовательскому типу стека
Предположим, у меня есть начало определения стека, подобное следующему:
signature STACK = sig
type 'a stack
end;
structure Stack :> STACK = struct
type 'a stack = 'a list
end;
Очевидно, это не работает, потому что я не могу привести...
146 просмотров
schedule
11.04.2024
Как вывести тип функции в SML(fun foo f=f 5;)
У меня есть функция foo, определенная следующим образом
fun foo f = f 5;
Как вывести тип функции?
100 просмотров
schedule
28.03.2024
SML-функциональное программирование
Я хочу написать код в SML, который имитирует код C++, например
i=i+1;
or
i++
Короче говоря, я хочу подсчитать, сколько раз выполняется цикл (рекурсия), когда оператор if верен. Разъясняя это дальше. Мой проблемный код выглядит...
160 просмотров
schedule
31.10.2022
Преобразование функции Haskell в SML
Я пытаюсь преобразовать функцию Haskell, которая отображает логическую формулу, в функцию SML.
Функция:
data Formula
= Atom String
| Neg Formula
| Conj Formula Formula
| Disj Formula Formula
precedence :: Formula -> Int...
296 просмотров
schedule
07.11.2023
Бесконечный цикл в быстрой сортировке SML?
Итак, я написал эту функцию быстрой сортировки на SML, чтобы использовать свертывание функций высокого порядка, но она зависает в бесконечном цикле, и я не могу определить неисправную логику, которая ее вызывает. Любые предложения о том, где искать?...
423 просмотров
schedule
16.02.2024
SML, как явно установить тип параметра функции в IntInf
Я пытаюсь создать функцию сортировки для уникальных больших чисел в SML, но компилятор продолжает устанавливать тип моей функции на int вместо 'a. Как я могу явно указать компилятору использовать IntInf?
Вот мой код:
fun selectsort([a]) = [a]...
201 просмотров
schedule
22.01.2024
Стандартный ML: итеративный против рекурсивного
Я читаю ML для рабочего программиста и немного смущен авторским различием между итеративным и рекурсивным. Насколько я понимаю, «рекурсивный» просто относится к функции, которая вызывает себя. Любая функция, которая не является рекурсивной, является...
706 просмотров
schedule
17.01.2024
Избыточное сопоставление с образцом
Я пытаюсь написать функцию, которая определяет, является ли данное число n идеальным квадратом. Вот моя попытка:
local
fun perfect_square_iter x z = let val sqr = z * z in
case (x,z) of
(sqr,_) => true
| (_, 0) =>...
565 просмотров
schedule
15.02.2024
Стандартная ошибка ML: оператор и операнд не согласуются
Я хочу написать функцию number_before_reaching_sum , которая принимает int с именем sum и возвращает int n так, чтобы первые n элементов списка складывались меньше суммы, но первые n + 1 элементов списка добавлялись к сумме или более. Вот мой код...
269 просмотров
schedule
14.09.2022
Как получить значения внутри переменной типа данных?
Допустим, у меня есть следующий тип данных дерева:
datatype 'a tree = Empty | Node of 'a * 'a tree * 'a tree;
val x = Node(10, Node(20, Empty, Empty), Node(30, Empty, Empty));
Здесь x — переменная типа int tree. Что я хочу знать, так это то,...
646 просмотров
schedule
07.11.2022
Как мне интерпретировать это выражение ввода SML?
(* val bar = fn : (’a * ’b -> ’b) -> ’b -> ’a list -> ’b *)
fun bar f b nil = b
| bar f b (h::t) = f (h, bar f b t)
Эта функция была дана нам с инструкциями по объяснению того, что она делает. Единственная дополнительная информация...
69 просмотров
schedule
24.03.2024
Как я могу поддерживать счетчик при использовании карты в списке?
Это для классного задания.
Я должен реализовать функцию в ML evalxy poly x y , где poly — это int list list , представляющий полином. Термин в позиции n во внутреннем списке и позиции m во внешнем списке является коэффициентом для x^n *...
25 просмотров
schedule
16.01.2024