[Haskell-cafe] Can't Haskell catch up with Clean's uniqueness typing?

[Philippa Cowderoy]

On Thu, 8 Dec 2005, Duncan Coutts wrote:

> For example it's not currently convenient to find out the strictness
> that ghc infers for functions (though it is possible). Ideally an IDE or
> something would be able to present this sort of information along with
> the inferred type etc.
> 

It'd be nice if we had better strictness annotations available more 
generally, too.

> So if it were easy to find out the uniqueness that the compiler was
> inferring then it might actually be useful to people that it did such an
> inference.

'twould be nice for type checking in general, although it's more the 
typing than just the types that's useful.

-- 
flippa at flippac.org

"My religion says so" explains your beliefs. But it doesn't explain 
why I should hold them as well, let alone be restricted by them.