Skip to content
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions doc/modules/language-guide/pages/basic-concepts.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -200,8 +200,7 @@ Other languages that lack lexical scoping may give a different meaning to this p
However, modern languages universally favor lexical scoping, the meaning given here.

Aside from mathematical clarity, the chief practical benefit of lexical scoping is _security_, and its use in building compositionally-secure systems.
Specifically, {proglang} gives very strong composition properties. For example, nesting your program within a program you do not trust does not arbitrarily re-associate your variable
occurrences with different meanings.
Specifically, {proglang} gives very strong composition properties. For example, nesting your program within a program you do not trust cannot arbitrarily redefine your variables with different meanings.

[[intro-values]]
== Values and evaluation
Expand Down