 |
|
| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
구본헌
가입: 2012년 9월 5일
올린 글: 15
|
 올려짐: 2012년12월4일 10:09 주제: 숙제7-2, example의 결과값 |
 |
|
문제에 example을 4개 주셨는데요.
이거 결과값을 알려주시면.. 디버깅하는데 큰 도움이 될 것 같습니다 (:
| 코드: | (* example 1: polymorphic toys *)
let val I = fn x => x
val add = fn x => x.1 + x.1
1val const = fn n => 10
in
I I;
add(1, true) + add(2, "snu 310 fall 2011");
const 1 + const true + const "kwangkeun yi"
end |
| 코드: | (* example 2: polymorphism with imperatives *)
let val f = fn x => malloc x
in
let val a = f 10
val b = f "pl"
val c = f true
in
a := !a + 1;
b := "hw7";
c := !c or false
end
end |
| 코드: | (* example 3: polymorphic swap *)
let val swap =
fn order_pair =>
if (order_pair.1) (order_pair.2)
then (order_pair.2)
else (order_pair.2.2, order_pair.2.1)
in
swap(fn pair => pair.1 + 1 = pair.2, (1,2));
swap(fn pair => pair.1 or pair.2, (true, false))
end |
| 코드: | (* S K I combinators *)
let val I = fn x => x
val K = fn x => fn y => x
val S = fn x => fn y => fn z => (x z) (y z)
in
S (K (S I)) (S (K K) I) 1 (fn x => x+1)
end |
|
|
| 위로 |
|
 |
권민혁
가입: 2011년 10월 30일
올린 글: 8
|
| 올려짐: 2012년12월4일 14:07 주제: 제 코드로는.. |
|
|
우선 1번에 1val을 val로 고쳐야 합니다.(오타인듯..)
제 코드로는
ex1 : int
ex2 : bool
ex3 : (bool, bool)
ex4 : int
이 나오는 것 같습니다.
혹시 잘못되었으면 댓글로 알려주세요...뜯어 고쳐야 하니까요ㅠ |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
