Ivan M.

Location:

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.

Introduction

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