YS
(ну это всё частности)
Size: a a a
2020 December 16
AV
Угу, которые только в ghci и то не во всех версиях
AV
Хотя я не точно сказал
R
>>> bimap & Main.typeOf
forall (a :: *) (b :: *) (c :: *) (d :: *) (f :: * -> * -> *). Bifunctor f => (a -> b) -> (c -> d) -> f a c -> f b d
>>> elem & Main.typeOf
forall (a :: *) (f :: * -> *). (Eq a, Foldable f) => a -> f a -> Bool
>>> 3 & Main.typeOf
forall (a :: *). Num a => a
>>> fst & Main.typeOf
forall (a :: *) (b :: *). (a, b) -> a
>>> Proxy & Main.typeOf
forall (a :: *) (x :: a). Proxy x
magic
MK
forall (a :: *) (x :: a). Proxy xMK
подозрительно
MK
>>> bimap & Main.typeOf
forall (a :: *) (b :: *) (c :: *) (d :: *) (f :: * -> * -> *). Bifunctor f => (a -> b) -> (c -> d) -> f a c -> f b d
>>> elem & Main.typeOf
forall (a :: *) (f :: * -> *). (Eq a, Foldable f) => a -> f a -> Bool
>>> 3 & Main.typeOf
forall (a :: *). Num a => a
>>> fst & Main.typeOf
forall (a :: *) (b :: *). (a, b) -> a
>>> Proxy & Main.typeOf
forall (a :: *) (x :: a). Proxy x
magic
а расскажи зачем ты это делаешь вообще?)
R
подозрительно
чем?
R
а расскажи зачем ты это делаешь вообще?)
мне было интересно, получится ли
MK
чем?
(a :: *)это правда так?
MK
λ> :t +v Proxy
Proxy :: forall {k} (t :: k). Proxy tR
(a :: *)это правда так?
proxy :: forall (a :: *) (x :: a). Proxy x
proxy = Proxy
MK
TypeInType strikes again
R
а расскажи зачем ты это делаешь вообще?)
какая-то небольшая часть этого добра однажды поселится в проде
MK
в плютусе?
AA
оказывается в прошлом году кто-то накостылил таки бенчмарк на течэмповер чтоб хаскель там не совсем в заднице был
еще загадочно что между прошлым и позапрошлым годами сервант усилился в разы, интересно че там такое можно было сделать для этого
еще загадочно что между прошлым и позапрошлым годами сервант усилился в разы, интересно че там такое можно было сделать для этого
AA
но, конечно, тот результат что не совсем днище - не для серванта
MK
на голом wai?