[%] 근데 디펜던트 타입은 보면 볼수록 무쓸모인거 같음

[Recursi..(recursion)]

소유권 개념이 확실하게 잡혀야 하는 블록체인 같은 분야에서는 안전성 때문에 유용한데 일반 프로그래밍 할 때엔 하스켈 타입 클래스 정도만 있어도 충분한거같음

- dc official App

[다믜(damhiya)]

계륵같은 존재지.. 근데 증명한다는거 자체가 좀 재밌는것 같음

[Recursion(recursion)]

ㅇㅇ 갖고 놀려고 하면 재밌는거 같음 - dc App

[다믜(damhiya)]

근데 또 수학하는 사람들은 "증명은 기계가 한다." 이런 소리 하니까 ㅋㅋㅋㅋ

[익명(211.36)]

파라메트릭 다형성과 상충하는 거 같지 않음 약간?

[다믜(damhiya)]

근데 type family라고 타입레벨에서 ad hoc polymorphism을 하는 방법이 있음

[다믜(damhiya)]

type family라는게 typeclass에 value 말고 type이 올 수 있게 해주는거라서 ad hoc polymorphism 이 적용되는 범위를 넗히는건 맞는데, 아마 parametricity를 무너뜨리지는 않을꺼임

[다믜(damhiya)]

dependent type은 type이 value에 연관되게 하는건데, value에는 패턴 매칭이 가능하니까 마찬가지로 ad hoc polymorphism의 범위를 넓히는건 맞는것 같음

[다믜(damhiya)]

이 경우도 인자로 타입만 받는 타입은 마찬가지로 parametricity에 문제 없을꺼임