DF
Ещё чо есть хорошего?
Size: a a a
2020 February 16
λ
Да вроде всё
DF
У меня такое же чувство было
DF
Спасибо что помог разобраться
DF
Там чел в психчате колет себе дезоморфин чтобы медленно помереть
AI
Dollar Føølish
Там чел в психчате колет себе дезоморфин чтобы медленно помереть
?
DF
Ну он медленно разлагается
DF
Просто фото не стал сюда кидать
PP
2020 February 17
а
В Haskell есть аналоги трейтов From и Into?
SP
мне в последний раз говорили про http://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Coerce.html
а
мне в последний раз говорили про http://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Coerce.html
Это вообще transmute
SP
лол это так смешно. чел заваливается в чат и такой просто ухх, типы, меня трясёт, это ваше мерзкое фп, мир сложнее
DF
Это он ещё теоретико типовое обоснование линз не видел
λ
Это вообще transmute
Нет
DF
Кек
а
Нет
Написано ведь "unsafe" и "same representation in memory"
SP
а, это конкретно для ньютайпа. во
λ
мне в последний раз говорили про http://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Coerce.html
Коерс это только для типов с одинаковым рантайм представлением, то есть для ньютайпов. И то, для коэрса, оба конструктора значений должны быть в скоупе.