Для следующего кода я получаю сообщение об ошибке: fun epoly(L:real list, x:real)= = if L = [] then...

Я изучал ссылки в SML. Я написал следующий код: let val f = (fn (s) => s := ref((!(!s)) + 2))...

Я пытаюсь создать общую последовательность, которая будет вести себя следующим образом: val...

Я написал следующую функцию в SMLNJ: fun f(id : int, l : int list list) = let val i : int =...

Я использую SML / NJ, и мне нужно использовать набор функций, которые находятся в определенном...

Я реализую дерево AVL в ML, и мне трудно реализовать операцию удаления. datatype 'a AVLTree =...

Я реализую дерево AVL в SML: Вот мои типы данных: datatype 'a AVLTree = Nil | Br of...

Как ML (и его варианты, например, SML) метаязык.Какой объектный язык описывает ML?Это просто потому...

Рассмотрим следующий пример списка в SML: [[("foo",~10.0)],[("goo",~8.0)]]. Я...

Я написал следующую функцию в SML: fun find_value [] item = ~1.0 | find_value ((x:string...

Я пытался создать функцию в Standard ML, которая получает список string * int и возвращает...

Шаги в скобках THENL работают правильно, если я последовательно ввожу их в интерпретатор HOL. Но...

Я пытаюсь создать теорему под названием «поглощение» путем объединения тактики, используемой для...

У меня проблемы с выполнением этого задания. Мы должны принимать аргументы командной строки в...

В SML меня научили идиоматическому способу определения локальной переменной для функции как: fun...

Мне нужно написать синтаксический анализатор рекурсивного спуска в SML, подобный этому SO Post . Я...

Этот код вызывает ошибку переполнения, и я не совсем уверен, почему. Это на языке SML, с которым я...

Я пытаюсь доказать теорему [] |- p /\ q <=> q /\ p :thm, используя SML с правилами вывода HOL

Установил компилятор MLton на Ubuntu (sudo apt-get install mlton) и не имел проблем (на первый...

infix v; infix &; datatype s = P | Q | S | ~ of s | v of s * s | & of s * s; Я сделал...

Я новичок в SML.Я пытаюсь написать функцию, используя карту и фильтр, чтобы добавить пары из списка...

Когда я пытаюсь написать что-то вроде fun test Fifo.empty = true | test _ = false` Я получаю...

Я пишу простой абстрактный тип данных для фракций, и я даже не могу заставить конструктор работать,...

Требуется написать функцию searchBST типа ''a tree -> (''a * ''a...

Я хочу сделать стандартную функцию ml, которая берет список и функцию и делает из нее BST. Тип...