Parametric polymorphism: Difference between revisions

Content added Content deleted
(Nimrod -> Nim)
Line 569: Line 569:
map(F, node(A, Left, Right)) = node(F(A), map(F, Left), map(F, Right)).</lang>
map(F, node(A, Left, Right)) = node(F(A), map(F, Left), map(F, Right)).</lang>


=={{header|Nimrod}}==
=={{header|Nim}}==
<lang nimrod>type Tree[T] = ref object
<lang nim>type Tree[T] = ref object
value: T
value: T
left, right: Tree[T]</lang>
left, right: Tree[T]</lang>