brownplt / pyret-docs

The documentation for Pyret.
9 stars 18 forks source link

desugaring of function to lambda is not accurate #2

Closed sorawee closed 7 years ago

sorawee commented 8 years ago

The doc previously said:

A function expression is syntactic sugar for a let and an anonymous function expression.

This is obviously false for recursive functions. So I add "for non-recursive case" to the doc. Still, it is awkward as readers might wonder how recursive functions get desugared. Also, fun in fact always gets desugared to a variable assignment, so it's technically inaccurate too.