검색 결과 19 개 일치합니다

안녕하세요 조교님

챌린지 1번의 lemma 3 (preservation under substitution) 에서 weakening lemma 에 대한 증명을 해야하나요?

감사합니다

안녕하세요 조교님,

과제 8의 1번에서 IF 의 경우

if (e1, e2, e3) 가 있으면 e2 와 e3 는 타입이 같게 인풋이 들어오나요?

감사합니다

오오 되네요!! 감사합니다ㅠ

안녕하세요 조교님

주말에 정전이어서 마티니 서버를 쓸수 없다는데,
그러면 저는 무조건 윈도우 환경에서 과제를 해야합니다

방금 make.bat 을 실 ...

안녕하세요 조교님,

과제 6_1 main.ml 이 컴파일이 안됩니다

Unbound value really_input_string 이라고 뜨는데 어떻게 하죠?

감사합니다

안녕하세요 조교님

과제 3-3 테스트케이스
let t1 := makeTree (1, leaf(2), leaf(3)) in
let t0 := makeTree (0, t1, leaf(4)) in
dft (t0)
이렇게 따로따로 정의해줘서 돌 ...

아 감사합니다!

안녕하세요 죠교님

EQUAL의 경우 저는 최종 value가 Num 이어야 비교가능할 수 있게 했는데 그러지 말고 예를 들어 {} = unit 의 경우에도 True 를 반환해야 � ...

안녕하세요 조교님

Record 에서
(id, loc.t) list 로 구현하려면 뼈대코드를 수정해야할 것 같아서 다른 방법을 고민해보고 있는데,

혹시 module 을 더 추 ...

안녕하세요 조교님

혹시 숙제 3-1 테스트케이스 test4.k- 주석에 해당 테스트케이스가 call by ref 라고 써있는데 call by value 아닌가요?ㅠㅠ 너무 어렵네요. ...

2-7에서 결과가

1 - : unit = ()

이렇게 나와야하는거죠??

나머지는 모두 같습니다 감사합니다

안녕하세요 조교님,

hw2_5 에서
시그마와 인테그랄의 경우 제 코드는 구간 첨자로 20000까지는 계산이 되나 그 이상의 값이 들어오면 스택오버플로우� ...

* 4번에서 구간을 정의하는 첨자를 제외한 마지막 exp 에서도 sigma 나 integral 포함되어있을수 있나요?
예를 들어
SIGMA (INT 1, INT 2, (SUM (X, (SIGMA (INT 1, INT 1 ...

안녕하세요 조교님,

hw2_5에서

SIGMA 와 INTEGRAL 에 들어오는 마지막 exp 에 또다시 SIGMA 나 INTEGRAL이 포함되어있을 가능성이 있나요? 둘 다 외부 함수를 ...

안녕하세요 조교님

과제 2_4번에서

LOC (LEAF *,
HAND(, TOP, []),
[LEAF d])
)
식이
a * b + c * d 인데
볼드인 부분에서 a*b; + 이렇� ...