kc3-lang/kc3/doc/1_KC3/1.15_List.en.md
-
Show log
Commit
-
Hash : 1801295b
Author :
Thomas de Grivel
Date : 2025-05-19T13:47:55
translate and reword a bit using ChatGPT
1.15 List
Linked lists owning the data. Each node contains a couple of tags : one for data and one for next pointer.
Regular lists can be :
-
multiple elements :
[1, 2, 3] -
an element and a list :
[1 | [2, 3]] -
multiple elements and a list :
[1, 2 | [3]] -
the empty list :
[]
Regular lists end with the empty list : [1] == [1 | []].
You can also contruct dotted lists like in Common Lisp where the next list pointer is an arbitrary form. E.g. :
-
an element and an element :
[1 | 2] -
multiple elements and an element :
[1, 2, 3 | 4] -
the empty list and an element :
[[] | 1]
All these list formats are supported in pattern matching.
1.15.1 Functions
List List.map (List, Fn)List List.reverse (List)Top : KC3 documentation
Previous : 1.14 Integer
Next : 1.16 Map
Source
-
doc/1_KC3/1.15_List.en.md
-
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38
# 1.15 List Linked lists owning the data. Each node contains a couple of tags : one for data and one for next pointer. Regular lists can be : - multiple elements : `[1, 2, 3]` - an element and a list : `[1 | [2, 3]]` - multiple elements and a list : `[1, 2 | [3]]` - the empty list : `[]` Regular lists end with the empty list : `[1] == [1 | []]`. You can also contruct dotted lists like in Common Lisp where the next list pointer is an arbitrary form. E.g. : - an element and an element : `[1 | 2]` - multiple elements and an element : `[1, 2, 3 | 4]` - the empty list and an element : `[[] | 1]` All these list formats are supported in pattern matching. ## 1.15.1 Functions ```elixir List List.map (List, Fn) ``` ```elixir List List.reverse (List) ``` --- Top : [KC3 documentation](../) Previous : [1.14 Integer](1.14_Integer) Next : [1.16 Map](1.16_Map)