関数型言語ML (SML, OCaml, etc.), Part 6

847 名前：デフォルトの名無しさん mailto:sage [2014/04/23(水) 20:07:50.69 ID:yuYA7aLZ.net] >>835 型hogeは('a -> 'a) -> 'a -> 'aという関数tを持つものだよ、というだけなんだが、 まずその'a.っていう表記が無いとエラーが出る。 エラーメッセージに脊髄反射してtype 'a hoge = { t : ('a -> 'a) -> 'a -> 'a }と定義すると、 hoge型の値を作ったときint hogeとかstring hogeとかになって、 ｔも(int -> int) -> int -> intとかになっちゃう。 いや違う、オレはhoge型の値にidentity:'a -> 'aや(=): 'a -> 'a -> boolのように、多相性を持った関数tが欲しいんだって時に 'a.っていう表記を使う。 用途は何と問われるとちょっと困る程度にはマイナー。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef