addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcredit-cardcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobe--smallglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1launch-new-window--smalllight-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Justin H.


San Francisco, CA
Hometown: San Francisco

Member since:

November 5, 2012


How familiar are you with category theory?

I have read some of the introductory materials.

How familiar are you with type theory?

I have taken a course that used TAPL and read through the entire text (understanding it all is a separate matter :P)

How's your functional programming level?

I would say I'm very fluent with functional programming, being a Haskell and Clojure fan, having used Haskell, ML, and Scheme in school


I am a functional programming enthusiast who definitely wants to learn more category theory.


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