Skip to main content

Hakell-inspired monadic do-notation in Python

Project description

Monadic Do-Notation

Guac provides monadic do-notation, inspired by Haskell, in Python. Monads provide “programmable semicolons” by which the behavior of programs can be changed. A common, useful monad is the list monad, which represents non-deterministic computations. The list monad makes it very easy to write backtracking searches.

Requirements

Guac requires an implementation of Python 3 that supports copy.deepcopy on generator functions. The most common distribution, CPython, is lacking this feature, but pypy implements it!

Example

Here’s an example that computes all the possible ways you can give $0.47 change with pennies, nickels, dimes, and quarters:

from guac import *

@monadic(ListMonad)
def make_change(amount_still_owed, possible_coins):
    change = []

    # Keep adding coins while we owe them money and there are still coins.
    while amount_still_owed > 0 and possible_coins:

        # "Nondeterministically" choose whether to give anther coin of this value.
        # Aka, try both branches, and return both results.
        give_min_coin = yield [True, False]

        if give_min_coin:
            # Give coin
            min_coin = possible_coins[0]
            change.append(min_coin)
            amount_still_owed -= min_coin
        else:
            # Never give this coin value again (in this branch!)
            del possible_coins[0]

    # Did we charge them the right amount?
    yield guard(amount_still_owed == 0)

    # Lift the result back into the monad.
    yield lift(change)

print(make_change(27, [1, 5, 10, 25]))

Running this program will print a list of lists, each list containing a different set of numbers that add up to 27. You can imagine lots of cool ways this could be used, from unification to parsing!

To learn more, check out the README.

Project details


Release history Release notifications

This version

1.0.0

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for guac, version 1.0.0
Filename, size File type Python version Upload date Hashes
Filename, size guac-1.0.0-py3-none-any.whl (6.5 kB) File type Wheel Python version 3.6 Upload date Hashes View hashes

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN SignalFx SignalFx Supporter DigiCert DigiCert EV certificate StatusPage StatusPage Status page