JC
5 видов функций, солверы, HKT
Size: a a a
2020 July 12
JC
Кто-то сейчас еще скажет про зависимые типы и понеслась
q
ыыы
JC
А это ты эту тему начал?) @r4v3n6101
JC
@r4v3n6101 а клиппи может как-то понять, что в проекте некоторые констрейты трейтов не юзаются?
JC
Запущу как скомпилю, попробую.
Т
@r4v3n6101 а клиппи может как-то понять, что в проекте некоторые констрейты трейтов не юзаются?
это на эльфийском?
JC
Ага
SS
А это ты эту тему начал?) @r4v3n6101
М?
SS
@r4v3n6101 а клиппи может как-то понять, что в проекте некоторые констрейты трейтов не юзаются?
Да
SS
Наверное
SS
Хотя может и нет
JC
Про гаты
SS
Про гаты
Спросил просто
SS
Или ты о чём
JC
Понял
JC
Выебал систему типов Раста, как шлюху
А это оказался трап
CV
А это оказался трап
JC
Короче тут только GAT
JC
А вот сейчас я такое чувство, что гуляю по грани, и чуть что и мне переписывать весь код, потому что я пытаюсь выразить невозможное.
О чем я и говорил