Write an interpreter for the simply typed lambda calculus

  • April 7 · 7:00 PM
  • Mixrank

Let's follow up on our interpreters for the untyped lambda calculus with interpreters for the simply typed lambda calculus.


As Tikhon pointed out, the interpreter part of this project can actually be identical to the interpreter for the untyped lambda calculus, since typechecking is performed before interpretation. But you might find the language you're working on more interesting if you beef it up with a few built-in data types.

Join or login to comment.

  • Adrian K.

    I've put my code, with a bit of commentary, in a new topic on our Google group at https://groups.google.com/forum/...­.

    1 · April 8

  • Adrian K.

    I'll post my code on the Google group as soon as I can manage to log into it -- something's broken right now.

    April 8

  • priya

    Missed...can you post the deck, gist.github ?

    April 7

People in this
Meetup are also in:

Create your own Meetup Group

Get started Learn more
Allison

Meetup has allowed me to meet people I wouldn't have met naturally - they're totally different than me.

Allison, started Women's Adventure Travel

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