게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제7-2, example의 결과값

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2012)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
구본헌



가입: 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

이 나오는 것 같습니다.

혹시 잘못되었으면 댓글로 알려주세요...뜯어 고쳐야 하니까요ㅠ
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2012) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay