Здравствуйте, deniok, Вы писали:

D>О, лет через пять, глядишь, полноценные классы типов присобачат

Ага, исходя из списка зарезервированных для будущего использования keyword'ов можно сделать такой вывод:

atomic    break    checked   component  const     constraint  constructor
continue  eager    event     external   fixed     functor     global
include   method   mixin     object     parallel  process     protected
pure      sealed   tailcall  trait      virtual   volatile

Только не вижу смысла развивать F#-specific расширения системы типов CLI...