글쓴이 |
메시지 |
주제: 최종성적 공지 |
신기정
답변: 2
조회: 8654
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년12월28일 15:02 주제: 교수님, 조교님 |
한학기 동안 감사했습니다. |
주제: 숙제 7 질문이 있습니다. |
신기정
답변: 4
조회: 3709
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년11월26일 8:59 주제: 제 생각에도 |
f의 경우 'a -> 'b
(f true)의 경우 'b
(f true) + 1 int형 타입이 되는 것같습니다.
이건 ocaml의 타입시스템 결과와도 같구요
마지막 것이 다소 직관에 ... |
주제: program의 정의와 관련해서 |
신기정
답변: 2
조회: 2780
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년11월26일 0:01 주제: program의 정의와 관련해서 |
숙제 6의 program 정의를 그대로 따른다고 생각하면 되나요~
즉 non-function type을 가정해도 되는건가요? |
주제: 에러 핸들링과 관련하여 |
신기정
답변: 1
조회: 2559
|
게시판: 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
조회: 3682
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년11월13일 21:26 주제: 추가 질문입니다. |
추가 질문입니다.
1. 타입 에러 발생 시의 출력 message 내용에는 제한이 없나요?
2. Free Variable이 있는 경우는
타입 에러가 아닌 Invalid argument를 발 ... |
주제: hw6_1 에서 EQ |
신기정
답변: 2
조회: 3151
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년11월13일 21:21 주제: 제 생각에는 |
제 생각에는 6-1에서는 런타임 에러
6-2에서는 타입 에러가 발생해야 할 것같습니다. |
주제: \x.x의 타입 |
신기정
답변: 4
조회: 3682
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년11월13일 19:04 주제: 더불어 |
더불어 (/x.x) 3 과 같이
위의 식이 포함되어 있더라도 타입체킹이 가능한 경우는
에러를 발생시킬 필요가 없는것이 맞나요? |
주제: \x.x의 타입 |
신기정
답변: 4
조회: 3682
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년11월13일 18:47 주제: \x.x의 타입 |
(\x.x)
라는 프로그램이 있을 때, 이 것의 타입은 여러가지가 가능한데요,
이 경우 simple type system에서는
type error를 발생시켜야 하나요? |
주제: 숙제 5 간단(?)한 테스트 셋입니다. |
신기정
답변: 1
조회: 2890
|
게시판: 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
조회: 3248
|
게시판: 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
조회: 2516
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년10월24일 21:09 주제: 숙제 5-2 - 연산에 대하여 |
항상 자연수를 최종적으로 계산하는 프로그램이라는 것이,
프로그램의 최종 계산 값인 자연수인 것을 의마하나요
아니면 계산 도중에 나오는 값 ... |
주제: 숙제 5-2와 관련해서. |
신기정
답변: 1
조회: 2565
|
게시판: 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
조회: 1828
|
게시판: 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
조회: 2620
|
게시판: 4190.310 Programming Languages (Fall 2010) 올려짐: 2010년10월17일 18:18 주제: 추가질문입니다. |
2. gc 를 수행한 후에도 재활용할 수있는 메모리가 하나도 없다면 어떤 에러를 발생시켜야 하나요?
3. 파서가 조금 이상한 것같습니다.
test7.k--인데요
... |
주제: 숙제 4-2와 관련된 질문 |
신기정
답변: 6
조회: 2620
|
게시판: 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에서 안 ... |
|