Home

λ☶

λ☶ (pronounced Lambda Mountain) is a compiler backend. It is a typed fragment assembler where code can be as low-level or high-level as you want it to be.

Core Concepts

Unopinionated Philosophy

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

Equivalence Classes

• Operations on Classes
• Classes of Types
• Classes of Code Representation
• Classes of Data Representation

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

• Release Schedule
• Semantic Versioning

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.