АГ
К великому неудовольствию скалистов ещё
Скалистов не жалко, в отличие от @A64m_qb0
Size: a a a
2020 May 16
AG
Как бы ни вышли, это будет очень нескоро, к великому неудовольствию @A64m_qb0
почему нескоро то?
AG
третья скалка где то в течение года планируется
A
третья скалка где то в течение года планируется
Ключевое тут "где то"
AG
Скалистов не жалко, в отличие от @A64m_qb0
а они между прочим самые что ни на есть адепты боринг фп
AV
боринг хаскеля надо
АГ
а они между прочим самые что ни на есть адепты боринг фп
Негодяи!
AS
Я как то читал исходный код flowjs
AS
Он на окамле был
AS
Такой boring конечно
AA
почему нескоро то?
гранин не верит в академиков
AA
третья скалка где то в течение года планируется
в 18-ом году где-то в течение полутора лет планировалась
A
полицейский заходил недавно, сфоткал меня, сказал, что будет заходить иногда, проверять
Oℕ
одновременно с Idris 3
Idris 2 же
AA
Idris 2 же
в чем шутка тогда?
Oℕ
в чем шутка тогда?
Что все 5 заинтересованных человек не будут знать, что им делать из-за одновременного релиза scala 3, idris 2 и книги Гранина
AV
Не знаешь что делать - ложись спать
Oℕ
Не знаешь что делать - ложись спать
Ты просыпаешься, а все остальные уже напечатали за ночь блог посты, об иерархических фри монадах в идрис 2 с веб-мордой на scala3.js
AV
жуть
AV
снова спать придётся