Parametric Data Type

Question

How do you write af# recursive data types that define a parametric data

type Three <'a>

that calls output:

Node (1,Node (2,Leaf,Leaf),Node (3,Node (4,Leaf,Leaf),Leaf))

if I input:

let tree = Node(1, Node(2, Leaf, Leaf), Node(3, Node(4, Leaf, Leaf), Leaf))
tree

Answer 1

You can use this to define a tree. Leaf in your question is called Empty here.

type Tree<'a> = Empty | Node of Tree * 'a * Tree