Исправление quantum-troll, (текущая версия) :
Бодания программистов с компилятором С++ и шаблонными метапрограммами — это еще цветочки по сравнению с тем, что творится в этих самых академических языках. На них очень сложно написать что-то нетривиальное, поэтому никто на них ничего и не пишет.
Я бы не сказал, что на Idris'е трудно что-либо написать. Доказать — пожалуй, но это из-за того, что в доказательстве требуется указывать даже тривиальные вещи.
Clean не академический, он просто вымер.
Исходная версия quantum-troll, :
Бодания программистов с компилятором С++ и шаблонными метапрограммами — это еще цветочки по сравнению с тем, что творится в этих самых академических языках. На них очень сложно написать что-то нетривиальное, поэтому никто на них ничего и не пишет.
Я бы не сказал, что на Idris'е трудно что-либо написать. Доказать — возможно, но это из-за того, что в доказательстве требуется указывать даже тривиальные вещи.
Clean не академический, он просто вымер.