Adrian K.



El Cerrito, CA

Organizer since:

October 29, 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?

Scala, at least until something better comes along.

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

match expressions are too verbose!

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

Automated theorem provers.

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

No answer yet


Software geek and programming language groupie with plenty of curiosity.

What Adrian K. is saying about this Meetup Group

Declared, if not yet defined.

Member of 44 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