[Haskell-cafe] Haskell Propeganda

[Brandon S. Allbery KF8NH]

On 2008 Aug 27, at 16:39, Jonathan Cast wrote:
> The last `case' is a catch-all, so you do know the result of the  
> mplus's
> is a Just, but you still need the Maybe.


I have to admit my thought here is that the problem isn't the Maybe,  
it's the fromJust. Make it go away, force people to explicitly pattern  
match so they have to think about it (and hopefully the compiler warns  
them of the missing pattern).

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH