constructor calls

[niknetniko]

Dit zou leuk zijn om ook te hebben in het generieke deel, maar:

• Wat gebeurt er met talen waar dit helemaal anders is (bv. Haskell)

Zie ook #10.

[ninewise]

Je kan een adt als een klasse zonder methoden beschouwen.

data Tree a = Parent (Tree a) (Tree a)
            | Leaf

We zien hier de "klasse" Tree met 2 constructoren: Parent :: Tree a -> Tree a -> Tree a en Leaf :: Tree a. In Java (waar constructoren de naam van de klasse moeten hebben):

public class Tree<T> {
	public Tree<T> l;
	public Tree<T> r;

	public Tree(Tree<T> l, Tree<T> r) { this.l = l; this.r = r; }
	public Tree() { l = null; r = null; }
}

[niknetniko]

Zie vervolg in #17.