Le croncache di CAML

[Delete]

Salve a tutti mi trovo veramente in difficoltà con il CAML, non so se è un mio deficit mentale, ma sto iniziando a pensarlo, ho diversi intoppi che non riesco a superare e vorrei che qualcuno mi aiutasse.
1) INFERENZA DI TIPO: il 50% delle volte mi riesce, l'altro 50% rimango bloccato
2) DEFINIZIONE LOCALE: Non riesco a capire il meccanismo.
3)PREFIX +: Non riesco a capire il motivo per cui deve essere messo il prefix per numerose operazione ( tra cui l'addizione)

Un ultima cosa: qualcuno sa definire una funzione ricorsiva

dropuntil in modo che dropuntil p l sia la lista ottenuta da l eliminando tutti gli elementi che precedono il primo elemento di l che soddisfa p. Se nessun elemento di l soddisfa p la funzione restituisce la lista vuota.

Non riesco ancora a sviluppare il ragionamento giusto per completare gli esercizi, come posso fare? E' il mio primo linguaggio e lo trovo veramente tosto... forse non sono adatto allo studio della programmazione??

[zuperman88]

allora... ci provo...
la funzione dropuntill si può scrivere cosi:

#let rec dropuntill p l = match l with
[] -> [] |
[x] when (p x) -> [x] |
[x] when not(p x) -> [] |
x::xs -> if p x then x::xs
else dropuntill p xs;;


penso dovrebbe funzionare.. forse c'è qualche errore di sintassi ma adesso nn ho caml light per provarlo... cmq l'idea è quella!!