関数型プログラミング言語Haskell Part17
■ このスレッドは過去ログ倉庫に格納されています
0746デフォルトの名無しさん
2012/03/01(木) 02:57:49.52{ ⊥, (\x -> T), (\x -> let _ = x + 1 in T), ... }
(String -> T)は
{ ⊥, (\x -> T), (\x -> let _ = x ++ "foo" in T), ... }
forall a. (a -> T)は
{ ⊥, (\x -> T) }
■ このスレッドは過去ログ倉庫に格納されています