Last update November 15, 2003

DWiki /
Feature Proposals



  • Virtual Types
  • /Variants?
  • /LexicalClosures?
  • /ConstantFunctions?
  • /Metaprogramming?
  • /Tuples?
  • /PatternMatching?
  • /Multimethods?
  • /DynamicArrayInitializers?

Virtual Types are a superset of Type Covariance. Sather and Eiffel let you have Type Covariance without having placeholders for Virtual Types.


(From DWiki)
FrontPage | News | TestPage | MessageBoard | Search | Contributors | Folders | Index | Help | Preferences | Edit

Edit text of this page (date of last change: November 15, 2003 5:08 (diff))