add raw mode to repl

igorw · igorw · commit f53c920bcfc2 · 2013-12-14T23:28:51.000+01:00
diff --git a/README.md b/README.md
@@ -89,6 +89,23 @@ You can switch to *bool-mode* by sending the `b` command:
     b> λx.λy.x
     true
 
+Or `r` for raw mode:
+
+    $ php repl.php
+    i> r
+    r> λx.x
+    array(4) {
+      [0]=>
+      string(2) "λ"
+      [1]=>
+      string(1) "x"
+      [2]=>
+      string(1) "x"
+      [3]=>
+      array(0) {
+      }
+    }
+
 ## Further reading
 
 * [Lambda Calculus - Wikipedia](http://en.wikipedia.org/wiki/Lambda_calculus)
diff --git a/repl.php b/repl.php
@@ -6,13 +6,27 @@
 
 require 'vendor/autoload.php';
 
-function prompt($mode) {
+function prompt($mode)
+{
     echo "$mode> ";
 
     return true;
 }
 
-function format($result) {
+function format_raw($result)
+{
+    ob_start();
+    var_dump($result);
+    return trim(ob_get_clean());
+}
+
+function identity($x)
+{
+    return $x;
+}
+
+function format($result)
+{
     if (is_bool($result)) {
         return json_encode($result);
     }
@@ -25,19 +39,21 @@ function format($result) {
 while (prompt($mode) && false !== ($line = fgets(STDIN))) {
     $exp = trim($line);
 
-    if (in_array($exp, ['i', 'b'], true)) {
-        $mode = $exp;
-        continue;
-    }
-
     $factories = [
         'i' => 'igorw\lambda\to_int',
         'b' => 'igorw\lambda\to_bool',
+        'r' => 'igorw\lambda\identity',
     ];
 
+    if (in_array($exp, array_keys($factories), true)) {
+        $mode = $exp;
+        continue;
+    }
+
     try {
         $factory = $factories[$mode];
-        echo format(evaluate($factory(parse($exp))))."\n";
+        $format = __NAMESPACE__.'\\'.('r' === $mode ? 'format_raw' : 'format');
+        echo $format(evaluate($factory(parse($exp))))."\n";
     } catch (\Exception $e) {
         echo $e->getMessage()."\n";
     }
