大なり">" 小なり"演算子として使われるので、多相ヴァリアントの型を見ていると、微妙に違和感を感じる。うーん、でも型も集合みたいなもんだからなぁ。 [> `A | `B] を集合として { S | S ⊃ {`A, `B} } と読んでしまえば、"⊃" は反射律を満たすものだと思…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。