[Haskell-cafe] Re: Total Functional Programming in Haskell

apfelmus apfelmus at quantentunnel.de
Tue Sep 30 03:51:48 EDT 2008

Jason Dagit wrote:
> Hello,
> I recently had someone point me to this thread on LtU:
> http://lambda-the-ultimate.org/node/2003
> The main paper in the article is this one:
> http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf
> It leaves me with several questions:
> 1) Are there are existing Haskell-ish implementations of the total
> functional paradigm?



It seems to me that dependent types are best for ensuring totality.

> 2) Could we restructure Haskell so that it comes in 3 layers, total
> functional core, lazy pure partial functional middle, and IO outer layer?

The IO layer can be interpreted as "co-total", i.e. as codata.
Basically, this means that it's guaranteed that the program prints or
reads something after a finite amount of time and does not loop forever
without doing anything.


More information about the Haskell-Cafe mailing list