SAKAI Masahiro - Subtype vs Subset Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= Subtype vs Subset
サブタイプと部分集合は異なる。
例えば、関数型やレコード型においては、
サブタイプは明らかに部分集合ではない。
((<型理論>))的には、サブタイプってどのように解釈されるのが普通なのだろうか?
サブタイプと部分集合は異なる。
例えば、関数型やレコード型においては、
サブタイプは明らかに部分集合ではない。
((<型理論>))的には、サブタイプってどのように解釈されるのが普通なのだろうか?