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

Ivan M.


Berkeley, CA

Member since:

December 10, 2013

How familiar are you with category theory?

Not very. I have some grasp of the basics (i.e. I can make sense of "A monad is just a monoid in the category of endofunctors"), but am seriously lacking of a systematic approach.

How familiar are you with type theory?

Lots of "here-and-there" reading on the interwebs; skimmed through Pierce's Types & Programming Languages book.

How's your functional programming level?

Some LISP (Scheme and Emacs lisp) awhile back, lots of Scala, some Haskell.


A programming languages enthusiast, with a strong interest in type theory and functional languages (esp. Scala and Haskell).

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