TA
А может и с State...
Сложна...
Сложна...
Возник ещё вопрос:
Как на уровне типов сделать что-то такое:
(Либо (forall x.x -> x) (a -> a)) -> a -> a
Т.е. указать:
Либо функция работает для любых переменных либо для конкретной а ...
Size: a a a
2020 June 26
TA
TA
Без Either...
MK
data Libo a where
TA
И какой должна быть реализация?
MK
data Libo a where
Luboy :: forall x. (x -> x) -> Libo a
Concretny :: (a -> a) -> Libo aMK
хотя нет, тут же x тоже конкретный, просто неизвестный...
MK
λ> data Libo a where Luboy :: (forall x. x -> x) -> Libo a; Concretny :: (a -> a) -> Libo a
λ> use :: Libo Int -> Int -> String; use (Luboy f) v = show $ f v; use (Concretny f) v = show $ f v
λ> use (Luboy id) 42
"42"
λ> use (Concretny (+1)) 42
"43"MK
Tel Asc
И какой должна быть реализация?
так работает
MK
Either же
а в айзер можно ранк н тип положить? я не помню
к
а в айзер можно ранк н тип положить? я не помню
конечно, Left id
MK
и правда...
MK
мне казалось тут ghc does not yet support imredicative types будет
MK
а какие правила тогда, когда нельзя?
к
мне казалось тут ghc does not yet support imredicative types будет
да, так и будет, хм
MK
но вот мой пример работает