Home

λ☶

λ☶ (pronounced Lambda Mountain) is a compiler backend. It is a typed fragment assembler which means it generates machine object files or GNU Assembly.

Right now development is focused towards

• interoperability
• performance
• ergonomics

There is also a Bootstrap Book that explains the compiler internals in great detail.

Getting Started

• Requirements
• Installation
• Hello World

Core Concepts

Unopinionated Philosophy

• Bootstrap Features
• Library Features
• No Hidden Layers
• Principle of Nominal Trust
• Platform Support
• Language Standards
• Security

Fragments

• Declaring a Fragment Type

Equivalence Classes

• Operations on Classes
• Classes of Types
• Classes of Code Representation
• Classes of Data Representation
• Representation Pinning for Foreign-Function Interfaces

Metrics and Objective Functions

• What is a Metric?
• One Expression, Multiple Metrics
• Objectives are Goals to be Minimized
• Selecting a Representation from a Class

Versions and Release Train Schedule

• Bootstrap Compiler
• Production Compiler
• Release Schedule
• Semantic Versioning

Data Representation

• Storage Schemes

Scope of Project

• Role in Larger Build Processes

Mascot

Doby was a donkey that refused to cross a bridge on the way back from a camping trek. He was left for dead in the rough wilderness with winter approaching. Somehow he survived the whole winter under that bridge and was discovered by the game warden the next year.