Need help with propaganda?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

tgk
139 Stars 11 Forks Eclipse Public License 1.0 104 Commits 1 Opened issues

Description

A propagator library for Clojure

Services available

!
?

Need anything else?

Contributors list

# 457,744
Clojure
jdbc
SQL
migrati...
55 commits
# 270,197
Clojure
Clojure...
Shell
Erlang
1 commit

propaganda

Punching values through the system

The propaganda library is a Clojure implementation of the propagator computational model described in The Art of the Propagator. The aim of the library is to be easy to use and reason about, yet extensible.

Two different strategies have been implemented: one using the Clojure STM for handling the propagation of values in the system; and one representing the system as an immutable value, without the aid of any underlying transactional model. The latter approach makes it possible to use propagators from javascript, and is the biggest contribution from this project.

There is a Clojars release containing an implementation that works in both Clojure and ClojureScript.

The leiningen dependency is

[propaganda "0.2.0"]

Tutorial

Here follows a short tutorial. For more in depth information, please consult the following sources:

To use the propaganda library, you need to define a merge, function, create cells and set up propagators. The merge function is invoked when a propagator attempts to store a new value in a cell. The merge function is invoked with the current value and the new value, and must return either a new value which will be stored in the cell, or a

Conflict
object.

In this short example we just use the default merger function, we define the square and square-root propagator and set up relations beween simple cells.

(use 'propaganda.stm)
(use 'propaganda.values)

default-merge
will give us a merger that will merge nothing with anything, but will enforce that anything else that is attempted to be merged will return a contradiction
clojure
(def my-merge
  (default-merge))

nothing
can be merged with
nothing
and will return
nothing
clojure
(my-merge nothing nothing)
;; => :propaganda.values/nothing

Anything else will be the result of the merge

clojure
(my-merge nothing 1)
;; => 1
(my-merge 2 nothing)
;; => 2
(my-merge 1 1)
;; => 1

... unless it gives rise to a contradiction

clojure
(my-merge 1 2)
;; => #propaganda.core.Contradiction{:reason "1 != 2"}

The

function->propagator-constructor
can be used for setting up simple one way relations ```clojure (def squarer (function->propagator-constructor (fn val)))

(def sqrter (function->propagator-constructor (fn val))) ```

... which can be extended to go both ways

clojure
(defn quadratic
  [x x-squared]
  (squarer x x-squared)
  (sqrter  x-squared x))

We can now construct cells and set up the quadratic relations to read the squared of a number in our system:

clojure
(let [x (make-cell)
      x-squared (make-cell)]
  (binding [*merge* my-merge]
    (quadratic x x-squared)
    (add-content x 10.0)
    (get-content x-squared)))
;; => 100.0

Or the square-root, depending on the input from the user

clojure
(let [y (make-cell)
      y-squared (make-cell)]
  (binding [*merge* my-merge]
    (quadratic y y-squared)
    (add-content y-squared 1764.0)
    (get-content y)))
;; => 42.0

We will be warned of any inconsistencies in our system when adding content

clojure
(let [z (make-cell)
      z-squared (make-cell)]
  (binding [*merge* my-merge]
    (quadratic z z-squared)
    (add-content z 10.0)
    (add-content z-squared 123.0)))
;; Exception: Inconsistency: 100.0 != 123.0

Motivation

The objective of this project is to create an extinsible propagator library for Clojure. Propagators define a declarative computational model. They are described in the article The Art of the Propagator.

Along with the library itself, the project should supply documentation of the API, good examples and tutorials.

I have not previously worked with propagtors, so this will also be an exploration for me.

Thanks to

Ragnar Dahlén and Kasper Langer for feedback on the library.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.