Steven E. Harris wrote:
Tim Matthews <[email protected]> writes:Haskell has the 'maybe' monad so not really innovative.Yes, and in Scala, "maybe" is called Option¹, which is modeled to participate in the expected monadic contracts.Footnotes: ¹ http://www.scala-lang.org/docu/files/api/scala/Option.html
BTW what prevents D from defining a NonNull type is disabling the default constructor. With the advent of @disable, doing that becomes feasible, but it doesn't become trivial.
Andrei
