[%] 필요없는 걸 평가 안하는 건

[기괴공학도(mecheng98)]

느긋한 평가나 지우개랑 똑같은데,

서로 완전히 다른 거네요 ㅇㅅㅇ

죄송합니다

- dc official App

[다믜(damhiya)]

하스켈도 lazy eval인데 타입 지우잖아 ㅇㅅㅇ

[기괴공학도(mecheng98)]

ㅇㅇ 저 원래 생각이 기괴함 - dc App

[나니킷(nanikit)]

하스켈이 타입 정보를 지우는 거 어디에서 확인할 수 있음?

[다믜(damhiya)]

https://wiki.haskell.org/OOP_vs_type_classes
여기 2단락 보면 설명 있네

[다믜(damhiya)]

Haskell's objects don't carry run-time type information. Instead, the class constraint for a polymorphic operation is passed in as a "dictionary" implementing all operations of the class (there are also other implementation techniques, but this doesn't matter).