rubic 0.1.2 → 0.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 51da002edc71251bec55d378b94e41dc2ffe3282
-  data.tar.gz: 3c9ca15aebeebf042e077838498437772c31ac65
+  metadata.gz: 9ce7e32bbc4068cda59ee86d64f3210c2b6272ae
+  data.tar.gz: d823d0e4f0c57f89681e0f14bb650ae700effef6
 SHA512:
-  metadata.gz: dcbf36feedcd3b82fd8ba5d80e5adda3c7d9e8857714bdc2c5fd25f9dab2d786a8a67fc049474cb52afdc3bb8f211fc1822df8e14a7c94df34afb59af709f65b
-  data.tar.gz: b6519390237eef8156b89ba255af847d62c2edf9eddb2778d0df24503bc43c39f94d25a1c24bbd35ced3ff823f82b23840c147d312c96cee0f635a56afb7f397
+  metadata.gz: 80788b219b735f2c54aeaa57b5957e8018e8a5c34fbd074ed4fa6a85d43bed4f955eaa547f5f782ba9e482eb19233dafdf197ac77ece18d284c13f47dce0c12c
+  data.tar.gz: a1682bcb6a83ebff28c20da879a9bc73aa69cde0b8e86e06d2f6dbae37e74007fa5664ad8c66e115050b17af8fb683ded60c1179e1ea8b9a07471362033ea732

data/README.md

@@ -26,9 +26,24 @@ Or install it yourself as:
 
 ## Usage
 
+Once you install this gem, the `rubic` executable can be used. Simply run it as:
+
+    $ rubic
+
+then the <abbr title="Read-Eval-Print Loop">REPL</abbr> will start. Or pass the Scheme source file as:
+
+    $ rubic /path/to/your_code.scm
+
+then the program will be executed.
+
+You can also evaluate Scheme code from your Ruby application:
+
 ```ruby
+require 'rubic'
 rubic = Rubic::Interpreter.new
-rubic.evaluate("...write your Scheme code here...")
+rubic.evaluate('(define x 100)')
+rubic.evaluate('(+ x 3)')        # => 103
+rubic.evaluate('(list 1 2 3)')   # => [1, [2, [3, []]]
 ```
 
 ## Development

data/bin/rubic

@@ -6,22 +6,36 @@ require 'readline'
 
 using Rubic::Inspector
 
-# TODO: read the code from file when argument passed
+if ARGV.size == 1
+  file = ARGV.shift
+  File.open(file) do |f|
+    rubic = Rubic::Interpreter.new
 
-puts "Welcome to interactive Rubic (v#{Rubic::VERSION})"
-puts 'Hit ^D to exit'
+    begin
+      rubic.evaluate(f.read)
+    rescue Rubic::RubicError => e
+      puts "\e[31mError: #{e.message}\e[0m"
+      exit false
+    end
+  end
+else
+  # REPL mode
 
-rubic = Rubic::Interpreter.new
+  puts "Welcome to interactive Rubic (v#{Rubic::VERSION})"
+  puts 'Hit ^D to exit'
 
-while input = Readline.readline(">> ", true)
-  next if input.empty?
-  while input.count('(') > input.count(')')
-    input << Readline.readline(' | ', true)
-  end
+  rubic = Rubic::Interpreter.new
+
+  while input = Readline.readline(">> ", true)
+    next if input.empty?
+    while input.count('(') > input.count(')')
+      input << Readline.readline(' | ', true)
+    end
 
-  begin
-    puts '=> ' + rubic.evaluate(input).inspect
-  rescue Rubic::RubicError => e
-    puts "\e[31mError: #{e.message}\e[0m"
+    begin
+      puts '=> ' + rubic.evaluate(input).inspect
+    rescue Rubic::RubicError => e
+      puts "\e[31mError: #{e.message}\e[0m"
+    end
   end
 end

data/lib/rubic.rb

@@ -4,6 +4,7 @@ module Rubic
   class NameError < RubicError; end
   class ParseError < RubicError; end
   class RuntimeError < RubicError; end
+  class TypeError < RubicError; end
 end
 
 require 'rubic/version'

data/lib/rubic/builtin.rb

@@ -0,0 +1,3 @@
+require 'rubic/builtin/list'
+require 'rubic/builtin/number'
+require 'rubic/builtin/output'

