align-toparrow-leftarrow-rightbackbellblockcalendarcamerachatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditfacebookglobegoogleimagesinstagramlocation-pinmagnifying-glassmailmoremuplabelShape 3 + Rectangle 1outlookpersonplusImported LayersImported LayersImported Layersshieldstartwitteryahoo

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 41 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