Пытаюсь для своего простенького языка сделать интерпретатор нашёл пример с

Question

Пытаюсь для своего простенького языка сделать интерпретатор нашёл пример с

Call-by-value в Write you a haskell. Переписал чуть-чуть, добавив именованные переменные. Потом захотел let-выражения добавить и как-то застопорился. Придумал такое решение: в окружение засовывать не Value, а сырые выражения:
https://gist.github.com/Lev135/d6c0e56edc1a735c977f1485704e4953
В результате, судя по описанию, получился call-by-name вариант, про который написано, что он используется в очень малом числе языков.
Правда ли, что то, что у меня получилось call-by-name? Можно ли как-то написать интерпретацию let выражений с возможной рекурсией без такой переделки? Чем плох call-by-name, что его так мало используют?
Извиняюсь, если не по теме чата, не очень понимаю, куда с таким вопросом можно писать

#compilerdev #it #programming #russian

0

04.06.2023

1 ответов

22 просмотра

jit.js · Accepted Answer

Call-by-value это когда аргумент вычисляется (eval) до вызова функции, а у вас в ветке App выражение b добавляется как есть в env, тоже самое в ветке let – чтобы был call-by-value надо добавить в env не e, а (eval e). Соответственно Env будет хранить не (String, Expr), а (String, Value). А сейчас у вас реализован call-by-name, да

185 похожих чатов

Пытаюсь для своего простенького языка сделать интерпретатор нашёл пример с

1 ответов

Похожие вопросы