sml

0зной

2ответ

SML: Как добавить элемент в список в SML?

Есть ли в SML оператор, который позволяет мне добавлять в список, не создавая новый список? Например Я не могу это сделать: [1,2,3]::1 , но я могу это сделать: [1,2,3]@[1] что странно, как я долже

-1зной

1ответ

Исключение компилируется в SML

Я написал код в SML, но я столкнулся с ошибками компиляции. fun getTransIndex(t : TRANSACTION, (h::L) : TRANSLIST) : int = let val i=0 in if (h=t) then i else if (getTransIndex(t

0зной

1ответ

объединение двух потоков, потянув элемент из одного, то других

Учитывая этих заявлений у меня возникают проблемы понимания потоков в SML: exception Bad of string; fun from seed next = Cons(seed,fn() => from (next seed) next); fun head (Nil) = raise Bad("got nil

-1зной

2ответ

sml list [tycon несоответствие] операнд и оператор не согласны

Я пытаюсь пропустить тип данных, SET, который содержит другие типы данных, включая сам, и распечатывать эти типы данных с помощью цикла. fun printEXP(SET(hd::tl::[])) = let fun loop (hd::tl

2зной

1ответ

SML Содержит используя строку и Charlist

Я пытаюсь сравнить строку с Charlist в SML, используя REPL у меня есть это: val alphabet = "abcdefghijklmnopqrstuvwxyz"; val charalphabet = explode alphabet; val str = "the quick brown fox"; val re

1зной

2ответ

ML-Yacc Tiger Parser Уменьшить/уменьшить ошибку

Я прохожу через упражнение программирования Ch3, создавая Parser Tiger в книге «Современный сборщик компиляторов в ML». Мой файл tiger.grm - here. Ошибка, которую я пытаюсь диагностировать, - это конф

0зной

1ответ

SMLNJ - Функция работает сам по себе, но не внутри другой функции

У меня есть эта функция: addBinaryTreeNode((genRandomNumber(100), genRandomNumber(100), genRandomNumber(100)), tree, 1, []) Это возвращает тип данных «BinaryTree». Она будет собирать, когда это само