Lala
An expression oriented data notation, aimed at transpiling itself to any cascaded data notation.
Lala is separated into three components: Nana
, Lala
, and Dada
.
First Glance
Language Proposals
- Nana: nana-lang proposal.
- Lala: lala-lang proposal.
- Dada: tbd.
Roadmap
Nana
Nana, a proof-of-concept language, will first be implemented, along with the following key concepts:
- Block
- Obstruction
- Projection
- Exposure
- Value Space
- Literal
- Application
- Binder Space
- Abstraction
- Pattern Language
- Control Flow
- Pattern Matching
Lala
Nana++.
- the order of computation embedded in data structure
- type system
- a standard library
Dada
A (fake) package manager in pure lala, designed more as a structural convention than a heavy building system.
Current Progress
Using lalrpop as nana/lala's parser to Rust.
Currently dealing with symbol resolution.
Also here is a todo list.