[%] polymorphic recursion

[다믜(damhiya)]

repexp :: Int -> a -> [a]
repexp 0 x = [x]
repexp n x = concat $ repexp (n-1) [x, x]

이런것을 의미한다고 한다 ㅇㅅㅇ

[익명(24.131)]

막줄은 저대로는 O(n^2) 이고 순서 바꾸면 O(n) 일 것 같은데 하스켈은 느긋해서 성능 차이 없는 거임?

[다믜(damhiya)]

걍 polymorphic recursion 보이려고 만든 코드라

[다믜(damhiya)]

안쪽 repexp이 a' ~ [a] 라서 재귀 호출할 때 리스트 타입이 계속 중첩되는게 재밌는 부분