"красивой" системы типов, если есть .NET и F#?
Что за странный вопрос! Чтобы писать код. :) Если серьезно, то у Haskell более выразительная система типов, язык дает больше гарантий, компилируется в нативный код.
Обсуждают сегодня