Lazy interactions in Haskell
These slides and code cover an approach to designing interactions using the behaviour
of lazy IO. This was the default approach in the Miranda programming language, and supported
in Haskell by the
The work was trasnliterated from Miranda (see the file Interaction.rtf for details) and presented
at ZuriHac 2017, where Neil Mitchell kindly reminded me that pattern bindings in
let constructs are automatically irrefutable. The code here reflects that.
After presentation at the Haskell Exchange, the file
Interfaces.hs was added, exploring the
standard interfaces (aka classes) to which the
Interact a b type belongs.