The Art of the Propagator. See also:
Go to file
Edward Kmett 76f7132ee7
Merge pull request #11 from bshlgrs/patch-1
Fix broken link to Radul's thesis
2019-11-19 21:54:35 +08:00
scripts mixed cabal/stack build on travis. add osx testing 2015-09-21 05:01:36 -04:00
src/Data Fix the PropagatedNum for Integer and Natural to fix issue #4 2015-10-27 22:55:51 -04:00
tests grow this thing up into a real project 2015-09-19 23:49:40 -04:00
.gitignore grow this thing up into a real project 2015-09-19 23:49:40 -04:00
.travis.yml mixed cabal/stack build on travis. add osx testing 2015-09-21 05:01:36 -04:00
CHANGELOG.markdown add CHANGELOG and README 2015-09-21 05:08:40 -04:00
LICENSE grow this thing up into a real project 2015-09-19 23:49:40 -04:00
propagators.cabal Correct documentation bug 2015-11-13 13:08:24 -07:00
README.markdown Fix broken link to Radul's thesis 2019-10-31 08:11:40 -07:00
Setup.lhs grow this thing up into a real project 2015-09-19 23:49:40 -04:00
stack.yaml Add unique-0 to stack.yaml 2015-10-15 07:26:35 -07:00

propagators

Hackage Build Status

Propagators propagate increases in information from cell to cell.

They are described (using Scheme) in Alexey Radul and Gerald Sussman's "The Art of the Propagator" as well as in Alexey Radul's thesis on Propagation Networks.

This package explores design options for propagators in Haskell. The primary innovation here (beyond the published work) is the use of observable sharing to let us take a more direct form of programming and transform it back and forth to the propagator style.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett