2012-02-10 欠けてない型 用語法 制限型(restricted type)とか部分集合型(subset type)に対して、何の制限も受けてない(絞り込み条件となる論理式がtrue)型を何と呼ぶべきか。バルク型(bulk type)ってのはどうだろう? ワインのバルク買いとかのイメージ。