[PRL] Joel on Software - Making Wrong Code Look Wrong

Paul A. Steckler steck at stecksoft.com
Thu May 12 10:47:30 EDT 2005


> Can you do any meaningful strictness analysis in the face of 
> exceptions? Or do you have to thread some exception monad 
> through it and serialize 
> execution that way?

I don't know how the exceptions affect GHC's strictness 
analysis.  In any case, we're not using an exception 
monad, which would be difficult because much of our 
code is already monadic (IO, StateT, ReaderT, etc.).

-- Paul




More information about the PRL mailing list