이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김동욱
가입: 2013년 9월 14일 올린 글: 23
|
올려짐: 2013년11월29일 15:54 주제: 7-1 단순타입체커에 대해 질문있습니다~ |
|
|
코드: | let val f = fn x=> write x in 1 end |
단순타입체커에서
위의 프로그램을 보면 f의 타입 유추가 완성되지 않는데 f를 사용하지는 않고 있습니다.
위와 같은 경우도 옳지 않은 프로그램으로 처리해야하나요? |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2013년11월29일 18:00 주제: |
|
|
구현에 따라 차이가 있겠지만
f를 int->int 타입으로 임의로 주어도 문제가 생기지 않으므로 단순타입 시스템에서도 통과하고 int가 될수 있겠습니다. |
|
위로 |
|
|
|