From 6cabcd403e50abb7a606f551e027a455d2351b3f Mon Sep 17 00:00:00 2001 From: the lemons Date: Fri, 18 Feb 2022 03:29:20 -0600 Subject: define the semantic meaning of lists --- readme.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/readme.md b/readme.md index 6291cc0..6374454 100644 --- a/readme.md +++ b/readme.md @@ -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 -- cgit v1.2.3