data/lib/rubic/builtin/list.rb

@@ -0,0 +1,35 @@
+module Rubic
+  module Builtin
+    class List
+      def cons(a, b)
+        [a, b]
+      end
+
+      def car(l)
+        unless pair? l
+          raise Rubic::TypeError, "pair required, but got `#{l}'"
+        end
+        l.first
+      end
+
+      def cdr(l)
+        unless pair? l
+          raise Rubic::TypeError, "pair required, but got `#{l}'"
+        end
+        l.last
+      end
+
+      def list(*args)
+        args.reverse.reduce([]) {|res, e| [e, res] }
+      end
+
+      def pair?(suspect)
+        suspect.is_a?(Array) ? suspect.any? : false
+      end
+
+      def null?(suspect)
+        suspect.is_a?(Array) ? suspect.empty? : false
+      end
+    end
+  end
+end

data/lib/rubic/builtin/number.rb

@@ -0,0 +1,80 @@
+module Rubic
+  module Builtin
+    class Number
+      def +(*args)
+        args.reduce(0) do |res, i|
+          unless number? i
+            raise Rubic::TypeError, "operation `+' is not defined between `#{res}' and `#{i}'"
+          end
+          res + i
+        end
+      end
+
+      def -(*args)
+        case args.size
+        when 0
+          raise Rubic::ArgumentError, "wrong number of arguments (0 for 1+)"
+        when 1
+          -args.first
+        else
+          args.reduce do |res, i|
+            unless number? i
+              raise Rubic::TypeError, "operation `-' is not defined between `#{res}' and `#{i}'"
+            end
+            res - i
+          end
+        end
+      end
+
+      def *(*args)
+        args.reduce(1) do |res, i|
+          unless number? i
+            raise Rubic::TypeError, "operation `*' is not defined between `#{res}' and `#{i}'"
+          end
+          res * i
+        end
+      end
+
+      def /(*args)
+        case args.size
+        when 0
+          raise Rubic::ArgumentError, "wrong number of arguments (0 for 1+)"
+        when 1
+          1 / args.first
+        else
+          args.reduce do |res, i|
+            unless number? i
+              raise Rubic::TypeError, "operation `/' is not defined between `#{res}' and `#{i}'"
+            end
+            res / i
+          end
+        end
+      end
+
+      def <(a, b)
+        unless number?(a) && number?(b)
+          raise Rubic::TypeError, "operation `<' is not defined between `#{a}' and `#{b}'"
+        end
+        a < b
+      end
+
+      def >(a, b)
+        unless number?(a) && number?(b)
+          raise Rubic::TypeError, "operation `>' is not defined between `#{a}' and `#{b}'"
+        end
+        a > b
+      end
+
+      define_method '=' do |a, b|
+        unless number?(a) && number?(b)
+          raise Rubic::TypeError, "operation `=' is not defined between `#{a}' and `#{b}'"
+        end
+        a == b
+      end
+
+      def number?(suspect)
+        suspect.is_a?(Integer) || suspect.is_a?(Float)
+      end
+    end
+  end
+end

data/lib/rubic/builtin/output.rb

@@ -0,0 +1,17 @@
+require 'rubic/inspector'
+
+module Rubic
+  module Builtin
+    class Output
+      using Rubic::Inspector
+
+      def display(a)
+        print a
+      end
+
+      def newline
+        puts
+      end
+    end
+  end
+end

data/lib/rubic/environment.rb

@@ -29,6 +29,13 @@ module Rubic
       end
     end
 
+    def extend(klass)
+      ext = klass.new
+      klass.instance_methods(false).each do |mname|
+        defvar(mname, ext.method(mname))
+      end
+    end
+
     alias []= defvar
     alias [] refvar
   end

data/lib/rubic/inspector.rb

@@ -14,12 +14,36 @@ module Rubic
           "#{first.inspect} . #{last.inspect}"
         end
       end
+
+      def to_s
+        "(#{to_s_rec})"
+      end
+
+      def to_s_rec
+        if empty?
+          ''
+        elsif last.is_a?(Array)
+          [first.to_s, last.to_s_rec].join(' ').strip
+        else
+          "#{first.to_s} . #{last.to_s}"
+        end
+      end
     end
 
     refine Proc do
       def inspect
         "#<lambda:#{object_id}>"
       end
