[%] Freer monad 구현에서

[다믜(damhiya)]

왜 difference list 안쓰고 FTCQueue 쓰나 했더니 diff list는 unconsing이 안되네 ㅅㅂ

뻘짓 했다

[기괴공학도(mecheng98)]

[기괴공학도(mecheng98)]

솔직히 님 하는 말 중에 반 밖에 못 알아먹음 ㅠㅠ 도대체 뭘 공부해야됨? - dc App

[다믜(damhiya)]

나도 님 올리는 글 절반밖에 못알아들음 ㅋㅋㅋ

[다믜(damhiya)]

http://hackage.haskell.org/package/freer-0.2.4.1

[기괴공학도(mecheng98)]

ㄱㅅㄱㅅ - dc App

[다믜(damhiya)]

Free 모나드란게 있고 그걸 개선한 Freer 모나드라는게 있는데, Freer 모나드를 구현할 때 내부적으로 FTCQueue라는 자료구조를 씀

[기괴공학도(mecheng98)]

그렇구나 - dc App

[Recursion(recursion)]

프리어 모나드는 또 처음 들어보네 한번 봐야지 - dc App

[다믜(damhiya)]

Free 모나드가 >>=를 재귀적으로 정의해서 액션 n개가 연결되면 construction에 O(n^2)이 필요한데, 이걸 효율적으로 하려고 내부구조를 조금 바꾼거임.

[Recursion(recursion)]

그러면 기능적 면에서는 프리 모나드하고 똑같고 내부 성능을 개선한 버전이라고 보면 되는건가. 그리고 그 성능 개선을 위해 저 ftcqueue라는 걸 쓴거임? - dc App

[다믜(damhiya)]

ㅇㅇ. 그런데 그 외로도 타입레벨 리스트를 써서 여러가지 Effect들을 결합해서 쓸 수 있게 확장한것 같더라고

[다믜(damhiya)]

Eff [ExceptT String, StateT s, MaybeT] a 이런식으로

[Recursion(recursion)]

purescript에서 비슷한거 하는건 봤는데 하스켈에서도 시도가 있는 모양이네 - dc App