Maybe type in Fortress

[bearophile]

Tim Matthews:
> The article points out "going beyond haskell" with maybe as a
> generator. I don't get this bit because in haskell all lists are monads
> and a single element list is just like the 'maybe' so this can be done
> already and empty lists can be pattern matched on if the extra
> assurance is desired.

I am not used to the idea of nullable values seen as collections of 0 or 1 items (Scala is doing the same, I think).


> As the article points cyclone is good example of safer c. Maybe this
> could influence D or at least safed if it hasn't already.

Cyclone is safer and it has some cute ideas, but I think it burdens the programmers too much.

Bye,
bearophile