이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
하재승 손님
|
올려짐: 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 주제: |
|
|
아 네 잘못 동작하는 프로그램이 맞네요
중간에 테스트 하다가 잘못된 버젼으로 올렸네요 |
|
위로 |
|
|
|