게시판 인덱스

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

hw5 초초간단 테스트셋

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



가입: 2011년 10월 28일
올린 글: 8

올리기올려짐: 2012년11월5일 18:51    주제: hw5 초초간단 테스트셋 인용과 함께 답변

저도 하고 있는 중입니다만은 ... 아주 소소하고 간단한 테스트셋 올려봅니다.

hw5_1
코드:

(* 변수를 헷갈리지 않고 잘 읽었는지 테스트: 안에꺼랑 밖에꺼랑 다릅니다 *)
(\x.\y.x x y) y

(\f.f f f f x x f x f) x

(* 무뤂*)
(\x.x x) (\x.x x)

(\x.(\x. x)) y

(* ADD *)
(\n.\m.\f.\x.n f (m f x))
(\f.\x.f (f x))
(\f.\x.f (f (f x)))


hw5_2
코드:

(* 팩토리알 from 어딘가 *)
(fn mul =>
   (rec fac x => (ifzero x then 1 else (mul (x, fac (x - 1))))))
   (rec mul pair => ifzero pair.1 then 0 else (pair.2 + (mul (pair.1 -1,pair.2))))
4

(* 피보나치 from 어딘가 *)
(rec fac x => (ifzero x then 0 else (ifzero (x - 1) then 1 else (fac (x - 2) + fac (x - 1))))) 6

(rec zero x => ifzero x then 0 else (zero (x - 1))) 10
위로
사용자 정보 보기 비밀 메시지 보내기
이수지



가입: 2011년 9월 7일
올린 글: 8

올리기올려짐: 2012년11월9일 17:23    주제: 무한루프 인용과 함께 답변

안녕하세요!

숙제가 normal-order reduction을 하는 것이니까
중간에 있는 테스트 셋같이
무한 루프가 있는 경우에는, 그냥 무한 루프를 계속 돌아서
프로그램이 끝나지 않더라도 상관이 없나요?
아니면 무한 루프 있는 경우에는 어떤 처리가 필요한가요?
위로
사용자 정보 보기 비밀 메시지 보내기
권민혁



가입: 2011년 10월 30일
올린 글: 8

올리기올려짐: 2012년11월9일 23:19    주제: 음..무한루프는.. 인용과 함께 답변

그냥 무한루프를 돌게 놔두면 되지 않을까요?

딱히 에러라고 하기에도..
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 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