Вопросы по теме 'sml'
Удаление/удаление поддеревьев в SML
Эй, я хочу запрограммировать функцию удаления, которая, учитывая дерево, я могу удалить узел в дереве, чтобы он возвращал исходное дерево за вычетом узла и поддерева этого узла. каждый намек помогает, и спасибо заранее:)
494 просмотров
schedule
02.03.2024
причины ошибок в ML коде
Приведенный ниже код является своего рода прототипом. Я хочу знать, почему он не компилируется.
fun test(list) =
let
fun inner(list) =
let
val from = #1(hd(list))
in
if null(tl(list)) = false then...
1030 просмотров
schedule
20.10.2022
Vim изменяет ширину сдвига для файлов .sml
Vim под Win 7 меняет настройку ширины сдвига на то, что мне не нужно только для файлов .sml.
Я хочу, чтобы все было с отступом только с пробелами, и чтобы все всегда было 4 пробела. Это содержимое моего текущего файла _vimrc, хотя я пробовал много...
633 просмотров
schedule
02.09.2022
Функционально Все, кроме одного
Как я могу объявить функцию, которая принимает число и список чисел и возвращает NONE, если такого числа нет в списке, в противном случае возвращает параметр списка («Может быть» в Haskell) без этого числа? Если таких чисел больше одного, функция...
232 просмотров
schedule
03.04.2024
SML - разложение на простые множители, ошибка построения списка
Я пытаюсь написать функцию SML, которая вернет список всех простых множителей заданного числа. Позже это станет вспомогательной функцией для другой функции.
Первоначально bigNumber - это число, для которого мне нужно найти простые множители, и я...
980 просмотров
schedule
26.06.2022
Проблема (начинающего) с избыточным оператором case в SML
Я пытаюсь написать на SML функцию для вычисления частичной суммы переменного гармонического ряда, и хоть убей меня, я не могу понять, почему компилятор говорит, что один из случаев является избыточным. Раньше я не использовал операторы case (или...
197 просмотров
schedule
26.04.2024
карта в SML tycon несоответствие
Я пытаюсь создать функцию, которая отображает строки формы "SXSXSSSXXX" в instruction list s [S,X,S,X,S,S,S,X,X,X] , где
datatype instruction = S | X
type sequence = instruction list
Я использую map и String.explode : string -> char...
700 просмотров
schedule
28.09.2022
Что означает val it = (): unit в SML?
Я никогда раньше не программировал на SML и использую SML / NJ. В конце каждой программы, которую я запускаю, он продолжает выдавать мне следующее:
val it = () : unit
Что это значит? Я что-то делаю не так?
6151 просмотров
schedule
28.01.2024
Как преобразовать тип данных модуля в строку в SML
По сути, я хочу напечатать что-то в типе данных единицы с помощью моей собственной структуры и подписи, которая требует, чтобы это произошло, поскольку ее тип данных является единицей, и я хочу «показать» это.
Так что мне нужно "распечатать" его....
676 просмотров
schedule
13.07.2022
Можно ли выполнить сопоставление с образцом без регистра?
Я все еще изучаю SML, поэтому прошу прощения, если это довольно глупый вопрос. Мне было интересно, есть ли лучший способ сопоставления с образцом для некоторых конструкций вне функций.
Например, допустим, у нас есть тип
type coord = int * int...
67 просмотров
schedule
30.03.2024
Как формально называется система типов SML?
До сих пор я считал SML удобной реализацией лямбда-исчисления с простым типом. Узнав, что такое просто типизированное лямбда-исчисление, я понял, что оно не может проверять тип рекурсивных функций.
Я узнал, что существует обобщение просто...
277 просмотров
schedule
07.11.2022
Разрешение конфликтов имен модулей, необходимо получить подпись ORD_MAP
Я работаю над относительно большой кодовой базой SML. Первоначально он был написан для компиляции с помощью MLton, но сейчас я работаю с ним под SML/NJ. Мне нужно использовать RedBlackMapFn , который определен в smlnj-lib.cm . Однако я получаю...
160 просмотров
schedule
27.01.2024
Тип SML -> тип -> тип
Я изо всех сил пытаюсь понять это. Проблема:
У меня есть
datatype 'a tree= Leaf of 'a | Node of 'a tree * 'a * 'a tree
Я должен найти в нем ценность с помощью бинарного поиска. Вот мой код.
fun binSearch ((Leaf n), x) = if n=x then...
98 просмотров
schedule
09.06.2024
Чтение целочисленного файла в целочисленный список в sml
Привет, я не буду делать функцию в стандартном ML, которая принимает в качестве входных чисел целые числа, разделенные пробелами во многих строках, и возвращает их список один за другим. Например, для входного файла
3 4 5 6 7 8 4
4 5 6 2 3
6 4 3...
1613 просмотров
schedule
30.10.2023
Печать только вывода на печать с SML / NJ
Я пытаюсь использовать SML / NJ, и я использую sml < source.sml для запуска кода, но он выводит слишком много информации.
Например, это source.sml :
fun fac 0 = 1
| fac n = n * fac (n - 1)
val r = fac 10 ;
print(Int.toString(r));...
1101 просмотров
schedule
07.02.2024
SML: модуль для представления больших целых чисел
Это вопрос домашнего задания. В SML существует ограничение на размер целого числа, которое равно Int.maxInt, поэтому мне нужно разработать пакет, который может представлять большие целые числа, а также выполнять такие операции, как сложение,...
352 просмотров
schedule
01.04.2024
Запросить SML/NJ REPL для подписей или структур?
Есть ли способ получить список signature или structure , доступных в среде верхнего уровня, из SML/NJ REPL? Я хочу получить список подписей/структур, которые, по-видимому, определены в файлах sources.cm в исходном каталоге sml. Что-то в духе...
199 просмотров
schedule
28.11.2023
Напишите функцию ML
Я новичок в ML, поэтому я делаю все возможное, чтобы понять.
Напишите функцию ML с именем alternate : 'a list -> 'a list , которая принимает два списка одинаковой длины в качестве входных данных и создает выходной список, элементы которого...
126 просмотров
schedule
05.07.2022
Как объявить аргумент как функцию в SML?
мой вопрос звучит так: как я могу определить функцию, которая получает функцию без использования ограничений типа или, другими словами, без необходимости вводить fun f1(f2:type->type)? Я пытаюсь придумать способ, который использует аргумент f2 как...
312 просмотров
schedule
18.04.2024
Как автоматически создавать упорядоченные типы данных в SML
Я хотел бы знать, есть ли способ создать функцию, которая, учитывая список names / identifiers , например. [Monday, Tuesday, ...] автоматически создает datatype day = Monday | Tuesday | ... и следующую функцию, так что next Monday = Tuesday ,...
60 просмотров
schedule
18.10.2022
