[Haskell-cafe] a regressive view of support for imperative programming in Haskell

Philippa Cowderoy flippa at flippac.org
Wed Aug 8 14:37:51 EDT 2007

On Wed, 8 Aug 2007, peterv wrote:

> PS: It would be very nice for beginners to have a special tool / text editor
> that allows you see the desugared form of monads and other constructs.

An editor that can be configured to display various inferred details, 
annotations and desugarings in the middle of the source would be useful 
for all kinds of purposes, and certainly not just to newbies! For example, 
it could be used to show what information the type checker had inferred 
before hitting an error...

flippa at flippac.org

"The reason for this is simple yet profound. Equations of the form
x = x are completely useless. All interesting equations are of the
form x = y." -- John C. Baez

More information about the Haskell-Cafe mailing list