| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
구상준
가입: 2009년 9월 18일 올린 글: 27
|
올려짐: 2009년11월21일 10:55 주제: 숙제 6-1에 대한 질문입니다. |
|
|
lam type 정의가 (가능하다면) 다음과 같이 되어야 하는게 아닌가요?
| 코드: | type lam = Var of string | Lam of (Var * lam) | App of (lam * lam)
|
|
|
| 위로 |
|
 |
최종욱
가입: 2009년 9월 15일 올린 글: 84
|
올려짐: 2009년11월21일 17:35 주제: |
|
|
Var 은 type 이 아니라 lam 타입을 만들어내는 생성자이죠.. _________________ Jongwook Choi
Seoul National University, School of Computer Science & Engineering |
|
| 위로 |
|
 |
|