型システムの勉強の続き。 有界量化を持つ体系 System F<: (Fsub) に続いて、交差型を持つ体系 F∧ (Finter) を実装する。 作ったものは、前と同じ GitHub に置いてある： https: … 続きを読む 交差型 (intersection types)