addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1linklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Jonah K.

Location:

San Francisco, CA

Member since:

December 24, 2013

Networks

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?

No answer yet

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

No answer yet

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

Working as a developer, but my heart lies with PL


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