The type system is a big part and elements of that have shown up elsewhere. I’m with you on the belief that we should have better adoption for immutability, pure functions, and equational reasoning.

JavaScript promises can work analogously to the Maybe monad if you want them to.

Swift’s optionals are essentially the same thing as the Maybe monad.