4 ms·
Yes - I totally agree. I was really just congratulating myself on being able to follow it. I find it interesting that this was easier for me to follow than the
by Schwolop 12y ago
Yes - I totally agree. I was really just congratulating myself on being able to follow it. I find it interesting that this was easier for me to follow than the original maths papers on lambda calculus, but I suppose that's just a matter of familiarity with the syntax.
- seanmcdirmid 12y agoPlease don't get me wrong, I think this is a great contribution; many of these ideas are hard to follow in their original presentations, especially given notations that are very hard for us to identify with (next up...monads in Ruby). I took an advanced logic class in university where we went on to re-derive the natural numbers (and operations on) using sets alone; this is well known, but to the typical CS undergrad, it was kind of crazy and eye opening!