monad fail하고 IO모나드 exception
fail은 빼박 설계 미스고, exception은 기껏 잘 만들어놓은 타입 시스템 다 말아먹음
설명을 보충해서 중생들을 좀 구제해주시지요..
나는 저렇게 생각하는데, 다른사람도 안좋다고 생각하는지에는 자신이 없어서 ㅋㅋ
fail은 평범한 Monad에서는 error고 MonadPlus에서는 mzero인게 제일 어이없지.
exception은 타입 시그니처에 던지는 예외가 안보이고.
설명을 보충해서 중생들을 좀 구제해주시지요..
나는 저렇게 생각하는데, 다른사람도 안좋다고 생각하는지에는 자신이 없어서 ㅋㅋ
fail은 평범한 Monad에서는 error고 MonadPlus에서는 mzero인게 제일 어이없지.
exception은 타입 시그니처에 던지는 예외가 안보이고.