CFLP 12

Problema [1]
type 'tipelement nod = Empty
    | Nod of ('tipelement nod*'tipelement*'tipelement nod);;


let rec inser n = function
                | Empty -> Nod(Empty, n, Empty)
                | Nod(l, x, r) ->
                    if n < x then Nod((inser n l), x, r)
                    else if n > x then Nod(l, x, (inser n r));;


let rec search n = function
                | Nod(l, x, r) -> if n < x then (search n l) else if n > x then (search n r)
                | Empty -> 0;;


let rec preorder = function
  | Empty -> []
  | Nod (l, x, r) -> x::preorder l@preorder r;;


let rec inorder = function
  | Empty -> []
  | Nod (l, x, r) -> inorder l@x::inorder r;;

Problema [2]
type expresie = Valoare of float
   | Adunare of (expresie*expresie)
   | Scadere of (expresie* expresie)
   | Inmultire of (expresie*expresie)
   | Impartire of (expresie* expresie)
   | Fc1 of ((float->float)*expresie)
   | Fc2 of ((float->float->float)*expresie*expresie);;

//6/2-2^3+cos(2*asin 1)

let a = Adunare(Scadere(Impartire(Valoare 6.0, Valoare 2.0), Fc2(**, Valoare 2.0, Valoare 3.0)), Fc1(cos, Inmultire(Valoare 2.0, Fc1(asin, Valoare 1.0))));;


let rec eval = function
            | Valoare(x) -> x
            | Adunare(x,y) -> (eval x) +. (eval y)
            | Scadere(x,y) -> (eval x) -. (eval y)
            | Inmultire(x,y) -> (eval x) *. (eval y)
            | Impartire(x,y) -> (eval x) /. (eval y)
            | Fc1(f, x) -> (f (eval x))
            | Fc2(f, x, y) -> (eval x) ** (eval y);;