[Haskell-cafe] Concept for "equal but unknown"

Kim-Ee Yeoh ky3 at atamo.com
Mon Oct 5 01:16:07 UTC 2015

On Fri, Oct 2, 2015 at 9:37 PM, martin <martin.drautzburg at web.de> wrote:

> I guess I am after values which become more and more defined in the course
> of computation.

One way to simulate incremental binding is by extending with multiple

Nothing would mean 'no reservation'
Just Nothing -> 'reservation but unassigned room'
Just (Room 123) -> 'reservation with assigned room'

The type used is Maybe (Maybe Room).

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151005/82fee95e/attachment.html>

More information about the Haskell-Cafe mailing list