Здравствуйте, Артём, Вы писали:

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

Так вроде примеры неплохо гуглятся Idris-подобные языки позволяют описывать зависимые типы (завтипы по-русски) и проверять их целостность на этапе компиляции. Завтипы это типы данных, зависящие от данных Например, не просто "строка", а "строка-палиндром".

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

Почитал. Старнный проект, который в Release notes упоминает какие пакеты получат обновление, причём, только какие-то выборочные. А все остальные останутся в старой версии? Или они не заслуживают упоминания? Последний раз, когда я изучал Idris, я набрёл на доволно прошаренного чела, который сказал, что Idris полон багов и готов к боевому использованию чуть менее чем никак, и я ему верю.