0xd34df00d 20.03.2012 19:51 Azoth_primary

Кажется, я не понимаю экзистенциальные типы.

haskell, говно
Recommended by:

@pooq: моча съела говно

#ossesf
re 6 comments !recommend ~bookmark Ssubscribe
1. superbobry 20.03.2012 19:52 Home5B3EF83C

что именно тебя смущает?

#ossesf/1
rereply
2. 0xd34df00d → superbobry /1 20.03.2012 19:56 Azoth_primary

Есть дерево выражения — data ExprTree = BinaryNode BiFunc (ExprTree a) (ExprTree a) | UnaryNode UnFunc (ExprTree a) | VarNode String | ConstNode a (если упрощать).
Есть data TaggedTree t = то же самое, но у каждой из четырех нод еще стоит t — мне нужно рядом с узлами хранить кое-какую информацию из них.

Дана функция, делающая из Tree тег. Если Tree — не ConstNode и не VarNode, то она юзает теги нижележащих деревьев.
Есть функция fromET :: (ExprTree a → t) → ExprTree a → TaggedTree a t
Нужно: наиболее красиво и няшно запилить протегивание дерева указанной функцией.

#ossesf/2
rereply
3. superbobry → 0xd34df00d /2 20.03.2012 19:59 Home5B3EF83C

казалось бы, при чем здесь existentials

#ossesf/3
rereply
4. 0xd34df00d → superbobry /3 20.03.2012 20:00 Azoth_primary

У меня была мысль представить каждый возможный тип узла как existential с соответствующей функцией получения значения тега, но я нихуя не понял и забил. Щас набросаю тупой вариант и запощу сюда, пожалуй.

#ossesf/4
rereply
5. superbobry → 0xd34df00d /4 20.03.2012 20:25 Home5B3EF83C

ну йома, existential types это все равно шо интерфейс в жаве или сигнатура модуля в SML / OCaml

#ossesf/5
rereply
6. 0xd34df00d → superbobry /5 20.03.2012 20:29 Azoth_primary

Ну вот и получается интерфейс, чо.

#ossesf/6
rereply
Do you really want to delete ?