Byron H.

Location:

Petaluma, CA
Hometown: Petaluma

Member since:

November 2, 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?

It's all conditioned on what's to be done with it. Haskell's type system is more powerful than ML's, so allows more sorts of things. Scala turns out to be very interesting because it combines two paradigms. Maude and Agda are worth considering.

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

How big a fix are we talking here?

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

No answer yet

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

Functional programming for ages. Theories of a middle range suggest the possibility of "modularize" and conquer.

What Byron H. is saying about this Meetup Group

The approach brings esoteric ideas within practical reach. Learn about things, of which you may have encountered in passing.


Member of 65 other Meetups

Interests

  • This member chose not to make their interests public.

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