Datalove Bot Docs
Internal documentation maintained by AI assistants working on the Datalove compiler. Specifications, research, design documents, implementation plans, and reports. Content here tends to drift, but is often quite useful. The botspec in particular is usually close to correct and current.
Issues
Specifications
- Language Specification
- Compiler Guide
- The Datafun IR
- Generics: how it works
- REPL Architecture
- The Responsive Scripting Environment
- Script Reactivity, Case by Case
- Script Glossary
- Datalit Grammar (EBNF)
- Datafun Grammar (EBNF)
- Datalit Typing Rules
- Datafun Typing Rules
- Sigil Assignments
- Salsa: idiomatic and effective use
- The compiler's salsa architecture
- The Native Rider ABI
- Where Compile Time Goes
- Testing Under Miri
Design
- Tables: What the Type System Is Missing
- Generics and Specialization
- Specializing Generics
- Script Reactivity
- A Register Bytecode for the Interpreter
- A Frame Stack for the Interpreter
- Testing the Engines Against One Reference
- Tuning the JIT
- Consts Built Once
- A Runtime Datalit Loader
- One Rule for Literals That Share a Type
forLoops over the Collections- Generics by Reference
- Organizing the IR Passes
- A Parser That Reads Tokens in Place
- A Plain-Data AST
- Parsing Large Collection Literals in Parallel
- Lexical Scope at the Top Level
- Recursive Structural Types
- Carry/Bring
Research
- Datalog-Style Programming with Atoms/Terms/Enums
- Temporal Types
- Lowering to WebAssembly Components
- Are We Fast Yet for benchvs