[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