Ну, для нас Haskell - довольно знакомая платформа, так что шансы только повышает.
Не, по части типизации он уже лет пять как отсталый язык - нонче рулят танковые клинья и ковровое бомбометание, в смысле, Coq и Agda 2. :))) На самом деле: последний писк в типизации языков программирования - зависимые типы. Вообще, и им в обед сто лет, но даже их пока не удалось сделать достаточно удобными для практического использования, поэтому о более навороченных изысках в _языках_ программирования говорить пока не приходится, AFAIK. Но и зависимые типы - штука весьма мощная и крутая! :)
Некоторые элементы зависимых типов есть и в Haskell (GADTs и Type Families), но ограниченные, поэтому не столь выразительные, зато несложные на практике. Так что Haskell уже потихоньку переходит в разряд стабильных, проверенных временем языков для промышленной разработки.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
(no subject)
5/7/12 19:42 (UTC)Не, по части типизации он уже лет пять как отсталый язык - нонче рулят танковые клинья и ковровое бомбометание, в смысле, Coq и Agda 2. :))) На самом деле: последний писк в типизации языков программирования - зависимые типы. Вообще, и им в обед сто лет, но даже их пока не удалось сделать достаточно удобными для практического использования, поэтому о более навороченных изысках в _языках_ программирования говорить пока не приходится, AFAIK. Но и зависимые типы - штука весьма мощная и крутая! :)
Некоторые элементы зависимых типов есть и в Haskell (GADTs и Type Families), но ограниченные, поэтому не столь выразительные, зато несложные на практике. Так что Haskell уже потихоньку переходит в разряд стабильных, проверенных временем языков для промышленной разработки.