+
+      def to_s
+        "#<lambda:#{object_id}>"
+      end
+    end
+
+    refine Symbol do
+      def inspect
+        to_s
+      end
     end
   end
 end

data/lib/rubic/interpreter.rb

@@ -1,35 +1,29 @@
-require 'rubic/parser'
+require 'rubic/builtin'
 require 'rubic/environment'
+require 'rubic/parser'
 
 module Rubic
   class Interpreter
     DEFAULT_GLOBAL_VARS = {
-      '+' => -> (*args) { args.reduce(:+) },
-      '-' => -> (*args) { args.size == 1 ? -args.first : args.reduce(:-) },
-      '*' => -> (*args) { args.reduce(:*) },
-      '/' => -> (*args) { args.reduce(:/) },
-      '<' => -> (a, b) { a < b },
-      '>' => -> (a, b) { a > b },
-      '=' => -> (a, b) { a == b },
-      'not' => -> (a) { !a },
-      'cons' => -> (a, b) { [a, b] },
-      'car' => -> (l) { l.first },
-      'cdr' => -> (l) { l.last },
-      'nil' => [],
-      'list' => -> (*args) { args.reverse.reduce([]) {|res, e| [e, res] } },
-      'null?' => -> (l) { l.is_a?(Array) ? l.empty? : false },
-      'pair?' => -> (l) { l.is_a?(Array) ? l.any? : false },
+      :not => -> (a) { !a },
+      :eq? => -> (a, b) { a.equal? b },
+
+      :true => true,
+      :false => false,
+      :nil => [],
     }
 
     def initialize
       @parser = Parser.new
       @global = Environment.new
       DEFAULT_GLOBAL_VARS.each {|k, v| @global[k] = v }
+      builtins = Rubic::Builtin.constants.map {|c| Rubic::Builtin.const_get(c) }
+      builtins.each {|ext| @global.extend(ext) }
     end
 
     def evaluate(str)
-      list = @parser.parse(str)
-      execute(list, @global)
+      seq = @parser.parse(str)
+      execute_sequence(seq, @global)
     end
 
     private
@@ -37,34 +31,37 @@ module Rubic
     def execute(list_or_atom, env)
       # Atom
       case list_or_atom
-      when Float, Integer
+      when Float, Integer, String
         atom = list_or_atom
-      when String
+      when Symbol
         atom = env[list_or_atom]
       else
         # fallthrough
       end
-      return atom if atom
+      return atom unless atom.nil?
 
       list = list_or_atom
 
       # Empty list
-      return nil if list.empty?
+      return [] if list.empty?
 
       # Special Forms
       case list.first
       when :define
-        _, name, expr = list
-        env[name] = execute(expr, env)
-        return
-      when :define_proc
-        _, (name, *params), *body = list
-        env[name] = -> (*args) do
-          local = Environment.new(env)
-          local.bind(params, args)
-          execute_sequence(body, local)
+        if list[1].is_a?(Array) # procedure definition
+          _, (name, *params), *body = list
+          env[name] = -> (*args) do
+            local = Environment.new(env)
+            local.bind(params, args)
+            execute_sequence(body, local)
+          end
+          return
+        else # variable definition
+          _, name, expr = list
+          env[name] = execute(expr, env)
+          return
         end
-        return
+
       when :cond
         _, *clauses = list
         clauses.each do |pred, expr|
@@ -73,21 +70,25 @@ module Rubic
           end
         end
         return
+
       when :if
         _, pred, cons, alt = list
         return execute(pred, env) ? execute(cons, env) : execute(alt, env)
+
       when :and
         _, *exprs = list
         exprs.each do |expr|
           return false unless execute(expr, env)
         end
         return true
+
       when :or
         _, *exprs = list
         exprs.each do |expr|
           return true if execute(expr, env)
         end
         return false
+
       when :lambda
         _, (*params), *body = list
         return -> (*args) do
@@ -95,11 +96,17 @@ module Rubic
           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)
+
+      when :quote
+        _, expr = list
+        return quote(expr)
+
       else
         # fallthrough
       end
@@ -109,6 +116,10 @@ module Rubic
       unless op.respond_to? :call
         raise Rubic::RuntimeError, "`#{op}' is not a procedure"
       end
