История изменений
Исправление AndreyKl, (текущая версия) :
типы и всё. моё понимание в том что чем лучше типы, тем больше удасться повысить производительность труда. ленивость - некоторая трудность, но она даёт так же и преимущества. т.е. это какой то размен. А типы - они отдельно. Идрис например не ленивый. Основной смысл именно типы.
кроме типов ещё инфраструктура важна, экосистема, но это у хаскеля есть. вот идрис - там голяк. Но это дело наживное, если технология _достаточно_ хорошая. как мне кажется.
Исходная версия AndreyKl, :
типы и всё. моё понимание в том что чем лучше типы, тем больше удасться повысить производительность труда. ленивость - некоторая трудность, но она даёт так же и преимущества. т.е. это какой то размен. А типы - они отдельно. Идрис например не ленивый. Основной смысл именно типы.