Talk:Fixed-point combinator: Difference between revisions

Revision as of 04:58, 20 January 2014

Revision as of 03:41, 4 February 2014

Line 432:

[[User:Thepigdog|Thepigdog]] ([[User talk:Thepigdog|talk]]) 04:58, 20 January 2014 (UTC)

==Recursion / Corecursion==

fix :: (a -> a) -> a

fix f = f (fix f) -- non-sharing fixed-point, for recursive definitions

-- alternative:

-- fix f = let x = f x in x -- sharing fixed-point, for corecursive definitions

Are the comments correct??? From my reading, the two forms have nothing to do with recursion and corecursion. Both are recursive definitions.

[[User:Thepigdog|Thepigdog]] ([[User talk:Thepigdog|talk]]) 03:41, 4 February 2014 (UTC)