Talk:Nondeterminism, monadically

From HaskellWiki
Revision as of 06:39, 9 March 2021 by Atravers (talk | contribs) (Original remarks from old wiki page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Chris Angus: Stick everything in a monad which returns a list of answers and backtrack on failure (see The essence of functional programming).

  • Andrew Bromage: Ralf Hinze has produced a more efficient nondeterminism monad using the technique of Deriving From Specifications. Note that this requires universally-quantified types?, which is not in Haskell 98.
  • Stefan Ljungstrand: I'm sorry but I can't see any use of multi-parameter type classes above. Perhaps you meant multi-parameter type constructors? (curried!) which already is in Haskell 98 AFAIK (but not in SML e.g.)
  • Andrew Bromage: My mistake. The earlier version I had there did indeed use multi-parameter type-classes, but then I switched to this version.