ml

0зной

1ответ

SML: Как написать два списка в файлах с ML

Эта функция записывает список чисел в файл: fun writeReal (real, filename) = let val fd = TextIO.openOut filename val _ = map (fn i => TextIO.output (fd, Real.toString i^"\r\n")) real

io sml ml 2016-09-26

---

4зной

1ответ

Переполнение ML Fibonacci

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

recursion functional-programming sml smlnj ml 2016-10-04

---

1зной

3ответ

Наложение списка ML при преобразовании списка символов в список int

У меня возникла проблема с преобразованием списка символов в список int. Моя цель состоит в том, чтобы в основном взять число, такое как 325, и вернуть ему список из [3,2,5]. То, что я сделал до сих п

types functional-programming sml smlnj ml 2016-10-05

---

1зной

2ответ

В чем разница между int -> int -> int и (int * int) -> int в SML?

Я заметил, что есть два способа определения функций в SML. Например, если взять функцию надстройки, эти два способа: fun add x y = x+y; fun add(x,y) = x+y; Первый метод создает тип функции, как: v

functional-programming sml smlnj ml 2016-10-14

---

2зной

1ответ

Каков тип пустого списка в ML?

Мне было интересно, какой именно тип пустого списка находится в SML (я использую PolyML)? Когда я печатаю [] в интерпретатор, я выберусь: val it = []: 'a list который я бы ожидать. Но тогда, если бы

types sml ml 2016-10-14

---

0зной

1ответ

Conditionals в ML

Я начинаю изучать ML, и мы пошли через этот кусок кода в лекции: val x = 1; if hd [1, 2, 3] = x then x = x + 1 else x = x - 1; вернется ли это утверждение ложно, так как глава [1, 2, 3] равно 1 , п

if-statement ml 2016-10-17

---

1зной

1ответ

Тройные методы Tree - Standard ML

Тройная тип дерева определяется как: datatype ’a tree = Leaf of ’a | Node of ’a tree * ’a tree * ’a tree Мне нужно изменить функции отображения & foldl в соответствии с троичной дерево ... fun tre

functional-programming sml ml ternary-tree 2016-10-25

---