good, it felt like something that might have occurred to someone before.
On 1/23/07, Nicolas Frisby <[EMAIL PROTECTED]> wrote:
Jeremy Gibbons thought of it; that's good company ;)
http://portal.acm.org/citation.cfm?id=289457
On 1/23/07, Steve Downey <[EMAIL PROTECTED]> wrote:
> (overall cont
I'll take a look at that, since one of the next things on my list is
error propagation and reporting.
In Pierce's code, source information is carried through as an explict
part of the type that represents terms in the language. I think that
would be more naturally expressed in a monad transformer,