sml

1зной

1ответ

Мне нужно реализовать объединение соединений, разность и пересечение. Однако при вставке очень вложенных наборов с кортежами это дает мне неправильный ответ. Я включил фрагмент кода для функций. Любое

2зной

1ответ

Почему нижняя функция продолжения в SML не работает?

type VAR = identifier type code = instruction list type environment = identifier list type EXPR = environment -> code * environment fun ADD_OP expr expr' env = DUMMY fun SUB_

1зной

1ответ

Рекурсия хвоста и итерация SML

Это мое задание. (http://prnt.sc/aa3gwd) Я работал на этом с репетитором, и это то, что мы придумали до сих пор. fun mult(a,b) = let val product = 0 in if (a = 0) then 0 else

3зной

1ответ

Как проверить представление base-2 целочисленного числа в стандартном ML?

Я пытаюсь реализовать алгоритм повторного квадратирования в SML. Я хочу, чтобы он был хвостом рекурсивным. Целью является умножение всех x^k, где k равно 2^m, а 2^m является 1 в двоичном представлении

2зной

1ответ

Как сделать побитовое И в SML/NJ?

Нужно это для программы, которую я пишу (повторное возведение в квадрат для вычисления x^n). Я не могу найти синтаксис для него, или если он даже поддерживается.

3зной

1ответ

Перечислить переменную перед именем функции и ограничениями в области видимости

Недавно я заметил, что перед именем функции в объявлении функции допускается переменная типа. Но я не вижу, как он используется. Вот несколько примеров: Poly/ML 5.5.2 Release > fun 'a print a = PolyM