[Haskell-cafe] Non-deterministic (stochastic?) function/expression types in Haskell?
sivanov at colimite.fr
Mon Jan 15 10:51:44 UTC 2018
Thus quoth PY on Mon Jan 15 2018 at 09:08 (+0100):
> But there is another good choice: *Mercury*. It supports (sure,
> because it's declarative language and is based on Prolog) special
> notations for computations:
If you prefer a more Haskellish syntax, you may also want to look at
Curry has a built-in function called "choice" which allows
"non-deterministic, set-valued" functions.
Now, whichever tool you use, you are probably going to wind up with
monads or with monads in disguise, as Olaf points out. (And sometimes
disguise may be quite important.)
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the Haskell-Cafe