Dec 01 2010
Taking stock of learning and beetroot cake
Severely snowed out today so SICP study group was cancelled. I’m using the time in the house to make stock with the bag full of lamb bones and bits that have been sitting in the freezer for many months. I think I will make some kind of soup with it later, preferably one with lots of chunky vegetables and other interesting bits. I’ve also got a bunch of beetroot in the fridge which I intend to make into beetroot and chocolate cake, because it was so tasty last time I made it. (And I want to do it in a cooler oven since 190°C blackened the outside without cooking through when I made it before. That was the only occasion when the skewer test has been useful to me.)
Back to the topic of the study group. Reading SICP is deceptively easy at times. Each step is a simple progression from the last, such that each idea seems obvious and trivial. Then suddenly some trivial new concept makes no sense at all and you find yourself backtracking through pages of explanation to find some firm handhold from which to start moving forward again. Most of the time I feel that I’m not learning anything but I realised today that some things which were not intuitive in the past are now familiar and natural. I was reading The Arrow Calculus and realised that I could understand all of the notation and type rules for lambda calculus and arrows given. It was the environment stuff in particular that felt “obvious” in the way that it wouldn’t have in the past, and I’ve been doing a lot of interpreter writing and environment-jigging in recent weeks with SICP. It’s all coming together.





