Oℕ
Kirill Shelopugin
Олег это дракон в пещере - загадывает загадки и съедает тех, кто не отгадал
Будешь определять котоэффектные инстансы?
Size: a a a
2019 December 27
Oℕ
И если да - для каких типов ошибок
ΛВ
Есть пример такого, который нельзя было бы выразить через ADT с одним тайп параметром
Так ладна, мне интересно
ΛВ
Ща буду дай траин
ὦ
Прощай Антон
KS
Наверное, буду. Подумаю, что там можно сделать, посмотрю на зио-компат. Может быть имеет смысл ограничить скоуп, чтобы котоэффектные инстансы можно было использовать только с E <: Throwable
ὦ
Ты был хорошим скалистом
ΛВ
Есть пример такого, который нельзя было бы выразить через ADT с одним тайп параметром
Нужно найти пример такого Traverse, который нельзя выразить через адт с кайндом *->*, так?
ᛒ
Нужно найти пример такого Traverse, который нельзя выразить через адт с кайндом *->*, так?
ΛВ
При чем здесь полиноминальность?
ΛВ
Я знаю ток про одну, которая про сложность вычислений и все такое
KS
В общем я пока не думал на эту тему, хочу начать думать как побольше функций в сам энв насыплю
R
Kirill Shelopugin
Наверное, буду. Подумаю, что там можно сделать, посмотрю на зио-компат. Может быть имеет смысл ограничить скоуп, чтобы котоэффектные инстансы можно было использовать только с E <: Throwable
А вы общаетесь с обычными людьми так же, ну я имею ввиду — пугаете словами всякими?
R
За пару лет в индустрии люди же вообще должны перестать вас понимать
ΛВ
Kirill Shelopugin
Наверное, буду. Подумаю, что там можно сделать, посмотрю на зио-компат. Может быть имеет смысл ограничить скоуп, чтобы котоэффектные инстансы можно было использовать только с E <: Throwable
Вот это, в отличие от слов Олега, я ещё понимаю, так что вроде тут просто
KS
А вы общаетесь с обычными людьми так же, ну я имею ввиду — пугаете словами всякими?
Я общаюсь так только с теми, кто понимает такие слова. За пару лет в индустрии человек обычно как раз учится понимать, о чем здесь речь, если не учится - новости не очень хорошие
Oℕ
Нужно найти пример такого Traverse, который нельзя выразить через адт с кайндом *->*, так?
Пожалуйста не пиши кайнжы звёздочками, бесит
DM
Kirill Shelopugin
Я общаюсь так только с теми, кто понимает такие слова. За пару лет в индустрии человек обычно как раз учится понимать, о чем здесь речь, если не учится - новости не очень хорошие
очень токсично
ΛВ
Kirill Shelopugin
Я общаюсь так только с теми, кто понимает такие слова. За пару лет в индустрии человек обычно как раз учится понимать, о чем здесь речь, если не учится - новости не очень хорошие
Ну это кажется к тем крикам противников скалы, ФП и защитникам го, которые про то, что любой чел должен придти и понимать сходу о чем код, разговоры и все прочее
DM
Пожалуйста не пиши кайнжы звёздочками, бесит
очень ранимо