이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
박원형 손님
|
올려짐: 2008년12월1일 16:30 주제: function의 도메인을 알 수 있는 방법이 있나요? |
|
|
뼈대 코드의 구현을 보면 type environment나 substitution이 모두
함수로 구현되어 있는데, 이 구현을 따르게 되면 이 둘의 도메인을 알 방법이 딱히 떠오르지 않습니다;
function의 도메인을 알 수 있는 방법을 알고 계시면 가르쳐주세요..; |
|
위로 |
|
|
윤용호
가입: 2008년 9월 23일 올린 글: 257
|
올려짐: 2008년12월2일 16:06 주제: 아마도... |
|
|
구현을 바꿔야할거같은 기분이... |
|
위로 |
|
|
최종식
가입: 2008년 9월 2일 올린 글: 40
|
올려짐: 2008년12월2일 21:27 주제: . |
|
|
바꿔야'만' 하지 않을까요 -_-;;
함수의 도메인이은 그냥 해당 type이 나올 뿐이지 타입의 범위에 대해서는 알 수 없을 것 같은데요. |
|
위로 |
|
|
|