Вопросы по теме 'smlnj'
Есть ли в SMLNJ какой-нибудь отладчик?
Я просмотрел Руководство пользователя SMLNJ и ничего не нашел о возможностях отладки. Я хотел бы просто увидеть трассировку стека или пройти через функцию. Это возможно. Существуют ли другие реализации аналогичных вариантов SML, которые...
6357 просмотров
schedule
03.06.2023
Подавить вывод val it в стандартном ML
Я пишу «сценарий» в стандартном машинном обучении (SML / NJ), который настраивает интерактивную среду по своему вкусу. Последнее, что делает сценарий, - это распечатывает сообщение о том, что все прошло гладко. По сути, последняя строка такова:...
2081 просмотров
schedule
13.03.2023
SML/NJ — сопоставление шаблона с динамической типизацией
Можно ли писать функции с динамически типизированными входными параметрами? Я пробовал сопоставление с образцом, но, видимо, это так не работает.
Я хочу сделать что-то вроде этого:
fun firstStr (0,n:string) = n
| firstStr (b:string,n:string)...
3307 просмотров
schedule
01.10.2022
Комментарии к строке в стандартном ML
Я изучаю ML на диалекте SML / NJ. Я пытаюсь выяснить, есть ли оператор строкового комментария. Я нашел оператор блочного комментария (* ... *), но мне очень не хватает строковых комментариев.
Предложения? Или я просто застрял на комментариях к...
22453 просмотров
schedule
09.09.2022
Предупреждение: вызов polyEqual
Может кто-нибудь объяснить, что означает это предупреждение?
stdIn:18.35 Warning: calling polyEqual
и почему у меня есть а, а не 'а в следующем утверждении:
val alreadyVisited = fn : ''a * ''a list -> bool
это моя функция:
fun...
13995 просмотров
schedule
29.07.2022
оптимизация кода
Я должен написать функцию "to_string", которая получает этот тип данных
datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop;
и возвращает строку.
Пример
show And(Atom("суббота"),Atom("ночь")) =...
129 просмотров
schedule
16.07.2023
механизм получения элемента из списка
можно ли получить элемент из списка в SML Нью-Джерси без использования функции head и tail, что-то вроде этого:
val a = [1,2,3];
a[1];
заранее спасибо
8068 просмотров
schedule
12.01.2023
Как обеспечить добавление правильных элементов в рекурсивный тип данных?
Возможный дубликат: вывод усечен с #-знаками в REPL
Скажем, у меня есть рекурсивный тип данных, например, накопление различных комбинаций фруктов.
datatype fruits = Apple | Orange | Pineapple | Pear
type fruit = fruits;
datatype...
41 просмотров
schedule
12.03.2023
стандартные ошибки ограничения значения мл
привет, мне нужна помощь, чтобы понять, почему я получаю ошибку ограничения значения в этом коде и как я могу ее решить, если это возможно.
В частности, в val cnil я пытаюсь создать пустую структуру CLIST для соответствия подписи, но я продолжаю...
1162 просмотров
schedule
02.05.2023
Удаление хэша из вывода мл
Я написал функцию мл, и на выходе я получаю = Mary ("a", [Zary #, Zary #]), где Mary и Zary - конструкторы. Но, как вы можете видеть, в выводе есть несколько «#». если я делаю val Mary("a",x) = out; тогда он показывает x = [Zary("b"),Zary("c")];...
533 просмотров
schedule
20.06.2022
бесконечная последовательность в SML
Мне нужно написать функцию, которая получает последовательность (конечную или бесконечную) и возвращает идентичную последовательность с той лишь разницей, что если во время последовательности возникает исключение, функция возвращает...
680 просмотров
schedule
26.04.2022
Синтаксис sml с трудом просматривает документацию
Я пытаюсь «симулировать» функцию результата передачи по значению с помощью следующего кода, но, похоже, есть синтаксическая ошибка. Я просматривал учебники по sml, но мне трудно понять, почему это не работает.
1 val x = ref 0;
2 fun p(y': int...
234 просмотров
schedule
15.03.2023
ML - Ошибка печати значения (#)
Я написал функцию, и, например, у меня есть следующая строка (это только часть функции):
up (St(d)::Dt::St(c)::[rp]) = Pr (Sym(d), Sym(c))
Pr , Sym , St , Dt - все типы данных; d и c — это строки.
Когда я запускаю функцию up ,...
117 просмотров
schedule
28.08.2022
Функция SML в списке записей
Я пытаюсь объявить функцию, которая принимает в качестве аргумента список записей внутри кортежа, но синтаксис не такой интуитивно понятный, как мне хотелось бы.
Вот что я пытаюсь сделать:
type Player = {id:int, privateStack:int list};
fun...
2245 просмотров
schedule
16.11.2022
Сортировка выбором в SML с изюминкой
Я начинаю лучше знакомиться с sml, но эта проблема поставила меня в тупик. Что мне нужно сделать, так это выполнить сортировку выбором в списке, но изюминка в том, что все четные числа должны идти дальше нечетных.
Например:
selSort[1, 6, 9, 3,...
1139 просмотров
schedule
19.06.2022
SML — сбор слов в тройке с использованием продолжений
У меня есть тип данных trie = Node of char * (trie ref) list | Пусто И я хочу собрать все слова в дереве, используя эти две взаимно рекурсивные функции:
words_in_trie: trie -> (char list list -> 'a) -> 'a
all_words: trie ref list ->...
740 просмотров
schedule
01.08.2023
Использование складки в SML
Я пытаюсь изучить smlnj в данный момент, и у меня проблемы с функцией сворачивания.
Я пытаюсь написать функцию select, которая использует шаблон сворачивания и принимает функцию и список. Он перенесет заголовок списка в функцию, чтобы определить,...
4587 просмотров
schedule
29.05.2023
Кортежи справки по программированию SML
exception No_intersection of string
fun check_in ((m1:real, b1:real), (m2:real, b2:real)):real*real =
Предполагается, что функция проверяет пересечение двух линий. Каждый аргумент пары представляет собой наклон и точку пересечения y. Я...
214 просмотров
schedule
22.08.2023
Кортежи SML - Комбинация
Я столкнулся с проблемой кортежей, когда, учитывая список пар кортежей, он должен стать парой списков: т.е. [(1,2),(3,4),(5,6)] должен возвращать ([1,3,5],[2,4,6]) .
Я пытался решить эту проблему с помощью этого кода:
fun convert L = foldl...
3640 просмотров
schedule
24.12.2021
Запуск стандартного машинного обучения в Windows
Я искал хорошую документацию о том, как запустить Standard ML в Windows. У кого-нибудь есть хороший путеводитель по этому поводу?
Я попытался скомпилировать sml/nj в cygwin, используя это руководство: http://www.smlnj.org/install/index.html...
3818 просмотров
schedule
23.11.2022