Y
Хорошо! Покажу фри монады!
Фримонадический эксгибиционизм
Size: a a a
2020 May 18
АГ
Я буду медленно снимать один слой абстракции за другим!
AP
You can leave your IO on
AP
("You can leave your Cat on" — более тонкий категорный вариант)
L
("You can leave your Cat on" — более тонкий категорный вариант)
👍
DS
Основная мысль - не программирование с типами, а программирование на типах
Это разные вещи. Программируют с типами все хаскелисты, программируют на типах - не все (а глубоко разбираются в этой теме - весьма немногие).
DS
Строго говоря, тут тоже есть крайность: поднять на уровень типов всё, что только можно. Проблема в том, что такой код:
1. будет очень трудно понимать (без должной квалификации)
2. будет долго компилироваться
Поэтому в type-level программировании нужно соблюдать здравую меру.
1. будет очень трудно понимать (без должной квалификации)
2. будет долго компилироваться
Поэтому в type-level программировании нужно соблюдать здравую меру.
DS
В частности, автор прекрасной книги Thinking with Types так и сказал. Мол, глубоко погружаться в type-level мир нужно лишь в том случае, если цена ошибки в вашем коде значительно превосходит все трудности, с которым это погружение будет сопряжено. В противном случае - подумайте трижды.
DS
Я знаю многих хаскелистов, которые давно и успешно пишут продакшн-код, но при этом не программируют на типах (в том смысле, что не пишут собственные а-ля Servant-ы и вот это вот всё).
AP
О, это про меня!
AP
Я глупый для программирования на типах, но короткую память компилер мне протезирует хорошо
YS
А кто из известных представителей ру-хаскеля активно пишет на типах в прод?
AP
Э.. ну вон в typeable много "на типах" в проде
AP
Но вообще нет никакой границы "тут ещё не на типах, а тут уже на них"
YS
Я к тому, что будет круто, если этот человек расскажет об этом)
DS
А кто из известных представителей ру-хаскеля активно пишет на типах в прод?
Николай https://twitter.com/crazy_fizruk
DS
в частности, он блестящий знаток Servant
АГ
В Серокеле тоже балуются
DS