Телеграмм чат группы haskellru страница 15433

обычный коерс может приводить только параметры типа representational

11:30пожаловаться #1

а хотя фантомные мб тоже

11:30пожаловаться #2

Ага, понял

11:31пожаловаться #3

Кек

11:31пожаловаться #4

но я не проверял

11:31пожаловаться #5

Ща в поезде, не могу проверить (

11:31пожаловаться #6

λ> data Kek a = Kek deriving Show; type role Kek phantom
λ> coerce (Kek @Int) :: Kek Bool
Kek

11:32пожаловаться #7

λ> data Kek a = Kek deriving Show; type role Kek nominal
λ> coerce (Kek @Int) :: Kek Bool

<interactive>:13:1: error:
    • Couldn't match type ‘Int’ with ‘Bool’
        arising from a use of ‘coerce’

11:32пожаловаться #8

Maxim Koltsov

λ> data Kek a = Kek deriving Show; type role Kek phantom
λ> coerce (Kek @Int) :: Kek Bool
Kek

Обычный коерс, получается, ломает энти индексированные монады, печально

11:33пожаловаться #9

ну, не ломает, если просто роль указать

11:34пожаловаться #10

Maxim Koltsov

λ> data Kek a = Kek deriving Show; type role Kek phantom
λ> coerce (Kek @Int) :: Kek Bool
Kek

Так указана же

11:35пожаловаться #11

так укажи номинал

11:36пожаловаться #12

чтобы не коерсить)

11:36пожаловаться #13

Норм)

11:36пожаловаться #14

Danil Berestov

Так указана же

ну и поэтому и не получилось скоерсить, после того как указана

11:36пожаловаться #15

кана

ну и поэтому и не получилось скоерсить, после того как указана

Выглядит как грязный хак конечно фантомный тип называть номинальным

11:37пожаловаться #16

на самом деле фантом не очень вписывается в эту схему

11:37пожаловаться #17

потому что индексы это оч даже номинал

11:37пожаловаться #18

идем дальше

11:38пожаловаться #19

написать функцию m i j x -> m I J x не выйдет