[%] 하스켈 내부적으로 함수 합성 어떻게 구현하는거지?

[다믜(damhiya)]

합성하고 실행 둘다 상수 오버헤드인게 가능한가?

[기괴공학도(mecheng98)]

뭔 말이얌?

[다믜(damhiya)]

함수 합성도 결과적으로 함수들의 리스트를 어떤 형태의 자료구조로 표현해야 하잖아. 근데 그걸 내부적으로 어떻게 했을까 하는 질문임.

[기괴공학도(mecheng98)]

뭔 말인지 이해 못함 ㅈㅅ

[기괴공학도(mecheng98)]

하스켈은 그래프 소거로 평가를 함

[다믜(damhiya)]

가령 함수 포인터들의 리스트를 저장한다면, 함수 합성이 리스트 append 인데, 이렇게 하면 합성 할때마다 O(n) 이니까 엄청 비효율적이잖아

[다믜(damhiya)]

이진 트리로 저장하는게 가장 나을것 같긴 한데, 실제로 그렇게 하나 싶어서

[기괴공학도(mecheng98)]

일단 내가 구현한 건 하스켈 실제 구현이 아니라서 도움이 안 될 거임 ㅠㅠ