공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년4월22일 12:20 주제: |
|
|
* 문제
질문한 경우는 evalRhs : solution -> rhs -> state 함수를 구현할 때에
rhs가 Restrict(rhs, exp) / Nrestrict(rhs, exp)인 경우에 대한 것입니다.
우리가 하고자하는 일은 solution에서 rhs가 의미하는 state에 대해서
exp을 true/false로 만드는 것들만을 포함하는 새로운 state를 만들어내는 일입니다.
이를 구현하기 위해서는 다음과 같은 type의 함수가 필요하게 됩니다.
코드: |
restrict : state -> exp -> state
nrestrict : state -> exp -> state
|
하지만 숙제 스펙과 제공되는 뼈대를 살펴보아도 위의 역할을 하는 함수가 제공되지 않습니다.
* 해법
이번 숙제에서는 restrict/nrestrict의 의미가
코드: |
restrict state exp = state
nrestrict state exp = state
|
가 되도록 구현하시면 됩니다.
즉, Restrict / Nrestrict의 exp에 의해서 state가 변화하지 않습니다.
* 참고
위와 같은 구현은 틀린 구현이 아닙니다. 우리가 포함해야할 정보들은 빠뜨리지 않기 때문입니다.
단지 그것보다 많은 정보가 들어가게 되었을 뿐입니다. _________________ - soon@ropas |
|