(Y Y) Works

http://ece.olin.edu/focs/current/lecture_notes/05_Y/Y.pdf

by streblo • 17 years ago

13 5 17 years ago

ece.olin.edu

speek• 17 years ago

Matthias Felleisen is a brilliant professor at Northeastern University (in case anybody was curious).

He's a bit scary though.

mcav• 17 years ago

That was hard for me to follow at times, but man, that writing style was pretty cool.

calcnerd256• 17 years ago

The Little Lisper may be for you.

Tichy• 17 years ago

I must admit I find that style of describing things way too confusing. I have a much easier time understanding things if they are presented directly (one paragraph problem description, one paragraph solution). For example I understand the wikipedia description much better: http://en.wikipedia.org/wiki/Y_combinator

Problem: how to write a recursive function if the function doesn't have a name I could reference it by.

Solution: since the result of the Y combinator applied to a function is the same as the function applied to the Y combinator applied to a function, we can use that instead (in brief Yg = g(Yg)).

However, it is interesting to me that maybe some people have an easier time with "dumb" explanations. On the other hand, maybe many people think they are bad at maths because all they ever got were dumb explanations.

The problem with the dumb explanation: it is far too long. All the stuff that is only decoration needs to be loaded in the brain and distracts from understanding the real issue.

Also, why explain Y combinator and recursion in one go? Would be easier to explain them separately, two smaller chunks, easier to load into the brain and easier to digest.

Sorry that I can't be more enthusiastic about that paper. It is certainly praiseworthy if someone at least tries to make such things understandable.

I have the same gripe with "Goedel-Escher-Bach" - it took thousands of pages (or something) just to explain Goedel's incompletenes theorem, which can actually be described in two pages. The unsuspecting reader might not even realize that GEB is about that theorem. (I simplify - it has been decades since I read it, but I think really Goedel's theorem was the gist of it). It was an entertaining read, but still.

jganetsk• 17 years ago

At first sight of the title, I thought this paper would be about chromosomes.

(Y Y) Works

Related Stories