[CAML] problema tipi

[DaRk\S0ul]

qualcuno di voi ha avuto a che fare con questo linguaggio?
spero di si perchè ho problemi con l'inferenza di tipi
cioè data una funzione determinare i tipi oppure fare l'opposto.
pls help!

[banryu79]

Vorrei aiutarti ma non conosco CAML.
In compenso ho trovato della documentazione (http://caml.inria.fr/resources/doc/index.en.html) consultabile, è in inglese.
Finchè aspetti una risposta più precisa da qualcuno che se ne intende potresti darci un'occhiata.

Dal poco che ho letto è giusto se suppongo che il problema è dovuto dal fatto che i tipi non sono esplicitati ma vengono inferiti automaticamente dal compilatore? E quindi tu ti stai scontrando con la difficoltà di inferire il tipo di una variabile dall'analisi dell'uso che se ne fa in un dato contesto?

Ciao :)

[DaRk\S0ul]

grazie per la risposta
si il caml lavora in quel modo e ci ho messo due secondi ad odiarlo :D
leggerò la guida

PS: forza bankotsu!