Idris 2

Idris is a programming language designed to encourage Type-Driven Development.

In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct.

Я слыхал про Test-driven development (TDD), но зачем нужен type-driven development и что оно в сравнении с ClojureScript — очень приятсвенным диалектом LISP, при этом не отсвечивавшим в последние 5 лет.

Почему я вообще спросил про Idris? — потому, что Idris 2 упоминается, как новая фича в Fedora 43 Beta.