Lisp is not based on the Lambda Calculus

Re:Lisp is not based on the Lambda Calculus by jasonhansel on Thursday August 15, 2019 @12:37AM (#20702630)

Question: if lexical scopes are in the language's data structures, but can't be explicitly created or made visible in the language's syntax, is it still homoiconic?

[ Parent | on HN ]

Re:Lisp is not based on the Lambda Calculus by seanhunter on Thursday August 15, 2019 @05:45AM (#20703851)

If you look up a definition of lexical scope, you'll typically see something like this (from https://en.wikipedia.org/wiki/Scope_(computer_science)#Lexic... but others are similar).

"With lexical scope, a name always refers to its (more or less) local lexical environment. This is a property of the program text..."

So as local lexical environment isa property of the program text, lexical scope is explicit in the language's syntax.

[ Parent | on HN ]

Re:Lisp is not based on the Lambda Calculus by fourthark on Thursday August 15, 2019 @01:53AM (#20702923)

Aren't lexical scopes visible in the language's syntax?

[ Parent | on HN ]