3 ms·

Type-classes, monadic syntax and higher-kinded types come to mind.

• pjmlp 12y ago
  So OCaml, Scheme and Lisp aren't functional programming languages?
  • frowaway001 12y ago
    Maybe in the 80ies. I suppose with things like Agda, Idris & friends, one can say that the standards are rising.
    • pjmlp 12y ago
      Time to throw away SICP then?!?
      • deleted 12y ago
        [deleted]
      • frowaway001 12y ago
        I think SICP is still very important from an educational POV. But I also think standards should reflect the progress made in the last few decades and shouldn't pretend that it's still 1960. Otherwise, things like Go happen. So, yes, functional languages these days should probably require types (not specific to functional languages, just a general requirement to throw out all untyped languages without wasting time), typeclasses, and at least one of higher-kinded types, linear/dependent types, type families, or something like the fusion of type-level and value-level programming like in Idris.