Grammar: Difference between revisions

Content added Content deleted
mNo edit summary
No edit summary
Line 35: Line 35:
<Letter> ::= "A" | .. | "Z" | "a" | .. | "z"
<Letter> ::= "A" | .. | "Z" | "a" | .. | "z"


An important property of k syntax is it's ''static parsability'' - a parse tree can be built just by looking at the source code, without any knowledge of the values variables have at runtime.
K can be parsed statically - knowledge about the runtime values of variables is not required to build a parse tree.