M
Size: a a a
2020 May 03
M
Короче все не байти меня со своим идрисом
M
Как веча уже
G
1) https://github.com/Hirrolot/demux-stream сделал на типах, вышло 20 строк, делал на макросах - 200+ строк непонятно что делающих (к ним нужна хорошая документация что они делают)
2) почему логика на типах плохо? на логике на типах все продвинутые гарантии и делаются.
3) ну вот в расте его некруто применяют, их слишком много, потому что можно было выразить типами - почему см. выше
4) почему типы не расширяются я так и не понял. можно подтипами сделать расширяемость
2) почему логика на типах плохо? на логике на типах все продвинутые гарантии и делаются.
3) ну вот в расте его некруто применяют, их слишком много, потому что можно было выразить типами - почему см. выше
4) почему типы не расширяются я так и не понял. можно подтипами сделать расширяемость
M
M
Зачем тебе это?
M
Ты пытаешься всунуть то что для этого не нужно
M
Ты не должен сувать логику в типы
G
Ты не должен сувать логику в типы
почему?
M
Потому что тип это данные
M
Ты нарушаешь связанность
G
какие данные
G
какую связанность
M
Ну любык
M
Блять
M
Почему компиляторы на типах не пишут охуенная же идея?
G
смотри, ты на значениях пишешь логику?
M
Не задумывался?
G
Почему компиляторы на типах не пишут охуенная же идея?
потому что в пещерном веке живем