글쓴이 |
메시지 |
주제: 람다 예보 질문 |
신원준
답변: 3
조회: 2883
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년12월13일 17:05 주제: 람다 예보 질문 |
지금까지 수업의 논조로 봤을때는
soundness는 기본적으로 만족시켜야 하고 최대한 complete할수록 높은 점수를 받을 것만 같습니다. 그림으로 말하면 동 ... |
주제: 7-1 질문 |
신원준
답변: 2
조회: 2601
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년12월13일 5:02 주제: 7-1 질문 |
poly_checker.ml 안에 있는 타입만 다루면서 타입체크 하시면 되고,
리턴은 m.ml에 있는 타입으로 리턴해야 하므로 이를테면 다음과 같이 짜면 됩니다. (마 ... |
주제: 과제 7-1 컴파일 관련 질문 |
신원준
답변: 2
조회: 2735
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년12월13일 4:59 주제: 과제 7-1 컴파일 관련 질문 |
저도 오늘 과제하다가 중간에 그런 워닝이 한번 떴는데요,
저같은 경우에는 모듈명 (이를테면 M.LET _ 에서 앞에 M) 을 깜박하고 안 적었을 때 그러더라 ... |
주제: 과제 7-2와 7-3 중 하나만 선택해서 푸는데 둘이 배점이 다르다는 것은 |
신원준
답변: 2
조회: 6967
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년12월5일 18:23 주제: 과제 7-2와 7-3 중 하나만 선택해서 푸는데 둘이 배점이 다르다는 것은 |
가급적이면 7-3을 풀어야 한다는 것인가요? 7-2는 7-3 실패했을때만 풀고..?
재작년 과제 7~8과 내용은 같은데 배점이 달라져서 의아해서 질문드립니다. |
주제: 과제 6-3의 ASSIGN의 type과 관련해서 질문이 있습니다. |
신원준
답변: 1
조회: 2323
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월26일 3:43 주제: 과제 6-3의 ASSIGN의 type과 관련해서 질문이 있습니다. |
일단 직관적인 부분을 말씀드리자면 함수 타입 두 개를 비교하는 경우 (t1=t3) and (t2=t4) 와 같은 방식으로 비교하는 게 맞습니다.
t1, t2, t3, t4 등이 복 ... |
주제: 과제 6-2 질문 |
신원준
답변: 1
조회: 4232
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월22일 19:16 주제: 과제 6-2 질문 |
그 부분은 보충스펙에도 명시되어 있는 것 같습니다.
그리고 e와 cps' e는 타입이 다르다는 것도 유의하셔야 할 것 같습니다.
(cps' e는 함수를 받아서 ... |
주제: 6-3 테스트케이스 질문 |
신원준
답변: 1
조회: 2496
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월22일 19:10 주제: 6-3 테스트케이스 질문 |
아마 (-6)처럼 괄호를 치시면 의도한대로 될 겁니다. |
주제: 과제 6-2 질문입니다. |
신원준
답변: 2
조회: 2634
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월19일 20:26 주제: 과제 6-2 질문입니다. |
완전 자신있는 부분은 아닙니다만..
m0.ml에 정의된 getPair 함수를 적절히 활용하는 게 맞을 듯합니다.
------------------------------------------------------------- ... |
주제: 5-1 질문 |
신원준
답변: 4
조회: 5015
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월17일 1:39 주제: 5-1 질문 |
질문이 조금 감이 안 잡히는 부분이 있지만 도움을 드리자면..
Sm5.CALL 호출 이전에 (x, C', E') 상태에서 E'을 직접 조작하는 건 아마 안 될겁니다.
왜 ... |
주제: 5-2 record 관련 |
신원준
답변: 1
조회: 2409
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월17일 1:27 주제: 5-2 record 관련 |
그런거 같습니다.
record는 K--스펙에는 없지만 (5-1)
SM5 스펙에는 있으므로 고려하는게 맞다고 봅니다. |
주제: 4-2 테스트 |
신원준
답변: 6
조회: 8925
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월23일 17:36 주제: 4-2 테스트 |
뒤에서 2번째 테스트 결과에서 B 중에 2가 빠져야 되는 거 같습니다.
그리고 emptyL을 정의 안 하신 분들도 혹시 있을 수 있으니,
그리고 혹시 실패하 ... |
주제: 과제 4-2 테스트케이스 |
신원준
답변: 1
조회: 1563
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월20일 16:44 주제: 과제 4-2 테스트케이스 |
let unwrap identifier = match identifier with
| A -> 0
| B -> 1
| C -> 2
| D -> 3
| E -> 4
let _ =
let printList lst =
print_char '[';
List.iteri ... |
주제: procedure 질문 |
신원준
답변: 2
조회: 3688
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월18일 0:35 주제: procedure 질문 |
n만 포함합니다.
procedure의 body부분 (LETF 정의상에서 e1부분) 이 ASSIGN 하나라고 적으셨는데 사실 네 개 입니다. (VAR, VAR, ADD, ASSIGN 순으로 eval)
VAR는 rval ... |
주제: 프로시져, 환경 질문 |
신원준
답변: 4
조회: 4641
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월17일 14:21 주제: 프로시져, 환경 질문 |
어이쿠 제가 잘못 적었군요.
스펙에 따르면 call하는 시점에 환경에 바인딩하는 게 맞습니다.
(미리 바인딩해놔도 동작하긴 하겠네요..) |
주제: 프로시져, 환경 질문 |
신원준
답변: 4
조회: 4641
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월17일 1:26 주제: 프로시져, 환경 질문 |
1. env에는 id -> location (변수의 메모리상의 주소) 의 바인딩을 가지고 있습니다. 즉 주소값이 저장되어 있는 것이 맞습니다.
LETF, 즉 procedure를 정의하 ... |
|