 |
|
| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
박성희
가입: 2025년 3월 13일
올린 글: 11
|
 올려짐: 2025년5월24일 17:50 주제: [숙제 7] Exercise 4 관련 질문입니다. |
 |
|
안녕하세요 프로그래밍언어를 수강하고 있는 박성희입니다.
Exercise 4 관련 질문이 있어 글을 올리게 되었습니다.
| 코드: | let val f = fn x => x in
2
end
|
이런 코드를 생각해 보면 일단 잘 돌아가며 M 문서에 공개되어 있는 타입추론규칙의 모순을 일으키지도 않고 [Int]임을 생각할 수 있습니다.
그런데 f는 타입에 모순이 생기지는 않지만 무엇인지는 프로그램에서는 알 수 없습니다. (f : 'a -> 'a 꼴 중에 하나이지만 프로그램은 반드시 Int 이다.)
다형 타입 시스템과 같은 경우에는 확실하게 [Int]라는 결과를 줄 수 있는데, 단순 타입 시스템이라는 점이 조금 걸리는데요, 맥락이 확실치 않아 문의 드렸습니다.
문제나 강의 자료에서 말하는 Simple type system이라는 것이 모든 프로그램 변수가 하나의 타입을 가진다는 가정 하에서 프로그램의 타입을 추론하는 것인지, 아니면 모든 프로그램 변수가 하나의 '프로그램에 의해 결정되는' 타입을 가진다는 가정 하에서 타입을 추론하는 것인지 궁금합니다
만약 전자의 경우라면 위 코드는 타입을 추론할 수 있을 것이고 후자라면 타입을 추론할 수 없을 것 같습니다. (혹은 이러한 상황에 대해서도 역시 function type과 관련한 문제이기 때문에 고려하지 않아도 되는 것인 지 궁금합니다.)
항상 수고가 많으십니다. 감사합니다. |
|
| 위로 |
|
 |
오규혁
Site Admin
가입: 2022년 3월 15일
올린 글: 88
|
| 올려짐: 2025년5월26일 19:54 주제: |
|
|
안녕하세요,
f의 타입이 결정되지 않고 이 프로그램 타입은 Int 인 것을 알 수 있는 것이 맞습니다.
이후 내용은 아마도 f의 타입을 생각하여 나온 고민들인 것 같습니다.
후자는 틀린, 전자는 맞는 내용으로 f의 타입은 모르는 상태에서 더 진행할 필요 없을 것 같습니다.
조교드림
_________________
TA 오규혁
e-mail: ghoh@ropas.snu.ac.kr |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
