Публикации по теме 'sml'
Мой опыт прохождения курса «Языки программирования, часть А»
Курс языков программирования:
Этот курс предлагается Вашингтонским университетом через Coursera , и его преподает Дэн Гроссман , специалист по компьютерным наукам. и профессор инженерии.
Что такое Курсера?
Coursera была основана Дафной Коллер и Эндрю Нг в 2012 году с целью предоставления учащимся по всему миру обучающего опыта, который изменит их жизнь. Сегодня Coursera — это глобальная платформа онлайн-обучения, которая предлагает всем , где доступ к..
Вопросы по теме 'sml'
Подавить вывод 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
Включая две подписи, обе с типом t [Standard ML]
Надуманный пример:
signature A =
sig
type t
val x: t
end
signature B =
sig
type t
val y: t
end
signature C = sig include A B end
Очевидно, это вызовет жалобы на то, что type t встречается дважды в C . Но есть ли способ выразить,...
369 просмотров
schedule
23.04.2024
Как вы управляете списком кортежей в SML?
Я новичок в SML, и мне было интересно, как получить элемент в списке кортежей. Например, в списке [("abc", 4), ("def", 6)] как можно извлечь "abc" ? я пробовал
x::xs => #1(x)
но я продолжаю получать "неразрешенную запись гибкости"....
12350 просмотров
schedule
01.02.2023
Удаление и добавление узлов в дерево
У меня есть задание, и я не могу понять, что с этим делать. У меня есть дерево людей с их именами, годами рождения и смерти. Подумайте здесь о генеалогии. У меня есть куча типов данных, чтобы заботиться о возрасте, именах, самом дереве и т. д., а...
521 просмотров
schedule
14.05.2022
Объединение строк с папкой в SML
Я пытаюсь объявить функцию, список строк -> строка, которая при вводе, например, ["Chicago","city","USA"] должна возвращать "Chicago city USA" . То, что я сделал до сих пор, было следующим:
fun gather ts = foldr op ^ "" ts;
Это кажется...
6961 просмотров
schedule
15.05.2023
SML - маленькая проблема
Я дал: spacegather: список строк -> строка
Я должен сделать функцию, поэтому она превращает вызов:
spacegather ["я", "есть", "хороший"] to -> "я хороший"
спасибо
223 просмотров
schedule
07.07.2022
Каковы пределы использования сокетов для межпроцессного взаимодействия?
Я создаю расширение для Firefox, которое позволяет использовать Standard ML (SML) в качестве клиентского языка программирования в Firefox. Это работает следующим образом:
Расширение запускает процесс PolyML (компилятор SML с интерактивной...
1401 просмотров
schedule
03.01.2024
Предупреждение: вызов 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 [цикличности]
Я хотел бы написать одну функцию, которая извлекает из списка только нечетные числа. Что-то типа:
fun odd(nil) = nil
| odd(a::nil) = a
| odd(a::(b::c)) = a::odd(c);
Но это вызывает эту ошибку:
оператор и операнд не согласуются...
2012 просмотров
schedule
06.12.2022
механизм получения элемента из списка
можно ли получить элемент из списка в 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
Как определить eof в ml-lex
При написании кода в ml-lex нам нужно написать, чтобы написать функцию eof val eof = fn () => EOF; , это необходимая часть для написания, если я хочу, чтобы мой лексер останавливался при обнаружении eof, то что я должен добавить к данной функции....
2950 просмотров
schedule
06.06.2022
Заполнение обычного бинарного дерева в ML значениями
Где скажем:
datatype bin_tree = Empty |
Node of value * bin_tree * bin_tree
Как мне заполнить бинарное дерево (не бинарное дерево поиска, где лево меньше корня, а право больше). Просто значения из списка, вставленные в...
1426 просмотров
schedule
16.07.2022
стандартные ошибки ограничения значения мл
привет, мне нужна помощь, чтобы понять, почему я получаю ошибку ограничения значения в этом коде и как я могу ее решить, если это возможно.
В частности, в 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
алгоритм Open Knight's Tour (с возвратом) в smlnj
Мне нужно написать код SML, чтобы решить задачу рыцарского тура при возврате. Шахматный конь должен пробежать всю шахматную доску (размер: NxN ) и должен посетить каждую клетку ровно один раз (нет необходимости возвращаться в первую клетку в конце)....
1356 просмотров
schedule
12.12.2022
действительно основная проблема SML, которую я просто не могу понять (небольшой код)
Просто базовый шифр Касера. Я протестировал все подфункции, просто encryptChar() особо не работает. Я получаю бесконечный цикл. Он должен быть рекурсивным. Вот весь код:
fun replace (str : string, index : int, newChar : char) : string =...
1019 просмотров
schedule
17.09.2022
