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

[Kim-Ee Yeoh]

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
Maybes:

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>