Перевожу для себя конспекты с coursera. Возник вопрос, как перевести binding?
An ML program is a sequence of bindings. Each binding gets type-checked and then (assuming it type-checks) evaluated. What type (if any) a binding has depends on a static environment,1 which is roughly the types of the preceding bindings in the file. How a binding is evaluated depends on a dynamic environment, which