тип подпись против символьной среды - PullRequest
0 голосов
/ 05 октября 2018

В чем разница между этими понятиями?Я немного ищу ответ.

Из того, что я понимаю, лексический охват связан с функцией и средой, а значения функций являются частью этой исходной функции и операции, а не частью среды.

Что я имею в виду под этим ... "В вашем интерпретаторе переменные всегда ищутся в таблице окружения, передаваемой вызывающей стороной или хранящейся как переменная, а не в каком-то глобальном env-стеке. Подпись вашей операции evalподобно eval (expression, env) => value. Когда интерпретируемый код вызывает функцию, среда НЕ передается этой функции. Сигнатура вашей операции приложения функции подобна apply (function, arguments) => value "

Также я понимаю, что сигнатура типа упорядочивает аргументы функции, но почему аргумент возвращаемого значения дается первым?

Итак, я полагаю, что тогда JavaScript (хотя странно он загружается на лету ..AJAX ..?) Должно быть на много порядков больше, потому что наканунеry объект является изменчивым, и окружение должно постоянно ассоциироваться с каждым изменяющимся объектом, а не с прототипами на основе классов, которые связывают более широкую полосу.

Извините, если это звучит немного бессвязно, я довольно незнаком с этимпросто ищу направление ... или директиву.ИДК.

...