un saluto

dopo che davis ha scoperto la @ possiamo fare anche noi cosi':

# [3;4] @ [5;6] @ [7;8];;
- : int list = [3; 4; 5; 6; 7; 8]

xo' non è ricorsivo, obfuscato, con pattern matching, QUINDI NON FA' FIGO

let rec append (l:int list list)=
match l with
[] -> []
|[x] -> x
|x::rest -> x @ append(rest);;

comunque non vale! non ricordavo piu' l'uso dell'operatore chiocciolina!! se no la mia si riduceva drasticamente, x' in realtà la mia funzione è:
let rec lmn l =
let rec lm l1 l2 =
match l1, l2 with
[], [] -> []
| _, [] -> l1
| [], _ -> l2
| x::y, _ -> x :: (lm y l2)
in match l with
[] -> []
| [x] -> x
| x::y -> lm x (lmn y);;

dove appunto la lm fa' quello che avrei potuto fare con la @ :/

let rec append (l:int list list)=
match l with
[] -> []
|x -> x
|x::rest -> x @ append(rest);;

forse è un po più umana

$ python
>>> [1,2,3] + [4,5] + [6,7] + [8,9,10]
[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]

# List.concat [[4;6];[5;9];[1;2;3]];;
- : int list = [4; 6; 5; 9; 1; 2; 3]