Generic Record Declaration

[Alexius-Huang]

What?
Generic record which have flexible variation.

Why?
Generics are standard feature in typed programming language.

How?
Sample Wyrd Code

record Node<T> { T value, maybe Node<T> next }
record LinkedList<T> { Node<T> head }

n1 = Node<Num> { value: 1 }
n2 = Node<Num> { value: 2  }
n3 = Node<Num> { value: 3  }

n1->next = n2
n2->next = n3
numberList = LinkedList<Num>{ head:  n1 }

Compiled Result

const n1 = { value: 1, next: null };
const n2 = { value: 2, next: null };
const n3 = { value: 3, next: null };
n1.next = n2;
n2.next = n3;
numberList = { head: n1 };