re-frame/README.md

292 lines
11 KiB
Markdown
Raw Normal View History

2014-12-08 21:46:34 +00:00
## re-frame
2014-12-05 11:08:39 +00:00
2014-12-09 18:03:11 +00:00
re-frame is a lightweight [reagent] framework for writing [SPAs] using ClojureScript.
2014-12-08 03:48:59 +00:00
2014-12-10 15:33:57 +00:00
It proposes a pattern for structuring an app, and provides a small library
implementing one version of this pattern.
2014-12-09 18:03:11 +00:00
2014-12-10 15:33:57 +00:00
In another context, re-frame might be called an MVC framework, except
it is instead a functional RACES framework - Reactive-Atom Component Event Subscription
(I love the smell of acronym in the morning).
2014-12-08 03:48:59 +00:00
2014-12-08 21:46:34 +00:00
## Claims
Nothing about re-frame is the slightest bit original or clever.
2014-12-09 18:03:11 +00:00
You'll find no ingenious use of functional zippers, transducers or core.async.
2014-12-10 15:33:57 +00:00
This is a good thing (although, for the record, one day I'd love to develop
something original and clever).
2014-12-08 21:46:34 +00:00
Using re-frame, you can break your application code into distinct pieces.
Each of these pieces can be easily described, understood and tested independently.
2014-12-10 15:33:57 +00:00
These pieces will (mostly) be pure functions.
2014-12-08 21:46:34 +00:00
2014-12-09 18:03:11 +00:00
At small scale, any framework seems like pesky overhead. The
2014-12-10 15:33:57 +00:00
explanatory examples in here are small scale, so you'll need to
squint a little to see the benefit.
2014-12-08 21:46:34 +00:00
2014-12-09 18:03:11 +00:00
## Shaping Beliefs
2014-12-08 21:46:34 +00:00
2014-12-09 18:03:11 +00:00
Above all we believe in the one true [Dan Holmsand] (creator of reagent),
2014-12-10 10:48:27 +00:00
and his divine instrument the `ratom`. We genuflect towards Sweden once a day.
2014-12-08 21:46:34 +00:00
Second, because paradigm is worth 80 points of IQ, we think you'll only
really "get" Reagent once you view it as an [FRP] library, and not simply a
ReactJS wrapper. To put that another way, we think that Reagent is closer in
2014-12-10 14:17:33 +00:00
nature to [Hoplon] or [Elm] than it is [OM]. This wasn't obvious to us initially - we
knew we liked reagent, but it took a while for the penny to drop as to why.
2014-12-08 21:46:34 +00:00
2014-12-10 15:33:57 +00:00
Finally, we believe in one way data flow. We don't like read/write `cursors` which
2014-12-10 10:48:27 +00:00
allow for the two way flow of data.
2014-12-08 21:46:34 +00:00
2014-12-09 18:03:11 +00:00
re-frame implements the two way flow of data into and
out of views by using two, one-way flows.
2014-12-08 21:46:34 +00:00
## The Parts
2014-12-10 10:48:27 +00:00
To explain re-frame, we'll now incrementally
2014-12-10 15:33:57 +00:00
develop a diagram. We'll explain each part as it is added in.
2014-12-08 21:46:34 +00:00
2014-12-09 18:03:11 +00:00
##### The Big Ratom
2014-12-08 21:46:34 +00:00
<blockquote class="twitter-tweet" lang="en"><p>Well-formed Data at rest is as close to perfection in programming as it gets. All the crap that had to happen to put it there however...</p>&mdash; Fogus (@fogus) <a href="https://twitter.com/fogus/status/454582953067438080">April 11, 2014</a></blockquote>
<script async src="//platform.twitter.com/widgets.js" charset="utf-8"></script>
2014-12-10 10:48:27 +00:00
Our re-frame diagram starts with the "well formed data at rest" bit:
2014-12-08 21:46:34 +00:00
```
2014-12-09 18:03:11 +00:00
ratom
2014-12-08 21:46:34 +00:00
```
2014-12-10 15:33:57 +00:00
So, re-frame says that you should put your data into one, dirty great
big atom. Structure the data in that atom, of course, but put it
all in the one place.
2014-12-08 21:46:34 +00:00
2014-12-10 15:33:57 +00:00
Now, its not the slightest bit controversial to use databases, right? And they
encourage you to put your well formed data all in one place. But if you have
background in OO, this data-in-one-place is a hard one to swallow. You've
spent your life breaking systems into pieces, organised around behaviour and trying
to hide the data. I still wake up in a sweat some nights thinking about all
that clojure data lying around exposed and passive.
2014-12-08 21:46:34 +00:00
2014-12-09 18:03:11 +00:00
But, as @Fogus says, data is the easy bit.
2014-12-08 21:46:34 +00:00
2014-12-10 10:48:27 +00:00
From here on, we'll assume that this part of the framework looks like this:
```
(def ratom (reagent/atom {})) ;; a reagent atom, containing a map
```
It is useful to actively imagine our ratom as an (in memory) database.
2014-12-09 18:03:11 +00:00
It will contain structured data (perhaps with a formal [Prismatic Schema] definition).
You will need to query that data. You will perform CRUD
2014-12-10 15:33:57 +00:00
and other transformations on it. You'll often want to transact on this
database atomically, etc. So "in-memory database"
2014-12-10 14:17:33 +00:00
seems a more useful paradigm than plain old atom. In our implementation, we actually
use the name `db` to drive home the point.
2014-12-08 21:46:34 +00:00
2014-12-10 14:17:33 +00:00
Finally, `ratom` doesn't actually have to be a ratom containing a map. re-frame
imposes no requirement here. It could be a [datascript] database. Its just a datastore
of some description.
2014-12-10 10:48:27 +00:00
##### Magic Ratoms
2014-12-09 18:03:11 +00:00
2014-12-10 14:17:33 +00:00
ratoms have a key feature. They act like normal clojurescript atoms, **plus** they allow
2014-12-10 10:48:27 +00:00
you to create reactive functions similar to `lift` in [Elm] or `defc=` in [hoplon].
2014-12-10 14:17:33 +00:00
You create these reactive functions via the reagent macros `reaction` or `run!`.
2014-12-09 18:03:11 +00:00
```clojure
(ns example1
2014-12-10 15:33:57 +00:00
(:require-macros [reagent.ratom :refer [reaction]])
2014-12-09 18:03:11 +00:00
(:require
[reagent.core :as r]))
(def ratom1 (r/atom {:a 1}))
2014-12-10 10:48:27 +00:00
2014-12-09 18:03:11 +00:00
(def ratom2 (reaction {:b (:a @ratom1)})) ;; notice use of "reaction"
2014-12-10 10:48:27 +00:00
(def ratom3 (reaction (cond = (:a @ratom1) ;; notice use of "reaction"
2014-12-09 18:03:11 +00:00
0 "World"
2014-12-10 10:48:27 +00:00
1 "Hello")))
2014-12-09 18:03:11 +00:00
(println @ratom2) ;; ==> {:b 1}
(println @ratom3) ;; ==> "Hello"
(reset! ratom1 {:a 0})
(println @ratom2) ;; ==> {:b 0} ;; ratom2 is automatically updated.
(println @ratom3) ;; ==> "World" ;; ratom3 is automatically updated.
;; cleanup
(dispose ratom2)
(dispose ratom3)
```
2014-12-10 15:33:57 +00:00
`reaction` is a macro which turns returns a ratom. It takes the
the forms supplied and turns them into the body of a reactive
function. This function will be rerun each
time one of the ratoms referenced in the forms changes,
and the returned atom will be reset! with the new result.
Over time, ratom2 and ratom3 are auto-updated each
time ratom1 changes. This enables [FRP] (its similar in affect to `lift` in Elm).
2014-12-08 21:46:34 +00:00
### The Components
2014-12-10 10:48:27 +00:00
Extending the diagram a bit, we introduce the beginnings of one way data flow:
2014-12-08 21:46:34 +00:00
```
2014-12-09 18:03:11 +00:00
ratom --> components --> hiccup
2014-12-08 21:46:34 +00:00
```
2014-12-10 15:33:57 +00:00
When using reagent, you write one or more `components`. Think about
2014-12-11 01:48:41 +00:00
`components` as `pure functions` - data in, hiccup out. [`hiccup`] is
2014-12-10 15:33:57 +00:00
ClojureScript data structures which represent DOM.
2014-12-08 21:46:34 +00:00
2014-12-10 15:33:57 +00:00
These components are a bit like the templates you'd find in frameworks
2014-12-09 18:03:11 +00:00
like Django or Rails or Mustache, except for two massive differences:
2014-12-08 21:46:34 +00:00
2014-12-10 10:48:27 +00:00
- you have available the full power of ClojureScript.
2014-12-11 01:48:41 +00:00
The downside tradeoff is that these are not "designer friendly" HTML templates.
2014-12-10 15:33:57 +00:00
- these components are reactive. When their inputs change, they
2014-12-11 01:48:41 +00:00
are automatically rerun, producing new hiccup. reagent adroitly shields you from
the details, but `components` (functions you write) are wrapped by
2014-12-10 15:33:57 +00:00
`reaction` in such a way that they re-run when the ratoms they
dereference change. This is FRP. This is why reagent feels slightly magic.
So `components` are pure, **reactive** functions. Change the inputs
and automatically, new hiccup is produced.
This is not a tutorial on how to write reagent components, but let's
talk briefly about the "data in" bit. Turns out there are two ways
2014-12-11 01:48:41 +00:00
data flows into components:
1. the data is supplied as component parameters, typically from a parent
component. There tends to be a
hierarchy of components and data often flows from parent to child
via function parameters.
2014-12-08 21:46:34 +00:00
2014-12-09 18:03:11 +00:00
2. a component can 'subscribe' to some aspect of the data. As a result, it becomes an
2014-12-10 15:33:57 +00:00
observer of that state, and it gets an stream of data updates as that part
of the ratom changes.
2014-12-08 21:46:34 +00:00
2014-12-10 15:33:57 +00:00
Either way, when the "data in" changes, the component function is rerun,
and it produces new hiccup, which is then stitched into the DOM.
2014-12-08 21:46:34 +00:00
2014-12-11 01:48:41 +00:00
Subscriptions are a significant part of re-frame ... more on them soon.
### ReactJS
So let's complete the data flow from data to DOM:
```
ratom --> components --> Hiccup --> Reagent --> VDOM --> ReactJS --> DOM
```
Best to imagine this process as a pipeline of 3 functions. Each
function takes data from the
previous step, and produces data for the next step. In the next
diagram, the three functions are marked. Unmarked nodes are data,
produced by one step, becoming the input to the next step. hiccup,
VDOM and DOM are all various forms of HTML markup (in our world that's data).
```
ratom --> components --> hiccup --> Reagent --> VDOM --> ReactJS --> DOM
f1 f2 f3
```
The combined three-function pipeline should be seen as a pure
function `P` which takes a ratom as input, and produces DOM.
One way data flow:
```
ratom --> P --> DOM
```
We only need to design and write the `ratom` and `components`, and reagent,
which wraps ReactJS, manages the rest.
2014-12-08 21:46:34 +00:00
2014-12-10 15:33:57 +00:00
### Event Flow
2014-12-11 01:48:41 +00:00
So now we need to consider the flow in the opposite direction.
In response to user interaction, a DOM will generate
2014-12-10 15:33:57 +00:00
events like "the user clicked the delete button on item 42" or
"the user unticked the checkbox for 'send me spam'".
These events have to "handled". The code which does the handling might
2014-12-11 01:48:41 +00:00
mutate the ratom, or kick-off some async I/O, etc.
2014-12-10 15:33:57 +00:00
2014-12-11 01:48:41 +00:00
An app will have many, many such handlers, and collectively
they represent the **control layer of the application**.
2014-12-08 21:46:34 +00:00
2014-12-10 15:33:57 +00:00
2014-12-11 01:48:41 +00:00
The backward data flow happens in one (conveyor belt) hop:
2014-12-08 21:46:34 +00:00
```
2014-12-09 18:03:11 +00:00
ratom --> components --> Hiccup --> Reagent --> VDOM --> ReactJS --> DOM
2014-12-10 15:33:57 +00:00
^ |
| v
handlers <------------ [events] ---------------------------------------
a conveyor belt takes
events from the DOM to
the handlers.
2014-12-08 21:46:34 +00:00
```
2014-12-10 15:33:57 +00:00
Generally, the user manipulates the GUI so as to change the state of the
application. That almost always means the ratom will be changed.
After all the ratom **is** the state. The DOM presented is a function of that state.
The GUI never changes until the ratom changes.
2014-12-11 01:48:41 +00:00
So handlers are the part of the system which does ratom mutation. You
could almost imagine them as a "stored procedure" in a
database. Kinda, almost. Stretching it? We do like our in-memory
database analogies.
2014-12-10 15:33:57 +00:00
### What are events?
Events are data. You choose the format.
Our implementation copies from [Pedestal App] and
packages events as vectors. For example:
[:delete-item 42]
Here, the first item in the vector identifies the event which occurred and
and the rest of the vector are the parameters -- the id of the item to delete
in this case.
Here are some other events:
[:set-spam-wanted false]
[[:complicated :multi :part :key] "a parameter" "another one" 45.6]
### The DOM
We say the DOM "dispatches" events.
Events are then routed to the right handler via a conveyor belt. Remember,
an event is just data. And it is flowing in the opposite direction
to the data which causes the DOm to be rendered in the first place.
and routed to the right handler.
So here's what a
2014-12-08 21:46:34 +00:00
### Events
Once we've displayed a GUi to a user, and they start to interact with it.
2014-12-09 18:03:11 +00:00
[SPAs]:http://en.wikipedia.org/wiki/Single-page_application
2014-12-08 21:46:34 +00:00
[reagent]:http://reagent-project.github.io/
[Dan Holmsand]:https://github.com/holmsand
2014-12-09 18:03:11 +00:00
[Hiccup]:https://github.com/weavejester/hiccup
2014-12-08 21:46:34 +00:00
[FRP]:https://gist.github.com/staltz/868e7e9bc2a7b8c1f754
[Elm]:http://elm-lang.org/
2014-12-09 18:03:11 +00:00
[OM]:https://github.com/swannodette/om
[Prismatic Schema]:https://github.com/Prismatic/schema
2014-12-08 21:46:34 +00:00
[InterViews]:http://www.softwarepreservation.org/projects/c_plus_plus/library/index.html#InterViews
[datascript]:https://github.com/tonsky/datascript
[Hoplon]:http://hoplon.io/
2014-12-10 15:33:57 +00:00
[Pedestal App]:https://github.com/pedestal/pedestal-app