검색 결과 71 개 일치합니다

그건 M에서 정의된 semantics에 대한 type definition이구요,

교과서에는 타우로 나와있어요 ㅋ

증명 완성은 5-1simple-type pdf에 있는 4가지?정도의 e만 증명하면 되나요

이전년도 테스트케이스중 결과가 궁금한게 있어서 몇개 질문드립니다.
0.
let val f = fn x=> write x in
write 1;
write "a";
write true
end

이 � ...

http://caml.inria.fr/pub/docs/manual-ocaml/lex.html#infix-symbol

이런 법칙이 있네영....괄호 안에 들어갈 수 있는 규칙

게다가 () 안에 들어가는 문자는 일부 특수문자밖에 안되는걸로 되어있는것 같아요..

왠지 a + b 를 정의하기 위해 특수하게 만든것같은데...

(+) a b � ...

let (@+) a (b,c) = fun x -> if x = b then c else a x;;

은 (fun x -> raise Not_found) @+ (1,2) 로 실행해야만 하고

let a b (c,d) = fun x -> if x = c then d else b x;;

은 ...

단순타입 추론에서 보면,
exp = VAR | CONST | APP | FUN | + | LET
정도에 대해서만 정의가 되어있는데, M.exp의 모든 형태에 대해서 모두 추론을 해야 하나요??
...

p.157의 타입 추론 규칙 type inference rule을 보면,
Gamma ㅏ E1 : tau1 -> tau2 GammaㅏE2:tau1
----------------------------------------------------------
Gamma ㅏ E1 E2 : t ...

hw7_1.ml을 보면,
- App의 match속 RecFun
- LET(REC(f, e1), e2)
- _->
총 세가지 부분에 TODO implementation이라는 항목이 붙어있습니다
M의 semantics 문서가 따로 또 ...

끝나는 입력이라는건, 무한루프를 생성하지 않는, 유한번의 시행으로 끝나는 식을 입력하신다고 생각해도 되는거지요?

(\x.(x x))(\x.(x x))의 경우,

저는 매번 스텝을 비교하면서 진행하기 때문에, 여러가지 상태가 바뀌는 무한루프가 아닌 경우에는(위와 같은 경우) 멈추게 ...

test 1
(\x.(\y.(\z.(x y))))(y z)(\x.x)(\x.x)(\x.x)
결과 : (((y) (z)) (\x.x)) (\x.x)
test 2
(\s.(\z.(s))) (z)
결과 : \a.z
test 3
(\x.(\y.(\z.x))) (\q.(\w.(\r. t)))
결과 : \y.\z.\q.\ ...

hw4_1.ml을 컴파일에러나지 않도록 만든 후 make를 했는데 아래와 같은 에러가 납니다.

hw4_1.ml 에 컴파일 에러가 났었나요?
제가 확인하기론 뼈대 코드� ...

hw4_1.ml을 컴파일에러나지 않도록 만든 후 make를 했는데 아래와 같은 에러가 납니다.

pjhjohn@martini:~/courses/pl2013/hw4$ make
ocamlc -c hw4_1.ml
ocamlyacc parser.mly
...

질문의 의도가 조금 빗나간 것 같아서 재질문드립니다.

0.loop 에서
우선, 전체를 다시 부르는 것을 이용해서 call을 하면, call의 구조상 malloc을 강제적 ...