Type Inference  

Local type inference idea

Values which escape the lexical scope in which they were defined must have explicit type annotations.

This means:

  • All type members are explicitly typed
  • All module members are explicitly typed
  • let-bound helper functions only require types if H-M says so.
Comments powered by Disqus