게시판 인덱스

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

검색 결과 83 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 최종성적 공지
신기정

답변: 2
조회: 6072

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년12월28일 15:02   주제: 교수님, 조교님
한학기 동안 감사했습니다.
  주제: 숙제 7 질문이 있습니다.
신기정

답변: 4
조회: 3655

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년11월26일 8:59   주제: 제 생각에도
f의 경우 'a -> 'b

(f true)의 경우 'b

(f true) + 1 int형 타입이 되는 것같습니다.

이건 ocaml의 타입시스템 결과와도 같구요

마지막 것이 다소 직관에 ...
  주제: program의 정의와 관련해서
신기정

답변: 2
조회: 2728

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년11월26일 0:01   주제: program의 정의와 관련해서
숙제 6의 program 정의를 그대로 따른다고 생각하면 되나요~

즉 non-function type을 가정해도 되는건가요?
  주제: 에러 핸들링과 관련하여
신기정

답변: 1
조회: 2500

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년11월25일 13:28   주제: 에러 핸들링과 관련하여
뼈대 코드 중 simple M checker에서
에러 핸들링이 적절히 이루어지지 않고 있는 것같습니다.
check함수에서의 try문이
한줄 위의
let (s, c) = m emptyG exp tau ...
  주제: \x.x의 타입
신기정

답변: 4
조회: 3624

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년11월13일 21:26   주제: 추가 질문입니다.
추가 질문입니다.

1. 타입 에러 발생 시의 출력 message 내용에는 제한이 없나요?

2. Free Variable이 있는 경우는

타입 에러가 아닌 Invalid argument를 발 ...
  주제: hw6_1 에서 EQ
신기정

답변: 2
조회: 3113

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년11월13일 21:21   주제: 제 생각에는
제 생각에는 6-1에서는 런타임 에러

6-2에서는 타입 에러가 발생해야 할 것같습니다.
  주제: \x.x의 타입
신기정

답변: 4
조회: 3624

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년11월13일 19:04   주제: 더불어
더불어 (/x.x) 3 과 같이

위의 식이 포함되어 있더라도 타입체킹이 가능한 경우는

에러를 발생시킬 필요가 없는것이 맞나요?
  주제: \x.x의 타입
신기정

답변: 4
조회: 3624

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년11월13일 18:47   주제: \x.x의 타입
(\x.x)

라는 프로그램이 있을 때, 이 것의 타입은 여러가지가 가능한데요,

이 경우 simple type system에서는

type error를 발생시켜야 하나요?
  주제: 숙제 5 간단(?)한 테스트 셋입니다.
신기정

답변: 1
조회: 2843

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년10월30일 8:37   주제: 저도 간단한 테스트셋 하나
저도 간단한 테스트셋 하나

피보나치 수열의 여섯번째 항


(rec fac x => (ifzero x then 0 else (ifzero (x - 1) then 1 else (fac (x - 2) + fac (x - 1))))) 6



결과 ...
  주제: 숙제 5-2 질문
신기정

답변: 4
조회: 3193

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년10월29일 13:01   주제: 제 생각에는
또 ifzero e1 e2 e3은 e1이 0이면 e3, 0이 아니면 e2를 실행하는 건가요?

라고 말씀하셨는데,

제 생각에는 e1이 0이면 e2, 0이 아니면 e3를 실행하는 것이

...
  주제: 숙제 5-2 - 연산에 대하여
신기정

답변: 1
조회: 2482

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년10월24일 21:09   주제: 숙제 5-2 - 연산에 대하여
항상 자연수를 최종적으로 계산하는 프로그램이라는 것이,

프로그램의 최종 계산 값인 자연수인 것을 의마하나요

아니면 계산 도중에 나오는 값 ...
  주제: 숙제 5-2와 관련해서.
신기정

답변: 1
조회: 2513

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년10월24일 14:43   주제: 숙제 5-2와 관련해서.
숙제 5-2와 관련해서 헷갈리는 부분이 있습니다.


1.

M0은 적극적인 프로그래밍 언어라고 나와있습니다.
만약 주어진 M0 언어 (fn id => e1) e2 를 (\id ...
  주제: 4-2 간단한 테스트셋
신기정

답변: 1
조회: 1823

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년10월17일 18:27   주제: 4-2 간단한 테스트셋

let x := 0 in
let
proc sum(x) =
if not (x < 1) then (x + sum(x-1))
else (0)
in
read x;
write sum(x);
write sum(x)


10000을 입력할 경우 첫번째 ...
  주제: 숙제 4-2와 관련된 질문
신기정

답변: 6
조회: 2612

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년10월17일 18:18   주제: 추가질문입니다.
2. gc 를 수행한 후에도 재활용할 수있는 메모리가 하나도 없다면 어떤 에러를 발생시켜야 하나요?

3. 파서가 조금 이상한 것같습니다.
test7.k--인데요 ...
  주제: 숙제 4-2와 관련된 질문
신기정

답변: 6
조회: 2612

올리기게시판: 4190.310 Programming Languages (Fall 2010)   올려짐: 2010년10월17일 10:02   주제: 숙제 4-2와 관련된 질문
1.

문서에 보면 다음 형식으로 적혀있습니다.


(S,M,E,malloc::C,K) -> (l::S, gc(...), E, C, K)


교수님이 의도하신 바는, S와 E는 그대로 두고,
M에서 안 ...
 
페이지 16 페이지로 1, 2, 3, 4, 5, 6  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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