1. 7
    Attached by default? (Adding compile-time null safety to Eiffel) compsci programming bertrandmeyer.com
    craigstuntz avatar via craigstuntz 4 years ago | cached | 1 comment

  1.  

  2. 0
    bitemyapp avatar bitemyapp 4 years ago | link

    But how far can you take this? Does this work for arbitrary sum types? As far as I can tell, Eiffel has none (sum types), which is a terribly strange decision for a language that was designed around contracts and safety.