Next Meetup

Do Section 2.2 of SICP
What's a list processing language without lists? We won't have to contemplate that question anymore, because Section 2.2 of Structure and Interpretation of Computer Programs finally introduces lists -- along with the usual formulations of map, filter, fold and the like, which will let us write more idiomatic code. Let's do the exercises in Section 2.2, and get together to discuss them, and whatever topics they bring to mind. Note that Section 2.2 is a little longer than the chunks of SICP we've tackled for previous meetings, but we do have over a month to complete it (this means you can feel all the guiltier when you wait until the night before to start looking at it). You can't see through the front door of the building, but we'll be waiting just behind it from around 6:15 to 6:45, so just knock to be let it in. If you wind up coming late or early, call Adrian at 650-387-2209.


599 2nd Street · San Francisco, CA


What we're about

Public Group

Have you been writing software for a while and now want to go deeper into the philosophy and mechanics of programming languages? Have you been hearing about things like automated theorem proving, hybrid type checking, gradual types, and wondering whether you'll be finding them soon in mainstream programming languages? Are you interested out-of-the-mainstream programming language paradigms like logic programming? Have you heard mathematical-sounding terms like lambda calculus and pi calculus, and wondering whether understanding them will make you a better programmer? If so, welcome.

We're focused less on spreading the gospel of functional programming (although we assume you know something about it) than on figuring out what makes programming languages of any paradigm expressive and reliable. And we try to take a more concrete approach than category theory's high-level overview of programming language structures, coming up with code we can execute and tools we can use.

Members (836)

Photos (6)