|
|
이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2005년11월19일 21:09 주제: Type Inference에서 질문입니다. |
|
|
숙제 마감이 임박해오는데 게시판에 글이 없네요.
2번째 문제를 가지고 계속 앓고 있다가 궁금해서 질문해봅니다.
EQ(e1, e2)와 WRITE(e)에서
e1, e2, e에 올 수 있는 type들이 TyInt, TyBool, TyString으로 제한되는데요
이걸 어떻게 해결할까 하다가
쉽게 떠오르는 방법으로
EQ/WRITE를 만나면 각각의 3가지 Type에 대해서 모두 해보는 식으로
문제를 풀어보았는데
간단한 프로그램에서는 잘 작동하는데
프로그램이 어느 정도 복잡해지면
Stack Overflow를 내면서 죽어버리네요.
뭔가 우아하게 해결하는 방법이 있는건지 궁금합니다. |
|
위로 |
|
|
박대준
가입: 2005년 10월 7일 올린 글: 245
|
올려짐: 2005년11월20일 14:19 주제: |
|
|
개인적인 생각입니다만,
V procedure 와 unify 를 동시에 하는 M, W 중에서
bottom-up 으로 올라오는 W 를 사용한다면, 좀 깔끔하게 되지 않을까요?
생각일 뿐, 아직 구현전입니다. |
|
위로 |
|
|
최성록 손님
|
올려짐: 2005년11월21일 9:20 주제: Re: Type Inference에서 질문입니다. |
|
|
공순호 씀: |
EQ(e1, e2)와 WRITE(e)에서
e1, e2, e에 올 수 있는 type들이 TyInt, TyBool, TyString으로 제한되는데요
|
혹시 구현시 빼먹는 실수 하셨을지 몰라 덧글 올립니다. e1, e2는 TyLoc도 가능합니다^^ |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2005년11월21일 10:41 주제: |
|
|
최성록 씀: |
혹시 구현시 빼먹는 실수 하셨을지 몰라 덧글 올립니다. e1, e2는 TyLoc도 가능합니다^^ |
아차, 그렇군요. 큰 실수할 뻔 했네요. 고맙습니다.
우아하지는 않지만 이렇게 저렇게 되긴 되는 상태까지는 도달했습니다. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|