Singly-linked list/Traversal: Difference between revisions

m
m (→‎{{header|Wren}}: Minor tidy)
 
(15 intermediate revisions by 10 users not shown)
Line 7:
{{Template:See also lists}}
<br><br>
 
=={{header|6502 Assembly}}==
 
These implementations use the zero page to hold the linked list nodes. The equivalent implementation for any arbitrary address will be left as an exercise to the reader.
 
===Using self-modifying code===
In this example, we'll create three nodes, and read the value of the last node. You can copy and paste this code into easy6502 and run it there. Note that the debugger shows that the value in the accumulator is $25, just as expected.
 
Self-modifying code is an efficient way to perform this task. Unfortunately, easy6502 does not support <code>ORG</code> directives or compile-time pointer arithmetic, so the easiest way to do this was to place a jump to the main program at the beginning and put the self-modifying section between the jump and the main program. (Easy6502's memory layout starts execution at $0600 so it was a simple matter of knowing that <code>JMP</code> takes three bytes and <code>LDA</code> takes two.)
 
The program will look up the pointer to the next node, modify the operand of the traverse function with that address, and repeat until a null pointer ($00) is read. Then it uses the same traverse function to fetch the value.
 
<syntaxhighlight lang="6502asm">define nullptr 0
jmp main
traverse:
;change the $00 to anything you want
;by writing the desired value to $0604
LDA $00,X
rts
 
main:
;create three nodes
; node 0 = #$23 stored at $0003
; node 1 = #$24 stored at $0013
; node 2 = #$25 stored at $0033
 
LDA #$03
STA $0604
;alter our code to have the starting address.
;create the linked list.
LDA #$23
STA $03
LDA #$13
STA $04
 
LDA #$24
STA $13
LDA #$33
STA $14
 
LDA #$25
STA $33
LDA #nullptr
STA $34
 
;traverse to last element and load it into A.
LDX #1
loop_traverse:
jsr traverse
;CMP #nullptr ;LDA implicitly compares to zero.
BEQ done ;if equal to nullptr, exit.
STA $0604
jmp loop_traverse
done:
dex
jsr traverse ;get the value of the last element.
brk</syntaxhighlight>
 
===Without self-modifying code===
This is mostly the same, except it uses the <code>($nn),y</code> addressing mode which is a bit slower, but can be executed on ROM cartridges no problem.
<syntaxhighlight lang="6502asm">define nullptr 0
define tempptr $fc
 
 
main:
;create three nodes
; node 0 = #$23 stored at $0003
; node 1 = #$24 stored at $0013
; node 2 = #$25 stored at $0033
 
;create the linked list.
LDA #$03
STA $FC ;store the pointer to node 0.
LDA #$00
STA $FD ;if you're using the zero page to hold your linked list entries, you need to make the high byte zero.
 
LDA #$23
STA $03
LDA #$13
STA $04
 
LDA #$24
STA $13
LDA #$33
STA $14
 
LDA #$25
STA $33
LDA #nullptr
STA $34
 
LDY #1
loop:
jsr traverse
BEQ done
STA $FC
BNE loop ;branch always
done:
DEY
JSR traverse
brk
 
traverse:
LDA ($FC),Y
rts</syntaxhighlight>
 
=={{header|AArch64 Assembly}}==
{{works with|as|Raspberry Pi 3B version Buster 64 bits}}
<syntaxhighlight lang="aarch64 assembly">
<lang AArch64 Assembly>
/* ARM assembly AARCH64 Raspberry PI 3B */
/* program afficheList64.s */
Line 130 ⟶ 235:
.include "../includeARM64.inc"
 
</syntaxhighlight>
</lang>
 
=={{header|ACL2}}==
The standard list data type is a singly linked list.
<langsyntaxhighlight Lisplang="lisp">(defun traverse (xs)
(if (endp xs)
(cw "End.~%")
(prog2$ (cw "~x0~%" (first xs))
(traverse (rest xs)))))</langsyntaxhighlight>
 
=={{header|Action!}}==
The user must type in the monitor the following command after compilation and before running the program!<pre>SET EndProg=*</pre>
{{libheader|Action! Tool Kit}}
<langsyntaxhighlight Actionlang="action!">CARD EndProg ;required for ALLOCATE.ACT
 
INCLUDE "D2:ALLOCATE.ACT" ;from the Action! Tool Kit. You must type 'SET EndProg=*' from the monitor after compiling, but before running this program!
Line 224 ⟶ 329:
 
Clear()
RETURN</langsyntaxhighlight>
{{out}}
[https://gitlab.com/amarok8bit/action-rosetta-code/-/raw/master/images/Singly-linked_list_traversal.png Screenshot from Atari 8-bit computer]
Line 234 ⟶ 339:
=={{header|ActionScript}}==
See [[Singly-Linked List (element)#ActionScript|Singly-Linked List (element) in ActionScript]]
<langsyntaxhighlight ActionScriptlang="actionscript">var A:Node;
//...
for(var i:Node = A; i != null; i = i.link)
{
doStuff(i);
}</langsyntaxhighlight>
 
=={{header|Ada}}==
The Ada standard container library provides a doubly-linked list. List traversal is demonstrated for the forward links.
 
<langsyntaxhighlight lang="ada">with Ada.Containers.Doubly_Linked_Lists;
with Ada.Text_Io; use Ada.Text_Io;
 
Line 261 ⟶ 366:
-- Traverse the list, calling Print for each value
The_List.Iterate(Print'access);
end traversal_example;</langsyntaxhighlight>
 
=={{header|ALGOL 68}}==
Line 269 ⟶ 374:
Linked lists are not built into ALGOL 68 ''per se'', nor any available standard library. However Linked lists are presented in standard text
book examples. Or can be manually constructed, eg:
<langsyntaxhighlight lang="algol68">MODE STRINGLIST = STRUCT(STRING value, REF STRINGLIST next);
 
STRINGLIST list := ("Big",
Line 283 ⟶ 388:
node := next OF node
OD;
print(newline)</langsyntaxhighlight>
{{out}}
<pre>
Line 290 ⟶ 395:
 
=={{header|ALGOL W}}==
<langsyntaxhighlight lang="algolw">begin
% record type to hold a singly linked list of integers %
record ListI ( integer iValue; reference(ListI) next );
Line 317 ⟶ 422:
end;
 
end.</langsyntaxhighlight>
{{out}}
<pre>
Line 329 ⟶ 434:
=={{header|ARM Assembly}}==
{{works with|as|Raspberry Pi}}
<syntaxhighlight lang="arm assembly">
<lang ARM Assembly>
/* ARM assembly Raspberry PI */
/* program afficheList.s */
Line 509 ⟶ 614:
bx lr @ leave function
iMagicNumber: .int 0xCCCCCCCD
</syntaxhighlight>
</lang>
 
=={{header|ATS}}==
 
I repeated the [[Singly-linked_list/Element_definition#ATS|‘Rosetta Code linear list type’]] here, so you can simply copy
the code below, compile it, and run it.
 
Also I put the executable parts in initialization rather than the main program,
to avoid being forced to ‘consume’ the list (free its memory). I felt that would be a distraction.
 
The traversal function is proven to terminate.
 
<syntaxhighlight lang="ats">(*------------------------------------------------------------------*)
 
(* The Rosetta Code linear list type can contain any vt@ype.
(The ‘@’ means it doesn’t have to be the size of a pointer.
You can read {0 <= n} as ‘for all non-negative n’. *)
dataviewtype rclist_vt (vt : vt@ype+, n : int) =
| rclist_vt_nil (vt, 0)
| {0 <= n} rclist_vt_cons (vt, n + 1) of (vt, rclist_vt (vt, n))
 
(* A lemma one will need: lists never have negative lengths. *)
extern prfun {vt : vt@ype}
lemma_rclist_vt_param
{n : int}
(lst : !rclist_vt (vt, n)) :<prf> [0 <= n] void
 
(* Proof of the lemma. *)
primplement {vt}
lemma_rclist_vt_param lst =
case+ lst of
| rclist_vt_nil () => ()
| rclist_vt_cons _ => ()
 
(*------------------------------------------------------------------*)
 
(* For simplicity, the Rosetta Code linear list traverse-and-print
routine will be specifically for lists of ‘int’. *)
 
(* Some things that will be needed. *)
#include "share/atspre_staload.hats"
 
(* The list is passed by value and will be preserved with the same
type. *)
extern fun
rclist_int_traverse_and_print
{m : int} (* ‘for all list lengths m’ *)
(lst : !rclist_vt (int, m) >> (* ! = pass by value *)
(* The new type will be the same as the old
type. *)
rclist_vt (int, m)) : void
 
implement
rclist_int_traverse_and_print {m} (lst) =
{
(* A recursive nested function that traverses the list, printing
elements along the way. *)
fun
traverse {k : int | 0 <= k}
.<k>. (* Means: ‘k must uniformly decrease towards zero.’
If so, that is proof that ‘find’ terminates. *)
(lst : !rclist_vt (int, k) >> rclist_vt (int, k)) :
void =
case+ lst of
| rclist_vt_nil () => () (* End of list. *)
| rclist_vt_cons (head, tail) =>
begin
println! (head);
traverse tail
end
 
(* The following is needed to prove that the initial k above
satisfies 0 <= k. *)
prval _ = lemma_rclist_vt_param lst
 
val _ = traverse lst
}
 
(* Now let’s try it. *)
 
(* Some convenient notation. *)
#define NIL rclist_vt_nil ()
#define :: rclist_vt_cons
overload traverse_and_print with rclist_int_traverse_and_print
 
val A = 123
val B = 789
val C = 456
 
val lst = A :: C :: B :: NIL
 
val () = traverse_and_print lst
 
(*------------------------------------------------------------------*)
 
implement
main0 () = ()</syntaxhighlight>
 
{{out}}
<pre>$ patscc -DATS_MEMALLOC_LIBC singly_linked_list_traversal.dats && ./a.out
123
456
789</pre>
 
=={{header|AutoHotkey}}==
<syntaxhighlight lang="autohotkey">a = 1
<lang AutoHotkey>a = 1
a_next = b
b = 2
Line 531 ⟶ 738:
name := %name% . "_next"
}
}</langsyntaxhighlight>
 
=={{header|Axe}}==
<langsyntaxhighlight lang="axe">LINK(L₁,1)→A
LINK(L₁+10,2)→B
LINK(L₁+50,3)→C
Line 545 ⟶ 752:
Disp VALUE(I)▶Dec,i
NEXT(I)→I
End</langsyntaxhighlight>
 
=={{header|BBC BASIC}}==
==={{header|BBC BASIC}}===
{{works with|BBC BASIC for Windows}}
<langsyntaxhighlight lang="bbcbasic"> DIM node{pNext%, iData%}
DIM a{} = node{}, b{} = node{}, c{} = node{}
Line 573 ⟶ 781:
here.pNext% = new{}
ENDPROC
</syntaxhighlight>
</lang>
{{out}}
<pre>Traverse list:
Line 582 ⟶ 790:
=={{header|C}}==
See [[Singly-Linked List (element)#C|Singly-Linked List (element) in C]].
<langsyntaxhighlight lang="c">struct link *first;
// ...
struct link *iter;
for(iter = first; iter != NULL; iter = iter->next) {
// access data, e.g. with iter->data
}</langsyntaxhighlight>
 
=={{header|C sharp|C#}}==
Uses the generic version of the node type located [[Singly-linked_list/Element_definition#C#|here]].
 
<langsyntaxhighlight lang="csharp">var current = [head of list to traverse]
while(current != null)
{
Line 598 ⟶ 806:
 
current = current.Next;
}</langsyntaxhighlight>
 
Alternatively, as a for loop:
<langsyntaxhighlight lang="csharp">for (var current = [head of list to traverse]; current != null; current = current.Next)
{
// Do something with current.Value.
}</langsyntaxhighlight>
 
=={{header|C++}}==
Line 610 ⟶ 818:
{{works with|C++11}}
For each traversal version.
<langsyntaxhighlight lang="cpp">#include <iostream>
#include <forward_list>
 
Line 618 ⟶ 826:
for (int e : list)
std::cout << e << std::endl;
}</langsyntaxhighlight>
 
=={{header|Clojure}}==
<langsyntaxhighlight lang="lisp">(doseq [x xs] (println x))</langsyntaxhighlight>
 
=={{header|Common Lisp}}==
<langsyntaxhighlight lang="lisp">(dolist (x list)
(print x))</langsyntaxhighlight>
 
Using LOOP:
 
<langsyntaxhighlight lang="lisp">(loop for x in list do (print x))</langsyntaxhighlight>
 
Using MAPC
 
<syntaxhighlight lang ="lisp">(mapc #'print list)</langsyntaxhighlight>
 
Using MAP
 
<langsyntaxhighlight lang="lisp">(map nil #'print list)</langsyntaxhighlight>
 
 
Not using builtin list iteration:
 
<langsyntaxhighlight lang="lisp">(loop for ref = list then (rest ref)
until (null ref)
do (print (first ref)))</langsyntaxhighlight>
 
=={{header|Computer/zero Assembly}}==
A linked list can be implemented as a chain of CONS cells, where each cell is made up of two neighbouring memory locations: the CAR, storing an item of data, and the CDR, storing the address of the next cell in the list. The CDR of the last cell contains not an address but a special <tt>NIL</tt> value that is guaranteed not to be a valid address; in this implementation, we use 0 to represent <tt>NIL</tt>. The order of CONS cells in memory is of course entirely unimportant. For the sake of example, this program traverses the list <tt>'(1 2 3 4 5 6)</tt> and halts with the final value in the accumulator. The program is reasonably straightforward, but it does make some use of instruction arithmetic (self-modifying code).
<langsyntaxhighlight lang="czasm">start: LDA load
ADD car ; head of list
STA ldcar
Line 677 ⟶ 885:
26,27: 3, 30
28,29: 1, 22
30,31: 4, 24</langsyntaxhighlight>
 
=={{header|D}}==
<langsyntaxhighlight lang="d">struct SLinkedNode(T) {
T data;
typeof(this)* next;
Line 694 ⟶ 902:
write(p.data, " ");
writeln();
}</langsyntaxhighlight>
{{out}}
<pre>1 2 3 4 </pre>
===Alternative Version===
Using tango's collections (written by Doug Lea, ported to D):
<langsyntaxhighlight lang="d">import tango.io.Stdout;
import tango.util.collection.LinkSeq;
 
Line 709 ⟶ 917:
foreach (val; m)
Stdout(val).newline;
}</langsyntaxhighlight>
 
=={{header|Delphi}}==
<langsyntaxhighlight lang="delphi">uses system ;
type
Line 733 ⟶ 941:
while not (pList^.Next = NIL) do pList := pList^.Next ;
end;</langsyntaxhighlight>
 
=={{header|Dyalect}}==
Line 739 ⟶ 947:
Dyalect doesn't support linked lists out of the box, but it is fairly simple to implement one:
 
<langsyntaxhighlight lang="dyalect">type List = Cons(value, tail) or Nil()
with Lookup
static func List.fromArrayFromArray(xs) {
var list = List.Nil()
var len = xs.lenLength()
for i in (len-1)^-1..0 {
Line 752 ⟶ 961:
}
func List.iterIterate() {
var xs = this
do {
Line 768 ⟶ 977:
}
var xs = List.fromArrayFromArray([1..10])
for x in xs {
print(x)
}</langsyntaxhighlight>
 
It is also possible to provide an ad hoc solution to the problem:
Line 778 ⟶ 987:
{{trans|E}}
 
<langsyntaxhighlight lang="dyalect">var xs = (1, (2, (3, (4, (5, (6, (7, (8, (9, (10, nil))))))))))
 
while xs is (value, tail) {
print(value)
xs = tail
}</langsyntaxhighlight>
 
Here a linked list is emulated using tuples.
Line 789 ⟶ 998:
=={{header|E}}==
Using a list made from tuples:
<langsyntaxhighlight lang="e">var linkedList := [1, [2, [3, [4, [5, [6, [7, null]]]]]]]
 
while (linkedList =~ [value, next]) {
println(value)
linkedList := next
}</langsyntaxhighlight>
 
Using a list made from the structure defined at [[Singly-Linked List (element)#E|Singly-Linked List (element)]]:
<langsyntaxhighlight lang="e">var linkedList := makeLink(1, makeLink(2, makeLink(3, empty)))
 
while (!(linkedList.null())) {
println(linkedList.value())
linkedList := linkedList.next()
}</langsyntaxhighlight>
 
=={{header|EchoLisp}}==
Lists - linked-lists - are '''the''' fundamental data type in EchoLisp. A lot of fuctions exist to scan lists or operate on successive elements.
<langsyntaxhighlight lang="lisp">
(define friends '( albert ludwig elvis 🌀))
 
Line 832 ⟶ 1,041:
(foldl + 0 L) → 500500 ; 1000 * 1001 / 2
 
</syntaxhighlight>
</lang>
 
=={{header|Ela}}==
<langsyntaxhighlight lang="ela">traverse [] = []
traverse (x::xs) = x :: traverse xs</langsyntaxhighlight>
 
This function traverses a list and constructs a new list at the same time. For a list in Ela it is the same as identity function, e.g. traverse [1,2,3] == [1,2,3]. However it can be useful in some cases. For example, to enforce a lazy list:
 
<langsyntaxhighlight lang="ela">xs = [& x \\ x <- [1..1000]]//lazy list
 
traverse xs</langsyntaxhighlight>
 
=={{header|Elena}}==
Simple iteration with a while loop.
<langsyntaxhighlight lang="elena">
while(nil != current){
console printLine(current.Item);
current := current.Next
}</langsyntaxhighlight>
 
=={{header|Erlang}}==
Line 862 ⟶ 1,071:
 
=={{header|Factor}}==
<langsyntaxhighlight lang="factor">: list-each ( linked-list quot: ( data -- ) -- )
[ [ data>> ] dip call ]
[ [ next>> ] dip over [ list-each ] [ 2drop ] if ] 2bi ; inline recursive
Line 872 ⟶ 1,081:
[ B <linked-list> list-insert ] keep
 
[ . ] list-each</langsyntaxhighlight>
{{out}}
<pre>
Line 882 ⟶ 1,091:
=={{header|Fantom}}==
Using the definitions from [[Singly-Linked_List_(element_insertion)]]:
<langsyntaxhighlight lang="fantom"> // traverse the linked list
Node? current := a
while (current != null)
Line 888 ⟶ 1,097:
echo (current.value)
current = current.successor
}</langsyntaxhighlight>
 
=={{header|Forth}}==
<langsyntaxhighlight lang="forth">: last ( list -- end )
begin dup @ while @ repeat ;</langsyntaxhighlight>
And here is a function to walk a list, calling an XT on each data cell:
<langsyntaxhighlight lang="forth">: walk ( a xt -- )
>r begin ?dup while
dup cell+ @ r@ execute
@ repeat r> drop ;</langsyntaxhighlight>
 
Testing code:
Line 904 ⟶ 1,113:
=={{header|Fortran}}==
Fortran 95. See [[Singly-Linked List (element)#Fortran|Singly-Linked List (element) in Fortran]].
<langsyntaxhighlight lang="fortran">subroutine traversal(list,proc)
type(node), target :: list
type(node), pointer :: current
Line 917 ⟶ 1,126:
current => current%next
end do
end subroutine traversal</langsyntaxhighlight>
Print data from all nodes of a singly-linked list:
<langsyntaxhighlight lang="fortran">subroutine printNode(data)
real, intent(in) :: data
write (*,*) data
Line 927 ⟶ 1,136:
type(node), intent(in) :: list
call traversal(list,printNode)
end subroutine printAll</langsyntaxhighlight>
 
=={{header|FreeBASIC}}==
Requires the type definition and node insertion routine [[Singly-linked_list/Element_definition#FreeBASIC|here]] and [[Singly-linked_list/Element_insertion#FreeBASIC|here]] respectively. Also includes a routine for allocating space for a node.
 
<langsyntaxhighlight lang="freebasic">#define NULL 0
 
function alloc_ll_int( n as integer ) as ll_int ptr
Line 959 ⟶ 1,168:
next i
 
traverse_ll_int( head )</langsyntaxhighlight>
 
=={{header|Go}}==
See [[Singly-Linked List (element)#Go|Singly-Linked List (element) in Go]].
<langsyntaxhighlight lang="go">start := &Ele{"tacos", nil}
end := start.Append("burritos")
end = end.Append("fajitas")
Line 969 ⟶ 1,178:
for iter := start; iter != nil; iter = iter.Next {
fmt.Println(iter)
}</langsyntaxhighlight>
 
=={{header|Haskell}}==
Lists are ubiquitous in Haskell, simply use Haskell's <em>map</em> library function:
<langsyntaxhighlight lang="haskell">map (>5) [1..10] -- [False,False,False,False,False,True,True,True,True,True]
 
map (++ "s") ["Apple", "Orange", "Mango", "Pear"] -- ["Apples","Oranges","Mangos","Pears"]
Line 981 ⟶ 1,190:
traverse :: [a] -> [a]
traverse list = map func list
where func a = -- ...do something with a</langsyntaxhighlight>
 
Note that the <em>traverse</em> function is polymorphic; denoted by <em>traverse :: [a] -> [a]</em> where <em>a</em> can be of any type.
Line 987 ⟶ 1,196:
=={{header|Icon}} and {{header|Unicon}}==
Using either the record or class-based definitions from [[Singly-Linked List (element)#Icon_and_Unicon|Singly-Linked List (element) in Icon and Unicon]]:
<langsyntaxhighlight Iconlang="icon">procedure main ()
ns := Node(1, Node(2, Node (3)))
until /ns do { # repeat until ns is null
Line 993 ⟶ 1,202:
ns := ns.successor
}
end</langsyntaxhighlight>
Prints the numbers 1, 2, 3 in turn.
 
=={{header|J}}==
Using the implementation mentioned at [[Singly-Linked List (element)#J|Singly-Linked List (element) in J]], we can apply a function <tt>foo</tt> to each node the following way:
<langsyntaxhighlight Jlang="j">foo"0 {:"1 list</langsyntaxhighlight>
 
=={{header|Java}}==
{{works with|Java|1.5+}}
For Java.util.LinkedList<T>, use a for each loop (from [[Loop Structures]]):
<langsyntaxhighlight lang="java">LinkedList<Type> list = new LinkedList<Type>();
 
for(Type i: list){
//each element will be in variable "i"
System.out.println(i);
}</langsyntaxhighlight>
Note that <code>java.util.LinkedList</code> can also perform as a stack, queue, or doubly-linked list.
 
=={{header|JavaScript}}==
Extending [[Singly-Linked_List_(element)#JavaScript]]
<langsyntaxhighlight lang="javascript">LinkedList.prototype.traverse = function(func) {
func(this);
if (this.next() != null)
Line 1,024 ⟶ 1,233:
 
var head = createLinkedListFromArray([10,20,30,40]);
head.print();</langsyntaxhighlight>
Uses the <code>print()</code> function from [[Rhino]]
 
Line 1,030 ⟶ 1,239:
Alternatively, translating the [[#Haskell | Haskell]] examples in terms of JavaScript's Array.map, Array.reduce, and Array.forEach:
 
<langsyntaxhighlight JavaScriptlang="javascript">var map = function (fn, list) {
return list.map(fn);
},
Line 1,075 ⟶ 1,284:
/* Orange */
/* Mango */
/* Pear */</langsyntaxhighlight>
 
=={{header|Joy}}==
<syntaxhighlight lang="joy">['a 'b 'c '\n] [putch] step.</syntaxhighlight>
 
=={{header|jq}}==
Line 1,084 ⟶ 1,296:
 
Here we define a "map" filter as well as a traversal filter. The "map" filter is similar to the built-in `map` in that it can be used to remove items as per the comment below.
<syntaxhighlight lang="jq">
<lang jq>
# Produce a stream of the items in the input SLL.
def items:
Line 1,094 ⟶ 1,306:
# If f evaluates to empty at any item, that item is removed;
# if f evaluates to more than one item, all are added separately.
def map_singly_linked_list(f): to_singly_linked_list( items | f );</langsyntaxhighlight>
'''Examples'''
<langsyntaxhighlight lang="jq">{
"item": 1,
"next": {
Line 1,104 ⟶ 1,316:
}
| reduce items as $item (null; .+$item),
map_singly_linked_list(- .)</langsyntaxhighlight>
{{out}}
<pre>
Line 1,121 ⟶ 1,333:
Julia let you implement list traversal very easily: see [[Singly-linked_list/Element_definition#Julia]] for the <tt>LinkedList</tt> struct definition.
 
<langsyntaxhighlight lang="julia">Base.start(ll::LinkedList) = ll.head
Base.done(ll::LinkedList{T}, st::AbstractNode{T}) where T = st isa EmptyNode
Base.next(ll::LinkedList{T}, st::AbstractNode{T}) where T = st.data, st.next
Line 1,132 ⟶ 1,344:
for n in lst
print(n, " ")
end</langsyntaxhighlight>
 
=={{header|Kotlin}}==
Lists in Kotlin may be instanciated from Java classes or from Kotlin methods or extensions.
<langsyntaxhighlight lang="scala">fun main(args: Array<String>) {
val list = IntRange(1, 50).toList()
 
Line 1,144 ⟶ 1,356:
// list iterator:
list.asReversed().forEach { print("%4d ".format(it)); if (it % 10 == 1) println() }
}</langsyntaxhighlight>
{{out}}
<pre> 1 2 3 4 5 6 7 8 9 10
Line 1,159 ⟶ 1,371:
=={{header|Limbo}}==
Lists are a built-in type in Limbo.
<langsyntaxhighlight Limbolang="limbo">implement Command;
 
include "sys.m";
Line 1,178 ⟶ 1,390:
sys->print("%d\n", hd l);
# the unary 'hd' operator gets the head of a list
}</langsyntaxhighlight>
 
=={{header|Logo}}==
LAST is already a Logo built-in, but it could be defined this way:
<langsyntaxhighlight lang="logo">to last :list
if empty? bf :list [output first :list]
output last bf :list
end</langsyntaxhighlight>
 
=={{header|Logtalk}}==
The built-in list type can be viewed as a singly linked list.
Traversing can be trivially done using a tail-recursive predicate:
<langsyntaxhighlight lang="logtalk">
:- object(singly_linked_list).
 
Line 1,204 ⟶ 1,416:
 
:- end_object.
</syntaxhighlight>
</lang>
{{out}}
<langsyntaxhighlight lang="text">
| ?- singly_linked_list::show.
1
Line 1,212 ⟶ 1,424:
3
yes
</syntaxhighlight>
</lang>
 
=={{header|Mathematica}}/{{header|Wolfram Language}}==
<langsyntaxhighlight Mathematicalang="mathematica">Print /@ {"rosettacode", "kitten", "sitting", "rosettacode", "raisethysword"}</langsyntaxhighlight>
{{out}}
<pre>rosettacode
Line 1,227 ⟶ 1,439:
Matlab and Octave do not have pointers.
Linked lists are implemented as vectors (i.e. arrays of size 1xN)
<langsyntaxhighlight Matlablang="matlab">list = 1:10;
for k=1:length(list)
printf('%i\n',list(k))
end; </langsyntaxhighlight>
 
It is recommended to avoid loops and "vectorize" the code:
 
<langsyntaxhighlight Matlablang="matlab"> printf('%d\n', list(:)); </langsyntaxhighlight>
 
=={{header|MiniScript}}==
We're choosing here to use the built-in list type, rather than make our own from scratch, since this is more representative of how one is likely to actually use MiniScript.
<langsyntaxhighlight MiniScriptlang="miniscript">myList = [2, 4, 6, 8]
for i in myList
print i
end for</langsyntaxhighlight>
{{out}}
<pre>
Line 1,253 ⟶ 1,465:
{{trans|C}}
See [[Singly-Linked List (element)#Nanoquery|Singly-Linked List (element) in Nanoquery]].
<langsyntaxhighlight lang="nanoquery">first = new(link)
//
for (iter = first) (iter != null) (iter = iter.next)
println iter.data
end</langsyntaxhighlight>
 
=={{header|NewLISP}}==
<langsyntaxhighlight NewLISPlang="newlisp">(dolist (x '(a b c d e))
(println x))</langsyntaxhighlight>
 
=={{header|Nim}}==
<langsyntaxhighlight lang="nim">type Node[T] = ref object
next: Node[T]
data: T
Line 1,289 ⟶ 1,501:
 
for item in a:
echo item.data</langsyntaxhighlight>
 
=={{header|Objeck}}==
<langsyntaxhighlight lang="objeck">
for(node := head; node <> Nil; node := node->GetNext();) {
node->GetValue()->PrintLine();
};
</syntaxhighlight>
</lang>
 
=={{header|Objective-C}}==
(See [[Singly-Linked List (element)]])
<langsyntaxhighlight lang="objc">RCListElement *current;
for(current=first_of_the_list; current != nil; current = [current next] )
{
// to get the "datum":
// id dat_obj = [current datum];
}</langsyntaxhighlight>
 
=={{header|OCaml}}==
<langsyntaxhighlight lang="ocaml"># let li = ["big"; "fjords"; "vex"; "quick"; "waltz"; "nymph"] in
List.iter print_endline li ;;
big
Line 1,316 ⟶ 1,528:
waltz
nymph
- : unit = ()</langsyntaxhighlight>
 
=={{header|Odin}}==
<syntaxhighlight lang="odin">package main
 
import "core:fmt"
 
Node :: struct {
data: rune,
next: ^Node,
}
 
insert_after :: proc(node, new_node: ^Node) {
new_node.next = node.next
node.next = new_node
}
 
main :: proc() {
a := new(Node)
a.data = 'A'
 
b := new(Node)
b.data = 'B'
 
c := new(Node)
c.data = 'C'
 
insert_after(a, b) // A -> B
insert_after(a, c) // A -> C -> B
 
for n := a; n != nil; n = n.next {
fmt.print(n.data)
} // prints: ACB
}
</syntaxhighlight>
 
=={{header|Oforth}}==
Line 1,324 ⟶ 1,570:
Because forEachNext is defined, a linked list responds to all methods defined for Collections : apply, map, filter, ....
 
<langsyntaxhighlight Oforthlang="oforth">: testLink LinkedList new($A, null) dup add($B) dup add($C) ;
testLink apply(#println)</langsyntaxhighlight>
 
{{out}}
Line 1,336 ⟶ 1,582:
=={{header|ooRexx}}==
See [[Singly-linked_list/Element_definition#ooRexx|Singly-Linked List/Element Definition in ooRexx]] for the full class definition.
<langsyntaxhighlight ooRexxlang="oorexx">list=.list~of('A','B','X')
say "Manual list traversal"
index=list~first
Line 1,348 ⟶ 1,594:
do value over list
say value
end</langsyntaxhighlight>
{{out}}
<pre>Manual list traversal
Line 1,362 ⟶ 1,608:
 
=={{header|Pascal}}==
See [[Singly-linked_list/Traversal#Delphi | Delphi]]
 
=={{header|Peloton}}==
This makes a list of the Chinese Public Holiday and lists them first till last and then last till first.
<langsyntaxhighlight lang="sgml"><@ LETCNSLSTLIT>public holidays|開國紀念日^和平紀念日^婦女節、兒童節合併假期^清明節^國慶日^春節^端午節^中秋節^農曆除夕</@>
<@ OMT>From First to Last</@>
<@ ITEFORSZELSTLIT>public holidays|
Line 1,374 ⟶ 1,620:
<@ ITEFORSZELSTLIT>public holidays|
<@ SAYLST>...</@><@ ACTMOVBKWLST>...</@>
</@></langsyntaxhighlight>
This variable length Simplified Chinese rendition of the same code is
<langsyntaxhighlight lang="sgml"><# 指定构造列表字串>public holidays|開國紀念日^和平紀念日^婦女節、兒童節合併假期^清明節^國慶日^春節^端午節^中秋節^農曆除夕</#>
<# 忽略>From First to Last</#>
<# 迭代迭代次数结构大小列表字串>public holidays|
Line 1,384 ⟶ 1,630:
<# 迭代迭代次数结构大小列表字串>public holidays|
<# 显示列表>...</#><# 运行移位指针向后列表>...</#>
</#></langsyntaxhighlight>
 
=={{header|Perl}}==
We use Class::Tiny to get OO functionality with minimal effort.
<langsyntaxhighlight lang="perl">package SSL_Node;
use strict;
use Class::Tiny qw( val next );
Line 1,417 ⟶ 1,663:
$node = $node->next;
}
print "\n";</langsyntaxhighlight>
{{out}}
<pre>10... 9... 8... 7... 6... 5... 4... 3... 2... 1...
Line 1,424 ⟶ 1,670:
=={{header|Phix}}==
See also [[Singly-linked_list/Element_removal#Phix|Removal]].
<!--<syntaxhighlight lang="phix">(phixonline)-->
<lang Phix>enum NEXT,DATA
<span style="color: #008080;">with</span> <span style="color: #008080;">javascript_semantics</span>
constant empty_sll = {{1}}
<span style="color: #008080;">enum</span> <span style="color: #000000;">NEXT</span><span style="color: #0000FF;">,</span><span style="color: #000000;">DATA</span>
sequence sll = empty_sll
<span style="color: #008080;">constant</span> <span style="color: #000000;">empty_sll</span> <span style="color: #0000FF;">=</span> <span style="color: #0000FF;">{{</span><span style="color: #004600;">NULL</span><span style="color: #0000FF;">}}</span>
 
<span style="color: #004080;">sequence</span> <span style="color: #000000;">sll</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">deep_copy</span><span style="color: #0000FF;">(</span><span style="color: #000000;">empty_sll</span><span style="color: #0000FF;">)</span>
procedure insert_after(object data, integer pos=length(sll))
sll = append(sll,{sll[pos][NEXT],data})
<span style="color: #008080;">procedure</span> <span style="color: #000000;">insert_after</span><span style="color: #0000FF;">(</span><span style="color: #004080;">object</span> <span style="color: #000000;">data</span><span style="color: #0000FF;">,</span> <span style="color: #004080;">integer</span> <span style="color: #000000;">pos</span><span style="color: #0000FF;">=</span><span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">sll</span><span style="color: #0000FF;">))</span>
sll[pos][NEXT] = length(sll)
<span style="color: #000000;">sll</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">append</span><span style="color: #0000FF;">(</span><span style="color: #000000;">sll</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">sll</span><span style="color: #0000FF;">[</span><span style="color: #000000;">pos</span><span style="color: #0000FF;">][</span><span style="color: #000000;">NEXT</span><span style="color: #0000FF;">],</span><span style="color: #000000;">data</span><span style="color: #0000FF;">})</span>
end procedure
<span style="color: #000000;">sll</span><span style="color: #0000FF;">[</span><span style="color: #000000;">pos</span><span style="color: #0000FF;">][</span><span style="color: #000000;">NEXT</span><span style="color: #0000FF;">]</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">length</span><span style="color: #0000FF;">(</span><span style="color: #000000;">sll</span><span style="color: #0000FF;">)</span>
 
<span style="color: #008080;">end</span> <span style="color: #008080;">procedure</span>
insert_after("ONE")
insert_after("TWO")
<span style="color: #000000;">insert_after</span><span style="color: #0000FF;">(</span><span style="color: #008000;">"ONE"</span><span style="color: #0000FF;">)</span>
insert_after("THREE")
<span style="color: #000000;">insert_after</span><span style="color: #0000FF;">(</span><span style="color: #008000;">"TWO"</span><span style="color: #0000FF;">)</span>
 
<span style="color: #000000;">insert_after</span><span style="color: #0000FF;">(</span><span style="color: #008000;">"THREE"</span><span style="color: #0000FF;">)</span>
?sll
 
<span style="color: #0000FF;">?</span><span style="color: #000000;">sll</span>
procedure show()
integer idx = sll[1][NEXT]
<span style="color: #008080;">procedure</span> <span style="color: #000000;">show</span><span style="color: #0000FF;">()</span>
while idx!=1 do
<span style="color: #004080;">integer</span> <span style="color: #000000;">idx</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">sll</span><span style="color: #0000FF;">[</span><span style="color: #000000;">1</span><span style="color: #0000FF;">][</span><span style="color: #000000;">NEXT</span><span style="color: #0000FF;">]</span>
?sll[idx][DATA]
<span style="color: #008080;">while</span> <span style="color: #000000;">idx</span><span style="color: #0000FF;">!=</span><span style="color: #004600;">NULL</span> <span style="color: #008080;">do</span>
idx = sll[idx][NEXT]
<span style="color: #0000FF;">?</span><span style="color: #000000;">sll</span><span style="color: #0000FF;">[</span><span style="color: #000000;">idx</span><span style="color: #0000FF;">][</span><span style="color: #000000;">DATA</span><span style="color: #0000FF;">]</span>
end while
<span style="color: #000000;">idx</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">sll</span><span style="color: #0000FF;">[</span><span style="color: #000000;">idx</span><span style="color: #0000FF;">][</span><span style="color: #000000;">NEXT</span><span style="color: #0000FF;">]</span>
end procedure
<span style="color: #008080;">end</span> <span style="color: #008080;">while</span>
show()</lang>
<span style="color: #008080;">end</span> <span style="color: #008080;">procedure</span>
<span style="color: #000000;">show</span><span style="color: #0000FF;">()</span>
<!--</syntaxhighlight>-->
{{out}}
<pre>
{{2},{3,"ONE"},{4,"TWO"},{10,"THREE"}}
"ONE"
"TWO"
Line 1,457 ⟶ 1,706:
=={{header|PicoLisp}}==
We might use map functions
<langsyntaxhighlight PicoLisplang="picolisp">(mapc println '(a "cde" (X Y Z) 999))</langsyntaxhighlight>
or flow control functions
<langsyntaxhighlight PicoLisplang="picolisp">(for X '(a "cde" (X Y Z) 999)
(println X) )</langsyntaxhighlight>
{{out}} for both cases:
<pre>a
Line 1,468 ⟶ 1,717:
 
=={{header|PL/I}}==
<langsyntaxhighlight lang="pli">*process source attributes xref or(!);
/*********************************************************************
* 25.10.2013 Walter Pachl
Line 1,508 ⟶ 1,757:
p=p->next;
End;
End;</langsyntaxhighlight>
{{out}}
<pre> 1 Walter
Line 1,516 ⟶ 1,765:
 
=={{header|PureBasic}}==
<langsyntaxhighlight PureBasiclang="purebasic">Procedure traverse(*node.MyData)
While *node
;access data, i.e. PrintN(Str(*node\Value))
Line 1,524 ⟶ 1,773:
 
;called using
traverse(*firstnode.MyData)</langsyntaxhighlight>
 
=={{header|Python}}==
<langsyntaxhighlight lang="python">for node in lst:
print node.value</langsyntaxhighlight>
Any Python class can define ''next()'' and ''__iter__()'' methods so that it can be used with the normal ''for'' iteration syntax.
In this example the "lst" could be an instance of any Python list, tuple, dictionary, or any sort of object which defines an iterator.
It could also be a generator (a type of function which ''yields'' results upon each successive invocation).
The notion of a "singly linked list" is somewhat more primitive than normal Python built-in objects.
<langsyntaxhighlight lang="python">class LinkedList(object):
"""USELESS academic/classroom example of a linked list implemented in Python.
Don't ever consider using something this crude! Use the built-in list() type!
Line 1,555 ⟶ 1,804:
for value in lst:
print value,;
print</langsyntaxhighlight>
{{out}}
<pre>
Line 1,565 ⟶ 1,814:
Since singly-linked lists that are made of <tt>cons</tt> cells are one of the most common primitive types in Racket, there is a lot of built-in functionality that scans these lists:
 
<syntaxhighlight lang="racket">
<lang Racket>
#lang racket
 
Line 1,595 ⟶ 1,844:
(mfor-each displayln ml)
(for ([x (in-mlist ml)]) (displayln x))
</syntaxhighlight>
</lang>
 
=={{header|Raku}}==
Line 1,604 ⟶ 1,853:
but works at a higher abstraction level that encapsulates such implementation choices. Nonetheless, it's trivial to use the <tt>Pair</tt> type to build what is essentially a Lisp-style cons list, and in fact, the <tt>=></tt> pair constructor is right associative for precisely that reason.
We traverse such a list here using a 3-part loop:
<syntaxhighlight lang="raku" perl6line>my $list = 1 => 2 => 3 => 4 => 5 => 6 => Mu;
 
loop (my $l = $list; $l; $l.=value) {
say $l.key;
}</langsyntaxhighlight>
{{out}}
<pre>1
Line 1,624 ⟶ 1,873:
Note how the <tt>[=>]</tt> reduction is also right associative,
just like the base operator.)
<syntaxhighlight lang="raku" perl6line>use MONKEY-TYPING;
augment class Pair {
method traverse () {
Line 1,634 ⟶ 1,883:
 
my $list = [=>] 'Ⅰ' .. 'Ⅻ', Mu;
say ~$list.traverse;</langsyntaxhighlight>
 
{{out}}
Line 1,643 ⟶ 1,892:
Extending <tt>class Cell</tt> from [[Singly-linked_list/Element_definition#Raku]]:
 
<syntaxhighlight lang="raku" perl6line> method Seq {
self, *.next ...^ !*
}</langsyntaxhighlight>
 
Usage:
 
<syntaxhighlight lang="raku" perl6line>my $list = (cons 10, (cons 20, (cons 30, Nil)));
 
for $list.Seq -> $cell {
say $cell.value;
}</langsyntaxhighlight>
{{out}}
<pre>10
Line 1,660 ⟶ 1,909:
 
=={{header|Retro}}==
<langsyntaxhighlight Retrolang="retro">: traverse ( l- ) repeat @ 0; again ;</langsyntaxhighlight>
Or, using combinators:
<langsyntaxhighlight Retrolang="retro">last [ drop ] ^types'LIST each@</langsyntaxhighlight>
With combinators you can also perform an operation on each element in a linked list:
<langsyntaxhighlight Retrolang="retro">last [ @d->name puts space ] ^types'LIST each@</langsyntaxhighlight>
 
=={{header|REXX}}==
<langsyntaxhighlight lang="rexx">/* REXX ********************************************************************
* 25.10.2013 Walter Pachl
*********************************************************************/
Line 1,682 ⟶ 1,931:
Say c elem.c.val
c=elem.c.next
End</langsyntaxhighlight>
 
=={{header|Ruby}}==
referring to [[Singly-Linked List (element)#Ruby]] and [[Singly-Linked List (element insertion)#Ruby]]
<langsyntaxhighlight lang="ruby">head = ListNode.new("a", ListNode.new("b", ListNode.new("c")))
head.insertAfter("b", "b+")
 
Line 1,698 ⟶ 1,947:
print current.value, ","
end while current = current.succ
puts</langsyntaxhighlight>
{{out}}
<pre>a,b,b+,c,
Line 1,704 ⟶ 1,953:
 
=={{header|Run BASIC}}==
<langsyntaxhighlight lang="runbasic">list$ = "now is the time for all good men"
for lnk = 1 to 8
print lnk;"->";word$(list$,lnk)
next lnk</langsyntaxhighlight>
{{out}}
<pre>1->now
Line 1,725 ⟶ 1,974:
The following will demonstrate iteration all three ways.
 
<langsyntaxhighlight lang="rust">//
//
// Iteration by value (simply empties the list as the caller now owns all values)
Line 1,802 ⟶ 2,051:
}
 
}</langsyntaxhighlight>
 
=={{header|Scala}}==
You can use pattern matching for traversing a list.
 
<langsyntaxhighlight lang="scala">
/*
Here is a basic list definition
Line 1,823 ⟶ 2,072:
}
}
</syntaxhighlight>
</lang>
 
=={{header|Scheme}}==
<langsyntaxhighlight lang="scheme">(define (traverse seq func)
(if (null? seq)
'()
(begin
(func (car seq))
(traverse (cdr seq) func))))</langsyntaxhighlight>
 
=={{header|Sidef}}==
<langsyntaxhighlight lang="ruby">var list = 'a':'b':'c':nil;
#var list = ['a', ['b', ['c']]];
#var list = Pair.new('a', Pair.new('b', Pair.new('c', nil)));
Line 1,840 ⟶ 2,089:
for (var l = list; l != nil; l = l[1]) {
say l[0];
}</langsyntaxhighlight>
{{out}}
<pre>
Line 1,850 ⟶ 2,099:
=={{header|SSEM}}==
Linked lists are a comparatively easy data structure to implement in machine language, although the SSEM does not really have enough storage to make them practically useful. A linked list consists of any number of cons cells, i.e. pairs of successive words in storage where the first word holds a data item and the second holds either a pointer to the next pair or else a special nil value—represented here by 0, although any negative address would also work—indicating we have reached the end of the list. The pairs or cons cells can be scattered arbitrarily through the available storage space. This program traverses the list <tt>'(1 2 3)</tt>, and halts with the last value in the accumulator. It makes some use of instruction arithmetic (self-modifying code).
<langsyntaxhighlight lang="ssem">11101000000000100000000000000000 0. -23 to c
10011000000000010000000000000000 1. Sub. 25
10010000000001100000000000000000 2. c to 9
Line 1,881 ⟶ 2,130:
01011000000000000000000000000000 29. pointer: 26
11000000000000000000000000000000 30. 3
00000000000000000000000000000000 31. 0 (nil)</langsyntaxhighlight>
SSEM programs can be difficult to take in: the constant negations, subtractions, and indirect jumps often obscure the underlying algorithm. To clarify what is going on, here is a pseudocode version of the same program:
<pre>start: load loadZero
Line 1,910 ⟶ 2,159:
Using the class definition from [[Singly-Linked List (element)#Tcl|Singly-Linked List (element)]] (and bearing in mind the general notes on lists given there) we'll modify that class so that lists have an iteration method...
{{works with|Tcl|8.6}}
<langsyntaxhighlight lang="tcl">oo::define List {
method for {varName script} {
upvar 1 $varName var
Line 1,920 ⟶ 2,169:
}
}
}</langsyntaxhighlight>
Now, a demonstration...
<langsyntaxhighlight lang="tcl">set list {}
foreach n {1 3 5 7 2 4 6 8} {
set list [List new $n $list]
Line 1,928 ⟶ 2,177:
$list for x {
puts "we have a $x in the list"
}</langsyntaxhighlight>
 
=={{header|Trith}}==
<langsyntaxhighlight lang="trith">[1 2 3 4 5] [print] each</langsyntaxhighlight>
 
=={{header|Visual Basic .NET}}==
<langsyntaxhighlight lang="vbnet">Private Sub Iterate(ByVal list As LinkedList(Of Integer))
Dim node = list.First
Do Until node Is Nothing
node = node.Next
Loop
End Sub</langsyntaxhighlight>
 
=={{header|Wart}}==
<langsyntaxhighlight lang="wart">each x '(1 2 3)
prn x</langsyntaxhighlight>
 
=={{header|Wren}}==
{{libheader|Wren-llist}}
{{libheader|Wren-fmt}}
<langsyntaxhighlight ecmascriptlang="wren">import "./llist" for LinkedList
import "./fmt" for Fmt
 
//create a new linked list and add the first 50 positive integers to it
Line 1,958 ⟶ 2,207:
Fmt.write("$4d ", i)
if (i % 10 == 0) System.print()
}</langsyntaxhighlight>
 
{{out}}
Line 1,970 ⟶ 2,219:
 
=={{header|XPL0}}==
<langsyntaxhighlight XPL0lang="xpl0">def \Node\ Link, Data; \linked list element definition
int Node, List;
[Node:= List; \traverse the linked list
while Node # 0 do
Node:= Node(Link); \move to next node
]</langsyntaxhighlight>
 
=={{header|Yabasic}}==
<langsyntaxhighlight Yabasiclang="yabasic">// Rosetta Code problem: http://rosettacode.org/wiki/Singly-linked_list/Element_insertion & removal & traverse
// by Galileo, 02/2022
 
Line 2,059 ⟶ 2,308:
print
traverseList()
</syntaxhighlight>
</lang>
{{out}}
<pre>1000
Line 2,068 ⟶ 2,317:
2000
---Program done, press RETURN---</pre>
 
=={{header|Zig}}==
Using the <code>LinkedList</code> struct definition from [[Singly-Linked List (element)#Zig|Singly-Linked List (element)]]
 
<syntaxhighlight lang="zig">const std = @import("std");
 
pub fn main() anyerror!void {
var l1 = LinkedList(i32).init();
 
try l1.add(1);
try l1.add(2);
try l1.add(4);
try l1.add(3);
 
var h = l1.head;
 
while (h) |head| : (h = head.next) {
std.log.info("> {}", .{ head.value });
}
}</syntaxhighlight>
 
{{out}}
 
<pre>
info: > 1
info: > 2
info: > 4
info: > 3
</pre>
 
=={{header|zkl}}==
<langsyntaxhighlight lang="zkl">foreach n in (List(1,2,3) {...}
List(1,2,3).pump(...) // traverse and munge elements, generalized apply/map
List(1,2,3).filter(...)
Line 2,081 ⟶ 2,359:
List(1,2,3).reverse()
List(1,2,3).concat()
List(1,2,3).shuffle()</langsyntaxhighlight>
9,476

edits