Block Lambda Calculus workbench

Block Lambda

Blocks

/

Workspace

92%

Inspector

Selected block

No block selectedSelect a block to see its term, inferred type, and diagnostics.

Block

Term
Inferred type
Status

-- Generated output appears here

Program structure

-- Lowering output appears here

Settings

Appearance, persistence, and workbench layout.

Color theme

Perspective

Autosave

Save interval 2 minutes

Problems, output, and semantics

Load a program to step its reduction.

CSEK machine

Environment

Kontinuation stack

Register VM

Frames · registers

S · the machine steps over the real block tree; a structured value reads as value ⊗ structure

Load a program to run it on the CSEK machine.

Control

Environment

Kontinuation

Choose a semantic view. Reduction traces require an application block.

Untitled workspace Blocks 0

Ready.

Edit Saved locally Just now

Command Palette

Esc

Save workspace

Choose a file name

File name .blc

Load example

This example

Your workspace already has blocks. Replace them with this example, or merge the example alongside them?

Block Info

Type and value for the selected block

Keyboard Shortcuts

Every shortcut the workbench listens for

Command Palette: Ctrl+Shift+P or F1
New workspace: Ctrl+N
Open a .blc file: Ctrl+O
Save As…: Ctrl+S
Undo / Redo: Ctrl+Z/Ctrl+Shift+Z
Refresh generated output: Ctrl+Shift+B
Toggle the block palette: Ctrl+B
Toggle the bottom panel: Ctrl+J
Toggle the inspector: Ctrl+Alt+C
Presentation mode: F11
Search the block palette: /

Escape

Escape closes one thing at a time, innermost first: Settings, then the Command Palette, then the Examples or Renderer menu, then any open header menu, then the compact menu drawer, then the block palette or inspector when they are overlays, and finally the bottom panel on a phone. Focus returns to whatever opened it each time.

Inside a menu, a tab strip, or the program outline

Arrow keys move between items and Home / End jump to the ends. In the header menu bar, ← and → walk between menus and ↑ opens a menu at its last item. In the Lowering pane, the arrow keys walk the printed nodes and Enter reveals the block a node came from.

Block Lambda

Block-Based λ-Calculus

Block Lambda is a block-based workbench for Lambda Calculus. It combines grammar-aware blocks with generated text, inferred types, program outline, and reduction, CSEK, lockstep tools, and Lowering the code from Block to Machine Code. It is designed for teaching and learning the Lambda Calculus, and for exploring the semantics of functional programming.

Workspaces can be saved as .blc files and loaded again from disk. The IDE also keeps an automatic browser backup in local storage so recent work can be recovered if a manual save was forgotten.

Project: Block Lambda Calculus
Version: 1.5.0

Block Lambda Calculus workbench

Problems, output, and semantics

CControl

EEnvironment

KKontinuation

Control

Environment

Kontinuation