sml

0зной

1ответ

Как определить константу в SML в пути связывания?

Есть ли способ определить константу в SML в пути привязки let. Поэтому в основном то, что я спрашиваю, как, например, сделать постоянную x = 5, в том, как показано ниже: let .... in ... en

0зной

2ответ

Есть ли способ представить тип записи, чтобы позволить связывание в sml?

, если у меня есть запись, как показано ниже: type president = {name: String, age: int}; я могу представлять ту же информацию, только с помощью let связывания и что-то просто, как fun или fn?

3зной

1ответ

Стандартная ошибка ML: оператор и операнд не согласны

Я хочу написать функцию number_before_reaching_sum, которая берет int sum sum и возвращает int n так, что первые n элементов списка добавляют меньше суммы, но первые n + 1 элементов списка добавляют к

2зной

1ответ

Вывод типа для полиморфной рекурсии, закодированной как рекурсия модуля

Стандарт ML не имеет полиморфной рекурсии. Добавление рекурсии к языку модуля позволяет нам восстанавливать полиморфную рекурсию как особый случай, используя фиксированные точки endofunctors. Например

3зной

1ответ

Является ли этот отрывок правовым стандартом ML в соответствии с определением?

Является ли фрагмент кода ниже стандартным стандартом ML в соответствии с определением? Это тип-проверки с Poly/ML, но не с Москвой МЛ: infixr 5 ::: ++ signature HEAP_ENTRY = sig type key

10зной

3ответ

Какие типы символов подчеркивания OCaml '(например,' _a) вводят возможность ошибок/нарушений работоспособности во время выполнения?

Я немного читал об ограничении значения в стандартном ML и пытался перевести пример на OCaml, чтобы посмотреть, что он будет делать. Кажется, что OCaml создает эти типы в контекстах, где SML отклоняет

6зной

1ответ

Предотвращение того, чтобы тип SML становился eqtype без скрытия конструкторов

В объявлениях datatype стандартный ML будет выдавать тип равенства, если все аргументы типа для всех вариантов сами являются eqtype s. Я видел комментарии в нескольких местах, оплакивая неспособность