Talk:Fixed-point combinator: Difference between revisions

Content deleted Content added
Huh?: new section
Line 28:
 
Can somebody explain this? What does call-by-name versus call-by-value even ''mean'' in the context of lambda calculus? Isn't call-by-name ''always'' the case in lambda calculus? Why does Y g diverge in call-by-value? What does 'diverge' mean in this context? All these things are totally non-obvious. [[User:JulesH|JulesH]] 19:12, 11 November 2007 (UTC)
 
Also, the "Example" section refers to something described as the "fix" operator, which hasn't been defined. [[User:JulesH|JulesH]] 19:25, 11 November 2007 (UTC)