Group items tagged

Filter: All | Bookmarks | Topics Simple Middle

shared by Javier Neira on 09 Nov 09 - Cached

type Choice a = [a] choose :: [a] -> Choice a choose xs = xs
...

Cancel
Because Haskell doesn’t compute answers until we ask for them, we get the actual backtracking for free!
...

Cancel
The missing function is almost too trivial to mention: Given a single value of type a, we need a convenient way to construct a value of type Choice a:
...

Cancel
...5 more annotations...
More math trivia: return is also known as unit and η. That’s a lot of names for a very simple idea.)
...

Cancel
makePairs = choose [1,2,3] >>= (\x -> choose [4,5,6] >>= (\y -> return (x,y)))
...

Cancel
makePairs' = do x <- choose [1,2,3] y <- choose [4,5,6] return (x,y)
...

Cancel
Every monad has three pieces: return, map and join.
...

Cancel
Backtracking: The lazy way to code
...

Cancel

1 - 1 of 1

Showing 20▼ items per page