emfrp 0.1.2 → 0.1.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 8c76aeb70edc85f68ce0412805037f3edd13f585
-  data.tar.gz: b2ea35157930fd7911dfaf3a5ece84ac0dfbe6ad
+  metadata.gz: 47841f28c3f4f205e6ffd86414321a77b8f94600
+  data.tar.gz: e6652a888ebe7432b7c4b8b95523cf7c6f350a29
 SHA512:
-  metadata.gz: d43fd34857af5a6a55293fc5b1ccdb699fb468cf1d9b3cbc5b7b39dba9c51a7e077939536c60c621e82b10cff3404780892461cd2f6ed2a08de39b613c0db23f
-  data.tar.gz: b1f3486218100ed207900d54c26797ed5d2c17dcadfdf0cc63b4405b65d46b01e3d0f4482bd42faa241e772fcfdabe790414dd068288d6ffb012d4ce88b8503f
+  metadata.gz: f49280862f5de248a70dcd7b7aaf7ad2912273ece39531961815b4e4e2ac928d63a47a3cd7cde8eac4ab4726a400bb54c1685bd6beb5e96c2f0a55cf5a2f0ed6
+  data.tar.gz: 12c38a3ab709acbdc13e544f716f2c598e2869f3871bfee00ac0d9b6abf854c89c948e67bf8ea69846e2ee33710815743d3315a7bb0185a811f67563211bd625

data/README.md

@@ -1,28 +1,61 @@
 # Emfrp
 
-Pure Functional Programming with your microcomputer.
+Pure Functional Reactive Programming Language for Small-Scale Embedded Systems
 
-# Requirement
+## Installation
 
