[질문] 하스켈 자연수 succesor방식으로 정의되어있음?

[익명(221.166)]

==도 그걸로 구현함?

[기괴공학도(mecheng98)]

설마요;; - 훈다리 훈다리

[익명(211.194)]

그럼 어덯게..?

[ㅇㄹ(rerereq)]

Nat은 그런식이긴 한데 보통은 안쓸걸 애초에 속도 병신일건데

[익명(211.194)]

그럼 걍 다른 언어처럼 비트 단위 비교하는건가

[익명(211.194)]

이게 내가 타입을 구현하는 입장에서는 재귀적으로 해야되는데 구현된거는 굳이 그럴 필요가 없긴하겠네요

[Recursion(recursion)]

머신 인티저로 정의되어 있음. 아무리 그래도 실용적 언어인데 페아노로 정의하다간 컴퓨터 터짐 - dc App

[Recursion(recursion)]

실제로 정의되어 있다면 type Int = 0 | 1 | 2 ... 같이 일일이 정의되어 있는 느낌잏듯 - dc App

[커헠(msca8h)]

succ 같은 함수들이 그렇게 작동하긴 하는데 내부 구현이 진짜 그렇지는 않을듯 ㅇㅇ - return 0;