diff options
author | the lemons <citrons@mondecitronne.com> | 2022-02-18 03:29:20 -0600 |
---|---|---|
committer | the lemons <citrons@mondecitronne.com> | 2022-02-18 03:29:20 -0600 |
commit | 6cabcd403e50abb7a606f551e027a455d2351b3f (patch) | |
tree | 45f233c6ad0b94499128ba432431d66a67a63d21 | |
parent | 5feed76385815cf79dfb777c31e241319ff49c3b (diff) |
define the semantic meaning of lists
-rw-r--r-- | readme.md | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -58,7 +58,9 @@ g>:f ``` ## lists -a list is a special type of noun. they contain any amount of nouns in a specific order, including lists themselves. certain operators expect lists as operands. if a nonlist is passed to these operators, then the operand is treated as a list with that noun as its only element. lists can be composed with the `,` operator. it is similar to a "cons" operation. it appends the first operand to the second operand, which is assumed to be a list. lists exist unconditionally. +a list is a special type of noun. they contain any amount of nouns in a specific order, including lists themselves. certain operators expect lists as operands. if a nonlist is passed to these operators, then the operand is treated as a list with that noun as its only element. lists can be composed with the `,` operator. it is similar to a "cons" operation. it appends the first operand to the second operand, which is assumed to be a list. + +lists can be interpreted semantically as meaning all of its elements in order. for example, the sentence `A,B,C` means that there exists `A`, then `B`, then `C`, which indicates that they happen in order. ## operator side-effects some operators have **side-effects** which means that |