Code Style Sheets: CSS for Code
summary
A system that generalizes CSS selectors to ASTs for algebraic data types and a bidirectional view model lets styles target source-level patterns and propagate into many views, implemented for a Haskell subset and demonstrated with 5.7k lines of Haskell and about 1.2k lines of stylesheets. A custom sblock layout compacts nested multiline code while preserving original positions. Examples include semantic highlighting, inline trace values, lint visualizations, and the implementation and artifacts are reproducible.
AI-written summary · about
chapters (7)
- 0:00Code stylesheets introduction
- 3:51Two trees problem
- 7:24Stylesheet evaluation semantics
- 8:47Solving layout problem
- 11:18Demonstrations and examples
- 12:00Future work and integration
- 12:23Q&A on editing challenges