+      required = op.arity >= 0 ? op.arity : -op.arity - 1
+      if op.arity >= 0 ? required != args.size : required > args.size
+        raise Rubic::ArgumentError, "wrong number of arguments (#{args.size} for #{required})"
+      end
       op.call(*args)
     end
 
@@ -116,5 +127,13 @@ module Rubic
       # execute expressions sequentially and returns the last result
       seq.reduce(nil) {|res, expr| res = execute(expr, env) }
     end
+
+    def quote(expr)
+      if expr.is_a? Array
+        expr.map {|e| quote(e) }.reverse.reduce([]) {|res, e| [e, res] }
+      else
+        expr
+      end
+    end
   end
 end

data/lib/rubic/parser.rb

@@ -12,7 +12,7 @@ module Rubic
 
 class Parser < Racc::Parser
 
-module_eval(<<'...end parser.y/module_eval...', 'parser.y', 113)
+module_eval(<<'...end parser.y/module_eval...', 'parser.y', 134)
 EOT = [false, nil] # end of token
 SYM_CHARS = Regexp.escape("+-*/<>=?")
 
@@ -28,7 +28,7 @@ def next_token
   case
   when @s.scan(/[0-9]+(\.[0-9]+)?/)
     [:NUMBER, @s[0].include?('.') ? @s[0].to_f : @s[0].to_i]
-  when @s.scan(/[\(\)]/o)
+  when @s.scan(/[()']/)
     [@s[0], nil]
   when @s.scan(/[A-Za-z_#{SYM_CHARS}][A-Za-z0-9_#{SYM_CHARS}]*/o)
     case @s[0] # keyword check
@@ -48,9 +48,13 @@ def next_token
       [:KW_LAMBDA, nil]
     when 'let'
       [:KW_LET, nil]
+    when 'quote'
+      [:KW_QUOTE, nil]
     else
-      [:IDENT, @s[0]]
+      [:IDENT, @s[0].to_sym]
     end
+  when @s.scan(/"([^"]*)"/)
+    [:STRING, @s[1]]
   else
     raise Rubic::ParseError, "unknown character #{@s.getch}"
   end
@@ -64,108 +68,141 @@ end
 ##### State transition tables begin ###
 
 racc_action_table = [
-     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 ]
+     3,    64,    67,    60,     4,     5,     6,     3,    37,    75,
+    47,     4,     5,     6,    15,    34,    63,    55,    62,    33,
+    65,    15,     3,    17,    20,    18,     4,     5,     6,    21,
+    22,    66,    23,    24,    25,    26,    15,     3,    46,    44,
+     3,     4,     5,     6,     4,     5,     6,    61,    40,    60,
+    70,    15,     3,    39,    15,     3,     4,     5,     6,     4,
+     5,     6,    37,    54,    29,    16,    15,     3,    76,    15,
+     3,     4,     5,     6,     4,     5,     6,   nil,   nil,   nil,
+   nil,    15,   nil,     3,    15,    73,   nil,     4,     5,     6,
+     3,   nil,    72,   nil,     4,     5,     6,    15,   nil,   nil,
+   nil,     3,   nil,   nil,    15,     4,     5,     6,     3,   nil,
+   nil,   nil,     4,     5,     6,    15,   nil,   nil,   nil,     3,
+   nil,   nil,    15,     4,     5,     6,     3,   nil,   nil,   nil,
+     4,     5,     6,    15,   nil,   nil,   nil,     3,   nil,    42,
+    15,     4,     5,     6,     3,   nil,    43,   nil,     4,     5,
+     6,    15,   nil,   nil,   nil,     3,   nil,   nil,    15,     4,
+     5,     6,     3,   nil,   nil,   nil,     4,     5,     6,    15,
+   nil,   nil,   nil,     3,   nil,   nil,    15,     4,     5,     6,
+     3,   nil,   nil,   nil,     4,     5,     6,    15,   nil,   nil,
+   nil,     3,   nil,   nil,    15,     4,     5,     6,     3,   nil,
+   nil,   nil,     4,     5,     6,    15,   nil,   nil,   nil,     3,
+   nil,   nil,    15,     4,     5,     6,   nil,   nil,    50,   nil,
+   nil,   nil,   nil,    15 ]
 
 racc_action_check = [
-     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 ]
+     0,    56,    59,    56,     0,     0,     0,    71,    35,    71,
+    35,    71,    71,    71,     0,    21,    53,    45,    53,    21,
+    57,    71,     3,     3,     3,     3,     3,     3,     3,     3,
+     3,    58,     3,     3,     3,     3,     3,    14,    34,    32,
+    15,    14,    14,    14,    15,    15,    15,    52,    25,    52,
+    63,    14,    70,    24,    15,    17,    70,    70,    70,    17,
+    17,    17,    22,    41,    16,     1,    70,    18,    74,    17,
+    19,    18,    18,    18,    19,    19,    19,   nil,   nil,   nil,
+   nil,    18,   nil,    69,    19,    69,   nil,    69,    69,    69,
+    68,   nil,    68,   nil,    68,    68,    68,    69,   nil,   nil,
+   nil,    23,   nil,   nil,    68,    23,    23,    23,    64,   nil,
+   nil,   nil,    64,    64,    64,    23,   nil,   nil,   nil,    62,
+   nil,   nil,    64,    62,    62,    62,    26,   nil,   nil,   nil,
+    26,    26,    26,    62,   nil,   nil,   nil,    30,   nil,    30,
+    26,    30,    30,    30,    31,   nil,    31,   nil,    31,    31,
+    31,    30,   nil,   nil,   nil,    61,   nil,   nil,    31,    61,
+    61,    61,    33,   nil,   nil,   nil,    33,    33,    33,    61,
+   nil,   nil,   nil,    51,   nil,   nil,    33,    51,    51,    51,
+    50,   nil,   nil,   nil,    50,    50,    50,    51,   nil,   nil,
+   nil,    49,   nil,   nil,    50,    49,    49,    49,    38,   nil,
+   nil,   nil,    38,    38,    38,    49,   nil,   nil,   nil,    37,
+   nil,   nil,    38,    37,    37,    37,   nil,   nil,    37,   nil,
+   nil,   nil,   nil,    37 ]
 
 racc_action_pointer = [
-    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 ]
+    -2,    65,   nil,    20,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,    35,    38,    64,    53,    65,    68,
+   nil,    13,    60,    99,    51,    46,   124,   nil,   nil,   nil,
+   135,   142,    35,   160,    32,     6,   nil,   207,   196,   nil,
+   nil,    59,   nil,   nil,   nil,    13,   nil,   nil,   nil,   189,
+   178,   171,    43,    14,   nil,   nil,    -3,    16,    27,    -2,
+   nil,   153,   117,    44,   106,   nil,   nil,   nil,    88,    81,
+    50,     5,   nil,   nil,    64,   nil,   nil ]
 
 racc_action_default = [
-   -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 ]
+   -17,   -35,    -1,   -35,    -6,    -7,    -8,    -9,   -10,   -11,
+   -12,   -13,   -14,   -15,   -18,   -35,   -35,   -35,   -35,   -17,
+    -5,   -35,   -35,   -35,   -35,   -35,   -35,   -16,   -34,    77,
+   -35,   -35,   -35,   -35,   -35,   -35,   -24,   -35,   -35,   -21,
+   -31,   -35,    -2,    -3,    -4,   -35,   -21,   -23,   -25,   -35,
+   -35,   -35,   -35,   -35,   -33,   -19,   -35,   -35,   -35,   -35,
+   -22,   -35,   -35,   -35,   -35,   -26,   -27,   -28,   -35,   -35,
+   -35,   -35,   -29,   -30,   -35,   -20,   -32 ]
 
 racc_goto_table = [
-     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 ]
+    19,    36,     2,    52,     1,    30,    31,    35,    53,   nil,
+    56,    27,    28,   nil,    48,   nil,   nil,   nil,   nil,   nil,
+    38,    32,   nil,    41,   nil,   nil,   nil,    27,    27,   nil,
+    45,   nil,   nil,   nil,    49,    51,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    57,    58,    59,    68,
+    69,   nil,    71,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,    27,    27,    74,    27 ]
 
 racc_goto_check = [
-     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 ]
+     3,    13,     2,    11,     1,     4,     4,    12,    14,   nil,
+    11,     3,     3,   nil,    13,   nil,   nil,   nil,   nil,   nil,
+     3,     2,   nil,     3,   nil,   nil,   nil,     3,     3,   nil,
+     3,   nil,   nil,   nil,     3,     3,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,     3,     3,     3,     4,
+     4,   nil,     4,   nil,   nil,   nil,   nil,   nil,   nil,   nil,
+   nil,   nil,   nil,   nil,   nil,     3,     3,     3,     3 ]
 
 racc_goto_pointer = [
-   nil,     0,    -8,   nil,   nil,   nil,   nil,   nil,   nil,   -28,
-    -9,   -15,   -24 ]
+   nil,     4,     2,    -3,   -12,   nil,   nil,   nil,   nil,   nil,
+   nil,   -36,   -15,   -21,   -32 ]
 
 racc_goto_default = [
-   nil,    22,   nil,     5,     6,     7,     8,     9,    10,   nil,
-   nil,   nil,   nil ]
+   nil,   nil,   nil,    13,    14,     7,     8,     9,    10,    11,
+    12,   nil,   nil,   nil,   nil ]
 
 racc_reduce_table = [
   0, 0, :racc_error,
-  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
+  1, 18, :_reduce_none,
+  4, 20, :_reduce_2,
+  4, 20, :_reduce_3,
+  4, 20, :_reduce_4,
+  2, 20, :_reduce_5,
+  1, 20, :_reduce_none,
+  1, 20, :_reduce_none,
+  1, 20, :_reduce_none,
+  1, 20, :_reduce_none,
+  1, 20, :_reduce_none,
+  1, 20, :_reduce_none,
+  1, 20, :_reduce_none,
+  1, 20, :_reduce_none,
+  1, 20, :_reduce_none,
+  1, 21, :_reduce_15,
+  2, 21, :_reduce_16,
+  0, 19, :_reduce_17,
+  1, 19, :_reduce_none,
+  5, 22, :_reduce_19,
+  8, 22, :_reduce_20,
+  0, 28, :_reduce_21,
+  2, 28, :_reduce_22,
+  4, 23, :_reduce_23,
+  1, 29, :_reduce_24,
+  2, 29, :_reduce_25,
+  4, 30, :_reduce_26,
+  4, 30, :_reduce_27,
+  6, 24, :_reduce_28,
+  7, 25, :_reduce_29,
+  7, 26, :_reduce_30,
+  0, 31, :_reduce_31,
+  5, 31, :_reduce_32,
+  4, 27, :_reduce_33,
+  2, 27, :_reduce_34 ]
+
+racc_reduce_n = 35
+
+racc_shift_n = 77
 
 racc_token_table = {
   false => 0,
@@ -176,14 +213,17 @@ racc_token_table = {
   :KW_OR => 5,
   :IDENT => 6,
   :NUMBER => 7,
-  :KW_DEFINE => 8,
-  :KW_COND => 9,
-  :KW_ELSE => 10,
-  :KW_IF => 11,
-  :KW_LAMBDA => 12,
-  :KW_LET => 13 }
-
-racc_nt_base = 14
+  :STRING => 8,
+  :KW_DEFINE => 9,
+  :KW_COND => 10,
+  :KW_ELSE => 11,
+  :KW_IF => 12,
+  :KW_LAMBDA => 13,
+  :KW_LET => 14,
+  :KW_QUOTE => 15,
+  "'" => 16 }
+
+racc_nt_base = 17
 
 racc_use_result_var = false
 
