검색 결과 10 개 일치합니다

(fn x => x x) (fn x => 2)

의 경우엔 타입이 어떻게 되는지 궁금합니다!
m으로 실행해 봤을때와 제 타입체커로 실행했을땐 int가 나오는데, 왜 int가 되� ...

해결했습니다!!!!!!!!!ㅜㅜㅜㅜㅜㅜㅜ 조교님 정말 진심으로 감사드립니다...

아직 해결하지 못한 분께 힌트를 드리자면,

"call 명령을 실행시켜� ...

전 명령어 실행 자체를 건드리지 않고 주어진 명령어로도 해결이 가능했네요

"이때 (x, C, E)의 E 안에 재귀를 위한 함수의 정보 자체가 들어갈 수 � ...

2017 게시판에서

callv에서 Sm5.CALL을 하기 전에 (x,C', E')에서 E'에 자기 자신 f에 대한 것을 저장하는 방식으로 하는게 맞나요? callv에선 함수 이름 f를 받� ...

스펙을 보면 Record에 아무 것도 없을 경우 (x := {}) unit을 반환합니다. 그래서 그대로 구현하고 Equal을 이용하여 if (x = {}) 이런 식으로 비교 연산을 진행했 ...

1. not은 bool 형태의 자료형만 받는 것인가요? 혹시 정수형에 not을 씌우면 7 -> -8이 된다거나 그런 것은 없는 건가요?

2. | _ -> failwith "Unimplemented& ...

1. Callv와 Callr을 구현할 때 (제 이해가 맞는진 모르겠지만) 새로운 environment를 정의하고 그 environment에 각 xi->li를 binding합니다. 이때 <strike>xi(id)가 ...

exception FreeVariable 이라고 정의하고 raise(FreeVariable)로 예외를 발생시키면

Exception: FreeVariable.

으로 마지막에 마침표가 계속 붙게 되는데 상관없나요?

SIGMA, INTEGRAL 안에 다른 SIGMA, INTEGRAL 함수가 있거나
SIGMA, INTEGRAL 범위가 SIGMA, INTTEGRAL 함수로 정의되어 있는 테스트 케이스가 잇는지 궁금합니다.

int 값을 float값으로 변환시킬 때 float_of_int 대신 float를 써도 되나요? 제 컴퓨터에서는 무리없이 실행되는데 다른 컴퓨터에서 문제가 있을까 하여 질문� ...