박재훈
가입: 2010년 9월 23일 올린 글: 8
|
올려짐: 2013년11월30일 14:32 주제: 네 |
|
|
M 문서의 1.1 Program을 보면
인용: |
A program is an expression of non-function type: i, s, b, T loc, or T * T' where T and T' are non-function types. For example,
fn x => x
is not a program, because its type is a function. On the other hand,
(fn x => x) read
is a program, whose type is integer.
|
라고 되어있네요~ 입력으로 들어오는 program이 위 정의만 따른다면 결정되지 않는 경우는 존재하지 않겠죠
정의를 안따른다면 오류를 내면 될거 같구요
(tau 대신 T로 썼어요) |
|