Buck S.

Location:

San Francisco, CA

Member since:

March 17, 2014

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?

Haskell or Ruby at the moment.

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

Haskell: you can't make your own instances of `deriving`, which means you can't derive Arbitrary, which makes QuickCheck way less fun to use.

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

I don't understand why scripting languages can't have good static typing, and I want them to.

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

No answer yet

Introduction

I write music and code. http://buckshlege...­


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