ml

3зной

1ответ

Соединиться с ошибкой в ​​sml

fun p(x::xl) = if x::xl = [] then [] else [0]; Получено предупреждение: матч не является исчерпывающим. х :: х => ... То, что я хочу сделать, это: р ([]) = [] Когда я делаю это, это дает н

sml smlnj ml 2016-06-06

---

0зной

1ответ

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

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

functional-programming sml ml let 2016-07-27

---

9зной

6ответ

Почему Maybe/Optional типы используют тип Just/Some вместо фактического типа?

В Идриса Maybe тип определяется как следует: data Maybe a = Just a | Nothing Это так же определено в Haskell: data Maybe a = Just a | Nothing deriving (Eq, Ord) Вот версия ML: datatype 'a opt

haskell types ml idris maybe 2016-09-19

---

1зной

1ответ

Старый проект Изабеллы импортирует файл ml с использованием 'uses' Как мне заменить это?

Я унаследовал старый проект Isabelle и хотел бы довести его до настоящего времени работать с Изабеллой 2016. Когда проект начинает файл твоего часто начинается: theory my_theory imports Main uses "my

ml isabelle 2016-06-14

---

2зной

1ответ

Использование заголовка списка как int в ML

Мне нужно создать функцию в ML, где аргументы представляют собой список и int, а функция принимает каждый элемент в списке и активирует его по указанному int. Так что я уже закодированы следующее: (*

list ml 2016-08-11

---

2зной

1ответ

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

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

recursion polymorphism sml type-inference ml 2016-06-25

---