hindley-milner

0열

3답변

이 Standard-ML 유형 오류의 원인은 무엇입니까?

내가이 매우 간단한 SML 기능의 꼬리 재귀 버전을 만들려고 :이 과정 중에 fun suffixes [] = [[]] | suffixes (x::xs) = (x::xs) :: suffixes xs; 을, 나는 PARAMATERS에 유형 약어를 사용했다. 다음 코드는 이것을 보여주고 타입 에러를 발생시킵니다 (아래에 주어짐). 반면 타입 어노테이

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

---