named
let
is translated to
letrec
, as are internal
define
s. love your last paragraph! in fact, it's the lack of (proper) teaching that causes this. in maths they love to throw poorly explained stuff at students, that's how they select for the strong ones. we programmers are a casualty of this. we
need good explanations, with
motivations and
prequels. "What is Y?" should be answered by "let me first show you the U combinator; then Y just arranges for automatic code replication so the
copy is available to call, if needed". "What is Monad?" -- "first, Functors". —
Will Ness 37 secs ago