Adrian K.


El Cerrito, CA

Member since:

August 30, 2012

How familiar are you with category theory?

Categorically unfamiliar.

How familiar are you with type theory?

I've taken the hop-on hop-off bus tour of Benjamin Pierce's Types and Programming Languages, but I didn't buy the souvenir t-shirt.

How's your functional programming level?

I'm a total wimp. I use regular decimal notation for integers instead of Church numerals.


Functional, yet mutable.

Member of 43 other Meetups

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