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??