Hacker News new | ask | show | jobs
by dukoid 1004 days ago
I wish there would be a "lower level" language all CSS and HTML could be translated to, so both levels could have a "reasonable" formal specification...
2 comments
tannhaeuser 1004 days ago
FWIW, while there are unfortunately only very few attempts at formalizing CSS, there's at least an unofficial, unreviewed (?), partial formal semantics for (CSS 2-era) float layout based on z3 SMT and Racket you can take a look at to get a flavor, though it isn't receiving further development.

[1]: https://github.com/uwplse/cassius

[2]: https://pavpanchekha.com/blog/css-floats.html

link
crazygringo 1004 days ago
That would be amazing.

It would finally allow for competition in languages/paradigms.

And we could write modern languages from scratch.

link