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