검색 결과 25 개 일치합니다

갑자기 마감이 연장되서 좀 당황스럽네요.

마감이 30일일 때에 딜레이 없이 제출하기 위해서 다른 것을 포기하고 PL을 진행한 사람도 있을 것입니다. ...

네;

제 질문은
x := if bool then 3 else 2 end
bool = true, x = 3
bool = false, x = 2
등을 sm5에서는 쓸 수 있다는 희망적인 것이었지만
(예제로도 통과를 해 봤습� ...

음..

밑에서 나왔던 것처럼, if가 unit을 리턴하지 않는다면

if (write x) = (if ...) then a else b

에서 a가 실행되어야 하는데 b가 실행되지 않나요?

그렇 ...

저 밑에 제가 올린 질문과 본질적으로 동일하네요.

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=685

여기를 참조하시길.

K-의 정의에서는 물론 unit입니다만,

SM5 에서는 if e1 then e2 else e3 이라면, t / f 시 각각 e2의 결과값 / e3의 결과값을 return할 수 있게 되어있군요.

그렇� ...

let z := 1
in
let procedure addone(x) =
x := x + z;
x
in
let z := 4
in
let procedure complex(x) =
let procedure multix(y) ...

일주일 전부터 했었는데, 끝이 안나네요.

한꺼풀 벗기고 알맹인가 했더니 아직도 껍질이 있는 것처럼..

...

그냥 그렇다구요. 내일 더블인데.. ㅜ� ...

저도 일단은.. malloc하나만 냉큼 하고 나머지는 그냥 줄줄이 이어지도록.. 해버렸네요.

다른 방법은 아무리 생각해도 안되네요 ㅜㅜ

저번에 이슈가 되었던, L R 문제에 따르면
*x := 5;
요것은 잘 동작하지 않고
(x) := 5;
이것이 위의 문장을 k-용으로 대체할 수 있는 것이었� ...

그렇군요!

제가 바보였습니다;

open시켜놓고 겹치는 몇가지에만 대해서 K.을 붙여주니 잘 되네요.

감사합니다.

우선 Sm5, K 순서로 open을 하면

open Sm5
open K
...
| ADD (e1, e2) => [ADD]

여기에서는 컴파일러가 뒤쪽의 ADD에 대해

오류: Sm5.cmd 타입� ...

그런데 LETF의 과정을 살펴보면

push (x, C') 와 bind로 이루어져야 할 듯 합니다만,

push (x, C')를 하면 (x, C', E)가 스택에 들어간다
(여기서 E는 당연히 함 ...

설탕을 녹인다는게 잘 이해되지 않습니다.

call f<x> 를 call f'(&x)로 녹이고, f의 인자이름 쓰이는 곳을 적절히 바꾼 것이 f'이다

를 곰곰히 생� ...

아~~ 그렇군요.

주의가 거기까지 못미쳤네요. 감사합니다.

아, 추가로 3-1에도 질문이 있습니다.

컴파일 하고 나면

1.n 388.14-12542:
Warning: this match case is unused.

이렇게 뜹니다.

참고로 저 범위는 eval env m exp ...