к
Size: a a a
2021 March 23
ЗП
там каинды
ЗП
type (~>) :: forall k. k -> k -> Type
type (~>) f g = Proxy f -> Proxy g -> Type
Y
ого, это тоже круто
А есть ли компайл-тайм рефлексия, чтобы показать определение функции (хотя бы из того же модуля)? Последний раз, когда я пыталась это сделать через
reify и showDef из TH, для тела функции было написано “At present, this value is always Nothing: returning the RHS has not yet been implemented because of lack of interest.”R
можно через явный
forall как-то от Proxy избавиться?type (~>) f g = Proxy f -> Proxy g -> Typetype (~>) f g = Type?если у тебя уже есть
f и g, то тебе не нужно их еще раз байндить через фораллЗП
type (~>) f g = Type?если у тебя уже есть
f и g, то тебе не нужно их еще раз байндить через фораллtype family EvalNat (e :: f ~> g) (x :: f a) :: g a
data (<<<) :: (b ~> c) -> (a ~> b) -> (a ~> c)
type instance EvalNat (g <<< f) h = EvalNat g (EvalNat f h)
data (>>>) :: (a ~> b) -> (b ~> c) -> (a ~> c)
type instance EvalNat (g >>> f) h = EvalNat f (EvalNat g h)
R
type family EvalNat (e :: f ~> g) (x :: f a) :: g a
data (<<<) :: (b ~> c) -> (a ~> b) -> (a ~> c)
type instance EvalNat (g <<< f) h = EvalNat g (EvalNat f h)
data (>>>) :: (a ~> b) -> (b ~> c) -> (a ~> c)
type instance EvalNat (g >>> f) h = EvalNat f (EvalNat g h)
просто
data (f :: k) ~> (g :: k) не работает?ЗП
просто
data (f :: k) ~> (g :: k) не работает?тут же как раз идея дефункционализации
DG
Переслано от кана
Прикольно, не думал, что так можно.
То есть Show не нужен?)
Надо посмотреть в исходники, что там происходит.
То есть Show не нужен?)
Надо посмотреть в исходники, что там происходит.
DG
> data X = X
> data Y = Y X X
> Debug.RecoverRTTI.anythingToString (Y X X)
"Y X X"
> Debug.RecoverRTTI.anythingToString (1, \x -> x)
"(1,<Fun>)"
> data Y = Y X X
> Debug.RecoverRTTI.anythingToString (Y X X)
"Y X X"
> Debug.RecoverRTTI.anythingToString (1, \x -> x)
"(1,<Fun>)"
Жаль, что про "Fun" не особо много полезного выводится)
DG
Видимо, не огонь(
Я по списку функций подумал, что reduce/reduction делают редукцию (шаг и все шаги) произвольного терма в Haskell.
А это нет так.
Я по списку функций подумал, что reduce/reduction делают редукцию (шаг и все шаги) произвольного терма в Haskell.
А это нет так.
JS
> data X = X
> data Y = Y X X
> Debug.RecoverRTTI.anythingToString (Y X X)
"Y X X"
> Debug.RecoverRTTI.anythingToString (1, \x -> x)
"(1,<Fun>)"
> data Y = Y X X
> Debug.RecoverRTTI.anythingToString (Y X X)
"Y X X"
> Debug.RecoverRTTI.anythingToString (1, \x -> x)
"(1,<Fun>)"
наконец-то отладочная печать!
IO
А есть ли компайл-тайм рефлексия, чтобы показать определение функции (хотя бы из того же модуля)? Последний раз, когда я пыталась это сделать через
reify и showDef из TH, для тела функции было написано “At present, this value is always Nothing: returning the RHS has not yet been implemented because of lack of interest.”Я тут слегка подумал и сделал такое - https://github.com/aadaa-fgtaa/thgetdef. Достает core inlinable функций из других модулей. По сути бесполезно, кору в TH AST не встроить, так что только преттипринтить и можно
2021 March 24
[
Я правильно понимаю, внутри IO-функций можно использовать чистые функции, а внутри чистых IO - нельзя?
K
Я правильно понимаю, внутри IO-функций можно использовать чистые функции, а внутри чистых IO - нельзя?
Да. Тайпчекер не позволит. Если только ты не возьмёшься за
unsafePerformIO