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

Joe N.

Location:

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.

Introduction

No introduction yet


Member of

  • This member chose not to make their Meetup membership information public.

Interests

  • This member chose not to make their interests public.

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