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

Joe N.


San Francisco, CA

Member since:

December 25, 2014


How familiar are you with category theory?

I know the definition of a category, a functor, and some examples.

How familiar are you with type theory?

I've used typed languages like Haskell, but I don't know type theory per se.

How's your functional programming level?

I'm comfortable with the standard functions like map, reduce, filter etc, and with ideas like currying.


No introduction yet

Member of 80 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