PD>Так что языки программирования в сухой остаток не идут. Если бы развитие вычислительной техники повторилось, но без тех лиц, что в нем принимали, мы бы имели совсем другие языки.
ML с Хаскелем были почти такими же, поскольку являются естественным сахаром над системами типизированного лямбда-исчисления. Ну и LISP уродился бы таким же, как версия бестиповой лямбды.