Revision as of 22:25, 4 July 2021 (edit) Ngn (talk \| contribs) No edit summary ← Older edit		Revision as of 22:26, 4 July 2021 (edit) (undo) Ngn (talk \| contribs) mNo edit summary Newer edit →
Line 37: 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. Note that a k expression could have the syntactic role of a <tt><noun></tt> in the source code but evaluate to a function at runtime, for instance `<tt>{1+x}`</tt> or `<tt>(+)`</tt>. A bare `<tt>+`</tt> would be a verb, but enclosing anything in parentheses marks it as a noun - this is called ''nominalization'' ("turning into a noun").

Grammar (edit)