https://blog.rafaelfernandez.dev/tags/grammar/ Recent content in Grammar on Home Hugo -- gohugo.io en © 2026 Rafael Fernandez Fri, 30 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/posts/syntax-and-semantics-1-your-code-has-a-grammar-problem/ Fri, 30 Jan 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/posts/syntax-and-semantics-1-your-code-has-a-grammar-problem/ Every enum you write is a formal grammar. Every sealed trait is a set of production rules. You have been doing formal methods all along; you just did not know the name. We trace the connection from Chomsky’s hierarchy to your domain types in Rust and Scala.