M
Короче я против выглядит сомнительно
Size: a a a
2020 May 03
G
Покажите мне больщой проект написанный на типах
ну вообще idris2 компилятор
G
Короче я против выглядит сомнительно
т.е. аргумент единственный - выглядит сомнительно?
M
т.е. аргумент единственный - выглядит сомнительно?
Ну этого хватает. Когда говорят о фп там на словах сплощные плюсы на деле поддерживать и понимать высокоуровнеый код очень сложно коммандная работа тоже очень сложно нужны диаграммы типов и подробная дока
M
Так что да аргумент выглядит сомнительно пока все что я могу сказать почитаб idris2 если он полностью на типах прокоментирую
M
Правда между делом надо еше идрис выучить
G
Ну этого хватает. Когда говорят о фп там на словах сплощные плюсы на деле поддерживать и понимать высокоуровнеый код очень сложно коммандная работа тоже очень сложно нужны диаграммы типов и подробная дока
ну т.е. ты работал в команде которая пишет прод на фп? я у хаскеллистов спрашивал - понимать код разительно проще (те хаскеллисты, которые в команде пишут прод на скала/хаскелле)
аргумент "сомнительно" по факту не аргумент - это твои чувства
аргумент "сомнительно" по факту не аргумент - это твои чувства
G
ну а диаграммы на типах лучше, чем стена текста документации как в джава. диаграммы быстрее понять
M
ну т.е. ты работал в команде которая пишет прод на фп? я у хаскеллистов спрашивал - понимать код разительно проще (те хаскеллисты, которые в команде пишут прод на скала/хаскелле)
аргумент "сомнительно" по факту не аргумент - это твои чувства
аргумент "сомнительно" по факту не аргумент - это твои чувства
Нет у меня знакомый хаскелист работа, он описывал что есть куски кода которые работают но хуй пойми как работают и переписать их почти анриал потому как доку тогда не вили а понять сложно
G
Нет у меня знакомый хаскелист работа, он описывал что есть куски кода которые работают но хуй пойми как работают и переписать их почти анриал потому как доку тогда не вили а понять сложно
такой аргумент можно и сказать про вообще все языки. на фп тоже можно наговнякать - разница в поддерживаемых языком абстракциях, позволяющих этого не делать
M
ну т.е. ты работал в команде которая пишет прод на фп? я у хаскеллистов спрашивал - понимать код разительно проще (те хаскеллисты, которые в команде пишут прод на скала/хаскелле)
аргумент "сомнительно" по факту не аргумент - это твои чувства
аргумент "сомнительно" по факту не аргумент - это твои чувства
Нет сомнительно это как раз таки аргумент, нет ни одного исследования или большого колва опыта и статей что бы сделать какой то внятный вывод
G
Нет сомнительно это как раз таки аргумент, нет ни одного исследования или большого колва опыта и статей что бы сделать какой то внятный вывод
зависимая типизация только развивается, в ней ещё много бойлерплейта, сейчас пытаются понять что нужно чтобы можно в прод было хуярить (идрис для этого и делался)
G
я тебе говорю о самой концепции
M
Ну лично я нихуя сказать не могу пока не посмотрю кодево
M
Но это явно не замена метапрограммирования
G
Ну лично я нихуя сказать не могу пока не посмотрю кодево
ну книжку по идрису я тебе скинул
M
Просто концептуально решаются разные проблемы
G
Но это явно не замена метапрограммирования
я про eDSL ничего вроде против не имел
M
Да не только
G
json!(hyak hyak) лучше конечно на макросах