Concerning free software, programming, and whatever else I find interesting. Also the blog for my Web site, frigidcode.com.
Haskell solves the problem of unexpected IO side effects
Programmers are universally familiar with the challenges of dealing with unwanted side effects in IO operations. Few are aware, however, that the Haskell programming language provides a very straightforward approach to dealing with this problem, packaged in a convenient module:
http://hackage.haskell.org/packages/...RealWorld.html
The solution involves making available a full existential state as a retrievable value. This value can then be transformed back into the IO Monad, to restore such state if necessary.
Helper functions allow you to create, from IO actions, first order functions mapping states to contingent states, and even to deal with the issue of hypothetical state transformations.
This approach has both the advantages of a clean interface and a simple concept structure. With adoption, it has a lot of potential to revolutionize systems programming, and it will certainly see interest from industrial sectors specializing in mission critical systems.
http://hackage.haskell.org/packages/...RealWorld.html
The solution involves making available a full existential state as a retrievable value. This value can then be transformed back into the IO Monad, to restore such state if necessary.
Helper functions allow you to create, from IO actions, first order functions mapping states to contingent states, and even to deal with the issue of hypothetical state transformations.
This approach has both the advantages of a clean interface and a simple concept structure. With adoption, it has a lot of potential to revolutionize systems programming, and it will certainly see interest from industrial sectors specializing in mission critical systems.
Total Comments 0