#型コンテキストの中の ~ ってなんですか？
#こういうのがあったのですが。primarily :: Key Primary t a -> (a ~ PKT t => r) -> r
#Googleで検索するのに使える良いキーワードがあれば教えてください。
よろしくお願いします。
#tablesですね。equality constraintsで見つかると思います。
#"Equality constraints" ですかねえ
##なるほど、ありがとうございます。
#Equality constraints 興味をもって調べはじめたのですが、何が嬉しいのかさっぱりわかりません。誰かポインタ下さい。
#たとえばType Checking with Open Type FunctionのMotivation and examplesのParametrised collectionsとかでしょうか。Collectsクラスは要素の型を引数に持たないですが、insx :: (Collects c, Elem c ~ Char) => c -> cで要素がCharなコレクションだけに適用できる関数の型を表現できるみたいな使い方です。
haskell-ja > Archives > 2013/03/18