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
