Talk:Nondeterminism, monadically
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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.