> (Ё-моё, на всю контору никто не отозвался!) ви з ДімаБ знову окремими командами?
>Haskell... по части ФП и типизации до сих пор впереди планеты всей, или появилось что-то ещё? те саме Васю питав про agda з її dependent types. каже ні, попереду не просто agda, а agda 2, вона в haskell та javascript компілёвна.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
5/7/12 14:12 (UTC)ви з ДімаБ знову окремими командами?
>Haskell... по части ФП и типизации до сих пор впереди планеты всей, или появилось что-то ещё?
те саме Васю питав про agda з її dependent types.
каже ні, попереду не просто agda, а agda 2, вона в haskell та javascript компілёвна.
(no subject)
5/7/12 14:14 (UTC)Ух ты ж. Пойду почитаю %)