ラムダ式やストリーム API や新しい日時 API だけじゃない！ Java8 のタイプ・アノテーションあの手この手 - 倭マン's BLOG
Java8 ではラムダ式やストリーム API に注目が集まってますが、何気にアノテーションに関しても機能拡張がされているようなので簡単な変更点や使い方を今夜試してみました。 ElementType の追加 TYPE_PARAMETER TYPE_USE 定義済みアノテーション @Repeatable アノテーション @FunctionalInterface アノテーション @Native アノテーション 目次 ラムダ式やストリーム API や新しい日時 API だけじゃない！ Java8 のタイプ・アノテーションあの手この手 どんとこいタイプ・アノテーション！ Checker Framework 導入あの手この手 ～without IDE 編～ どんとこいタイプ・アノテーション！ IntelliJ IDE 独自のタイプ・アノテーション 参考 InfoQ 「Type Annotations
Java に独自の型検査処理を追加する方法 — Elliptium
Java に独自の型検査処理を追加する方法 これは 言語実装 Advent Calendar 2015 の 14 日目の記事です. Pluggable Annotation Processing API (JSR 269) による Functor の型検査 という以前に書いた記事を, Advent Calendar 用に再構成, 要約したものです. Note この記事では主に型情報にアクセスする方法について書きます. それ以外の部分は上記の元記事を参照してください. Java で函手を書いてみたかった そもそもは「Java で函手を書く」という無茶をしてみたかっただけです. 無茶は承知の上で, 書こうとする過程でどんな障害があって, どうやって回避できるかを探りたかったのです. 函手について解説するのはこの記事の目的ではないので, 厳密な定義などについては触れません. 函手 (関手, Fu
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
John Heintz氏による、Javaアノテーションのベストプラクティス