[magnumkarter]

I agree, type inference, sane object and classes, modules and ADTs and MirageOS. Looking back i wish F# or OCaml was my first language