- ... という1
- bounded type parameters を提供する言語は、Tellis/Owl、
Sather、Eiffel、PolyTOIL と Rapide がある。他の言語としては C++ では
bounds なしで 単にタイプパラメータを提供する。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...
がある2
- bounded abstract types を提供する言語には、Rapide、
Modula-3 がある。Beta では virtual class として提供している。
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...と表記)3
- マッチングの概念とその名前は、
PolyTOIL からきている。Theta と School でも似た概念を持っている
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.