rubic 0.1.0 → 0.1.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: fa663739b7fa978469e0da9249943c65d9ffa786
-  data.tar.gz: c6f7a585aaefff3c18608022c100a2433e69f9e7
+  metadata.gz: f2bade99b079979ddaf7b42551451939fef2ada1
+  data.tar.gz: d9a0095e5552d69ca3a9dfade6de63c50f268642
 SHA512:
-  metadata.gz: 77ee9b97ca0f112b8e6157791373cde32f6d7c1940aafe558269ee26e8ffd33b80e491259c1591b69ffb84248670cae5c490438bef0ccea1ec551f74bd99cd7b
-  data.tar.gz: 610b6efcb0e4b59214fb88b54a7c49850902a1942085fbea7e8b2945e109d06faa4efe316829615be4bb5f164a0c1e9c5157308f815f7cb1dda8ff601bb37265
+  metadata.gz: 36af5fb982d96dc3b615587cddf10509071e3a339468a00dd05a325069bd04bfb46189f4a644f52bce1722d0271144998c760c9255e6db8d609bc9a40f139191
+  data.tar.gz: 77c4ab92c10839778e319241a8b7921a3ba1d1fc4dd8554ddd8ed3dbe8c1351e1ebe3ab80b38062ddda7258ffa107b47da1398e373896b67be718387cd83f029

data/bin/rubic

@@ -0,0 +1,20 @@
+#!/usr/bin/env ruby
+
+require 'rubic'
+require 'readline'
+
+# TODO: read the code from file when argument passed
+
+puts "Welcome to interactive Rubic (v#{Rubic::VERSION})"
+puts 'Hit ^D to exit'
+
+rubic = Rubic::Interpreter.new
+
+while input = Readline.readline(">> ", true)
+  next if input.empty?
+  begin
+    puts '=> ' + rubic.evaluate(input).inspect
+  rescue Rubic::RubicError => e
+    puts "#{e.class}: #{e.message}"
+  end
+end

data/lib/rubic.rb

@@ -1,4 +1,8 @@
 module Rubic
+  class RubicError < StandardError; end
+  class ArgumentError < RubicError; end
+  class NameError < RubicError; end
+  class ParseError < RubicError; end
 end
 
 require 'rubic/version'

data/lib/rubic/environment.rb

@@ -1,6 +1,4 @@
 module Rubic
-  class RubicRuntimeError < StandardError; end
-
   class Environment
     def initialize(outer=nil)
       @outer = outer
@@ -17,13 +15,13 @@ module Rubic
       elsif @outer
         @outer.refvar(name)
       else
-        raise RubicRuntimeError, "undefined variable `#{name}'"
+        raise Rubic::NameError, "undefined variable `#{name}'"
       end
     end
 
     def bind(params, args)
       if params.size != args.size
-        raise RubicRuntimeError, "wrong number of arguments (#{args.size} for #{params.size})"
+        raise Rubic::ArgumentError, "wrong number of arguments (#{args.size} for #{params.size})"
       end
 
       params.each.with_index do |name, i|

data/lib/rubic/interpreter.rb

@@ -51,7 +51,7 @@ module Rubic
         env[name] = -> (*args) do
           local = Environment.new(env)
           local.bind(params, args)
-          body.map {|expr| execute(expr, local) }.last
+          execute_sequence(body, local)
         end
         return
       when :cond
@@ -77,13 +77,30 @@ module Rubic
           return true if execute(expr, env)
         end
         return false
+      when :lambda
+        _, (*params), *body = list
+        return -> (*args) do
+          local = Environment.new(env)
+          local.bind(params, args)
+          execute_sequence(body, local)
+        end
+      when :let
+        _, (*defs), *body = list
+        local = Environment.new(env)
+        defs.each {|name, expr| local[name] = execute(expr, env) }
+        return execute_sequence(body, local)
       else
         # fallthrough
       end
 
-      # Anything else
+      # Procedure call
       op, *args = list.map {|e| execute(e, env) }
       op.call(*args)
     end
+
+    def execute_sequence(seq, env)
+      # execute expressions sequentially and returns the last result
+      seq.reduce(nil) {|res, expr| res = execute(expr, env) }
+    end
   end
 end

data/lib/rubic/parser.rb

@@ -9,11 +9,10 @@ require 'racc/parser.rb'
 require 'strscan'
 
 module Rubic
