AP
Можно ругать "за дело" - за легаси, за устаревшие решения. Но никак не за мощность :)
Size: a a a
2017 November 02
Aq
да можно и за мощность ругать, как хаскелисты ругают завтипы или там имплициты, иной раз от мощности достаточно болей, чтоб особо ей не радоваться.
AP
У Хаскеля и так репутация странная, а тут ещё эльмуры набигают с претензиями - чаще всего не обоснованными, а продиктованными "мнением сообщества"
Aq
но мы, конечно, не на том этапе просто исторически чтоб HKT бояться, про Пайковскую дженерикофобию я и не говорю
AP
Haskell всё же неплохой компромис соблюдает в плане мощности, на мой взгляд - на хаскеле всё ещё можно приятно программировать на значениях, если того хочется :)
NK
что значит программировать на значениях?
AP
Вот в эльме все программируют на значенниях - value level programming :)
AP
Зав.типы, type in type, это уже программирование на типах :)
NK
о-оч странные понятия
NK
типы это способ описать значения
Aq
да ну, а как быть с теми, которые никакие значения не населяют?
AP
А типы типов? А арифметика на типах? А лифтинг значений на тайп-левел и прочие тайп-левел строки и числа?
AP
Servant хаскелев программируется на типах. А вместо значения там
ProxyAP
Программирование на типах, это когда твой программа исполняется во время компиляции. После запуска уже всё - только value level execution :)
AP
И речь не о макросах, понятное дело, и не о шаблонах
Aq
вообще, представление о том, что типы это "способ описать значения" устарело до появления первого компьютера еще
NK
А типы типов? А арифметика на типах? А лифтинг значений на тайп-левел и прочие тайп-левел строки и числа?
из типов типов в идрисе только
Type 1AP
Программирование на типах, это скорее type level Prolog
Aq
олдскульное в хаскеле - да
AP
В хаскеле оно олдскульное, это точно :)