Vase Mode
summary
Claims that a vase is literally a type+value pair and that a vase algebra composes types to produce runnable Nock artifacts, enabling metacircular interpretation, live eval, and kernel hot swaps. Demonstrations use Hoon/Nock tooling (invase/devase, slop/slap/slab) and a Jock-to-Nock compiler prototype; examples show building and evaluating vases, catching “evil vases,” and hot‑reloading code into Urbit‑style state so dynamic evaluation runs without crashing the whole system.
AI-written summary · about
chapters (17)
- 0:00Vase Mode introduction
- 1:05Type management in Hoon
- 3:13Live code evaluation
- 8:11What is Vase Mode
- 10:16First code examples
- 12:04Type-value pairs in vases
- 15:14Manipulating vases
- 20:03Vase algebra operations
- 24:25Evaluating code against vases
- 27:32Slop and slap in algebra
- 32:32Dynamic types in vases
- 36:03Lists and type discrimination
- 38:33Slab, slam, and text ops
- 41:21Pretty printing
- 42:47Comparison with Dynamic Typing in Haskell
- 44:55Compiler use cases
- 45:37Conclusion
related talks
01h 30mValue in a Procedural World
16mA hammer you can only hold by the handle
01h 01mVal: A Safe Language to Interoperate with C++
57mOo Considered Harmful
36mThe language that isn't
01h 01mValue Semantics: Safety, Independence, Projection, & Future of Programming
18m"Safety Goggles for Alchemists"
20mVerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type(…)