[PRL] circular haskell programs

Matthias Felleisen matthias at ccs.neu.edu
Thu Jun 30 11:02:04 EDT 2005


You use co-induction. -- Matthias


On Jun 29, 2005, at 11:34 PM, Dave Herman wrote:

> How do you reason about termination of Haskell programs that use 
> circular programming tricks? I'm looking at some examples in a couple 
> of papers, and I can't convince myself that the programs should 
> terminate, or even make sense -- the result of a function call gets 
> passed as an argument to the function, in a way that seems to create 
> an unresolvable mutual dependency between the "bottom" of the 
> recursion and the top result.
>
> Dave
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl




More information about the PRL mailing list