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

AA>Кстати, обнаружил вчера что irdis 2 реализован на Racket ЯП для разработки других ЯП. Комунити у них чуть больще чем у немерла/нитры.

Idris 95.0%
C 3.2%
Scheme 0.6%
Racket 0.3%
Makefile 0.3%
Nix 0.2%
Other 0.4%

Я куда-то не туда смотрю или чего-то не понимаю? Статистика отсюда. Ну и помню новость о том, что Idris2 "self-hosted".