not really? they work almost like comments when it comes to parsing, except you tokenize their innards (unlike comments)
I don’t actually think it matters very much whether the language grammar can be formalized.
-
-
I think it matters less than whether the type system or operational semantics can be formalized, but it's one of a number of areas of "treating the RI as canonical" that I think is not a great practice to reinforce.
-
Being able to describe the grammar and being able to *formalize* it are different things. I agree that it’s good to be able to describe the grammar independently of implementation. I don’t care about formalisms for their own same.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.