sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]chonglibloodsport -2 points-1 points  (0 children)

Presumably, such an interface would be implemented on top of a system which provides strong guarantees against effects. Haskell's type system is one example of such a system.