15 Jan
2018
15 Jan
'18
5:51 a.m.
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