Java に独自の型検査処理を追加する方法 — ElliptiumJava に独自の型検査処理を追加する方法 これは 言語実装 Advent Calendar 2015 の 14 日目の記事です. Pluggable Annotation Processing API (JSR 269) による Functor の型検査 という以前に書いた記事を, Advent Calendar 用に再構成, 要約したものです. Note この記事では主に型情報にアクセスする方法について書きます. それ以外の部分は上記の元記事を参照してください. Java で函手を書いてみたかった そもそもは「Java で函手を書く」という無茶をしてみたかっただけです. 無茶は承知の上で, 書こうとする過程でどんな障害があって, どうやって回避できるかを探りたかったのです. 函手について解説するのはこの記事の目的ではないので, 厳密な定義などについては触れません. 函手 (関手, Fu
