> (Ё-моё, на всю контору никто не отозвался!) ви з ДімаБ знову окремими командами?
>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 09:20 (UTC)(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
Posted by(no subject)
5/7/12 14:12 (UTC)ви з ДімаБ знову окремими командами?
>Haskell... по части ФП и типизации до сих пор впереди планеты всей, или появилось что-то ещё?
те саме Васю питав про agda з її dependent types.
каже ні, попереду не просто agda, а agda 2, вона в haskell та javascript компілёвна.
(no subject)
Posted by(no subject)
13/7/12 15:02 (UTC)В какую команду вошел?
(no subject)
Posted by