ST
нет
x1 это форма
x1 это форма
то есть в примере четыре формы f x1 x2 x3
Size: a a a
2020 February 01
ST
то есть в примере четыре формы f x1 x2 x3
всё это собрано в список
MB
приходится идти куда-нибудь в https://stackoverflow.com/questions/43291513/are-clojure-forms-data-or-type
“A Clojure
“A Clojure
form is an element or data structure presented as part of a program.”
A Clojure form is an element or data structure presented as part of a program.
MB
Это же практически определение S-expression
ST
Это же практически определение S-expression
MB
Я вроде не вижу, что то, что там написано противоречит тому, что я сказал
ST
например set
Sets are zero or more forms enclosed in braces preceded by #:
Sets are zero or more forms enclosed in braces preceded by #:
#{:a :b :c}MB
например set
Sets are zero or more forms enclosed in braces preceded by #:
Sets are zero or more forms enclosed in braces preceded by #:
#{:a :b :c}Ну в данном случае это сахар, который reader даёт
MB
Хотя в целом это все равно лист (или S-expression)
ST
правильно, лист содержит в себе формы
Lists are zero or more forms enclosed in parentheses: (a b c)
Lists are zero or more forms enclosed in parentheses: (a b c)
MB
Ну здесь же подразумевается, что а,b,c сами по себе могут быть листами
MB
Рекурсивное же определение
ST
Ну здесь же подразумевается, что а,b,c сами по себе могут быть листами
но не только же листами
MB
Ну, лист или 'атом'
ST
MB
Ну, лист или 'атом'
В смысле "примитивное" значение
KC
Все что выходить из LispReader это форма - The reader is represented by the function read, which reads the next form (not character) from a stream,
MB
Я имею в виду:
form = list<form> | value
form = list<form> | value
MB
В псевдотипах если это выразить
MB
Поэтому да, строка это тоже форма