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

[Philippa Cowderoy]

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