酒井 政裕 (SAKAI Masahiro)  Index  Search  Changes  RSS  Login

Subtype vs Subset

Subtype vs Subset

サブタイプと部分集合は異なる。

例えば、関数型やレコード型においては、 サブタイプは明らかに部分集合ではない。

型理論的には、サブタイプってどのように解釈されるのが普通なのだろうか?

Last modified:2006/08/21 00:07:30
Keyword(s):
References:[top]

メニュー

My Activities

授業関係

その他

検索

最新の20件

2024-01-13
2023-11-03
2023-10-25
2022-06-11
2020-12-31
2020-07-21
2020-05-20
2019-04-06
2018-11-08
2017-09-09
2016-10-14
2016-07-15
2016-04-11
2016-04-07
2015-12-23

Generated by Hiki 2.0.0.pre1 (2014-08-13).
Powered by Ruby 2.2.10-p489 (2018-03-28).
Founded by SAKAI Masahiro.