Fun With Dada
Summary
This post introduces the experimental Dada language, inspired by Rust with a streamlined ownership model and a more advanced borrow checker, primarily targeting WebAssembly. It explains the evolution from a gradually typed prototype to a focus on static type checking, and notes potential implications for Rust and compiler design, plus plans for a series of future posts.