Paul Collier

Output is built up quadratically

2

One thing that I do feel strongly about: building up output by interpolating Strings recursively is expensive. I'd want rip that bandaid off ASAP, but also avoid making things overly...

Monadic code

2

The elephant in the room. ```haskell -- | lookup an object, function or enumerator lookupObject :: (MonadCError m, MonadSymtab m) => Ident -> m (Maybe IdentDecl) lookupObject ident = do...

I wonder if `language-c` or `corrode` make use of laziness (other than in monads) in a way that would we would have to simulate?

Simple situations seem possible to convert easily: ```haskell reply :: String -> String reply "hi" = "Hello!" reply (words -> ["how", "are", "you"]) = "Good, and you?" reply _ =...

It'd be convenient for `error_chain` purposes. I could probably write a PR if you like!