@@ -212,21 +252,26 @@ Racc_token_to_s_table = [
   "KW_OR",
   "IDENT",
   "NUMBER",
+  "STRING",
   "KW_DEFINE",
   "KW_COND",
   "KW_ELSE",
   "KW_IF",
   "KW_LAMBDA",
   "KW_LET",
+  "KW_QUOTE",
+  "\"'\"",
   "$start",
+  "program",
+  "opt_seq",
   "expr",
   "seq",
   "define",
-  "define_proc",
   "cond",
   "if",
   "lambda",
   "let",
+  "quote",
   "params",
   "clauses",
   "clause",
@@ -238,30 +283,35 @@ Racc_debug_parser = false
 
 # reduce 0 omitted
 
-module_eval(<<'.,.,', 'parser.y', 6)
-  def _reduce_1(val, _values)
+# reduce 1 omitted
+
+module_eval(<<'.,.,', 'parser.y', 8)
+  def _reduce_2(val, _values)
                 [:and, *val[2]]
           
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 10)
-  def _reduce_2(val, _values)
+module_eval(<<'.,.,', 'parser.y', 12)
+  def _reduce_3(val, _values)
                 [:or, *val[2]]
           
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 14)
-  def _reduce_3(val, _values)
+module_eval(<<'.,.,', 'parser.y', 16)
+  def _reduce_4(val, _values)
                 [val[1], *val[2]]
           
   end
 .,.,
 
