 |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인| 검색 결과 17 개 일치합니다 |
| 글쓴이 | 메시지 |
|---|---|
 주제: malloc의 인자로 타입변수도 들어올 수 있을까요? |
|
| 정태호 답변: 1 조회: 3553 |
 게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월8일 20:08 주제: malloc의 인자로 타입변수도 들어올 수 있을까요? |
| semantics에는 가능하다고 되어있는것같은데, 생각해보면 메모리를 할당하는 입장에서 할당해야 할 크기를 모르는 상태로 메모리를 할당할 수는 없는거 ... | |
| 주제: 숙제 7-1 assign에 타입이 달라도 허용되나요? |
|
| 정태호 답변: 2 조회: 3366 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월6일 20:22 주제: 숙제 7-1 assign에 타입이 달라도 허용되나요? |
| 예를들어
(malloc 1):=true 도 허용되나요? M의 semantics에는 이런 구분은 따로 없는것 같은데요! |
|
| 주제: 타입 추론 알고리즘 질문입니다. |
|
| 정태호 답변: 4 조회: 4529 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월3일 15:40 주제: 타입 추론 알고리즘 질문입니다. |
| 아무리 생각해도 이상해서 다시 들어와보니 수정답변이 있네요ㅎㅎ
감사합니다! |
|
| 주제: 타입 추론 알고리즘 질문입니다. |
|
| 정태호 답변: 4 조회: 4529 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월3일 8:20 주제: 타입 추론 알고리즘 질문입니다. |
| 답변 감사합니다! | |
| 주제: 타입 추론 알고리즘 질문입니다. |
|
| 정태호 답변: 4 조회: 4529 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월2일 23:03 주제: 타입 추론 알고리즘 질문입니다. |
| 교재 172쪽에 있는 completeness에 대한 설명에서,
감마' ㅏ e : tau' =>W(감마,e)=(tau,S) and (감마'=RS감마) and (tau'=R tau) 라고 나와있는데요, 알고리즘의 co ... |
|
| 주제: 타입추론규칙에 대해 질문입니다. |
|
| 정태호 답변: 1 조회: 3116 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년11월29일 15:55 주제: 타입추론규칙에 대해 질문입니다. |
| 교과서 p.157에는
E1+E2에 대한 추론규칙이 (감마)ㅏE1:t1->t2 (감마)ㅏE2:t1 ----------------------------------- (감마)ㅏE1+E2:t2 라고 나와있는데요, E1+E2가 제 ... |
|
| 주제: hw6-3질문입니다. |
|
| 정태호 답변: 7 조회: 4927 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년11월16일 16:30 주제: hw6-3질문입니다. |
| 답변 감사합니다!! | |
| 주제: hw6-3질문입니다. |
|
| 정태호 답변: 7 조회: 4927 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년11월16일 0:32 주제: hw6-3질문입니다. |
| 덧붙여서, 코드를 완성하고 테스트를 해보려고 하는데 계속 에러가 납니다.
아래에 윈도우에서 에러가 난다는 글이 있어서 시그윈에서 테스트했는 ... |
|
| 주제: hw6-3질문입니다. |
|
| 정태호 답변: 7 조회: 4927 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년11월16일 0:10 주제: hw6-3질문입니다. |
| 스펙문서 6쪽에는 EQ에 해당하는 인자로
n, s, b, l만 정의되어있는데요, 그러면 pair와 closure는 정의하지 않아도 무방하다는건가요? 또, 두 인자 간 ... |
|
| 주제: 과제 2-3 goDown |
|
| 정태호 답변: 2 조회: 1509 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년9월20일 22:51 주제: 추가 질문입니다 |
| location에서 자식노드는 어떻게 표현돼있는건가요??? | |
| 주제: 숙제 2-1에 대해 보충설명을 부탁드립니다. |
|
| 정태호 답변: 2 조회: 1723 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년9월19일 23:03 주제: 숙제 2-1에 대해 보충설명을 부탁드립니다. |
| 아 그리고 OCaml 튜토리얼 시간이 정기적으로 정해졌었던것 같은데 언제였나요? ㅜㅜ | |
| 주제: 숙제 2-1에 대해 보충설명을 부탁드립니다. |
|
| 정태호 답변: 2 조회: 1723 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년9월19일 22:52 주제: 숙제 2-1에 대해 보충설명을 부탁드립니다. |
| 문제에서 주어진 metro 타입의 정의만 가지고 metro의 의미를 파악하기에 좀 무리가 있는 것 같습니다.
당장 checkMetro 함수가 metro를 판단하는 방식을 파 ... |
|
| 주제: hw1-2에서 각 constructor에 대해서 질문입니다. |
|
| 정태호 답변: 4 조회: 1914 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년9월14일 15:28 주제: hw1-2에서 각 constructor에 대해서 질문입니다. |
| 답변 모두 감사드립니다. | |
| 주제: hw1 테스트케이스입니다 |
|
| 정태호 답변: 5 조회: 3417 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년9월14일 15:26 주제: 테스트셋 감사합니다. |
| 테스트셋 감사합니다. 저도 다 true로 나오네요! | |
| 주제: hw1-2에서 각 constructor에 대해서 질문입니다. |
|
| 정태호 답변: 4 조회: 1914 |
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년9월14일 13:19 주제: 추가로 3번 문제에 대해서 질문입니다ㅜㅜ |
| 3번의 nat type이 정확히 뭘 나타내고자 하는건지 의미가 와닿지 않아서 질문드립니다.
예를들어 let a = SUCC(SUCC(ZERO));;라고 했을 때 a가 가지는 값이 어 ... |
|
시간대: GMT + 9 시간(한국) |
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay