Welcome to ShenZhenJia Knowledge Sharing Community for programmer and developer-Open, Learning and Share
menu search
person
Welcome To Ask or Share your Answers For Others

Categories

I am trying to understand the following function:

((lambda 'b
((lambda 'a '''''a) 'b `(this)))
(lambda (x)
(lambda (z)
`(,x ,@z)))
(car ''unquote))

the output is:

(quote quote quote quote quote this)

I am trying to understand the '@z' meaning, someone knows?

question from:https://stackoverflow.com/questions/65919011/what-is-means-in-scheme-language

与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
thumb_up_alt 0 like thumb_down_alt 0 dislike
869 views
Welcome To Ask or Share your Answers For Others

1 Answer

' is syntax-sugar for quote

` is syntax-sugar for quasiquote

, is syntax-sugar for unquote

,@ is syntax-sugar for unquote-splicing


Look at this simple example:

`(1 ,(+ 1 1) ,@(list 3 4)) ;==> (1 2 3 4)

You can rewrite it like this and you will get the same result:

(quasiquote (1 (unquote (+ 1 1)) (unquote-splicing (list 3 4)))) ;==> (1 2 3 4)

https://www.cs.rpi.edu/academics/courses/fall00/ai/scheme/reference/schintro-v14/schintro_129.html

https://docs.racket-lang.org/reference/quasiquote.html

https://courses.cs.washington.edu/courses/cse341/04wi/lectures/14-scheme-quote.html


与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
thumb_up_alt 0 like thumb_down_alt 0 dislike
Welcome to ShenZhenJia Knowledge Sharing Community for programmer and developer-Open, Learning and Share
...