├── .DS_Store ├── .gitignore ├── LICENSE ├── README.md ├── doc └── intro.md ├── mario.html ├── project.clj ├── src ├── cljs │ └── elm │ │ └── examples │ │ └── mario.cljs └── cljx │ └── elm │ ├── core.cljx │ └── example.clj └── test └── elm └── core_test.clj /.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ericnormand/elm-frp/b783c279db8e924b09c3f4113320155ebcb59c5e/.DS_Store -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /classes 3 | /checkouts 4 | pom.xml 5 | pom.xml.asc 6 | *.jar 7 | *.class 8 | /.lein-* 9 | /.nrepl-port 10 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS ECLIPSE PUBLIC 2 | LICENSE ("AGREEMENT"). ANY USE, REPRODUCTION OR DISTRIBUTION OF THE PROGRAM 3 | CONSTITUTES RECIPIENT'S ACCEPTANCE OF THIS AGREEMENT. 4 | 5 | 1. DEFINITIONS 6 | 7 | "Contribution" means: 8 | 9 | a) in the case of the initial Contributor, the initial code and 10 | documentation distributed under this Agreement, and 11 | 12 | b) in the case of each subsequent Contributor: 13 | 14 | i) changes to the Program, and 15 | 16 | ii) additions to the Program; 17 | 18 | where such changes and/or additions to the Program originate from and are 19 | distributed by that particular Contributor. A Contribution 'originates' from 20 | a Contributor if it was added to the Program by such Contributor itself or 21 | anyone acting on such Contributor's behalf. Contributions do not include 22 | additions to the Program which: (i) are separate modules of software 23 | distributed in conjunction with the Program under their own license 24 | agreement, and (ii) are not derivative works of the Program. 25 | 26 | "Contributor" means any person or entity that distributes the Program. 27 | 28 | "Licensed Patents" mean patent claims licensable by a Contributor which are 29 | necessarily infringed by the use or sale of its Contribution alone or when 30 | combined with the Program. 31 | 32 | "Program" means the Contributions distributed in accordance with this 33 | Agreement. 34 | 35 | "Recipient" means anyone who receives the Program under this Agreement, 36 | including all Contributors. 37 | 38 | 2. GRANT OF RIGHTS 39 | 40 | a) Subject to the terms of this Agreement, each Contributor hereby grants 41 | Recipient a non-exclusive, worldwide, royalty-free copyright license to 42 | reproduce, prepare derivative works of, publicly display, publicly perform, 43 | distribute and sublicense the Contribution of such Contributor, if any, and 44 | such derivative works, in source code and object code form. 45 | 46 | b) Subject to the terms of this Agreement, each Contributor hereby grants 47 | Recipient a non-exclusive, worldwide, royalty-free patent license under 48 | Licensed Patents to make, use, sell, offer to sell, import and otherwise 49 | transfer the Contribution of such Contributor, if any, in source code and 50 | object code form. This patent license shall apply to the combination of the 51 | Contribution and the Program if, at the time the Contribution is added by the 52 | Contributor, such addition of the Contribution causes such combination to be 53 | covered by the Licensed Patents. The patent license shall not apply to any 54 | other combinations which include the Contribution. No hardware per se is 55 | licensed hereunder. 56 | 57 | c) Recipient understands that although each Contributor grants the licenses 58 | to its Contributions set forth herein, no assurances are provided by any 59 | Contributor that the Program does not infringe the patent or other 60 | intellectual property rights of any other entity. Each Contributor disclaims 61 | any liability to Recipient for claims brought by any other entity based on 62 | infringement of intellectual property rights or otherwise. As a condition to 63 | exercising the rights and licenses granted hereunder, each Recipient hereby 64 | assumes sole responsibility to secure any other intellectual property rights 65 | needed, if any. For example, if a third party patent license is required to 66 | allow Recipient to distribute the Program, it is Recipient's responsibility 67 | to acquire that license before distributing the Program. 68 | 69 | d) Each Contributor represents that to its knowledge it has sufficient 70 | copyright rights in its Contribution, if any, to grant the copyright license 71 | set forth in this Agreement. 72 | 73 | 3. REQUIREMENTS 74 | 75 | A Contributor may choose to distribute the Program in object code form under 76 | its own license agreement, provided that: 77 | 78 | a) it complies with the terms and conditions of this Agreement; and 79 | 80 | b) its license agreement: 81 | 82 | i) effectively disclaims on behalf of all Contributors all warranties and 83 | conditions, express and implied, including warranties or conditions of title 84 | and non-infringement, and implied warranties or conditions of merchantability 85 | and fitness for a particular purpose; 86 | 87 | ii) effectively excludes on behalf of all Contributors all liability for 88 | damages, including direct, indirect, special, incidental and consequential 89 | damages, such as lost profits; 90 | 91 | iii) states that any provisions which differ from this Agreement are offered 92 | by that Contributor alone and not by any other party; and 93 | 94 | iv) states that source code for the Program is available from such 95 | Contributor, and informs licensees how to obtain it in a reasonable manner on 96 | or through a medium customarily used for software exchange. 97 | 98 | When the Program is made available in source code form: 99 | 100 | a) it must be made available under this Agreement; and 101 | 102 | b) a copy of this Agreement must be included with each copy of the Program. 103 | 104 | Contributors may not remove or alter any copyright notices contained within 105 | the Program. 106 | 107 | Each Contributor must identify itself as the originator of its Contribution, 108 | if any, in a manner that reasonably allows subsequent Recipients to identify 109 | the originator of the Contribution. 110 | 111 | 4. COMMERCIAL DISTRIBUTION 112 | 113 | Commercial distributors of software may accept certain responsibilities with 114 | respect to end users, business partners and the like. While this license is 115 | intended to facilitate the commercial use of the Program, the Contributor who 116 | includes the Program in a commercial product offering should do so in a 117 | manner which does not create potential liability for other Contributors. 118 | Therefore, if a Contributor includes the Program in a commercial product 119 | offering, such Contributor ("Commercial Contributor") hereby agrees to defend 120 | and indemnify every other Contributor ("Indemnified Contributor") against any 121 | losses, damages and costs (collectively "Losses") arising from claims, 122 | lawsuits and other legal actions brought by a third party against the 123 | Indemnified Contributor to the extent caused by the acts or omissions of such 124 | Commercial Contributor in connection with its distribution of the Program in 125 | a commercial product offering. The obligations in this section do not apply 126 | to any claims or Losses relating to any actual or alleged intellectual 127 | property infringement. In order to qualify, an Indemnified Contributor must: 128 | a) promptly notify the Commercial Contributor in writing of such claim, and 129 | b) allow the Commercial Contributor tocontrol, and cooperate with the 130 | Commercial Contributor in, the defense and any related settlement 131 | negotiations. The Indemnified Contributor may participate in any such claim 132 | at its own expense. 133 | 134 | For example, a Contributor might include the Program in a commercial product 135 | offering, Product X. That Contributor is then a Commercial Contributor. If 136 | that Commercial Contributor then makes performance claims, or offers 137 | warranties related to Product X, those performance claims and warranties are 138 | such Commercial Contributor's responsibility alone. Under this section, the 139 | Commercial Contributor would have to defend claims against the other 140 | Contributors related to those performance claims and warranties, and if a 141 | court requires any other Contributor to pay any damages as a result, the 142 | Commercial Contributor must pay those damages. 143 | 144 | 5. NO WARRANTY 145 | 146 | EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM IS PROVIDED ON 147 | AN "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, EITHER 148 | EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION, ANY WARRANTIES OR 149 | CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY OR FITNESS FOR A 150 | PARTICULAR PURPOSE. Each Recipient is solely responsible for determining the 151 | appropriateness of using and distributing the Program and assumes all risks 152 | associated with its exercise of rights under this Agreement , including but 153 | not limited to the risks and costs of program errors, compliance with 154 | applicable laws, damage to or loss of data, programs or equipment, and 155 | unavailability or interruption of operations. 156 | 157 | 6. DISCLAIMER OF LIABILITY 158 | 159 | EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT NOR ANY 160 | CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT, INDIRECT, INCIDENTAL, 161 | SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING WITHOUT LIMITATION 162 | LOST PROFITS), HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 163 | CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 164 | ARISING IN ANY WAY OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE 165 | EXERCISE OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY 166 | OF SUCH DAMAGES. 167 | 168 | 7. GENERAL 169 | 170 | If any provision of this Agreement is invalid or unenforceable under 171 | applicable law, it shall not affect the validity or enforceability of the 172 | remainder of the terms of this Agreement, and without further action by the 173 | parties hereto, such provision shall be reformed to the minimum extent 174 | necessary to make such provision valid and enforceable. 175 | 176 | If Recipient institutes patent litigation against any entity (including a 177 | cross-claim or counterclaim in a lawsuit) alleging that the Program itself 178 | (excluding combinations of the Program with other software or hardware) 179 | infringes such Recipient's patent(s), then such Recipient's rights granted 180 | under Section 2(b) shall terminate as of the date such litigation is filed. 181 | 182 | All Recipient's rights under this Agreement shall terminate if it fails to 183 | comply with any of the material terms or conditions of this Agreement and 184 | does not cure such failure in a reasonable period of time after becoming 185 | aware of such noncompliance. If all Recipient's rights under this Agreement 186 | terminate, Recipient agrees to cease use and distribution of the Program as 187 | soon as reasonably practicable. However, Recipient's obligations under this 188 | Agreement and any licenses granted by Recipient relating to the Program shall 189 | continue and survive. 190 | 191 | Everyone is permitted to copy and distribute copies of this Agreement, but in 192 | order to avoid inconsistency the Agreement is copyrighted and may only be 193 | modified in the following manner. The Agreement Steward reserves the right to 194 | publish new versions (including revisions) of this Agreement from time to 195 | time. No one other than the Agreement Steward has the right to modify this 196 | Agreement. The Eclipse Foundation is the initial Agreement Steward. The 197 | Eclipse Foundation may assign the responsibility to serve as the Agreement 198 | Steward to a suitable separate entity. Each new version of the Agreement will 199 | be given a distinguishing version number. The Program (including 200 | Contributions) may always be distributed subject to the version of the 201 | Agreement under which it was received. In addition, after a new version of 202 | the Agreement is published, Contributor may elect to distribute the Program 203 | (including its Contributions) under the new version. Except as expressly 204 | stated in Sections 2(a) and 2(b) above, Recipient receives no rights or 205 | licenses to the intellectual property of any Contributor under this 206 | Agreement, whether expressly, by implication, estoppel or otherwise. All 207 | rights in the Program not expressly granted under this Agreement are 208 | reserved. 209 | 210 | This Agreement is governed by the laws of the State of Washington and the 211 | intellectual property laws of the United States of America. No party to this 212 | Agreement will bring a legal action under this Agreement more than one year 213 | after the cause of action arose. Each party waives its rights to a jury trial 214 | in any resulting litigation. 215 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # Elm FRP in Clojure and ClojureScript 2 | 3 | You must be mad! Elm in Clojure? 4 | 5 | They said it could not be done. But behold, it is done, and it is 6 | awesome. Doubters and skeptics, the time of reckoning has begun! 7 | 8 | Do you want to put "FUNCTIONAL" back in your Functional Reactive 9 | Programming? Tired of "Reactive Extensions"? Well, look no further! 10 | 11 | Elm is awesome, Elm is cool, and it's totally functional. 12 | 13 | ## Usage 14 | 15 | Very ALPHA at the moment. Use for experimentation, fun, learning, joy, 16 | edification, and wonder/amazement only. 17 | 18 | Just look at the examples! 19 | 20 | /src/examples/mario.cljs 21 | 22 | Run `lein cljsbuild once mario`, then open `mario.html` in a browser. 23 | 24 | To really learn this, look at [the thesis][thesis] written by Evan 25 | Czaplicki himself. 26 | 27 | [thesis]: https://www.seas.harvard.edu/sites/default/files/files/archived/Czaplicki.pdf 28 | 29 | ## License 30 | 31 | Copyright © 2014 Eric Normand 32 | 33 | Distributed under the Eclipse Public License either version 1.0 or (at 34 | your option) any later version. 35 | -------------------------------------------------------------------------------- /doc/intro.md: -------------------------------------------------------------------------------- 1 | # Introduction to elm 2 | 3 | TODO: write [great documentation](http://jacobian.org/writing/great-documentation/what-to-write/) 4 | -------------------------------------------------------------------------------- /mario.html: -------------------------------------------------------------------------------- 1 | 2 | 3 |
4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /project.clj: -------------------------------------------------------------------------------- 1 | (defproject elm "0.1.0-SNAPSHOT" 2 | :description "FIXME: write description" 3 | :url "http://example.com/FIXME" 4 | :license {:name "Eclipse Public License" 5 | :url "http://www.eclipse.org/legal/epl-v10.html"} 6 | :dependencies [[org.clojure/clojure "1.6.0"] 7 | [org.clojure/core.async "0.1.303.0-886421-alpha"] 8 | [org.clojure/clojurescript "0.0-2277"] 9 | [om "0.7.0"]] 10 | :plugins [[com.keminglabs/cljx "0.4.0"] 11 | [lein-cljsbuild "1.0.3"]] 12 | 13 | :cljx {:builds [{:source-paths ["src/cljx"] 14 | :output-path "target/generated/src/clj" 15 | :rules :clj} 16 | 17 | {:source-paths ["src/cljx"] 18 | :output-path "target/generated/src/cljs" 19 | :rules :cljs}]} 20 | 21 | :hooks [cljx.hooks] 22 | 23 | :source-paths ["target/generated/src/clj" "src/clj"] 24 | :jar-exclusions [#"\.cljx|\.swp|\.swo|\.DS_Store"] 25 | :cljsbuild {:builds 26 | {:mario {:source-paths ["src/clj" "target/generated/src/cljs" "src/cljs"] 27 | :compiler {:preamble ["react/react.min.js"] 28 | :externs ["react/externs/react.js"] 29 | :output-to "target/mario.js" 30 | :optimizations :advanced 31 | :pretty-print false}}}}) 32 | -------------------------------------------------------------------------------- /src/cljs/elm/examples/mario.cljs: -------------------------------------------------------------------------------- 1 | (ns elm.examples.mario 2 | (:require-macros 3 | [cljs.core.async.macros :refer [go]]) 4 | (:require 5 | [elm.core :as elm] 6 | [om.core :as om :include-macros true] 7 | [om.dom :as dom :include-macros true] 8 | [cljs.core.async :refer [put! chan !] :as async])) 9 | 10 | (defonce events (elm/event-stream)) 11 | 12 | (defonce current-frame (atom {:focus false 13 | :mario {:x 200 14 | :y 400 15 | :vx 0 16 | :vy 0 17 | :dir "right"}})) 18 | 19 | (defn render-scene [app owner] 20 | (reify 21 | om/IRender 22 | (render [this] 23 | (dom/div 24 | #js {:style #js {:position "relative" 25 | :backgroundColor "#aeeeee" 26 | :width "100%" 27 | :height "100%" 28 | :overflow "hidden"}} 29 | (dom/div 30 | #js {:style #js {:position "absolute" 31 | :backgroundColor "green" 32 | :height "50px" 33 | :width "100%" 34 | :bottom "0" 35 | :left "0" 36 | :right "0"}}) 37 | (when-let [mario (:mario app)] 38 | (let [verb (cond 39 | (not (zero? (:y mario))) 40 | "jump" 41 | (not (zero? (:vx mario))) 42 | "walk" 43 | :else 44 | "stand") 45 | image (str "http://www.lispcast.com/img/mario/" 46 | verb 47 | "-" 48 | (:dir mario) 49 | ".gif")] 50 | (dom/img 51 | #js {:src image 52 | :style #js {:position "absolute" 53 | :bottom (str (+ 45 (:y mario)) "px") 54 | :left (str (:x mario) "px") 55 | :width "35px" 56 | :height "35px"}}))) 57 | (when-not (:focus app) 58 | (dom/div 59 | #js {:style #js {:position "absolute" 60 | :text-align "center" 61 | :font-family "sans-serif" 62 | :font-size "100px" 63 | :color "blue" 64 | :line-height "100px" 65 | :width "400px" 66 | :height "100px" 67 | :top "0" 68 | :left "0" 69 | :right "0" 70 | :bottom "0" 71 | :margin "auto"}} 72 | "CLICK")))))) 73 | 74 | ;; Our input nodes 75 | (defonce focusi (elm/input events :focus false)) 76 | (defonce jumpi (elm/input events :jump 0)) 77 | (defonce movementi (elm/input events :movement 0)) 78 | (defonce timei (elm/pulse events :time 0)) 79 | (defonce dimensionsi (elm/input events :dimensions {:h 1 :w 1})) 80 | 81 | (defn jump 82 | "Set y velocity to +5 if mario is touching ground and jump is pressed." 83 | [mario j] 84 | (if (and (pos? j) (zero? (:y mario))) 85 | (assoc mario :vy 5) 86 | mario)) 87 | 88 | (defn gravity 89 | "Accelerate down if mario is in the air" 90 | [mario dt] 91 | (if (pos? (:y mario)) 92 | (update-in mario [:vy] - (/ dt 4)) 93 | mario)) 94 | 95 | (defn physics 96 | "Move based on velocity. Also, don't let y go negative." 97 | [mario dt] 98 | (-> mario 99 | (update-in [:x] + (* dt (:vx mario))) 100 | (update-in [:y] + (* dt (:vy mario))) 101 | (update-in [:y] max 0))) 102 | 103 | (defn walk 104 | "Set x velocity based on direction. Also set facing direction." 105 | [mario dir] 106 | (assoc mario 107 | :vx dir 108 | :dir (cond 109 | (neg? dir) 110 | "left" 111 | (pos? dir) 112 | "right" 113 | :else 114 | (:dir mario)))) 115 | 116 | (defn toroid [mario {w :w}] 117 | (cond 118 | (< (:x mario) -35) 119 | (assoc mario :x w) 120 | (> (:x mario) w) 121 | (assoc mario :x -35) 122 | :else 123 | mario)) 124 | 125 | (defn step [world f dim t j dir] 126 | (if f 127 | (-> world 128 | (assoc :focus true) 129 | (update-in [:mario] jump j) 130 | (update-in [:mario] gravity t) 131 | (update-in [:mario] walk dir) 132 | (update-in [:mario] physics t) 133 | (update-in [:mario] toroid dim)) 134 | (assoc world :focus false))) 135 | 136 | (defn step* [& args] 137 | (apply step args)) 138 | 139 | (defonce main 140 | (elm/foldp step @current-frame focusi dimensionsi timei jumpi movementi)) 141 | 142 | (defn now [] (.getTime (js/Date.))) 143 | 144 | (let [t1 (atom (now))] 145 | (js/setInterval 146 | #(let [t2 (now)] 147 | (put! events [:time (/ (- t2 @t1) 20)]) 148 | (reset! t1 t2)) 149 | 16.667)) 150 | 151 | (let [[m main] (elm/port main)] 152 | (go 153 | (while true 154 | (reset! current-frame (:value (! ! out (chan 100)] 68 | (go-loop [current (no-change default)] 69 | (let [[i msg] (! >out (change msg)) 73 | (recur (no-change msg))) 74 | (do 75 | (>! >out current) 76 | (recur current))))) 77 | [default (async/mult >out)])) 78 | 79 | (defn pulse 80 | "Create an input node. It returns to default after the signal is 81 | emitted." 82 | [events id default] 83 | (let [out (chan 100)] 85 | (go-loop [current (no-change default)] 86 | (let [[i msg] (! >out (change msg)) 90 | (recur current)) 91 | (do 92 | (>! >out current) 93 | (recur current))))) 94 | [default (async/mult >out)])) 95 | 96 | (defn value 97 | "Create a constant value node, which is an input node that always 98 | returns the default value." 99 | [events value] 100 | (let [out (chan 100) 102 | current (no-change value)] 103 | (go-loop [] 104 | (! >out current) 106 | (recur)) 107 | [value (async/mult >out)])) 108 | 109 | (defn lift 110 | "Create a lift node, which calls and maps a function on the values of signals. 111 | 112 | f: the function 113 | & signals: the signals of arguments to pass to f (in 114 | order) 115 | 116 | returns: a signal" 117 | [f & signals] 118 | (assert (seq signals)) 119 | (let [signals* (map port signals) 120 | values (map first signals*) 121 | channels (map second signals*) 122 | out (chan 100) 124 | default (apply f values)] 125 | (go-loop [current (no-change default)] 126 | (let [msgs (! >out (change v)) 130 | (recur (no-change v))) 131 | (do 132 | (>! >out current) 133 | (recur current))))) 134 | [default (async/mult >out)])) 135 | 136 | (defn foldp 137 | "Create a fold node, which folds f over a default value and 138 | signals. 139 | 140 | f: fold function 141 | default: default value 142 | signals: input signals 143 | 144 | returns: a signal" 145 | [f default & signals] 146 | (assert (seq signals)) 147 | (let [signals* (map port signals) 148 | channels (map second signals*) 149 | out (chan 100)] 151 | (go-loop [current (no-change default)] 152 | (let [msgs (! >out (change v)) 156 | (recur (no-change v))) 157 | (do 158 | (>! >out current) 159 | (recur current))))) 160 | [default (async/mult >out)])) 161 | 162 | (defn async 163 | "Creates an async node from a signal. These are used mainly to decouple two subgraphs in time. 164 | 165 | in: events input events: signal: signal 166 | 167 | returns: a new signal" 168 | [events signal] 169 | (let [[default ! events [id (:value mi)]))) 175 | (recur)) 176 | (input events id default))) 177 | -------------------------------------------------------------------------------- /src/cljx/elm/example.clj: -------------------------------------------------------------------------------- 1 | (ns elm.example 2 | (:require 3 | [elm.core :refer :all] 4 | [clojure.core.async :as async 5 | :refer [>! ! events [:tick :tick]) 42 | (! events [:tick :tock])) 44 | (>! events [:tick :death]) 45 | (! events [:poop (long (rand 100))])))) 52 | 53 | (defn kill [] (reset! alive? false)) 54 | -------------------------------------------------------------------------------- /test/elm/core_test.clj: -------------------------------------------------------------------------------- 1 | (ns elm.core-test 2 | (:require [clojure.test :refer :all] 3 | [elm.core :refer :all] 4 | [clojure.core.async :as async 5 | :refer [>! !!