-# reduce 4 omitted
-
-# reduce 5 omitted
+module_eval(<<'.,.,', 'parser.y', 20)
+  def _reduce_5(val, _values)
+                []
+          
+  end
+.,.,
 
 # reduce 6 omitted
 
@@ -275,118 +325,147 @@ module_eval(<<'.,.,', 'parser.y', 14)
 
 # reduce 11 omitted
 
-module_eval(<<'.,.,', 'parser.y', 27)
-  def _reduce_12(val, _values)
-                [val[0]]
-          
+# reduce 12 omitted
+
+# reduce 13 omitted
+
+# reduce 14 omitted
+
+module_eval(<<'.,.,', 'parser.y', 34)
+  def _reduce_15(val, _values)
+                  [val[0]]
+            
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 31)
-  def _reduce_13(val, _values)
-                val[0].push(val[1])
-          
+module_eval(<<'.,.,', 'parser.y', 38)
+  def _reduce_16(val, _values)
+                  val[0].push(val[1])
+            
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 43)
+  def _reduce_17(val, _values)
+                  []
+            
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 37)
-  def _reduce_14(val, _values)
+# reduce 18 omitted
+
+module_eval(<<'.,.,', 'parser.y', 50)
+  def _reduce_19(val, _values)
                   [:define, val[2], val[3]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 43)
-  def _reduce_15(val, _values)
-                      [:define_proc, [val[3], *val[4]], *val[6]]
-                
+module_eval(<<'.,.,', 'parser.y', 54)
+  def _reduce_20(val, _values)
+                  [:define, [val[3], *val[4]], *val[6]]
+            
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 48)
-  def _reduce_16(val, _values)
+module_eval(<<'.,.,', 'parser.y', 59)
+  def _reduce_21(val, _values)
                       []
                 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 52)
-  def _reduce_17(val, _values)
+module_eval(<<'.,.,', 'parser.y', 63)
+  def _reduce_22(val, _values)
                       val[0].push(val[1])
                 
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 58)
-  def _reduce_18(val, _values)
+module_eval(<<'.,.,', 'parser.y', 69)
+  def _reduce_23(val, _values)
                   [:cond, *val[2]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 63)
-  def _reduce_19(val, _values)
+module_eval(<<'.,.,', 'parser.y', 74)
+  def _reduce_24(val, _values)
                   [val[0]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 67)
-  def _reduce_20(val, _values)
+module_eval(<<'.,.,', 'parser.y', 78)
+  def _reduce_25(val, _values)
                   val[0].push(val[1])
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 72)
-  def _reduce_21(val, _values)
+module_eval(<<'.,.,', 'parser.y', 83)
+  def _reduce_26(val, _values)
                   [val[1], val[2]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 76)
-  def _reduce_22(val, _values)
+module_eval(<<'.,.,', 'parser.y', 87)
+  def _reduce_27(val, _values)
                   [:else, val[2]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 82)
-  def _reduce_23(val, _values)
+module_eval(<<'.,.,', 'parser.y', 93)
+  def _reduce_28(val, _values)
               [:if, val[2], val[3], val[4]]
         
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 88)
-  def _reduce_24(val, _values)
+module_eval(<<'.,.,', 'parser.y', 99)
+  def _reduce_29(val, _values)
                   [:lambda, val[3], *val[5]]
             
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 94)
-  def _reduce_25(val, _values)
+module_eval(<<'.,.,', 'parser.y', 105)
+  def _reduce_30(val, _values)
                 [:let, val[3], *val[5]]
           
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 98)
-  def _reduce_26(val, _values)
+module_eval(<<'.,.,', 'parser.y', 109)
+  def _reduce_31(val, _values)
                 []
           
   end
 .,.,
 
-module_eval(<<'.,.,', 'parser.y', 102)
-  def _reduce_27(val, _values)
+module_eval(<<'.,.,', 'parser.y', 113)
+  def _reduce_32(val, _values)
                 val[0].push([val[2], val[3]])
           
   end
 .,.,
 