-  class UnknownCharacterError < StandardError; end
 
 class Parser < Racc::Parser
 
-module_eval(<<'...end parser.y/module_eval...', 'parser.y', 92)
+module_eval(<<'...end parser.y/module_eval...', 'parser.y', 113)
 EOT = [false, nil] # end of token
 SYM_CHARS = Regexp.escape("+-*/<>=?")
 
@@ -45,98 +44,128 @@ def next_token
       [:KW_AND, nil]
     when 'or'
       [:KW_OR, nil]
+    when 'lambda'
+      [:KW_LAMBDA, nil]
+    when 'let'
+      [:KW_LET, nil]
     else
       [:IDENT, @s[0]]
     end
   else
-    raise UnknownCharacterError, "unknown character #{@s.getch}"
+    raise Rubic::ParseError, "unknown character #{@s.getch}"
   end
 end
 
+def on_error(t, val, vstack)
+  raise Rubic::ParseError, "parse error near #{token_to_str(t)}"
+end
+
 ...end parser.y/module_eval...
 ##### State transition tables begin ###
 
 racc_action_table = [
-     2,    10,    25,    11,     3,     4,    13,    14,     2,    15,
-     2,    16,     3,     4,     3,     4,    36,     2,    25,     2,
-    33,     3,     4,     3,     4,     2,    43,     2,    44,     3,
-     4,     3,     4,     2,    38,     2,    45,     3,     4,     3,
-     4,     2,    46,    47,    22,     3,     4,     2,    21,    27,
-     9,     3,     4,     2,    32,    29,   nil,     3,     4,     2,
-   nil,    30,     2,     3,     4,     2,     3,     4,     2,     3,
-     4,   nil,     3,     4,     2,   nil,    49,   nil,     3,     4 ]
+     2,    12,    38,    13,     3,     4,    15,    16,     2,    17,
+    18,    19,     3,     4,     2,    57,    42,     2,     3,     4,
+     2,     3,     4,     2,     3,     4,     2,     3,     4,    26,
+     3,     4,     2,    25,    64,    58,     3,     4,     2,    56,
+    63,     2,     3,     4,     2,     3,     4,     2,     3,     4,
+    32,     3,     4,     2,    52,    33,    51,     3,     4,     2,
+    29,    35,    39,     3,     4,     2,    61,    36,     2,     3,
+     4,     2,     3,     4,     2,     3,     4,    31,     3,     4,
+     2,    29,    66,     2,     3,     4,     2,     3,     4,     2,
+     3,     4,    46,     3,     4,    54,    55,    53,    51,    20,
+    11,    67 ]
 
 racc_action_check = [
-     2,     2,    14,     2,     2,     2,     2,     2,    25,     2,
-    35,     9,    25,    25,    35,    35,    25,    37,    23,    10,
-    23,    37,    37,    10,    10,    11,    39,    12,    39,    11,
-    11,    12,    12,    36,    31,     0,    40,    36,    36,     0,
-     0,    15,    41,    42,    13,    15,    15,    17,    13,    17,
-     1,    17,    17,    19,    22,    19,   nil,    19,    19,    20,
-   nil,    20,    21,    20,    20,    43,    21,    21,    26,    43,
-    43,   nil,    26,    26,    48,   nil,    48,   nil,    48,    48 ]
+     2,     2,    26,     2,     2,     2,     2,     2,    29,     2,
+     2,     2,    29,    29,    55,    49,    29,    61,    55,    55,
+    12,    61,    61,    13,    12,    12,    14,    13,    13,    15,
+    14,    14,    60,    15,    60,    50,    60,    60,    59,    48,
+    59,    17,    59,    59,     0,    17,    17,    53,     0,     0,
+    19,    53,    53,    21,    44,    21,    44,    21,    21,    23,
+    27,    23,    27,    23,    23,    24,    54,    24,    25,    24,
+    24,    52,    25,    25,    43,    52,    52,    18,    43,    43,
+    62,    16,    62,    41,    62,    62,    42,    41,    41,    30,
+    42,    42,    37,    30,    30,    45,    47,    45,    47,    11,
+     1,    65 ]
 
 racc_action_pointer = [
-    33,    50,    -2,   nil,   nil,   nil,   nil,   nil,   nil,    11,
-    17,    23,    25,    42,     0,    39,   nil,    45,   nil,    51,
-    57,    60,    48,    16,   nil,     6,    66,   nil,   nil,   nil,
-   nil,    30,   nil,   nil,   nil,     8,    31,    15,   nil,    22,
-    32,    38,    39,    63,   nil,   nil,   nil,   nil,    72,   nil ]
+    42,   100,    -2,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,    99,    18,    21,    24,    27,    79,    39,    75,    48,
+   nil,    51,   nil,    57,    63,    66,    -4,    58,   nil,     6,
+    87,   nil,   nil,   nil,   nil,   nil,   nil,    88,   nil,   nil,
+   nil,    81,    84,    72,    50,    93,   nil,    92,    35,    11,
+    31,   nil,    69,    45,    60,    12,   nil,   nil,   nil,    36,
+    30,    15,    78,   nil,   nil,    97,   nil,   nil ]
 
 racc_action_default = [
-   -22,   -22,   -22,    -4,    -5,    -6,    -7,    -8,    -9,   -22,
-   -22,   -22,   -22,   -22,   -22,   -22,    50,   -22,   -10,   -22,
-   -22,   -22,   -22,   -22,   -17,   -22,   -22,    -1,   -11,    -2,
-    -3,   -22,   -14,   -16,   -18,   -22,   -22,   -22,   -12,   -22,
-   -22,   -22,   -22,   -22,   -15,   -19,   -20,   -21,   -22,   -13 ]
+   -28,   -28,   -28,    -4,    -5,    -6,    -7,    -8,    -9,   -10,
+   -11,   -28,   -28,   -28,   -28,   -28,   -28,   -28,   -28,   -28,
+    68,   -28,   -12,   -28,   -28,   -28,   -28,   -28,   -19,   -28,
+   -28,   -16,   -26,    -1,   -13,    -2,    -3,   -28,   -16,   -18,
+   -20,   -28,   -28,   -28,   -28,   -28,   -14,   -28,   -28,   -28,
+   -28,   -17,   -28,   -28,   -28,   -28,   -21,   -22,   -23,   -28,
+   -28,   -28,   -28,   -24,   -25,   -28,   -15,   -27 ]
 
 racc_goto_table = [
-     1,    24,    12,    23,    39,    17,    19,    20,   nil,   nil,
-    34,   nil,   nil,   nil,   nil,    26,   nil,    28,   nil,    28,
-    28,    31,   nil,   nil,   nil,    35,    37,   nil,   nil,   nil,
-   nil,   nil,   nil,   nil,   nil,    40,    41,    42,    48,   nil,
-   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    28 ]
+     1,    28,    14,    44,    21,    23,    24,    27,    45,   nil,
+    47,   nil,    40,   nil,   nil,   nil,   nil,    30,   nil,   nil,
+   nil,    34,   nil,    34,    34,    37,   nil,   nil,   nil,    41,
+    43,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,    48,    49,    50,    59,    60,   nil,    62,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,    34,
+    34,    65,    34 ]
 
 racc_goto_check = [
-     1,     9,     1,     8,     7,     2,     2,     2,   nil,   nil,
-     9,   nil,   nil,   nil,   nil,     1,   nil,     1,   nil,     1,
-     1,     1,   nil,   nil,   nil,     1,     1,   nil,   nil,   nil,
-   nil,   nil,   nil,   nil,   nil,     1,     1,     1,     2,   nil,
-   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,     1 ]
+     1,    11,     1,     9,     2,     2,     2,    10,    12,   nil,
+     9,   nil,    11,   nil,   nil,   nil,   nil,     1,   nil,   nil,
+   nil,     1,   nil,     1,     1,     1,   nil,   nil,   nil,     1,
+     1,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,     1,     1,     1,     2,     2,   nil,     2,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,   nil,     1,
+     1,     1,     1 ]
 
 racc_goto_pointer = [
-   nil,     0,    -5,   nil,   nil,   nil,   nil,   -28,   -11,   -13 ]
+   nil,     0,    -8,   nil,   nil,   nil,   nil,   nil,   nil,   -28,
+    -9,   -15,   -24 ]
 
 racc_goto_default = [
-   nil,    18,   nil,     5,     6,     7,     8,   nil,   nil,   nil ]
+   nil,    22,   nil,     5,     6,     7,     8,     9,    10,   nil,
+   nil,   nil,   nil ]
 
 racc_reduce_table = [
   0, 0, :racc_error,
-  4, 13, :_reduce_1,
-  4, 13, :_reduce_2,
-  4, 13, :_reduce_3,
-  1, 13, :_reduce_none,
-  1, 13, :_reduce_none,
-  1, 13, :_reduce_none,
-  1, 13, :_reduce_none,
-  1, 13, :_reduce_none,
-  1, 13, :_reduce_none,
-  1, 14, :_reduce_10,
-  2, 14, :_reduce_11,
-  5, 15, :_reduce_12,
-  8, 16, :_reduce_13,
-  0, 19, :_reduce_14,
-  2, 19, :_reduce_15,
-  4, 17, :_reduce_16,
-  1, 20, :_reduce_17,
-  2, 20, :_reduce_18,
-  4, 21, :_reduce_19,
-  4, 21, :_reduce_20,
-  6, 18, :_reduce_21 ]
-
-racc_reduce_n = 22
-
-racc_shift_n = 50
+  4, 15, :_reduce_1,
+  4, 15, :_reduce_2,
+  4, 15, :_reduce_3,
+  1, 15, :_reduce_none,
+  1, 15, :_reduce_none,
+  1, 15, :_reduce_none,
+  1, 15, :_reduce_none,
+  1, 15, :_reduce_none,
+  1, 15, :_reduce_none,
+  1, 15, :_reduce_none,
+  1, 15, :_reduce_none,
+  1, 16, :_reduce_12,
+  2, 16, :_reduce_13,
+  5, 17, :_reduce_14,
+  8, 18, :_reduce_15,
+  0, 23, :_reduce_16,
+  2, 23, :_reduce_17,
+  4, 19, :_reduce_18,
+  1, 24, :_reduce_19,
+  2, 24, :_reduce_20,
+  4, 25, :_reduce_21,
+  4, 25, :_reduce_22,
+  6, 20, :_reduce_23,
+  7, 21, :_reduce_24,
+  7, 22, :_reduce_25,
+  0, 26, :_reduce_26,
+  5, 26, :_reduce_27 ]
+
+racc_reduce_n = 28
+
+racc_shift_n = 68
 
 racc_token_table = {
   false => 0,
@@ -150,9 +179,11 @@ racc_token_table = {
   :KW_DEFINE => 8,
   :KW_COND => 9,
   :KW_ELSE => 10,
-  :KW_IF => 11 }
+  :KW_IF => 11,
+  :KW_LAMBDA => 12,
+  :KW_LET => 13 }
 
