I am trying to figure out if there is a way to model cloud computing computations in Haskell.<br><br>My specific problems is that in&nbsp;&nbsp; cloud computing, as in Amazon WebServices,&nbsp; side effects (writes to storage,&nbsp; simple database, queue) follow the eventually consistent model.&nbsp; Which means even if your writes succeeds, it may or may not be immediately available for reads.&nbsp; Each call to the services may also temporarily experience network errors or end-system unavailability.&nbsp;&nbsp; Virtual machines can mount a local disk that does offers consistent storage, but the storage wont survive a reboot (after a crash).<br>
<br>I am trying to find out if I can model computation (and its compositions) where I can hide reliability and consistency issues. And also be able to reason about a computation to make sure no combination of errors and inconsistencies would break my logic.<br>
<br>Is it possible?&nbsp; If so is there a good starting point?<br clear="all"><br>-- <br>Daryoush<br><br>