+module_eval(<<'.,.,', 'parser.y', 119)
+  def _reduce_33(val, _values)
+                [:quote, val[2]]
+          
+  end
+.,.,
+
+module_eval(<<'.,.,', 'parser.y', 123)
+  def _reduce_34(val, _values)
+                [:quote, val[1]]
+          
+  end
+.,.,
+
 def _reduce_none(val, _values)
   val[0]
 end

data/lib/rubic/parser.y

@@ -2,6 +2,8 @@ class Parser
   options no_result_var
 
 rule
+  program : opt_seq
+
   expr  : '(' KW_AND seq ')'
           {
             [:and, *val[2]]
@@ -10,39 +12,48 @@ rule
           {
             [:or, *val[2]]
           }
-        | '(' expr seq ')'
+        | '(' expr opt_seq ')'
           {
             [val[1], *val[2]]
           }
+        | '(' ')'
+          {
+            []
+          }
         | IDENT
         | NUMBER
+        | STRING
         | define
-        | define_proc
         | cond
         | if
         | lambda
         | let
+        | quote
 
-  seq   : expr
-          {
-            [val[0]]
-          }
-        | seq expr
-          {
-            val[0].push(val[1])
-          }
+  seq     : expr
+            {
+              [val[0]]
+            }
+          | seq expr
+            {
+              val[0].push(val[1])
+            }
+
+  opt_seq : /* empty */
+            {
+              []
+            }
+          | seq
 
   /* Define statement */
   define  : '(' KW_DEFINE IDENT expr ')'
             {
               [:define, val[2], val[3]]
             }
-
-  /* Procedure definition */
-  define_proc : '(' KW_DEFINE '(' IDENT params ')' seq ')'
-                {
-                  [:define_proc, [val[3], *val[4]], *val[6]]
-                }
+          | '(' KW_DEFINE '(' IDENT params ')' seq ')'
+            {
+              [:define, [val[3], *val[4]], *val[6]]
+            }
 
   params      : /* empty */
                 {
@@ -102,6 +113,16 @@ rule
           {
             val[0].push([val[2], val[3]])
           }
+
+  /* quote expression */
+  quote : '(' KW_QUOTE expr ')'
+          {
+            [:quote, val[2]]
+          }
+        | '\'' expr
+          {
+            [:quote, val[1]]
+          }
 end
 
 ---- header
@@ -125,7 +146,7 @@ def next_token
   case
   when @s.scan(/[0-9]+(\.[0-9]+)?/)
     [:NUMBER, @s[0].include?('.') ? @s[0].to_f : @s[0].to_i]
-  when @s.scan(/[\(\)]/o)
+  when @s.scan(/[()']/)
     [@s[0], nil]
   when @s.scan(/[A-Za-z_#{SYM_CHARS}][A-Za-z0-9_#{SYM_CHARS}]*/o)
     case @s[0] # keyword check
@@ -145,9 +166,13 @@ def next_token
       [:KW_LAMBDA, nil]
     when 'let'
       [:KW_LET, nil]
+    when 'quote'
+      [:KW_QUOTE, nil]
     else
-      [:IDENT, @s[0]]
+      [:IDENT, @s[0].to_sym]
     end
+  when @s.scan(/"([^"]*)"/)
+    [:STRING, @s[1]]
   else
     raise Rubic::ParseError, "unknown character #{@s.getch}"
   end

data/lib/rubic/version.rb

@@ -1,3 +1,3 @@
 module Rubic
-  VERSION = "0.1.2"
+  VERSION = "0.2.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rubic
 version: !ruby/object:Gem::Version
-  version: 0.1.2
+  version: 0.2.0
 platform: ruby
 authors:
 - notozeki
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2015-04-15 00:00:00.000000000 Z
+date: 2015-04-20 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -112,6 +112,10 @@ files:
 - bin/rubic
 - bin/setup
 - lib/rubic.rb
+- lib/rubic/builtin.rb
+- lib/rubic/builtin/list.rb
+- lib/rubic/builtin/number.rb
+- lib/rubic/builtin/output.rb
 - lib/rubic/environment.rb
 - lib/rubic/inspector.rb
 - lib/rubic/interpreter.rb