-racc_nt_base = 12
+racc_nt_base = 14
 
 racc_use_result_var = false
 
@@ -185,6 +216,8 @@ Racc_token_to_s_table = [
   "KW_COND",
   "KW_ELSE",
   "KW_IF",
+  "KW_LAMBDA",
+  "KW_LET",
   "$start",
   "expr",
   "seq",
@@ -192,9 +225,12 @@ Racc_token_to_s_table = [
   "define_proc",
   "cond",
   "if",
+  "lambda",
+  "let",
   "params",
   "clauses",
-  "clause" ]
+  "clause",
+  "defs" ]
 
 Racc_debug_parser = false
 
@@ -235,90 +271,122 @@ module_eval(<<'.,.,', 'parser.y', 14)
 
 # reduce 9 omitted
 
-module_eval(<<'.,.,', 'parser.y', 25)
-  def _reduce_10(val, _values)
+# reduce 10 omitted
+
+# reduce 11 omitted
+
+module_eval(<<'.,.,', 'parser.y', 27)
+  def _reduce_12(val, _values)
                 [val[0]]
           
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 29)
-  def _reduce_11(val, _values)
+module_eval(<<'.,.,', 'parser.y', 31)
+  def _reduce_13(val, _values)
                 val[0].push(val[1])
           
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 35)
-  def _reduce_12(val, _values)
+module_eval(<<'.,.,', 'parser.y', 37)
+  def _reduce_14(val, _values)
                   [:define, val[2], val[3]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 41)
-  def _reduce_13(val, _values)
+module_eval(<<'.,.,', 'parser.y', 43)
+  def _reduce_15(val, _values)
                       [:define_proc, [val[3], *val[4]], *val[6]]
                 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 46)
-  def _reduce_14(val, _values)
+module_eval(<<'.,.,', 'parser.y', 48)
+  def _reduce_16(val, _values)
                       []
                 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 50)
-  def _reduce_15(val, _values)
+module_eval(<<'.,.,', 'parser.y', 52)
+  def _reduce_17(val, _values)
                       val[0].push(val[1])
                 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 56)
-  def _reduce_16(val, _values)
+module_eval(<<'.,.,', 'parser.y', 58)
+  def _reduce_18(val, _values)
                   [:cond, *val[2]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 61)
-  def _reduce_17(val, _values)
+module_eval(<<'.,.,', 'parser.y', 63)
+  def _reduce_19(val, _values)
                   [val[0]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 65)
-  def _reduce_18(val, _values)
+module_eval(<<'.,.,', 'parser.y', 67)
+  def _reduce_20(val, _values)
                   val[0].push(val[1])
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 70)
-  def _reduce_19(val, _values)
+module_eval(<<'.,.,', 'parser.y', 72)
+  def _reduce_21(val, _values)
                   [val[1], val[2]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 74)
