[Haskell-cafe] Non-deterministic (stochastic?) function/expression types in Haskell?
Sergiu Ivanov
sivanov at colimite.fr
Mon Jan 15 10:51:44 UTC 2018
Hello,
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 :
http://www-ps.informatik.uni-kiel.de/currywiki/
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.)
--
Sergiu
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180115/e611f050/attachment.sig>
More information about the Haskell-Cafe
mailing list