KV
Пишешь линейные типы, и тут прилетает миллион ишуёв от либо писателей что у них ффи с джаваскриптом видите ли не работает
Size: a a a
2020 November 30
JC
Yuki Rito
а пейперы?
налогоплательщики
RR
Пишешь линейные типы, и тут прилетает миллион ишуёв от либо писателей что у них ффи с джаваскриптом видите ли не работает
Да!
YR
ну так и сидели бы в науке и не рассказывали бы людям про production ready, real world usage и прочие фантазии :)
RR
В точку
AG
так ученые обычно и не рассказывают
RR
Хуле они такие умные, но не понимают что репрезентовать Int как BigInt в жс очень тупо
AG
рассказывают энтузиасты-популяризаторы
JC
Yuki Rito
ну так и сидели бы в науке и не рассказывали бы людям про production ready, real world usage и прочие фантазии :)
так никто и не рассказывает
JC
разве что гранин
JC
но у гранина это личный бизнес-проект
JC
вот он пусть и пишет либы
RR
Зачем нужен идрис если на нём даже формочку нельзя сверстать адекватно?
YR
Гранин уже давно не заикается. Он заикой наверное стал :)
A
вот он пусть и пишет либы
это ж сколько усилий надо, чтобы либу написать
JC
ну я вот пишу на работе, пока не устал
A
либу?
JC
и не одну
A
хм, в опенсорс хоть?
JC
конечно нет