addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrosseditemptyheartexportfacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Tim S.


Palo Alto, CA

Member since:

January 23, 2013


How familiar are you with category theory?

basic. objects, morphisms, functors understood.

How familiar are you with type theory?

not as much. OK with Empty type, Unit type, injections, stuff like that. Know some logic.

How's your functional programming level?

Haskell programmer by day. Know linear algebra, convex analysis and related topics. Use them via Haskell.


Hi. I am a functional programmer and startup founder if that makes any sense.

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