이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
강지훈
가입: 2008년 9월 2일 올린 글: 291 위치: 302동 312-2호
|
올려짐: 2009년5월19일 3:04 주제: calF: (cmd -> state -> state) -> cmd -> state -> state? |
|
|
(cmd -> state -> state) 타입끼리의 비교가 쉽지 않습니다.
이것을 (cmd -> (state StateMap.t)) 혹은
((state StateMap.t) CmdMap.t)
로 바꿔서 해도 될런지요?
이 때 StateMap은 key type을 state로, CmdMap은 key type을 cmd로 한 map입니다. _________________ 강지훈
프로그래밍의 원리 조교
Jeehoon Kang
TA, Principles of Programming |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년5월19일 12:01 주제: |
|
|
인용: |
(cmd -> state -> state) 타입끼리의 비교가 쉽지 않습니다.
|
1. calF의 fixed point를 직접 구하려고 하는 것이 아니라면
(cmd -> state -> state) 타입간의 비교가 필요하지 않습니다.
2. calF의 fixed point를 직접 구하지 않고 분석하는 방법을 생각해보세요.
힌트를 드리면, calF를 이용해서 방정식을 도출하고, 그 방정식을 풀면됩니다. _________________ - soon@ropas |
|
위로 |
|
|
|