Programming with such functions is called total functional programming. Here's a nice little introduction to the subject[1], and if you're a fan of code and mat

Programming with such functions is called total functional programming. Here's a nice little introduction to the subject[1], and if you're a fan of code and math you should probably check out the other blog entries as well. [1]: http://blog.sigfpe.com/2007/07/data-and-codata.html http://blog.sigfpe.com/2007/07/data-and-codata.html