История изменений

Бодания программистов с компилятором С++ и шаблонными метапрограммами — это еще цветочки по сравнению с тем, что творится в этих самых академических языках. На них очень сложно написать что-то нетривиальное, поэтому никто на них ничего и не пишет.

Я бы не сказал, что на Idris'е трудно что-либо написать. Доказать — пожалуй, но это из-за того, что в доказательстве требуется указывать даже тривиальные вещи.
Clean не академический, он просто вымер.

Бодания программистов с компилятором С++ и шаблонными метапрограммами — это еще цветочки по сравнению с тем, что творится в этих самых академических языках. На них очень сложно написать что-то нетривиальное, поэтому никто на них ничего и не пишет.

Я бы не сказал, что на Idris'е трудно что-либо написать. Доказать — возможно, но это из-за того, что в доказательстве требуется указывать даже тривиальные вещи.
Clean не академический, он просто вымер.