hindley-milner

0La chaleur

3Répondre

Quelles sont les causes de cette erreur de type Standard-ML?

je tente de faire une version récursive de cette fonction SML très simple: fun suffixes [] = [[]] | suffixes (x::xs) = (x::xs) :: suffixes xs; Au cours de cela, j'utilisais annotations de type

functional-programming type-inference sml hindley-milner 2009-12-05

---