関数型プログラミング言語Haskell Part24
■ このスレッドは過去ログ倉庫に格納されています
0608デフォルトの名無しさん
2014/01/23(木) 20:05:47.76equality constraintというGHC拡張で、(C a ~ D)なら(C a)とDが同じ型だという制約
http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/equality-constraints.html
■ このスレッドは過去ログ倉庫に格納されています