DF
А вообще я встречал зависимые алгебры в литературе по мат. Но не знаю было это до типов или после
Size: a a a
2020 March 05
G
Я не хочу писать больше чем надо
Haskell
DS
Но проблема с реализацией зав. типов в том, что ты либо делаешь это сразу в языке, либо страдаешь.
λ
а java?
ну джава то намного лучше, чем js, php и python
DF
Да
76
Это необходимые элементы. $ сделан потому что разрабу было лень писать нормальный парсер.
ну может, просто не так уж плохо читается и не вызывает попоболи после N месяцев разработки
p
ну джава то намного лучше, чем js, php и python
Ну она популярна очень
λ
когда джаву делали уже думали, но думали неучи, которые в PLT имели квалификацию такую же, как я в строительстве ракет
DS
когда джаву делали уже думали, но думали неучи, которые в PLT имели квалификацию такую же, как я в строительстве ракет
Это потому что за 30 лет знания стали сильно доступнее.
p
ну может, просто не так уж плохо читается и не вызывает попоболи после N месяцев разработки
Ну то что человек ко всему привыкает не говорит что это хорошо
DS
30 лет назад знания о полноценных системах типов были больше эзотерикой из академии.
DF
Да и люди квалифицированные в плт стали чето подписывать в прод потихоньку
DF
Вон Фейсбук хаскель все дела
p
Какой хаскель в Фейсбуке лол
λ
Но проблема с реализацией зав. типов в том, что ты либо делаешь это сразу в языке, либо страдаешь.
либо делаешь сразу в языке и страдаешь с завтипами, либо не делаешь и страдаешь без завтипов
λ
Какой хаскель в Фейсбуке лол
у них там антиспам фильтры на хаскеле
p
у них там антиспам фильтры на хаскеле
Ага
λ
при чём, насколько я знаю, бизнес логику для этих фильтров пишут неквалифицированные индусы, а матёрые хаскелисты пишут только движок, который интерпретирует эти бизнес сценарии
p
А я король Норвегии
DF
при чём, насколько я знаю, бизнес логику для этих фильтров пишут неквалифицированные индусы, а матёрые хаскелисты пишут только движок, который интерпретирует эти бизнес сценарии
Программирование мечты