[bitc-dev] monads

[Jonathan S. Shapiro]

On Tue, 2008-03-25 at 12:10 -0400, Sandro Magi wrote:
> Jonathan S. Shapiro wrote:
> >> http://www.haskell.org/haskellwiki/DDC
> > 
> > Yes, but that doesn't address the objectives that adding a monad system
> > would resolve:
> > 
> >   1. Direct translation of existing haskell code.
> 
> Type and effect systems and monads are equivalent [1,2]. I would imagine 
> a direct translation could be made. This seems like too much work perhaps?
> 
> >   2. Formal analyzability.
> 
> Not sure I understand this point. How is a type and effect system not 
> formal or analyzable?

It is. But BitC doesn't have one...