「幽霊型」の意味がややこしい「幽霊型」の意味がややこしい 前回の記事で幽霊型について紹介しましたが、 もしかしたら、「幽霊型って用語の使い方、変じゃない？」と思った人もいるかもしれません (Haskeller とか)。 実は、「幽霊型」という専門用語が、具体的に何を指しているのか、専門家の間でも定義が統一されていません。 これは、私が卒論を書く時、かなり悩んだところでもあります。 調べたところ、幾つかの派閥に分かれていて、結構ややこしい事になっていました。 検索しても、有用なサーベイが見つからなかったので、メモも兼ねて、ここに書いておきます。 6/9 の記事で定義した型を思い出してみます。 type 'a channel = IC of in_channel | OC of out_channel type input type output 'a channel の 'a のように「型定義の右辺に現れない型変数」を
