|
|
Пишет Yuriy Al. Shirokov (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} yushi) |
Категории там очень разными боками, например, типизацией по Хиндли-Милнеру. При наличии на LJR таких спецов, как kouzdra или gogabr, не возьмусь объяснять подробно (тем более, что ни OCaml, ни Haskell не знаю), лучше кого-нибудь из них сюда привести.
На http://wiki.traditio.ru были про это статьи, но она что-то лежит последнее время. Вот, например; в кэше гугла оно вот.
kouzdra или gogabr, не возьмусь объяснять подробно (тем более, что ни OCaml, ни Haskell не знаю), лучше кого-нибудь из них сюда привести.На http://wiki.traditio.ru были про это статьи, но она что-то лежит последнее время. Вот, например; в кэше гугла оно вот.
Добавить комментарий:
