[%] 하스켈은 순수하며 IO 모나드도 순수합니다.

[기괴공학도(mecheng98)]

IO a ~= World → (a, World)이기 때문입니다.

- dc official App

[기괴공학도(mecheng98)]

그리고 do notation은 설탕일 뿐이에요 - dc App

[ㅇㄹ(rerereq)]

IO a -> a 함수가 존재한다던데 ㅇㅅㅇ

[기괴공학도(mecheng98)]

그건 Unsafe에 있는 함수인 데스웅 - dc App

[기괴공학도(mecheng98)]

그딴 건 쓰면 안 됨. 하스켈의 수치임. - dc App

[다믜(damhiya)]

"Dark side of IO monad" - haskell wiki -

[Recursion(recursion)]

World가 linear type이 아니므로 순수하지 않음 ㅅㄱ - dc App

[기괴공학도(mecheng98)]

ㄹㅇ?? - dc App

[Recursion(recursion)]

말하고 보니 순수성과는 상관없나 근데 linear object를 재사용하게 되면 참조 투명성이 깨지는거나 마찬가지 아닌감 - dc App

[기괴공학도(mecheng98)]

World는 재사용이 불가능하지 않나?? - dc App

[Recursion(recursion)]

넴 근데 정의에 그 제약이 없어서 재사용을 타입 시스템 수준에서 막을 수 없기 때문에 재사용 가능한 정의라는 얘기를 하고 싶었음 - dc App

[기괴공학도(mecheng98)]

-러- - dc App