This course builds a small vectorized database expression framework from an explicit Rust starter.
The starter contains one owned scalar enum and no trait relationships. A separate reference crate
contains the maintained solution and canonical tests; an xtask copies each selected test into
the starter when the learner is ready to validate a chapter.
The current review boundary contains two chapters:
- connect
i32,String, their borrowed forms, and their physical arrays with traits and generic associated types; - read arrays, repeated constants, and dictionary-encoded values through one borrowed interface.
Later chapters will vectorize scalar functions, erase and generate expressions, bind logical signatures, specialize primitive loops, strengthen Rust type boundaries, and add a batch-level async adapter. These topics are not forced into a fixed calendar.
The learner workspace is type-exercise-starter. Begin from main,
where its only implemented data model is ScalarImpl::{Int32, String}:
git fetch origin
git switch --create course-work --track origin/main
cargo check -p type-exercise-starter --lib --locked
mdbook serve course --openThe repository workspace contains the learner crate, type-exercise reference
solution, and xtask support tool. Learners must not inspect the reference or anything
under archived/ while implementing a chapter. The starter-local AGENTS.md
enforces that boundary for coding agents.
Read the mdBook source in course, beginning with the
preface, setup, and
Chapter 1. Continue with
Chapter 2.
Copy a chapter's canonical test into the starter with the same workflow used by Mini-LSM:
cargo x copy-test --chapter 1
cargo test -p type-exercise-starter chapter_1 --lockedThe copied files under type-exercise-starter/src/tests/ are supplied checks, not learner-owned
implementation files.
Maintainers can validate the current reference solution, minimal starter, support tool, historical reference workspace, and book with:
cargo fmt --all -- --check
cargo clippy --workspace --all-targets --locked -- -D warnings
cargo test --workspace --locked
cargo fmt --manifest-path archived/type-exercise-ref/Cargo.toml --all --check
cargo clippy --manifest-path archived/type-exercise-ref/Cargo.toml --workspace --all-targets --all-features --locked -- -D warnings
cargo test --manifest-path archived/type-exercise-ref/Cargo.toml --workspace --all-targets --all-features --locked
cargo check -p type-exercise-starter --lib --locked
mdbook test courseTo validate a completed learner checkpoint, copy and run its test:
cargo x copy-test --chapter 1
cargo test -p type-exercise-starter chapter_1 --locked
cargo x copy-test --chapter 2
cargo test -p type-exercise-starter chapter_2 --lockedJoin skyzh's Discord server to discuss the course.
The source code is licensed under Apache 2.0. See LICENSE. The mdBook text is © 2022-2026 Alex Chi Z and licensed under CC BY-NC-SA 4.0.
