News for hackers. Stuff that matters.

A comment on Ask HN: Book Recommendations?.

Re:Ask HN: Book Recommendations? by goc on Saturday March 05, 2016 @09:43AM (#11229614)
I am reading CTM by Van Roy/Haridi and watching Van Roy's edx vids. Very nice explanations that require a lot of filling in the holes.

If someone else is familiar with Oz/Van Roy stuff, I have a question.

[ Parent | on HN ]
Re:Ask HN: Book Recommendations? by nextos on Saturday March 05, 2016 @12:44PM (#11230149)
I am, but I read it many years ago, so I might not be able to help
[ Parent | on HN ]
Re:Ask HN: Book Recommendations? by goc on Saturday March 05, 2016 @08:14PM (#11231990)
In this video[0] Van Roy claims that the function Three "resolves" to 3. It's at around 8:45 minute. I tried working that out, but can't seem to get it correct. What I tried

   {Inc {Inc {Inc Zero}}}
   {Inc {Inc 1}}
   {Inc {1} + 1}
   {{{1} + 1} + 1}
Can we consider {{{1} + 1} + 1} to be 3 or what are my mistakes? Thanks.

[0] https://youtu.be/Arh_6J5_fWU?t=8m46s

[ Parent | on HN ]