 |
|
| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
이준
가입: 2006년 9월 7일
올린 글: 30
|
 올려짐: 2006년11월29일 17:18 주제: pgm의 정의에 대하여.. |
 |
|
| 인용: | 1.1 Program
A program is an expression of non-function type: i, s, b, loc, or 0 where
and 0 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. |
이라고 m의 정의에 나와있는데요..
그럼
| 코드: |
let val a = (fn x => x)
in
a
end |
의 경우는 당연히 타입에러가 나야겠지마는 아래의 경우는 어떤가요?
| 코드: |
let val b = (fn x => x)
val c = (fn x => x+1)
in
b c
end |
b c 자체는 application이고 c에 의해 모든 타입변수들에 대해서도 어떤 타입을 지녀야 할 지
알 수 있는 상태입니다.. 하지만 결과는 물론 (int)->(int) type이지요..
이에 대해서도 타입 에러를 내야 하는것이 맞는건가요?
시간이 촉박하여 일단은 타입 에러를 내도록 하겠습니다만...혹시나 해서요..
추가로요.. 타입체크 하는데.. 시간이.. 초단위가 걸리네요...
sort.m의 경우도 3초 정도...+_+ 더 긴거 해보니 13초..압박;;;
괜찮을까요?;; |
|
| 위로 |
|
 |
박대준
가입: 2005년 10월 7일
올린 글: 245
|
| 올려짐: 2006년12월1일 1:16 주제: |
|
|
| 이준 씀: | 추가로요.. 타입체크 하는데.. 시간이.. 초단위가 걸리네요...
sort.m의 경우도 3초 정도...+_+ 더 긴거 해보니 13초..압박;;;
괜찮을까요?;; |
너무나 비현실적으로 느리지 않다면 괜찮습니다.
| 이준 씀: | 하지만 결과는 물론 (int)->(int) type이지요..
이에 대해서도 타입 에러를 내야 하는것이 맞는건가요?
시간이 촉박하여 일단은 타입 에러를 내도록 하겠습니다만...혹시나 해서요.. |
프로그램의 정의에 의해, 위와 같은 프로그램은 테스트하지 않을 것이니, 크게 걱정하지 않으셔도 됩니다. |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