-* Ruby2.0 or later (and it's Gem client)
+Requirement
+* Ruby 2.0 or later (and it's Gem client)
+* C (or C++) compiler for your favorite target platform
 
-## Installation
-You can get executables via RubyGems.
-```sh
+### via RubyGems
+
+Just type the following command.
+```
 $ gem install emfrp
 ```
+You are all set. Enjoy!
 
-# Command-line-interpreter (REPL)
+### from Source
+
+Install `Bundler` if it is not installed.
 ```sh
-$ emfrpi
+$ gem install bundler
 ```
 
-# Compiler
+Clone this repository and install from the cloned source as follows.
 ```sh
-$ emfrp <src-file>
+$ cd emfrp
+$ rake install
 ```
 
+***NOTE***
+Some environments require that you need to be an administrator to perform `gem install` or `rake install`.
+
 ## Usage
+Command-line-interpreter (REPL)
+```sh
+$ emfrpi
+```
+
+Compiler
+```sh
+$ emfrp [options] <src-file>
+```
+
+Options
+* `--nomain`  
+  does not generate _main_ file
+* `--cpp`  
+  generates `.cpp` instead of `.c`
+
+See the wiki of this repository for details.
+
+## Sample Code
+
+* [emfrp_samples](https://github.com/psg-titech/emfrp_samples)
+
 
-See wiki:
-https://github.com/sawaken/emfrp/wiki
+## History
+Originally developed by [Kensuke Sawada](https://github.com/sawaken)   
+* [Paper](http://www.psg.c.titech.ac.jp/posts/2016-03-15-CROW2016.html)

data/bin/emfrp

@@ -1,8 +1,11 @@
 #!/usr/bin/env ruby
 $LOAD_PATH.unshift File.expand_path('../../lib', __FILE__)
 
+require 'optparse'
 require 'emfrp'
 
+opts = ARGV.getopts("", "cpp", "nomain")
+
 unless ARGV[0]
   puts "usage: emfrp <emfrp-module-file-path>"
   exit(1)
@@ -10,7 +13,7 @@ end
 
 begin
   inter = Emfrp::Interpreter.new(Emfrp::IncludeDirs, STDOUT, ARGV[0])
-  if inter.compile_default()
+  if inter.compile_default(opts["cpp"], !opts["nomain"])
     exit(1)
   end
 rescue Emfrp::Interpreter::InterpreterError

data/examples/LCDClock/LCDClock.mfrp

@@ -1,93 +1,93 @@
-module LCDClock
-in
-  btnMode(False) : Bool,   # Is mode-button pushed now?
-  btnNext(False) : Bool,   # Is next-button pushed now?
-  btnRotate(False) : Bool, # Is rotate-button pushed now?
-  pulse100ms : Bool        # input to be True only once per 100ms
-out
-  hour, min, sec,            # current time to display
-  maskHour, maskMin, maskSec # Is it now needed to display -- instead of two-digits?
-use
-  Std
-
-# Functions
-# --------------------
-
-type Mode = Normal | Edit
-type EditPos = HourPos | MinPos | SecPos
-type Time = Time(Int, Int, Int)
-
-func nextMode(m) = m of Normal -> Edit, Edit -> Normal
-
-func editable(m) = m of Normal -> False, Edit -> True
-
-func nextPos(p) = p of:
-  HourPos -> MinPos
-  MinPos -> SecPos
-  SecPos -> HourPos
-
-func positiveEdge(a, b) = !a && b
-
-# proceed Time by 1sec
-func proceedTime(t) = {
-  Time(h, m, s) = t
-  newS = s + 1
-  newM = m + (newS / 60)
-  newH = h + (newM / 60)
-  Time(newH % 24, newM % 60, newS % 60)
-}
-
-func roundingTime(t, dh, dm, ds) = {
-  Time(h, m, s) = t
-  Time((h + dh) % 24, (m + dm) % 60, (s + ds) % 60)
-}
-
-# Nodes
-# --------------------
-
-# mod-10 counter incremented by every 100ms
-node init[0] counter : Int =
-  (if pulse100ms then counter@last + 1 else counter@last) % 10
-
-# time-varying value to be True only once per 1sec
-node pulse1s : Bool =
-  counter == 0 && counter@last != 0
-
-# time-varying value switching True/False by every 500ms
-node flash : Bool =
-  counter < 5
-
-# time-varying value representing current time-set mode
-node init[Normal] curMode : Mode =
-  if btnMode@last `positiveEdge` btnMode then curMode@last.nextMode else curMode@last
-
-# time-varying value representing current editing-cursor-position
-node init[HourPos] curPos : EditPos =
-  if btnNext@last `positiveEdge` btnNext then curPos@last.nextPos else curPos@last
-
-# time-varying value representing diffs to add to current time.
-node (dh, dm, ds) : (Int, Int, Int) =
-  if curMode.editable && (btnRotate@last `positiveEdge` btnRotate) then
-    curPos of:
-      HourPos -> (1, 0, 0)
-      MinPos -> (0, 1, 0)
-      SecPos -> (0, 0, 1)
-  else
-    (0, 0, 0)
-
-# time-varying value representing current time
-node init[Time(0, 0, 0)] Time(hour, min, sec) as curTime =
-  if pulse1s then
-    curTime@last.proceedTime.roundingTime(dh, dm, ds)
-  else
-    curTime@last.roundingTime(dh, dm, ds)
-
-# time-varying value representing need of masking
-node (maskHour, maskMin, maskSec) =
-  if curMode.editable && flash then
-    curPos of:
-      HourPos -> (True, False, False)
-      MinPos -> (False, True, False)
-      SecPos -> (False, False, True)
-  else
-    (False, False, False)
+module LCDClock
+in
+  btnMode(False) : Bool,   # Is mode-button pushed now?
+  btnNext(False) : Bool,   # Is next-button pushed now?
+  btnRotate(False) : Bool, # Is rotate-button pushed now?
+  pulse100ms : Bool        # input to be True only once per 100ms
+out
+  hour, min, sec,            # current time to display
+  maskHour, maskMin, maskSec # Is it now needed to display -- instead of two-digits?
+use
+  Std
+
+# Functions
+# --------------------
+
+type Mode = Normal | Edit
+type EditPos = HourPos | MinPos | SecPos
+type Time = Time(Int, Int, Int)
+
+func nextMode(m) = m of Normal -> Edit, Edit -> Normal
+
+func editable(m) = m of Normal -> False, Edit -> True
+
+func nextPos(p) = p of:
+  HourPos -> MinPos
+  MinPos -> SecPos
+  SecPos -> HourPos
+
+func positiveEdge(a, b) = !a && b
+
+# proceed Time by 1sec
+func proceedTime(t) = {
+  Time(h, m, s) = t
+  newS = s + 1
+  newM = m + (newS / 60)
+  newH = h + (newM / 60)
+  Time(newH % 24, newM % 60, newS % 60)
+}
+
+func roundingTime(t, dh, dm, ds) = {
+  Time(h, m, s) = t
+  Time((h + dh) % 24, (m + dm) % 60, (s + ds) % 60)
+}
+
+# Nodes
+# --------------------
+
+# mod-10 counter incremented by every 100ms
+node init[0] counter : Int =
+  (if pulse100ms then counter@last + 1 else counter@last) % 10
+
+# time-varying value to be True only once per 1sec
+node pulse1s : Bool =
+  counter == 0 && counter@last != 0
+
+# time-varying value switching True/False by every 500ms
+node flash : Bool =
+  counter < 5
+
+# time-varying value representing current time-set mode
+node init[Normal] curMode : Mode =
+  if btnMode@last `positiveEdge` btnMode then curMode@last.nextMode else curMode@last
+
+# time-varying value representing current editing-cursor-position
+node init[HourPos] curPos : EditPos =
+  if btnNext@last `positiveEdge` btnNext then curPos@last.nextPos else curPos@last
+
+# time-varying value representing diffs to add to current time.
+node (dh, dm, ds) : (Int, Int, Int) =
+  if curMode.editable && (btnRotate@last `positiveEdge` btnRotate) then
+    curPos of:
+      HourPos -> (1, 0, 0)
+      MinPos -> (0, 1, 0)
+      SecPos -> (0, 0, 1)
+  else
+    (0, 0, 0)
+
+# time-varying value representing current time
+node init[Time(0, 0, 0)] Time(hour, min, sec) as curTime =
+  if pulse1s then
+    curTime@last.proceedTime.roundingTime(dh, dm, ds)
+  else
+    curTime@last.roundingTime(dh, dm, ds)
+
+# time-varying value representing need of masking
+node (maskHour, maskMin, maskSec) =
+  if curMode.editable && flash then
+    curPos of:
+      HourPos -> (True, False, False)
+      MinPos -> (False, True, False)
+      SecPos -> (False, False, True)
+  else
+    (False, False, False)

data/examples/LCDClock/README.md

@@ -1,24 +1,24 @@
-# LCD Clock
-
-This is a program of the digital clock.
-
-## Functions
-* Center (push) button (of joystick) toggles on-off of time-set mode.
-* Right button moves cursor of time-set targets (hour, minute and second).
-* Up button raises time-set target's value (+1) if time-set mode is on.
-
-## Target device
-mbed LPC1768 with application board
-
-## IO library
-Following libraries are required.
-* Basic IO library `mbed` (official)
-* LCD's manipulation library `C12832_lcd` (third-party)
-
-Both they are available from official library repository of *mbed.org*.
-
-## Sample
-
-![Sample Image](https://raw.githubusercontent.com/wiki/sawaken/emfrp/images/LCDClock.jpg)
-
-* [Watch on YouTube](https://www.youtube.com/watch?v=Fah2iJAaouo)
+# LCD Clock
+
+This is a program of the digital clock.
+
+## Functions
+* Center (push) button (of joystick) toggles on-off of time-set mode.
+* Right button moves cursor of time-set targets (hour, minute and second).
+* Up button raises time-set target's value (+1) if time-set mode is on.
+
+## Target device
+mbed LPC1768 with application board
+
+## IO library
+Following libraries are required.
+* Basic IO library `mbed` (official)
+* LCD's manipulation library `C12832_lcd` (third-party)
+
+Both they are available from official library repository of *mbed.org*.
+
+## Sample
+
+![Sample Image](https://raw.githubusercontent.com/wiki/sawaken/emfrp/images/LCDClock.jpg)
+
+* [Watch on YouTube](https://www.youtube.com/watch?v=Fah2iJAaouo)

data/examples/LCDPositioner/LCDPositioner.mfrp

@@ -1,30 +1,30 @@
-module LCDPositioner
-in
-  up : Bool,
-  down : Bool,
-  left : Bool,
-  right : Bool,
-  pulse10ms : Bool
-out
-  x, y
-use
-  Std
-
-node dy = down.boolToInt - up.boolToInt
-node dx = right.boolToInt - left.boolToInt
-
-node init[(False, 0)] (pulse40ms, pulse40msCount) as pulse = {
-  c = (pulse40msCount@last + pulse10ms.boolToInt) % 4
-  (c == 0 && pulse10ms, c)
-}
-
-node init[(0,0)] (x, y) as pos =
-  if pulse40ms then (x@last + dx, y@last + dy) else pos@last
-
-
-#@ :assert-module
-#-   True, False, False, False, True => 0, 0
-#@ : True, False, False, False, True => 0, 0
-#@ : True, False, False, False, True => 0, 0
-#@ : True, False, False, False, True => 0, -1
-#@ : True, False, False, False, True => 0, -1
+module LCDPositioner
+in
+  up : Bool,
+  down : Bool,
+  left : Bool,
+  right : Bool,
+  pulse10ms : Bool
+out
+  x, y
+use
+  Std
+
+node dy = down.boolToInt - up.boolToInt
+node dx = right.boolToInt - left.boolToInt
+
+node init[(False, 0)] (pulse40ms, pulse40msCount) as pulse = {
+  c = (pulse40msCount@last + pulse10ms.boolToInt) % 4
+  (c == 0 && pulse10ms, c)
+}
+
+node init[(0,0)] (x, y) as pos =
+  if pulse40ms then (x@last + dx, y@last + dy) else pos@last
+
+
+#@ :assert-module
+#-   True, False, False, False, True => 0, 0
+#@ : True, False, False, False, True => 0, 0
+#@ : True, False, False, False, True => 0, 0
+#@ : True, False, False, False, True => 0, -1
+#@ : True, False, False, False, True => 0, -1

data/examples/LCDPositioner/LCDPositionerMain.c

@@ -1,15 +1,15 @@
-#include "LCDPositioner.h"
-#include <stdio.h>
-#include <stdlib.h>
-
-void Input(int* up, int* down, int* left, int* right, int* pulse10ms) {
-  if (scanf("%d %d %d %d %d", up, down, left, right, pulse10ms) == EOF) {
-    exit(0);
-  }
-}
-void Output(int* x, int* y) {
-  printf("%d %d\n", *x, *y);
-}
-int main() {
-  ActivateLCDPositioner();
-}
+#include "LCDPositioner.h"
+#include <stdio.h>
+#include <stdlib.h>
+
+void Input(int* up, int* down, int* left, int* right, int* pulse10ms) {
+  if (scanf("%d %d %d %d %d", up, down, left, right, pulse10ms) == EOF) {
+    exit(0);
+  }
+}
+void Output(int* x, int* y) {
+  printf("%d %d\n", *x, *y);
+}
+int main() {
+  ActivateLCDPositioner();
+}

data/examples/MostDistantPoint/MostDistantPoint.mfrp

@@ -1,25 +1,25 @@
-module MostDistantPoint
-in
-  inX : Int,  inY : Int
-out
-  outX, outY
-use
-  Std
-
-#@ :assert-equals 2, distant2((1, 1), (2, 2))
-func distant2(pointA, pointB) = {
-  dx = pointA.fst - pointB.fst
-  dy = pointA.snd - pointB.snd
-  dx * dx + dy * dy
-}
-
-node init[(0, 0)] (outX, outY) as point = {
-  d1 = distant2((0, 0), point@last)
-  d2 = distant2((0, 0), (inX, inY))
-  if d1 < d2 then (inX, inY) else point@last
-}
-
-#@ :assert-module
-#-   0, 0 => 0, 0
-#@ : 1, 1 => 1, 1
-#@ : 0, 0 => 1, 1
+module MostDistantPoint
+in
+  inX : Int,  inY : Int
+out
+  outX, outY
+use
+  Std
+
+#@ :assert-equals 2, distant2((1, 1), (2, 2))
+func distant2(pointA, pointB) = {
+  dx = pointA.fst - pointB.fst
+  dy = pointA.snd - pointB.snd
+  dx * dx + dy * dy
+}
+
+node init[(0, 0)] (outX, outY) as point = {
+  d1 = distant2((0, 0), point@last)
+  d2 = distant2((0, 0), (inX, inY))
+  if d1 < d2 then (inX, inY) else point@last
+}
+
+#@ :assert-module
+#-   0, 0 => 0, 0
+#@ : 1, 1 => 1, 1
+#@ : 0, 0 => 1, 1

data/examples/MostDistantPoint/MostDistantPointMain.c

@@ -1,14 +1,14 @@
-#include "MostDistantPoint.h"
-#include <stdio.h>
-
-void Input(int* inX, int* inY) {
-  scanf("%d %d", inX, inY);
-}
-
-void Output(int* outX, int* outY) {
-  printf("%d %d\n", *outX, *outY);
-}
-
-int main() {
-  ActivateMostDistantPoint();
-}
+#include "MostDistantPoint.h"
+#include <stdio.h>
+
+void Input(int* inX, int* inY) {
+  scanf("%d %d", inX, inY);
+}
+
+void Output(int* outX, int* outY) {
+  printf("%d %d\n", *outX, *outY);
+}
+
+int main() {
+  ActivateMostDistantPoint();
+}