검색 결과 9 개 일치합니다

Challenge 6 문제에는 ref e를 변환하는 식이 다음과 같이 주어져 있습니다.

[u]ref e[/u] = λ(v,(c,S)).let (v,(c',S')) = [u ...

try-handle 안에 있지 않은 raise는 어떻게 처리해야 하나요?

예를 들어서

raise; write 1

라는 프로그램이 있을 때,

1) raise를 만나자마자 프로그램이 � ...

조교님께서 수요일 새벽(12월 11일)에 301동 315호에서 functor에 대해 설명하신 내용을 속기해 두었다가, 조교님의 요청으로 게시판에 올립니다.

속기 내 ...

프로그래밍의 원리 / 2008년 가을학기
긴급 실습수업functor에 대한 간단한 설명
2008년 12월 11일 00시 46분, 301동 315호

모듈이라는 것은 어떤 이름의 모 ...

레코드 안에 이름이 같은 필드가 여러 번 나오면 어떻게 해야 하나요?

예를 들어 r:={a:=5, a:=3}이라는 레코드가 있으면,

1) 에러
2) r.a = 5
3) r.a = 3
4) ...

이 structure가 어느 signature type을 가지는지 명시하지 않으면
내부 타입구현이 보이긴 하지만 신경쓰지 않아도 됩니다.

어떤 structure가, 특정 signature typ ...

또한 nml같은 경우에는 1/2.0을 실행시키면 type 에러가 생기는

DIV(INT 1, REAL 2.0) 같은 경우에는 어떻게 해결해야 하나요?

조교님께서 올리신 과제 2 공� ...

주어진 조건을 만족할 수 있는 출력이 여러 가지가 있을 수 있잖아요.

그래서 작년 논의를 살펴 보니

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

이렇� ...

에러처리는 "타입시스템이 잡아줄 수 없는 모든 종류의 잘못된 입력"
에 대해 항상 해주셔야 합니다.

정확히 '에러처리'라는 것을 어떤 식� ...