ЮБ
На apply?
Size: a a a
2021 May 15
ΛВ
type Foo = [A] =>> [B] =>> Faa[A, B]
Oℕ
это не множество параметров это просто apply по цепочке, да
ЮБ
Ну да, вариант
ЮБ
ща попробую
Oℕ
я могу POC попозже как до компа дойду
Oℕ
соответственно, ты можешь накапливать какой-то юнион или интерсекшнн тип, потом из параметра трейта его пробросить в компаньон, а потом проверять на субтайпинг в универсальном инстансе
Oℕ
без макросов даж
Oℕ
ну в скале 2 так же можно
Oℕ
т.е. единственный яп, где это есть в полузаконченном виде - это хошкель, и там очень много языковых средств вокруг коерс инстансов, тайп ролей и деривации
в скале придётся прувить большой кусок вокруг этого, а опаки дёшевы, сердиты
в скале придётся прувить большой кусок вокруг этого, а опаки дёшевы, сердиты
Oℕ
не просто так твиттерские z-люди хейтили опаки, говоря, что без пола филлипса не выйдет это всё допилить до применимого состояния
ЮБ
Я думаю на практике будет какой-то период метаний а потом просто будет либа, которой все будут пользоваться
ЮБ
ну я надеюсь на это
ЮБ
Чёт я видимо не до конца понял идею и сломался на "проверять на субтайпинг в универсальном инстансе". Так что poc будет круто увидеть.
ЮБ
ЮБ
Ещё очень жалко, что derives сильно ограничен
ЮБ
нельзя параметризовать ничем
AM
K
Подъехал релиз нового кайнд проджектора 0.13.0, который включает в себя https://github.com/typelevel/kind-projector/pull/188 (да ссылку на релиз ноуты приложить не могу - их нет)
2021 May 16
AD
Там что убили вариантность в лямбдах?