[%] 나비는 항등원이 0인 거 증명 가능한가요?

[익명(183.97)]

구상해보셨나여

[기괴공학도(mecheng98)]

"Plus( x, 'z', x )?"라고 질의하면 yes라고 대답하고 "Plus( 'z', x, x )?"라고 질의하면 yes라고 대답해야 합니다. 일단 생각해 놓은 구현으로는 이게 가능합니다. 하지만 이 구현에서는 교환법칙 증명이 안 돼요. 그리고 대답이 완벽하지도 않고요.

[기괴공학도(mecheng98)]

죄송합니다 잘못 답변했습니다 ㅋㅋㅋ 둘 다 "(1) x = 'z' (2) x ='s' Nat1 (2.1) Nat1 -> 's' Nat1"이라고 답합니다.

[익명(183.97)]

어떤 구현을 쓰시나여

[기괴공학도(mecheng98)]

패턴 매칭과 귀납법을 적용해서요. 어차피 보완해야 하는 구현이에요.

[기괴공학도(mecheng98)]

http://gall.dcinside.com/mgallery/board/view/?id=github&no=1408&s_type=search_name&s_keyword=%EA%B8%B0%EA%B4%B4%EA%B3%B5%ED%95%99%EB%8F%84&page=1