검색 결과 11 개 일치합니다

원래는 RecLet의 semantic에서 env, M ㅏ e1 => <\x.e, env'>,M' 부분이 헷갈려서 질문 드렸던 것입니다.
지금은 말씀해주신 대로 어찌저찌 이해가 되었습니 ...

안녕하세요,
과제 7-3 M 언어의 문법 중

LETREC 에서

eval env mem e1을 평가했을 때
<\x.e, env'> 말고 <f\x.e, env'> 가 나오는 것은 불가능한가요??
A ...

안녕하세요.
5/6 , 5/15 공휴일에 혹시 수업을 진행하나요?

감사합니다.

Record가 여러 id들에 각각 loc 을 대응 시킨 뭉치로 이해하고 있었는데 제공 된 코드 상에서 value는 Record of (id * Loc.t)로 정의돼 있어서 한 쌍의 (id -> loc) ...

네, 가능합니다.

감사합니다.

제가 18시 15분에 28동에서 수업을 마치는데 혹시 그 이후 방문해도 될까요?
폴더명을 영어로 바꿔보거나 OneDrive를 사용하지 않아도 동일한 에러가 발생 ...

k.ml 파일을 작성한 뒤 k__ 폴더에서 dune build --release를 입력하면 다음과 같은 에러가 뜹니다. root 계정으로 모든 파일에 대해 chmod -R 777 명령을 실행 한 뒤 ...

안녕하세요 조교님, Mem 모듈을 정의하는 과정에서
load와 store 둘 다 메모리의 해당 주소에 접근해서 값을 읽거나 쓰는 함수인데
load는 Loc.diff boundary loc ...

문제의 조건만 지키면서 왼쏠힙을 만든다면 그 결과가 유일하지 않을 것 같은데
이 문제의 경우 채점이 어떤 식으로 되는지 궁금합니다.
예를 들어
N ...

조교님은 아니지만 조금이라도 빨리 답을 얻으셨으면 해서 답변 답니다..!
혹시나 제가 이해한게 틀린거라면 다른 분들이 지적해주세요 ㅜ(질문자님� ...

4번 문제에서
crazy3val ZERO(ONE(MTWO NIL)) 를 입력할 때와
crazy3val (ZERO(ONE(MTWO NIL))) 를 입력할 때 결과에 차이가 나는 이유가 궁금합니다.
전자의 경우 argume ...