Метка: зависимые типы

В Телеграмном чате Хаскеля часто возникают споры по поводу зависимых типов. Хороший материал для стихотворного троллинга 🙂

P.S. Стихотворение было молча стерто админами из основного чата Хаскеля. 😦

Ругались в чате три калеки
О том, как в Хаскель затащить
Завтипы, так чтобы навеки
Проблему рекордов решить.

Решали так, решали этак,
Десяток фич изобрели,
С зимы решали, и до лета
Беседу в чате довели.

Но все по-прежнему страдают,
А век заканчивает бег:
Зависеть типы не желают
От перепалки тех калек.

16.03.2019