Design Ideas

This page is for design ideas that don't belong in the spec yet, and haven't migrated to another portion of the wiki.

Ideas

• Typing
  • if a method takes two arguments of the same type, force at least one of them to be a keyword argument so the compiler can help (see Pradel thesis)