Juick
Discuss
Discover
Login
qnikst
8 years ago
Haskell
typefun
(интересно я уже всех тут достал) есть:
data M = A | B
getSingletons [''M]
data S :: (M -> *) where
есть Ptr (S a), могу ли я по Ptr (S a) выдернуть синглетон?
—
пока писал понял как сделать это с проксёй
Recommend
Replies (1)
qnikst
8 years ago
@qnikst
, нифига не придумал..
/1 ·
Reply