Mike P.


San Francisco, CA

Member since:

November 1, 2013

What got you interested in this group? (Are you here for the programming languages, the theorems, or the types?)

No answer yet

What's your favorite programming language?

Common Lisp

What 's one thing your favorite programming language does wrong, and how would you fix it?

Pigeonhole question. Common Lisp is very flexible and I disagree with the critics of the language. I think that any problems with the language, are fixable within the language, and are thus not really something that it does wrong.

What programming-language-related or type-theoretic idea are you most curious about, or most intrigued by?

Dijkstra and deductive proof of an algorithm

Who would win in a fight: Ada Lovelace with the power of flight, or Alonzo Church with the power of invisibility?

No answer yet


Web/CUDA/DB programmer interested in FP. Have dabbled with Haskell and F#

What Mike P. is saying about this Meetup Group

Great group of friendly people!

Member of 72 other Meetups

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