검색 결과 8 개 일치합니다

궁금증 해결해 주셔서 감사합니당~

IntlistQ 정의 후 타입을 보니

val emptyQ: 'a list * 'b list
val enQ: ('a list * 'b list) * 'a list -> 'a list * 'b list
val deQ: 'a list * 'a list -> 'a * ('a list * 'a list)

로 ...

리턴타입이 다시 ae형식인데 그럼
미분해서 0이되는 값들은 모두 리턴을 CONST 0으로 하면 되나요?

예를들어 diff (CONST 1, x) 과 diff ((VAL "x"),"y ...

예를들어 1번같은 경우 파일안에 mathemadiga함수하나만 구현해야되나요?
아니면 mathemadiga: exp -> float 이 함수가 잘 돌아가게 다른 sub 함수들도 같이 구� ...

아니면 단순히 meetin관련 함수들만 있으면 되나요?

fold_left: (int -> int -> int) -> int -> mylist -> mylist

아 여기서 마지막이 mylist가 아니라 int였군요 ㅎ
감사합니다~

fold_left는 리스트의 모든 원소를 왼쪽에서 오른쪽으로 방문하며 함수를 적용한 결과를 모아서 돌려주는 함수라고 했는데 예시가 이해가 안되서 질문 � ...

밑에 sigma 형식에 대해서

sigma: int * int * (int -> int) -> int 인데

sigma: int -> int -> (int -> int) -> int 로 나온다고 했는데

->과 *의 차이를 � ...