-  def _reduce_20(val, _values)
+module_eval(<<'.,.,', 'parser.y', 76)
+  def _reduce_22(val, _values)
                   [:else, val[2]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 80)
-  def _reduce_21(val, _values)
+module_eval(<<'.,.,', 'parser.y', 82)
+  def _reduce_23(val, _values)
               [:if, val[2], val[3], val[4]]
         
   end
 .,.,
 
+module_eval(<<'.,.,', 'parser.y', 88)
+  def _reduce_24(val, _values)
+                  [:lambda, val[3], *val[5]]
+            
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 94)
+  def _reduce_25(val, _values)
+                [:let, val[3], *val[5]]
+          
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 98)
+  def _reduce_26(val, _values)
+                []
+          
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 102)
+  def _reduce_27(val, _values)
+                val[0].push([val[2], val[3]])
+          
+  end
+.,.,
+
 def _reduce_none(val, _values)
   val[0]
 end

data/lib/rubic/parser.y

@@ -20,6 +20,8 @@ rule
         | define_proc
         | cond
         | if
+        | lambda
+        | let
 
   seq   : expr
           {
@@ -80,13 +82,32 @@ rule
         {
           [:if, val[2], val[3], val[4]]
         }
+
+  /* lambda expression */
+  lambda  : '(' KW_LAMBDA '(' params ')' seq ')'
+            {
+              [:lambda, val[3], *val[5]]
+            }
+
+  /* let expression */
+  let   : '(' KW_LET '(' defs ')' seq ')'
+          {
+            [:let, val[3], *val[5]]
+          }
+  defs  : /* empty */
+          {
+            []
+          }
+        | defs '(' IDENT expr ')'
+          {
+            val[0].push([val[2], val[3]])
+          }
 end
 
 ---- header
 require 'strscan'
 
 module Rubic
-  class UnknownCharacterError < StandardError; end
 
 ---- inner
 EOT = [false, nil] # end of token
@@ -120,13 +141,21 @@ def next_token
       [:KW_AND, nil]
     when 'or'
       [:KW_OR, nil]
+    when 'lambda'
+      [:KW_LAMBDA, nil]
+    when 'let'
+      [:KW_LET, nil]
     else
       [:IDENT, @s[0]]
     end
   else
-    raise UnknownCharacterError, "unknown character #{@s.getch}"
+    raise Rubic::ParseError, "unknown character #{@s.getch}"
   end
 end
 
+def on_error(t, val, vstack)
+  raise Rubic::ParseError, "parse error near #{token_to_str(t)}"
+end
+
 ---- footer
 end # of module Rubic

data/lib/rubic/version.rb

@@ -1,3 +1,3 @@
 module Rubic
-  VERSION = "0.1.0"
+  VERSION = "0.1.1"
 end

data/rubic.gemspec

@@ -16,6 +16,7 @@ Gem::Specification.new do |spec|
 
   spec.files         = `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
   spec.require_paths = ["lib"]
+  spec.executables   = ['rubic']
 
   spec.add_development_dependency "bundler", "~> 1.9"
   spec.add_development_dependency "rake", "~> 10.0"

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rubic
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.1.1
 platform: ruby
 authors:
 - notozeki
@@ -69,7 +69,8 @@ dependencies:
 description: Rubic is a very simple Scheme interpreter written in Ruby.
 email:
 - notozeki@gmail.com
-executables: []
+executables:
+- rubic
 extensions: []
 extra_rdoc_files: []
 files:
@@ -80,6 +81,7 @@ files:
 - README.md
 - Rakefile
 - bin/console
+- bin/rubic
 - bin/setup
 - lib/rubic.rb
 - lib/rubic/environment.rb