3 ms·
It's exactly unlike a monadic option type. It's much more like null is in Java, C# etc. Every type gets a NULL value here, where in ML/Haskell/etc use of Option
by tonyg 8y ago
It's exactly unlike a monadic option type. It's much more like null is in Java, C# etc. Every type gets a NULL value here, where in ML/Haskell/etc use of Option/Maybe/etc is explicit.
- quelltext 8y agoI believe they were well aware.of that but specifically pointing out similarity with Maybe in how NULL values just bubble up just like Nothing. This is very different from Java, where a chain of operation on null values typically very quickly leads to runtime exceptions.