[Haskell-cafe] lecture notes for Finally Tagless - benefit of
explicit fix combinator
stephen.tetley at gmail.com
Sat Jun 19 15:19:06 EDT 2010
I haven't seen open recursion used in any libraries I'm familiar with,
though as its not a technique I've used myself I'm not really
"trained" to spot it.
There's another paper by William Cook (and Daniel Brown) were the use
is explicit (at least initially - Sections 2.2 & 2.3):
There are probably some other instances where it takes more expertise
to spot - certainly Oleg Kiselyov and Ralf Lammel's OO-Haskell paper
uses open recursion, but in a slightly different way.
More information about the Haskell-Cafe