Shplait Function 2 Parsing

Parsing function

Parsing

Arithmetic and

A closer look at letrec and how it might be implemented in terms of

Functional

Adpating

Shows a simplistic encoding of objects as

Type rules in the traditional, math-ish notation.

Implementing `

Representing

Implementing `interp`.

Demonstrating lazy evaluation via

General strategy for interpreting

Basic type inference in action.

Parsing

Shplait Introduction 2 - Interpreters and Shplait

Representing type variables in our new, inferencing type checker.

Introduction to type inference.