Media Summary: Using `block` for local and nested definitions. Representing `fun` forms and motivating the associated generalization of application forms.

Shplait Store 7 Sweeter Syntax - Detailed Analysis & Overview

Using `block` for local and nested definitions. Representing `fun` forms and motivating the associated generalization of application forms.

Photo Gallery

Shplait Store 7 - sweeter syntax
Plait Store 7 - sweeter syntax
Shplait Tutorial 11 - syntax objects
Shplait Type 7 - typecheck
Shplait Store 1 - state
Shplait Inference 7 - unify examples
Shplait Tutorial 7 - local definitions
Shplait Tutorial 1 - simple values and types
Shplait Lambda 3 - syntax and evaluation
Shplait Store 6 - interp
View Detailed Profile
Shplait Store 7 - sweeter syntax

Shplait Store 7 - sweeter syntax

Using

Plait Store 7 - sweeter syntax

Plait Store 7 - sweeter syntax

Using

Shplait Tutorial 11 - syntax objects

Shplait Tutorial 11 - syntax objects

Syntax

Shplait Type 7 - typecheck

Shplait Type 7 - typecheck

Implementing `typecheck`.

Shplait Store 1 - state

Shplait Store 1 - state

Introduction to state: what and why.

Shplait Inference 7 - unify examples

Shplait Inference 7 - unify examples

Examples for the `unify` function.

Shplait Tutorial 7 - local definitions

Shplait Tutorial 7 - local definitions

Using `block` for local and nested definitions.

Shplait Tutorial 1 - simple values and types

Shplait Tutorial 1 - simple values and types

Numbers, booleans, strings, and symbols.

Shplait Lambda 3 - syntax and evaluation

Shplait Lambda 3 - syntax and evaluation

Representing `fun` forms and motivating the associated generalization of application forms.

Shplait Store 6 - interp

Shplait Store 6 - interp

Implementing `interp`.