データ構造の表現不変量を自動的に検証するための HAT Trick

関数型プログラムが状態を隠蔽するライブラリと相互作用する際に、表現不変量を自動的に検証する新しい手法を提案する。