Why I like ML

  • Safety - no UB
  • GC
  • Compile-time type checking
  • A module system
    • Parameterized modules
    • Information hiding—abstract data types