[Haskell-cafe] Total Functional Programming in Haskell

[Mitchell, Neil]

Hi

> for little more than personal taste).   In particular, I'd like to see
> a reasoning framework for partial functions, so you could 
> state and prove a property like:
> 
>   length [1..] = _|_

In a compiler, with:

default(Int)
main = print $ length [1..]

Results in 2147483647

I don't think dependent types are the answer - or at least I don't think
people have asked the questions in standard Haskell enough. We still
don't even have an equational reasoning assistant publically available
and widely used.

Thanks

Neil

==============================================================================
Please access the attached hyperlink for an important electronic communications disclaimer: 

http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html
==============================================================================