ну всякие алгоритмы, которые чтобы типизировать надо hott втащить в язык, самое то + метапрограммирование, которое копипастой переносится в другие языки, это любому программисту нужно
минвайл люди не понимают зачем переменные к скоупам привязывать и зачем лямбды...
ну всякие алгоритмы, которые чтобы типизировать надо hott втащить в язык, самое то + метапрограммирование, которое копипастой переносится в другие языки, это любому программисту нужно
+ дабы понять суть гомоиконичности
Так то да, в этом плане лисп - очень полезен для обучения)