Last_Alien писал(а):
Насчет богатства математических типов. Вы архитектуру процессоров поизучайте, на асме немного попишите, чтобы ее прочувствовать. А потом хорошенько подумайте о всех тех слоях, которые отделяют ваши иероглифы на хаскеле от реального железа, которое их как-то выполняет.
Дык изучал микроконтроллеры, писал на сях и ассемблере.
Все эти слои -- не повод для отказа от прогресса. А то ведь ассемблер -- это тоже слой.
В 60-х говорили -- настоящие мужики пишут в машинных кодах, ну и где они, эти коды?
Прогресс ведёт к постоянному повышению уровня языков программирования, можно пытаться вставлять ему палки в колёса, но этот танк всё равно раздавит ретроградов...
ЗЫ. Хотя, похоже, история показывает, что прогресс всё же остановился.
Ещё в 80-х был разработан язык сверхвысокого уровня (SETL), его элементы попали в школьный язык Рапира, например.
Хаскелл во многих своих идеях близок к SETL'у. Ну, так Хаскелл родом из 80-х, да...
Вот так и приходится использовать инструменты 80-х годов, мда...