Jon A S.

Location:

Dublin, CA
Hometown: East Bay Area

Member since:

May 13, 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?

Right now, Scala. But, I cannot wait to get to Haskell.

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

I am new to Scala so I cannot answer this.

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

Functional programming, Provable correctness

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

Although I studied mathematics in college, I have forgotten everything. I ditched mathematics for programming and I have enjoyed software development. Nonetheless, I miss the rigor that was employed in maths classes.


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