-
-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Andrew Johnson edited this page Sep 28, 2024
·
105 revisions
λ☶ (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.
- Opinionated Perspective, Neutral Objective
- Abstraction As Appropriate
- Platform Agnostic
- Bootstrap Features
- Library Features
- Principle of Nominal Trust
- No Hidden Layers
- Language Standards
- Security
- Dog Fooding
- Bad Habits Make Good Tools
- Unprofessional
- Always Subtract, Rarely Add
- Diff-based Collaboration
- Incrementalism
- Concurrency
- Performance
- Operations on Classes
- Classes of Types
- Classes of Code Representation
- Classes of Data Representation
- What is a Metric?
- One Expression, Multiple Metrics
- Objectives are Goals to be Minimized
- Selecting a Representation from a Class
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.
The λ☶ source code and documentation are released under the terms of the attached permissive MIT license. This license is intended only to protect the future development of the project while otherwise allowing people to use the code and IP as they would like. Please, just be nice.