Masahiro Sakai (@masahiro_sakai) 's Twitter Profile
Masahiro Sakai

@masahiro_sakai

Engineer @PreferredNet ← Research Scientist @東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, facebook.com/masahiro.sakai

ID: 5901382

linkhttp://twilog.org/masahiro_sakai/ calendar_today09-05-2007 14:36:11

26,26K Tweet

2,2K Takipçi

2,2K Takip Edilen

Masahiro Sakai (@masahiro_sakai) 's Twitter Profile Photo
Masahiro Sakai
@masahiro_sakai

24 days ago

先日の「カワるガワるTAPLカタるヨる」 #TAPLts で聞いた A Gentle Introduction to Semantic Subtyping を読んだ。型を集合で解釈して包含関係で部分型関係を定義する意味論的部分型は、構文的定義と比べ、様々な性質(例: 部分型関係の推移性)を煩雑な証明なしに自動的に満たすなどの利点がある一方、