Re: [Clojadelphia] Exercise 2.6 is amazing!

From: David K.
Sent on: Monday, May 12, 2014 11:34 AM
I agree about 2.5. I think it's one of the coolest examples I've ever seen regarding the abstraction of data, specifically between data's representation and it's implementation.  When ever I've come across other examples for this technique the difference in implementation are very similar so the true value is not as striking.  But, in this object-oriented-centric environment most of us have probably already bought into the idea that this separation is good and useful.

On the other hand, I have never considered or come across the idea of representing something as basic as 1 and 0 with procedures until working through problem 2.6.


On Mon, May 12, 2014 at 10:46 AM, Paul Snyder <[address removed]> wrote:
On Sun, 11 May 2014, David Kinzer wrote:

> Anyone else completely mind blown by exercise 2.6?

2.6 is pretty amazing (2.5 is pretty good, too, but isn't as fundamental).

For more on Church numerals:

  http://en.wikipedia.org/wiki/Church_encoding
  http://www.cs.ox.ac.uk/ralf.hinze/publications/Church.pdf
  https://karczmarczuk.users.greyc.fr/Essays/church.html

Even if you skip all the other exercises from section 2.1, I'd recommend
spending some time playing with both 2.5 and 2.6.

Paul



--
Please Note: If you hit "REPLY", your message will be sent to everyone on this mailing list ([address removed])
http://www.meetup.com/Clojadelphia/
This message was sent by Paul Snyder ([address removed]) from Clojadelphia.
To learn more about Paul Snyder, visit his/her member profile: http://www.meetup.com/Clojadelphia/members/14008957/
Set my mailing list to email me

As they are sent
http://www.meetup.com/Clojadelphia/list_prefs/?pref=1

In one daily email
http://www.meetup.com/Clojadelphia/list_prefs/?pref=2

Don't send me mailing list messages
http://www.meetup.com/Clojadelphia/list_prefs/?pref=0
Meetup, POB 4668 #37895 NY NY USA 10163 | [address removed]


Our Sponsors

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy