halunke 0.1.0 → 0.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: d34373e62580207f15e635b87cbbba8187f43aa5
-  data.tar.gz: '08eebf0cc515092ff533c44a271d7fc4b3c4a451'
+  metadata.gz: b621079e4a57b2e4911784de31327cff6fa30a9b
+  data.tar.gz: 3980f6df3d46e58cb6ee08f5a7b7654bb629dbbc
 SHA512:
-  metadata.gz: 41960737ac425cc20b7183ab8a506e64e11c55a7dab81d00abfa120d32b9b770e1500f69e595b0d4a73c19d5442e96adb2cfaf06ddace218b71415ec9df66a58
-  data.tar.gz: f00d5bae53b39ae1c26b7bcde7ad8c16917b7e04a94c358680fc98850ead5e40284ec72cb3d1a6fb8802306dcbcb4d645236369b76fd9917b29ce26af4dbe1b0
+  metadata.gz: 218389d784fd2ba9332c3c24b7cb18079d529dfda97f9cdfbd060ba0b1a3be6fd02418da2ae0c1483e038ca59e5fdeba047111c831c2d00817901cf48ec663b5
+  data.tar.gz: e16520427aca78a5277fce868353cd73d96f2e65653da777b403fda407957ae2099c0c00e10cedeeb11dc9ac4378f44457fe29ebd5c3a6cec26a9bfcd90683a1

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    halunke (0.1.0)
+    halunke (0.2.0)
 
 GEM
   remote: https://rubygems.org/

data/exe/halunke

@@ -7,6 +7,10 @@ interpreter = Halunke::Interpreter.new
 
 puts "Halunke REPL. Ctrl+d to quit"
 while (line = Readline.readline(">> ", true))
-  value = interpreter.eval(line)
-  puts "=> #{value}"
+  begin
+    value = interpreter.eval(line)
+    puts "=> #{value}"
+  rescue Exception => e
+    puts "An Error Occurred: #{e.message}"
+  end
 end

data/lib/halunke/grammar.y

@@ -5,26 +5,43 @@ token STRING
 token BAREWORD
 token OPEN_PAREN
 token CLOSE_PAREN
+token OPEN_CURLY
+token CLOSE_CURLY
 token OPERATOR
+token UNASSIGNED_BAREWORD
+token OPEN_BRACKET
+token CLOSE_BRACKET
+token BAR
 
 rule
   Program:
-    /* empty */  { result = Nodes.new }
-  | Expressions  { result = val[0] }
+    Expressions  { result = val[0] }
   ;
 
   Expressions:
-    Expression { result = Nodes.new(val) }
+    /* empty */            { result = Nodes.new }
+  | Expression Expressions { result = Nodes.new([val[0]]).concat(val[1]) }
   ;
 
   Expression:
     Literal
-  | OPEN_PAREN Literal Literals CLOSE_PAREN { result = Halunke::MessageSendNode.new(val[1], MessageNode.new(val[2].nodes)) }
+  | OPEN_CURLY Expressions CLOSE_CURLY { result = Halunke::FunctionNode.new(Halunke::ArrayNode.new([]), val[1]) }
+  | OPEN_CURLY Args Expressions CLOSE_CURLY { result = Halunke::FunctionNode.new(val[1], val[2]) }
+  | OPEN_PAREN Expression Expressions CLOSE_PAREN { result = Halunke::MessageSendNode.new(val[1], MessageNode.new(val[2].nodes)) }
+  | OPEN_BRACKET Expressions CLOSE_BRACKET { result = ArrayNode.new(val[1].nodes) }
   ;
 
-  Literals:
-    /* empty */      { result = Nodes.new }
-  | Literal Literals { result = Nodes.new([val[0]]).concat(val[1]) }
+  Args:
+    BAR UnassignedBarewords BAR { result = Halunke::ArrayNode.new(val[1].nodes) }
+  ;
+
+  UnassignedBarewords:
+    /* empty */        { result = Nodes.new }
+  | UnassignedBareword UnassignedBarewords { result = Nodes.new([val[0]]).concat(val[1]) }
+  ;
+
+  UnassignedBareword:
+    UNASSIGNED_BAREWORD { result = UnassignedNode.new(BarewordNode.new(val[0])) }
   ;
 
   Literal:
@@ -33,6 +50,7 @@ rule
   /* TODO: Are Operators just Barewords? */
   | BAREWORD { result = BarewordNode.new(val[0]) }
   | OPERATOR { result = BarewordNode.new(val[0]) }
+  | UNASSIGNED_BAREWORD { result = UnassignedNode.new(BarewordNode.new(val[0])) }
   ;
 
 end

data/lib/halunke/interpreter.rb

@@ -4,25 +4,12 @@ module Halunke
   class Interpreter
     def initialize
       @parser = Parser.new
-      @context = {}
-      prelude
+      @context = HContext.root_context
     end
 
     def eval(str)
       nodes = @parser.parse(str)
-      nodes.eval(@context)
-    end
-
-    private
-
-    def prelude
-      @context[:Number] = Halunke::NativeClass.new(
-        "+" => Halunke::NativeFunction.new(->(receiver, args) { receiver.ruby_value + args.first.ruby_value })
-      )
-
-      @context[:String] = Halunke::NativeClass.new(
-        "reverse" => Halunke::NativeFunction.new(->(receiver, _args) { receiver.ruby_value.reverse })
-      )
+      nodes.eval(@context).inspect(@context)
     end
   end
 end

data/lib/halunke/lexer.rb

@@ -2,7 +2,7 @@
 # line 1 "lib/halunke/lexer.rl"
 =begin
 
-# line 24 "lib/halunke/lexer.rl"
+# line 36 "lib/halunke/lexer.rl"
 
 =end
 
@@ -19,7 +19,10 @@ self._lexer_actions = [
 	0, 1, 0, 1, 1, 1, 2, 1, 
 	5, 1, 6, 1, 7, 1, 8, 1, 
 	9, 1, 10, 1, 11, 1, 12, 1, 
-	13, 2, 2, 3, 2, 2, 4
+	13, 1, 14, 1, 15, 1, 16, 1, 
+	17, 1, 18, 1, 19, 1, 20, 1, 
+	21, 1, 22, 2, 2, 3, 2, 2, 
+	4
 ]
 
 class << self
@@ -27,7 +30,8 @@ class << self
 	private :_lexer_key_offsets, :_lexer_key_offsets=
 end
 self._lexer_key_offsets = [
-	0, 1, 16, 17, 19
+	0, 1, 3, 26, 27, 32, 34, 37, 
+	39
 ]
 
 class << self
@@ -35,10 +39,12 @@ class << self
 	private :_lexer_trans_keys, :_lexer_trans_keys=
 end
 self._lexer_trans_keys = [
-	34, 32, 34, 40, 41, 43, 45, 95, 
-	9, 13, 48, 57, 65, 90, 97, 122, 
-	34, 48, 57, 95, 65, 90, 97, 122, 
-	0
+	34, 48, 57, 32, 34, 39, 40, 41, 
+	43, 45, 91, 93, 95, 123, 124, 125, 
+	9, 13, 48, 57, 60, 62, 65, 90, 
+	97, 122, 34, 95, 65, 90, 97, 122, 
+	48, 57, 46, 48, 57, 48, 57, 95, 
+	65, 90, 97, 122, 0
 ]
 
 class << self
@@ -46,7 +52,8 @@ class << self
 	private :_lexer_single_lengths, :_lexer_single_lengths=
 end
 self._lexer_single_lengths = [
-	1, 7, 1, 0, 1
+	1, 0, 13, 1, 1, 0, 1, 0, 
+	1
 ]
 
 class << self
@@ -54,7 +61,8 @@ class << self
 	private :_lexer_range_lengths, :_lexer_range_lengths=
 end
 self._lexer_range_lengths = [
-	0, 4, 0, 1, 2
+	0, 1, 5, 0, 2, 1, 1, 1, 
+	2
 ]
 
 class << self
@@ -62,7 +70,8 @@ class << self
 	private :_lexer_index_offsets, :_lexer_index_offsets=
 end
 self._lexer_index_offsets = [
-	0, 2, 14, 16, 18
+	0, 2, 4, 23, 25, 29, 31, 34, 
+	36
 ]
 
 class << self
@@ -70,10 +79,13 @@ class << self
 	private :_lexer_trans_targs, :_lexer_trans_targs=
 end
 self._lexer_trans_targs = [
-	1, 0, 1, 2, 1, 1, 3, 3, 
-	4, 1, 3, 4, 4, 1, 1, 0, 
-	3, 1, 4, 4, 4, 1, 1, 1, 
-	1, 1, 0
+	2, 0, 7, 2, 2, 3, 4, 2, 
+	2, 5, 5, 2, 2, 8, 2, 2, 
+	2, 2, 6, 2, 8, 8, 2, 2, 
+	0, 4, 4, 4, 2, 6, 2, 1, 
+	6, 2, 7, 2, 8, 8, 8, 2, 
+	2, 2, 2, 2, 2, 2, 2, 2, 
+	0
 ]
 
 class << self
@@ -81,10 +93,13 @@ class << self
 	private :_lexer_trans_actions, :_lexer_trans_actions=
 end
 self._lexer_trans_actions = [
-	7, 0, 13, 5, 9, 11, 28, 28, 
-	0, 13, 25, 0, 0, 15, 7, 0, 
-	25, 23, 0, 0, 0, 17, 21, 19, 
-	23, 17, 0
+	7, 0, 0, 37, 25, 5, 46, 9, 
+	11, 0, 0, 17, 19, 0, 13, 21, 
+	15, 25, 5, 23, 0, 0, 27, 7, 
+	0, 43, 43, 43, 41, 5, 33, 0, 
+	5, 29, 0, 29, 0, 0, 0, 31, 
+	39, 37, 35, 41, 33, 29, 29, 31, 
+	0
 ]
 
 class << self
@@ -92,7 +107,8 @@ class << self
 	private :_lexer_to_state_actions, :_lexer_to_state_actions=
 end
 self._lexer_to_state_actions = [
-	0, 1, 0, 0, 0
+	0, 0, 1, 0, 0, 0, 0, 0, 
+	0
 ]
 
 class << self
@@ -100,7 +116,8 @@ class << self
 	private :_lexer_from_state_actions, :_lexer_from_state_actions=
 end
 self._lexer_from_state_actions = [
-	0, 3, 0, 0, 0
+	0, 0, 3, 0, 0, 0, 0, 0, 
+	0
 ]
 
 class << self
@@ -108,17 +125,18 @@ class << self
 	private :_lexer_eof_trans, :_lexer_eof_trans=
 end
 self._lexer_eof_trans = [
-	23, 0, 24, 25, 26
+	41, 42, 0, 43, 44, 45, 47, 47, 
+	48
 ]
 
 class << self
 	attr_accessor :lexer_start
 end
-self.lexer_start = 1;
+self.lexer_start = 2;
 class << self
 	attr_accessor :lexer_first_final
 end
-self.lexer_first_final = 1;
+self.lexer_first_final = 2;
 class << self
 	attr_accessor :lexer_error
 end
@@ -127,10 +145,10 @@ self.lexer_error = -1;
 class << self
 	attr_accessor :lexer_en_main
 end
-self.lexer_en_main = 1;
+self.lexer_en_main = 2;
 
 
-# line 31 "lib/halunke/lexer.rl"
+# line 43 "lib/halunke/lexer.rl"
       @tokens = []
     end
 
@@ -139,7 +157,7 @@ self.lexer_en_main = 1;
       eof = data.length
 
       
-# line 143 "lib/halunke/lexer.rb"
+# line 161 "lib/halunke/lexer.rb"
 begin
 	p ||= 0
 	pe ||= data.length
@@ -149,9 +167,9 @@ begin
 	act = 0
 end
 
-# line 39 "lib/halunke/lexer.rl"
+# line 51 "lib/halunke/lexer.rl"
       
-# line 155 "lib/halunke/lexer.rb"
+# line 173 "lib/halunke/lexer.rb"
 begin
 	_klen, _trans, _keys, _acts, _nacts = nil
 	_goto_level = 0
@@ -181,7 +199,7 @@ begin
 		begin
 ts = p
 		end
-# line 185 "lib/halunke/lexer.rb"
+# line 203 "lib/halunke/lexer.rb"
 		end # from state action switch
 	end
 	if _trigger_goto
@@ -253,73 +271,127 @@ when 2 then
 te = p+1
 		end
 when 3 then
-# line 14 "lib/halunke/lexer.rl"
+# line 22 "lib/halunke/lexer.rl"
 		begin
-act = 1;		end
+act = 3;		end
 when 4 then
-# line 19 "lib/halunke/lexer.rl"
+# line 33 "lib/halunke/lexer.rl"
 		begin
-act = 6;		end
+act = 14;		end
 when 5 then
-# line 15 "lib/halunke/lexer.rl"
+# line 21 "lib/halunke/lexer.rl"
 		begin
 te = p+1
  begin  emit(:STRING, data[ts+1...te-1])  end
 		end
 when 6 then
-# line 17 "lib/halunke/lexer.rl"
+# line 24 "lib/halunke/lexer.rl"
 		begin
 te = p+1
  begin  emit(:OPEN_PAREN, data[ts...te])  end
 		end
 when 7 then
-# line 18 "lib/halunke/lexer.rl"
+# line 25 "lib/halunke/lexer.rl"
 		begin
 te = p+1
  begin  emit(:CLOSE_PAREN, data[ts...te])  end
 		end
 when 8 then
-# line 20 "lib/halunke/lexer.rl"
+# line 26 "lib/halunke/lexer.rl"
 		begin
 te = p+1
+ begin  emit(:OPEN_CURLY, data[ts...te])  end
 		end
 when 9 then
-# line 21 "lib/halunke/lexer.rl"
+# line 27 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  raise "Could not lex '#{ data[ts...te] }'"  end
+ begin  emit(:CLOSE_CURLY, data[ts...te])  end
 		end
 when 10 then
-# line 16 "lib/halunke/lexer.rl"
+# line 28 "lib/halunke/lexer.rl"
+		begin
+te = p+1
+ begin  emit(:OPEN_BRACKET, data[ts...te])  end
+		end
+when 11 then
+# line 29 "lib/halunke/lexer.rl"
+		begin
+te = p+1
+ begin  emit(:CLOSE_BRACKET, data[ts...te])  end
+		end
+when 12 then
+# line 30 "lib/halunke/lexer.rl"
+		begin
+te = p+1
+ begin  emit(:BAR, data[ts...te])  end
+		end
+when 13 then
+# line 31 "lib/halunke/lexer.rl"
+		begin
+te = p+1
+ begin  emit(:OPERATOR, data[ts ... te])  end
+		end
+when 14 then
+# line 32 "lib/halunke/lexer.rl"
+		begin
+te = p+1
+		end
+when 15 then
+# line 33 "lib/halunke/lexer.rl"
+		begin
+te = p+1
+ begin  raise "Could not lex '#{ data[ts...te] }'"  end
+		end
+when 16 then
+# line 20 "lib/halunke/lexer.rl"
+		begin
+te = p
+p = p - 1; begin  emit(:NUMBER, data[ts...te].to_r)  end
+		end
+when 17 then
+# line 23 "lib/halunke/lexer.rl"
 		begin
 te = p
 p = p - 1; begin  emit(:BAREWORD, data[ts...te])  end
 		end
-when 11 then
-# line 21 "lib/halunke/lexer.rl"
+when 18 then
+# line 31 "lib/halunke/lexer.rl"
+		begin
+te = p
+p = p - 1; begin  emit(:OPERATOR, data[ts ... te])  end
+		end
+when 19 then
+# line 33 "lib/halunke/lexer.rl"
 		begin
 te = p
 p = p - 1; begin  raise "Could not lex '#{ data[ts...te] }'"  end
 		end
-when 12 then
-# line 21 "lib/halunke/lexer.rl"
+when 20 then
+# line 20 "lib/halunke/lexer.rl"
+		begin
+ begin p = ((te))-1; end
+ begin  emit(:NUMBER, data[ts...te].to_r)  end
+		end
+when 21 then
+# line 33 "lib/halunke/lexer.rl"
 		begin
  begin p = ((te))-1; end
  begin  raise "Could not lex '#{ data[ts...te] }'"  end
 		end
-when 13 then
+when 22 then
 # line 1 "NONE"
 		begin
 	case act
-	when 1 then
+	when 3 then
 	begin begin p = ((te))-1; end
- emit(:NUMBER, data[ts...te].to_i) end
-	when 6 then
+ emit(:UNASSIGNED_BAREWORD, data[ts+1 ...te]) end
+	when 14 then
 	begin begin p = ((te))-1; end
- emit(:OPERATOR, data[ts ... te]) end
+ raise "Could not lex '#{ data[ts...te] }'" end
 end 
 			end
-# line 323 "lib/halunke/lexer.rb"
+# line 395 "lib/halunke/lexer.rb"
 			end # action switch
 		end
 	end
@@ -339,7 +411,7 @@ when 0 then
 # line 1 "NONE"
 		begin
 ts = nil;		end
-# line 343 "lib/halunke/lexer.rb"
+# line 415 "lib/halunke/lexer.rb"
 		end # to state action switch
 	end
 	if _trigger_goto
@@ -366,7 +438,7 @@ end
 	end
 	end
 
-# line 40 "lib/halunke/lexer.rl"
+# line 52 "lib/halunke/lexer.rl"
 
       @tokens
     end

data/lib/halunke/lexer.rl

@@ -2,20 +2,32 @@
 %%{
   machine lexer;
 
-  number = ('+'|'-')?[0-9]+;
+  number = ('+'|'-')?[0-9]+('.'[0-9]+)?;
   string = '"' [^"]* '"';
+  unassigned_bareword = "'" [a-zA-Z_]+;
   bareword = [a-zA-Z_]+;
   open_paren = '(';
   close_paren = ')';
-  operator = '+' | '-';
+  open_curly = '{';
+  close_curly = '}';
+  open_bracket = '[';
+  close_bracket = ']';
+  bar = "|";
+  operator = '+' | '-' | '<' | '>' | '=';
 
   main := |*
 
-    number => { emit(:NUMBER, data[ts...te].to_i) };
+    number => { emit(:NUMBER, data[ts...te].to_r) };
     string => { emit(:STRING, data[ts+1...te-1]) };
+    unassigned_bareword => { emit(:UNASSIGNED_BAREWORD, data[ts+1 ...te]) };
     bareword => { emit(:BAREWORD, data[ts...te]) };
     open_paren => { emit(:OPEN_PAREN, data[ts...te]) };
     close_paren => { emit(:CLOSE_PAREN, data[ts...te]) };
+    open_curly => { emit(:OPEN_CURLY, data[ts...te]) };
+    close_curly => { emit(:CLOSE_CURLY, data[ts...te]) };
+    open_bracket => { emit(:OPEN_BRACKET, data[ts...te]) };
+    close_bracket => { emit(:CLOSE_BRACKET, data[ts...te]) };
+    bar => { emit(:BAR, data[ts...te]) };
     operator => { emit(:OPERATOR, data[ts ... te]) };
     space;
     any => { raise "Could not lex '#{ data[ts...te] }'" };

data/lib/halunke/nodes.rb

@@ -25,31 +25,69 @@ module Halunke
 
   class NumberNode < LiteralNode
     def eval(context)
-      context[:Number].create_instance(value)
+      context["Number"].create_instance(value)
     end
   end
 
   class StringNode < LiteralNode
     def eval(context)
-      context[:String].create_instance(value)
+      context["String"].create_instance(value)
     end
   end
 
   class BarewordNode < LiteralNode
+    def eval(context)
+      context[value]
+    end
+  end
+
+  UnassignedNode = Struct.new(:node) do
+    def eval(context)
+      raise "Not unassigned: #{node.value} has value #{context[node.value].inspect}" if context.key? node.value
+      context["UnassignedBareword"].create_instance(node.value)
+    end
+  end
+
+  FunctionNode = Struct.new(:params, :body) do
+    def eval(_context)
+      signature = params.nodes.map(&:node).map(&:value)
+
+      HFunction.new(signature, lambda { |context|
+        body.eval(context)
+      })
+    end
+  end
+
+  ArrayNode = Struct.new(:nodes) do
+    def initialize(nodes = [])
+      super(nodes)
+    end
+
+    def eval(context)
+      context["Array"].create_instance(nodes.map { |node| node.eval(context) })
+    end
   end
 
   MessageSendNode = Struct.new(:receiver, :message) do
     def eval(context)
-      receiver.eval(context).receive_message(*message.eval(context))
+      receiver.eval(context).receive_message(context, *message.eval(context))
     end
   end
 
   MessageNode = Struct.new(:nodes) do
     def eval(context)
-      case nodes.length
-      when 1 then [nodes[0].value, []]
-      when 2 then [nodes[0].value, [nodes[1].eval(context)]]
-      else raise "Not implemented"
+      if nodes.length == 1
+        [nodes[0].value, []]
+      elsif nodes.length.even?
+        name = []
+        message = []
+        nodes.each_slice(2) do |name_part, value|
+          name.push(name_part.value)
+          message.push(value.eval(context))
+        end
+        [name.join(" "), message]
+      else
+        raise "Parse Error"
       end
     end
   end

data/lib/halunke/parser.rb

@@ -13,7 +13,7 @@ require "halunke/nodes"
 module Halunke
   class Parser < Racc::Parser
 
-module_eval(<<'...end grammar.y/module_eval...', 'grammar.y', 46)
+module_eval(<<'...end grammar.y/module_eval...', 'grammar.y', 64)
 
 def parse(code)
   @tokens = Lexer.new.tokenize(code)
@@ -27,52 +27,74 @@ end
 ##### State transition tables begin ###
 
 racc_action_table = [
-     6,     7,     8,     5,    10,     9,     6,     7,     8,    12,
-    15,     9,     6,     7,     8,   nil,   nil,     9,     6,     7,
-     8,   nil,   nil,     9 ]
+     8,     9,    10,     6,    13,     5,    20,    11,    12,     7,
+    21,    17,     8,     9,    10,     6,    25,     5,    27,    11,
+    12,     7,     8,     9,    10,     6,    28,     5,    29,    11,
+    12,     7,     8,     9,    10,     6,    25,     5,    31,    11,
+    12,     7,     8,     9,    10,     6,   nil,     5,   nil,    11,
+    12,     7,     8,     9,    10,     6,   nil,     5,   nil,    11,
+    12,     7,     8,     9,    10,     6,   nil,     5,   nil,    11,
+    12,     7 ]
 
 racc_action_check = [
-     0,     0,     0,     0,     1,     0,     5,     5,     5,    10,
-    13,     5,    11,    11,    11,   nil,   nil,    11,    14,    14,
-    14,   nil,   nil,    14 ]
+     5,     5,     5,     5,     1,     5,    13,     5,     5,     5,
+    15,     5,     0,     0,     0,     0,    17,     0,    19,     0,
+     0,     0,     3,     3,     3,     3,    22,     3,    23,     3,
+     3,     3,     6,     6,     6,     6,    24,     6,    26,     6,
+     6,     6,     7,     7,     7,     7,   nil,     7,   nil,     7,
+     7,     7,    16,    16,    16,    16,   nil,    16,   nil,    16,
+    16,    16,    18,    18,    18,    18,   nil,    18,   nil,    18,
+    18,    18 ]
 
 racc_action_pointer = [
-    -2,     4,   nil,   nil,   nil,     4,   nil,   nil,   nil,   nil,
-     9,    10,   nil,     4,    16,   nil,   nil ]
+    10,     4,   nil,    20,   nil,    -2,    30,    40,   nil,   nil,
+   nil,   nil,   nil,     6,   nil,     2,    50,     6,    60,     6,
+   nil,   nil,    18,    15,    26,   nil,    32,   nil,   nil,   nil,
+   nil,   nil ]
 
 racc_action_default = [
-    -1,   -12,    -2,    -3,    -4,   -12,    -8,    -9,   -10,   -11,
-   -12,    -6,    17,   -12,    -6,    -5,    -7 ]
+    -2,   -18,    -1,    -2,    -4,    -2,   -18,    -2,   -13,   -14,
+   -15,   -16,   -17,   -18,    -3,   -18,    -2,   -10,    -2,   -18,
+    32,    -5,   -18,   -18,   -10,   -12,   -18,    -8,    -6,    -9,
+   -11,    -7 ]
 
 racc_goto_table = [
-     4,    13,     1,     2,    16,    11,     3 ]
+     2,    23,     1,    14,    18,    15,    16,    19,    30,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,    22,   nil,    26 ]
 
 racc_goto_check = [
-     4,     5,     1,     2,     5,     4,     3 ]
+     2,     6,     1,     2,     3,     2,     5,     2,     6,   nil,
+   nil,   nil,   nil,   nil,   nil,   nil,     2,   nil,     2 ]
 
 racc_goto_pointer = [
-   nil,     2,     3,     6,     0,   -10 ]
+   nil,     2,     0,    -2,   nil,     1,   -16,   nil ]
 
 racc_goto_default = [
-   nil,   nil,   nil,   nil,    14,   nil ]
+   nil,   nil,   nil,     3,     4,   nil,   nil,    24 ]
 
 racc_reduce_table = [
   0, 0, :racc_error,
-  0, 9, :_reduce_1,
-  1, 9, :_reduce_2,
-  1, 10, :_reduce_3,
-  1, 11, :_reduce_none,
-  4, 11, :_reduce_5,
-  0, 13, :_reduce_6,
-  2, 13, :_reduce_7,
-  1, 12, :_reduce_8,
-  1, 12, :_reduce_9,
-  1, 12, :_reduce_10,
-  1, 12, :_reduce_11 ]
-
-racc_reduce_n = 12
-
-racc_shift_n = 17
+  1, 15, :_reduce_1,
+  0, 16, :_reduce_2,
+  2, 16, :_reduce_3,
+  1, 17, :_reduce_none,
+  3, 17, :_reduce_5,
+  4, 17, :_reduce_6,
+  4, 17, :_reduce_7,
+  3, 17, :_reduce_8,
+  3, 19, :_reduce_9,
+  0, 20, :_reduce_10,
+  2, 20, :_reduce_11,
+  1, 21, :_reduce_12,
+  1, 18, :_reduce_13,
+  1, 18, :_reduce_14,
+  1, 18, :_reduce_15,
+  1, 18, :_reduce_16,
+  1, 18, :_reduce_17 ]
+
+racc_reduce_n = 18
+
+racc_shift_n = 32
 
 racc_token_table = {
   false => 0,
@@ -82,9 +104,15 @@ racc_token_table = {
   :BAREWORD => 4,
   :OPEN_PAREN => 5,
   :CLOSE_PAREN => 6,
-  :OPERATOR => 7 }
+  :OPEN_CURLY => 7,
+  :CLOSE_CURLY => 8,
+  :OPERATOR => 9,
+  :UNASSIGNED_BAREWORD => 10,
+  :OPEN_BRACKET => 11,
+  :CLOSE_BRACKET => 12,
+  :BAR => 13 }
 
-racc_nt_base = 8
+racc_nt_base = 14
 
 racc_use_result_var = true
 
@@ -112,13 +140,21 @@ Racc_token_to_s_table = [
   "BAREWORD",
   "OPEN_PAREN",
   "CLOSE_PAREN",
+  "OPEN_CURLY",
+  "CLOSE_CURLY",
   "OPERATOR",
+  "UNASSIGNED_BAREWORD",
+  "OPEN_BRACKET",
+  "CLOSE_BRACKET",
+  "BAR",
   "$start",
   "Program",
   "Expressions",
   "Expression",
   "Literal",
-  "Literals" ]
+  "Args",
+  "UnassignedBarewords",
+  "UnassignedBareword" ]
 
 Racc_debug_parser = false
 
@@ -126,78 +162,120 @@ Racc_debug_parser = false
 
 # reduce 0 omitted
 
-module_eval(<<'.,.,', 'grammar.y', 11)
+module_eval(<<'.,.,', 'grammar.y', 17)
   def _reduce_1(val, _values, result)
-     result = Nodes.new 
+     result = val[0] 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'grammar.y', 12)
+module_eval(<<'.,.,', 'grammar.y', 21)
   def _reduce_2(val, _values, result)
-     result = val[0] 
+     result = Nodes.new 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'grammar.y', 16)
+module_eval(<<'.,.,', 'grammar.y', 22)
   def _reduce_3(val, _values, result)
-     result = Nodes.new(val) 
+     result = Nodes.new([val[0]]).concat(val[1]) 
     result
   end
 .,.,
 
 # reduce 4 omitted
 
-module_eval(<<'.,.,', 'grammar.y', 21)
+module_eval(<<'.,.,', 'grammar.y', 27)
   def _reduce_5(val, _values, result)
-     result = Halunke::MessageSendNode.new(val[1], MessageNode.new(val[2].nodes)) 
+     result = Halunke::FunctionNode.new(Halunke::ArrayNode.new([]), val[1]) 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'grammar.y', 25)
+module_eval(<<'.,.,', 'grammar.y', 28)
   def _reduce_6(val, _values, result)
-     result = Nodes.new 
+     result = Halunke::FunctionNode.new(val[1], val[2]) 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'grammar.y', 26)
+module_eval(<<'.,.,', 'grammar.y', 29)
   def _reduce_7(val, _values, result)
-     result = Nodes.new([val[0]]).concat(val[1]) 
+     result = Halunke::MessageSendNode.new(val[1], MessageNode.new(val[2].nodes)) 
     result
   end
 .,.,
 
 module_eval(<<'.,.,', 'grammar.y', 30)
   def _reduce_8(val, _values, result)
-     result = NumberNode.new(val[0]) 
+     result = ArrayNode.new(val[1].nodes) 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'grammar.y', 31)
+module_eval(<<'.,.,', 'grammar.y', 34)
   def _reduce_9(val, _values, result)
-     result = StringNode.new(val[0]) 
+     result = Halunke::ArrayNode.new(val[1].nodes) 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'grammar.y', 33)
+module_eval(<<'.,.,', 'grammar.y', 38)
   def _reduce_10(val, _values, result)
-     result = BarewordNode.new(val[0]) 
+     result = Nodes.new 
     result
   end
 .,.,
 
-module_eval(<<'.,.,', 'grammar.y', 34)
+module_eval(<<'.,.,', 'grammar.y', 39)
   def _reduce_11(val, _values, result)
+     result = Nodes.new([val[0]]).concat(val[1]) 
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'grammar.y', 43)
+  def _reduce_12(val, _values, result)
+     result = UnassignedNode.new(BarewordNode.new(val[0])) 
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'grammar.y', 47)
+  def _reduce_13(val, _values, result)
+     result = NumberNode.new(val[0]) 
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'grammar.y', 48)
+  def _reduce_14(val, _values, result)
+     result = StringNode.new(val[0]) 
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'grammar.y', 50)
+  def _reduce_15(val, _values, result)
      result = BarewordNode.new(val[0]) 
     result
   end
 .,.,
 
+module_eval(<<'.,.,', 'grammar.y', 51)
+  def _reduce_16(val, _values, result)
+     result = BarewordNode.new(val[0]) 
+    result
+  end
+.,.,
+
+module_eval(<<'.,.,', 'grammar.y', 52)
+  def _reduce_17(val, _values, result)
+     result = UnassignedNode.new(BarewordNode.new(val[0])) 
+    result
+  end
+.,.,
+
 def _reduce_none(val, _values, result)
   val[0]
 end

data/lib/halunke/runtime.rb

@@ -1,41 +1,222 @@
 # This file is not tested directly right now,
 # because I'm not sure if this structure is good
+# They are all prefixed with H to prevent collisions with Ruby's equivalents
 module Halunke
-  class NativeClass
-    def initialize(methods)
+  class HClass
+    def initialize(name, methods)
+      @name = name
       @runtime_methods = methods
     end
 
-    def create_instance(ruby_value)
-      NativeObject.new(self, ruby_value)
+    def create_instance(ruby_value = nil)
+      HObject.new(self, ruby_value)
     end
 
     def lookup(message)
-      @runtime_methods[message]
+      @runtime_methods.fetch(message)
+    rescue KeyError
+      raise "Class #{@name} has no method to respond to message '#{message}'"
     end
   end
 
-  class NativeObject
+  class HObject
     attr_reader :ruby_value
 
-    def initialize(runtime_class, ruby_value)
+    def initialize(runtime_class, ruby_value = nil)
       @runtime_class = runtime_class
       @ruby_value = ruby_value
     end
 
-    def receive_message(message_name, message_value)
+    def receive_message(context, message_name, message_value)
       m = @runtime_class.lookup(message_name)
-      m.call(self, message_value)
+      m.call(context, [self].concat(message_value))
+    end
+
+    def inspect(context)
+      receive_message(context, "inspect", []).ruby_value
     end
   end
 
-  class NativeFunction
-    def initialize(fn)
+  class HFunction
+    def initialize(signature, fn)
+      @signature = signature
       @fn = fn
     end
 
-    def call(receiver, args)
-      @fn.call(receiver, args)
+    # TODO: This is a little bit of duplication that could probably be cleaned up by making functions proper objects
+    def receive_message(context, message_name, message_value)
+      raise "Class Function has no method to respond to message '#{message_name}'" unless message_name == "call"
+      call(context, message_value[0].ruby_value)
+    end
+
+    def call(parent_context, args)
+      context = parent_context.create_child
+      @signature.zip(args).each do |name, value|
+        context[name.to_s] = value
+      end
+      @fn.call(context)
+    end
+  end
+
+  class HContext
+    def initialize(parent_context = nil)
+      @parent_context = parent_context
+      @context = {}
+    end
+
+    def []=(name, value)
+      @context[name] = value
+    end
+
+    def [](name)
+      @context.fetch(name)
+    rescue KeyError
+      raise "Undefined bareword '#{name}'" if @parent_context.nil?
+      @parent_context[name]
+    end
+
+    def parent
+      @parent_context
+    end
+
+    def key?(name)
+      @context.key?(name)
+    end
+
+    def create_child
+      HContext.new(self)
+    end
+
+    def self.root_context
+      context = new
+
+      context["Number"] = HNumber
+      context["String"] = HString
+      context["Array"] = HArray
+      context["UnassignedBareword"] = HUnassignedBareword
+      context["True"] = HTrue
+      context["False"] = HFalse
+      context["true"] = HTrue.create_instance
+      context["false"] = HFalse.create_instance
+
+      context
     end
   end
