existential types
http://www.haskell.org/hawiki/ExistentialTypes
{-# OPTIONS -fglasgow-exts #-} data HsVal = forall a.HsVal a x::[HsVal] x = [HsVal 3 , HsVal "e" , HsVal getChar]
・これができて嬉しい状況って何だろう?記述量減らせることはあるかもしれんが
・型安全性は?
・なんでforallやねん
http://www.haskell.org/hawiki/ExistentialTypes
{-# OPTIONS -fglasgow-exts #-} data HsVal = forall a.HsVal a x::[HsVal] x = [HsVal 3 , HsVal "e" , HsVal getChar]
・これができて嬉しい状況って何だろう?記述量減らせることはあるかもしれんが
・型安全性は?
・なんでforallやねん