KV
Ну не-линзовые геттеры к счастью скоро можно будет выпилить к едрене фене
Size: a a a
2021 April 15
KV
Ну как скоро...
AA
запинить версии
2021 April 16
AP
b справа в MkM нужно применить к чему-то
AP
Конструктор значений не может хранить в поле конструктор типов
AP
(b :: a -> c) слева в описании типа, это не аннотация "b — функция из значения типа a в значение типа с".Это аннотация "
b — функция из типа a в тип c"AP
Cons show End сделать можно, если как-то указать, что за тип будет на входе show. Без этого указания функцию нельзя будет ни к чему применитьAP
> data T a = Cons (a -> String)
> x = Cons show
> :t x
x :: Show a => T a
вот тут известно (сохранено в типе), что будет подано на вход showAP
> data T where Cons :: forall a. (a -> String) -> T
> x = Cons show
> :t x
x :: T
так тоже можно сделать, но применить show, сохранённый в x, просто так не получитсяAP
> showUsing (Cons f) = f
<interactive>:25:22: error:
• Couldn't match expected type ‘p’ with actual type ‘a -> String’
because type variable ‘a’ would escape its scope
...AP
неоткуда взять
a, чтобы восстановить тип fAP
hlist хранит информацию о типах элементов
AP
> data Showable where Item :: forall a. Show a => a -> Showable
> l = [Item (1 :: Int), Item "foo"]
> showAll = show . map (\(Item x) -> show x)
> showAll l
"[\"1\",\"\\\"foo\\\"\"]"AP
вот гетерогенный список с применением метода класса к элементам
AP
id не накладывает ограничение на элемент, а show — накладывает