검색 결과 11 개 일치합니다

두 분이 말씀하시는 부분에 따라 '그냥 버려기는 malloc'을 상관하지 않고 다형으로 인식하게 하여 Static type checker 안전하게 체킹을 하려면

M언어의 E1;E ...

안녕하세요, 일단은 과제의 공식 제출 시점은 지나긴 했지만...

물론 저러한 코드가 malloc의 loc가 어디에도 할당되지 않기 때문에 말씀해 주신 부분이 ...

안녕하세요, 프로그래밍언어 수강중인 2021-15632 박성희입니다.

8-1을 검토해보던 중 아래와 같은 프로그램을 생각해 보았습니다.

let val f = (malloc ...

안녕하세요, 프로그래밍언어 수강 중인 박성희입니다.

WSL 환경에서 mlsp를 설치하였으나 VSCode에서 잘 동작하지 않는 것으로 확인됩니다. 아래는 에러 ...

안녕하세요 프로그래밍언어 수강 중인 박성희입니다.

EQUAL Semantics에 대해 : 3장 "Static Semantics: Type System"의 스펙을 따라 다음과 같이 정합니다. ...

안녕하세요 프로그래밍언어를 수강하고 있는 박성희입니다.

Exercise 4 관련 질문이 있어 글을 올리게 되었습니다.
let val f = fn x => x in
2
end

이� ...

안녕하세요,
빠른 답변 감사드립니다.
우선 다시 숙제 스펙을 꼼꼼히 읽어 보니 앞쪽 두 문제 모두
변환할 프로그램은 항상 정수를 최종적으로 계산� ...

안녕하세요, 프로그래밍언어 수강 중인 박성희입니다.
사실 질문을 한번에 올리려 그랬는데, 따로 나눠놓는 것이 좋을 것 같아 두 개로 나눠 올렸습니 ...

안녕하세요, 프로그래밍언어 수강 중인 박성희입니다.
과제를 하던 중 CPS 와 관련하여 궁금한 점이 생겨 질문 드렸습니다.

과제 스펙 상 Exercise 1에� ...

안녕하세요, 현재 프로그래밍언어 수강 중인 박성희입니다.

HW6의 Lambda ground 관련하여 질문 드렸습니다.
아무래도 normal-order reduction 순서 자체가 전� ...

안녕하세요, 숙제 1과 숙제 2를 하던 도중 ml파일 실행 관련 궁금증이 생겨서 문의드립니다.

현재 작성한 OCaml 코드를 실제로 실행해서 테스트 케이스� ...