R
Я не так выразился, да
Мой код на тф, к нему прикручиваю код на фандепах (мтл)
Мой код на тф, к нему прикручиваю код на фандепах (мтл)
я б все на фандепы переписал тогда
Size: a a a
2020 July 15
MK
Угу, возможно стоило
R
Вообще мне кажется что тут отношение прикручивания тут симметрично
ну если ты хочешь вызывать либу, которая использует фандепы, то можешь зарейфаить тайпфемели как фандепы, а в обратную сторону не работает
MK
Не умею думать в фандепах
MK
Мне в голову решения с тф приходят
MK
ну если ты хочешь вызывать либу, которая использует фандепы, то можешь зарейфаить тайпфемели как фандепы, а в обратную сторону не работает
Я выше говорил что мне нужно :)
R
Я выше говорил что мне нужно :)
я это к тому, что для меня отношение прикручения не выглядит симмметричным, потому что TF -> FD работает, а FD -> TF нет.
ну да неважно
ну да неважно
MK
Оооооооо
MK
Вот это новость
a
Есть такой алиас
type S a = StateT A B a, хотелось бы в типе выражений выводить именно S a, а не StateT A B a, однако проблема в том, чтобы завернуть его в ньютайп придётся перелопатить большое количество кода. Была идея обернуть его в тайпфемили, однако как оказывается сейчас они распаковываются полностьюMK
Выводить - в сообщении об ошибках?
MK
Простого решения нет
MK
Хм, оказывается я и не простое не знаю
к
Есть такой алиас
type S a = StateT A B a, хотелось бы в типе выражений выводить именно S a, а не StateT A B a, однако проблема в том, чтобы завернуть его в ньютайп придётся перелопатить большое количество кода. Была идея обернуть его в тайпфемили, однако как оказывается сейчас они распаковываются полностьюпочему перелопатить большое количество кода это проблема, зачем тогда типизированный язык вообще
YS
Вот кстати да
YS
Мне кажется нередко больше кажется сложным перелопатить, чем на самом деле