Next Meetup

Let's do Chapter 3 of Bartosz Milewski's Category Theory for Programmers
In Chapter 2, we talked about the category Hask, whose objects are Haskell types and whose arrows are Haskell functions (or at least those functions that are well-behaved. Of undefined and infinite loops, we shall speak no more). Chapter 3 introduces us to some other notions of category, and in particular, to monoids, which are both interesting to mathematicians and useful to programmers. Let's read the chapter and do the exercises, then get together for our usual lively and occasionally on-topic discussion. We'll try to get properly underway a little earlier this time, around 6:15. No pizza! That was a special thing for the first meeting. Make sure to get some proper nourishment before you show up!

Workday

160 Spear St., Ste. #1700 · San Francisco, CA

1 comment

Upcoming Meetups

Past Meetups (132)

What we're about

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 (1,006)

Photos (7)