Tikhon J.

Location:

Berkeley, CA
Hometown: Berkeley

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?

Haskell

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

Both the record system and the module system are a complete mess. I think both problems could be fixed by replacing the existing systems with first-class modules or maybe dependent records in the spirit of Coq or Agda.

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

Interactive development--things like type holes, Coq-style goals and even program synthesis. Turning programming into a discussion with your compiler/typechecker/synthesizer rather than a more rigid write-compile-test cycle.

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'm a student interested in programming langauges and functional programming. I've used OCaml at Jane Street and both Haskell and Racket at the Berkeley ParLab.


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