Давно игрался с реплом Haskell. Читал что Idris — это улучшенный Haskell. Стоит ли браться за Idris?
Вот что мне приглянулось:
- general purpose programming
- supports interoperability with systems libraries and C programs
- language constructs for domain specific language
- supports multiple back ends (C and JavaScript by default, with the ability to add more via plugins)
- built-in message passing concurrency
- uses eager evaluation for more predictable performance, in particular because one of the longer term goals is to be able to write efficient and verified low level code such as device drivers and network infrastructure
- can make control structures using the special Lazy type
На сайте написано, что еще не «продакшен реди», но мне пока на поиграться.