+
+  HNumber = HClass.new(
+    "Number",
+    "+" => HFunction.new([:self, :other], lambda { |context|
+      HNumber.create_instance(context["self"].ruby_value + context["other"].ruby_value)
+    }),
+    "<" => HFunction.new([:self, :other], lambda { |context|
+      if context["self"].ruby_value < context["other"].ruby_value
+        HTrue.create_instance
+      else
+        HFalse.create_instance
+      end
+    }),
+    ">" => HFunction.new([:self, :other], lambda { |context|
+      if context["self"].ruby_value > context["other"].ruby_value
+        HTrue.create_instance
+      else
+        HFalse.create_instance
+      end
+    }),
+    "=" => HFunction.new([:self, :other], lambda { |context|
+      if context["self"].ruby_value == context["other"].ruby_value
+        HTrue.create_instance
+      else
+        HFalse.create_instance
+      end
+    }),
+    "inspect" => HFunction.new([:self], lambda { |context|
+      float_value = context["self"].ruby_value.to_f
+      float_value = float_value.to_i if float_value.to_i == float_value
+      HString.create_instance(float_value.to_s)
+    })
+  )
+
+  HString = HClass.new(
+    "String",
+    "reverse" => HFunction.new([:self], lambda { |context|
+      HString.create_instance(context["self"].ruby_value.reverse)
+    }),
+    "replace with" => HFunction.new([:self, :searchword, :replacement], lambda { |context|
+      result = context["self"].ruby_value.gsub(
+        context["searchword"].ruby_value,
+        context["replacement"].ruby_value
+      )
+      HString.create_instance(result)
+    }),
+    "=" => HFunction.new([:self, :other], lambda { |context|
+      if context["self"].ruby_value == context["other"].ruby_value
+        HTrue.create_instance
+      else
+        HFalse.create_instance
+      end
+    }),
+    "inspect" => HFunction.new([:self], lambda { |context|
+      HString.create_instance(context["self"].ruby_value.inspect)
+    })
+  )
+
+  HArray = HClass.new(
+    "Array",
+    "inspect" => HFunction.new([:self], lambda { |context|
+      inspected_members = context["self"].ruby_value.map { |member| member.inspect(context) }
+      HString.create_instance("[#{inspected_members.join(' ')}]")
+    }),
+    "=" => HFunction.new([:self, :other], lambda { |context|
+      return HFalse.create_instance if context["self"].ruby_value.length != context["other"].ruby_value.length
+
+      context["self"].ruby_value.zip(context["other"].ruby_value).map do |a, b|
+        a.receive_message(context.parent, "=", [b])
+      end.reduce(HTrue.create_instance) do |memo, value|
+        memo.receive_message(context, "and", [value])
+      end
+    })
+  )
+
+  HUnassignedBareword = HClass.new(
+    "UnassignedBareword",
+    "=" => HFunction.new([:self, :other], lambda { |context|
+      context.parent[context["self"].ruby_value] = context["other"]
+      HTrue.create_instance
+    }),
+    "inspect" => HFunction.new([:self], lambda { |context|
+      HString.create_instance("'#{context["self"].ruby_value}")
+    })
+  )
+
+  HTrue = HClass.new(
+    "True",
+    "and" => HFunction.new([:self, :other], lambda { |context|
+      context["other"]
+    }),
+    "or" => HFunction.new([:self, :other], lambda { |context|
+      context["self"]
+    }),
+    "then else" => HFunction.new([:self, :true_branch, :false_branch], lambda { |context|
+      context["true_branch"].receive_message(context, "call", [HArray.create_instance([])])
+    }),
+    "inspect" => HFunction.new([:self], lambda {|context|
+      HString.create_instance("true")
+    })
+  )
+
+  HFalse = HClass.new(
+    "False",
+    "and" => HFunction.new([:self, :other], lambda { |context|
+      context["self"]
+    }),
+    "or" => HFunction.new([:self, :other], lambda { |context|
+      context["other"]
+    }),
+    "then else" => HFunction.new([:self, :true_branch, :false_branch], lambda { |context|
+      context["false_branch"].receive_message(context, "call", [HArray.create_instance([])])
+    }),
+    "inspect" => HFunction.new([:self], lambda {|context|
+      HString.create_instance("false")
+    })
+  )
 end

data/lib/halunke/version.rb

@@ -1,3 +1,3 @@
 module Halunke
-  VERSION = "0.1.0"
+  VERSION = "0.2.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: halunke
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.2.0
 platform: ruby
 authors:
 - Lucas Dohmen
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2018-02-03 00:00:00.000000000 Z
+date: 2018-02-09 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler