| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
하재승
손님
|
 올려짐: 2007년11월21일 15:00 주제: write 체크 테스트 프로그램입니다. |
 |
|
| 코드: |
let
val I = fn x => x
val J = fn x => x
val K = fn x => fn y => y x
val writef = fn x => write x
in
K ((I J (fn x=>x)) (3, 3)) writef
end
|
대충 짰다가 이 예제가 통과하지 않았.. orz |
|
| 위로 |
|
 |
김진산
가입: 2006년 9월 13일
올린 글: 45
|
| 올려짐: 2007년11월21일 15:50 주제: |
|
|
올려주신 예제는 type checker를 통과하지 못하는 것이 정상동작으로 생각됩니다.
write 함수는 argument로 int, bool, string만 받을 수 있기 때문입니다.
주어진 코드를 다음과 같이 바꾸어야 type checker를 통과할 수 있는 것으로 생각됩니다.
| 코드: |
let
val I = fn x => x
val J = fn x => x
val K = fn x => fn y => y x
val writef = fn x => write x
in
K ((I J (fn x=>x)) 3) writef
end
|
같은 manner로 EQ의 동작도 확인해 볼 수 있을 것 같습니다.  |
|
| 위로 |
|
|
하재승
손님
|
| 올려짐: 2007년11월21일 15:56 주제: |
|
|
아 네 잘못 동작하는 프로그램이 맞네요
중간에 테스트 하다가 잘못된 버젼으로 올렸네요 |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
