ml

0зной

1ответ

Fun и Fix в ML

Я понимаю, весело и зафиксировать в ML как: затруднительное вычисляет наименьшую точку починки или просто может позволить использовать то же имя внутри вызова и удовольствия позволяет точно контролиро

ml 2016-04-05

---

1зной

1ответ

PT алгоритм для вывода ML-типа

Для алгоритма PT для вывода типа ML для работы выражение входной программы должно обладать свойством, что каждая связанная переменная различна. Может ли кто-нибудь объяснить это примером?

type-inference ml bound-variable 2016-02-22

---

0зной

1ответ

Z3 BitVector ошибка?

Кажется, что ошибка в теории битвектора Z3. Создание константы битвектора с использованием Expr.mk_numeral_string в интерфейсе ML, а затем чтение выражения с использованием BitVector.get_string или Bi

z3 ml 2016-01-07

---

1зной

1ответ

Переименование необходимо для чистых лямбда-выражений (свободные выражения)?

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

types lambda ml inference principal 2016-03-07

---

3зной

3ответ

мл функция типа Fn: «а ->» B

Функция: fn : 'a -> 'b В настоящее время, являются ли какие-либо функции, которые могут быть определены и имеют этот тип?

functional-programming sml ml parametric-polymorphism 2016-01-20

---

3зной

2ответ

Функции OCaml, проходящие в одном меньшем аргументе

Я ищу решения для домашней работы, а код реализует функцию OCaml, которая принимает два аргумента, но при ее вызове передается только один аргумент. let rec func2 r x = match r with | [] -> []

f# pattern-matching ocaml grammar ml 2016-01-22

---

2зной

1ответ

Тип вывода в OCaml

Я пытаюсь обвести голову в виде вывода вывода OCaml. Например: # let f x = x [];; val f : ('a list -> 'b) -> 'b = <fun> имеет смысл для меня. Функция val f принимает функцию x, которая принимает сп

types functional-programming ocaml ml 2016-02-03

---

2зной

1ответ

Несколько типов ввода со сгибом

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

sml fold ml 2016-02-08

---

1зной

1ответ

Создание типа данных среды в Haskell

Чтобы получить награды за курс, мне поручено воссоздать задание, которое мы завершили в ML (с использованием реализации SMLNJ), но вместо этого используем haskell. Целью здесь является создание типа д

haskell types smlnj ml environments 2016-03-31

---