[%] 하스켈에서 타입레벨 리스트가 동치로 인식되나?

[Recursi..(recursion)]

리스트는 ordered라 순서 다르면 동치로 인식 안되잖음

타입 체커가 순서 다르면 리젝함?

- dc official App

[다믜(damhiya)]

당연 ㅇㅇ

[다믜(damhiya)]

막 타입레벨 quick sort 하는것도 봤는데 ㅋㅋㅋ

[다믜(damhiya)]

아 quick sort는 아니네
http://kseo.github.io/posts/2017-01-30-type-level-insertion-sort.html

[Recursion(recursion)]

하긴 어차피 컴파일타임이고 크기도 작으니 삽입정렬 해도 상관없을듯 근데 타입수준 정렬 ㅗㅜㅑ 진짜 ㅋㅋㅋㅋ - dc App