Media Summary: The new Moe grammar and some examples to explore how `interp` should work. An aside showing why our new Moe is just as expressive as the one with functions: both are Turing-complete. MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie ...

Shplait Object 5 Objects As - Detailed Analysis & Overview

The new Moe grammar and some examples to explore how `interp` should work. An aside showing why our new Moe is just as expressive as the one with functions: both are Turing-complete. MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie ... Implementing the `subst` function to be used by `interp`.

Photo Gallery

Shplait Object 5 - objects as lists
Shplait Object 7 - objects as fields plus methods
Shplait Object 2 - objects as functions
Shplait Object 6 - Values as objects
Shplait Object 3 - Envs as objects
Shplait Object 4 - Exps as objects
Shplait Object 11 - interp examples
Shplait Object 10 - expressiveness
Lecture 5B: Computational Objects
Shplait Tutorial 11 - syntax objects
Shplait Tutorial 1 - simple values and types
Shplait Function 5 - subst
View Detailed Profile
Shplait Object 5 - objects as lists

Shplait Object 5 - objects as lists

The simplistic

Shplait Object 7 - objects as fields plus methods

Shplait Object 7 - objects as fields plus methods

The final encoding of

Shplait Object 2 - objects as functions

Shplait Object 2 - objects as functions

Shows a simplistic encoding of

Shplait Object 6 - Values as objects

Shplait Object 6 - Values as objects

Converting `Value` to

Shplait Object 3 - Envs as objects

Shplait Object 3 - Envs as objects

Uses the function encoding of

Shplait Object 4 - Exps as objects

Shplait Object 4 - Exps as objects

Converting `Exp` to

Shplait Object 11 - interp examples

Shplait Object 11 - interp examples

The new Moe grammar and some examples to explore how `interp` should work.

Shplait Object 10 - expressiveness

Shplait Object 10 - expressiveness

An aside showing why our new Moe is just as expressive as the one with functions: both are Turing-complete.

Lecture 5B: Computational Objects

Lecture 5B: Computational Objects

MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie ...

Shplait Tutorial 11 - syntax objects

Shplait Tutorial 11 - syntax objects

Syntax

Shplait Tutorial 1 - simple values and types

Shplait Tutorial 1 - simple values and types

Numbers, booleans, strings, and symbols.

Shplait Function 5 - subst

Shplait Function 5 - subst

Implementing the `subst` function to be used by `interp`.

Shplait Typed Class 5 - subtypes

Shplait Typed Class 5 - subtypes

About the `is_subtype` function.