Oℕ
и тайп ролей
Size: a a a
2020 August 01
Oℕ
ну и если в нью тайп прячут хайер ордер полиморфные функции, которые ломают вывод типов, использование коерц опять же часто тоже ломает вывод типов
Oℕ
ну и тема деривации инстансов через нютайпы хотя и мощная, но тоже лично для меня выглядит как набор костылей
Oℕ
скаловые опаки тоже суперкостыль
Oℕ
скаловые энивалы тоже суперкостыль
λ
Принцип суперкостылирования
YE
Вот бы стать тайской макакой
Oℕ
ну типа есть ощущение, что при дизайне дататипов нужно сразу заложить какое-то рефлективно-транзитивное-симметричное (aka Equivalence) отношение коерций в систему типов, чтобы это вообще работало
Oℕ
а не костылить class Coerce
ZM
ну типа есть ощущение, что при дизайне дататипов нужно сразу заложить какое-то рефлективно-транзитивное-симметричное (aka Equivalence) отношение коерций в систему типов, чтобы это вообще работало
Звучит как очень жирная штука, добавление которой фактически сделает из любого языка новый.
R
Вот бы стать тайской макакой
какой из двух?
ZM
Нужен какой-то выделенный Мартин или Эдвин, чтобы это запилить до прикладного.
YE
какой из двух?
У которой много секса и джанкфуда
R
У которой много секса и джанкфуда
зубы згниют
YE
зубы згниют
Оно того стоит
YE
Все равно жись макак короткая
R
@Bartosso а ты какое имя указывал? Реальное или чо
R
или ник можно
R
и как в слак-клиенте можно накидывать неймспейсов?