Arc Forumnew | comments | leaders | submitlogin
2 points by ehird 6131 days ago | link | parent

it is impossible. it is the halting problem. sorry.

(Well, monads without unsafePerformIO would work..)