halunke 0.2.0 → 0.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: b621079e4a57b2e4911784de31327cff6fa30a9b
-  data.tar.gz: 3980f6df3d46e58cb6ee08f5a7b7654bb629dbbc
+  metadata.gz: df4242816f16240f4ecb71b5a1412b7e0e6a2345
+  data.tar.gz: f114fb281e8beb82bc8ed50f81f6087e91a6409b
 SHA512:
-  metadata.gz: 218389d784fd2ba9332c3c24b7cb18079d529dfda97f9cdfbd060ba0b1a3be6fd02418da2ae0c1483e038ca59e5fdeba047111c831c2d00817901cf48ec663b5
-  data.tar.gz: e16520427aca78a5277fce868353cd73d96f2e65653da777b403fda407957ae2099c0c00e10cedeeb11dc9ac4378f44457fe29ebd5c3a6cec26a9bfcd90683a1
+  metadata.gz: 34027218c4f018c28843168c0b19d2de85922c5a420c84f712ef3f2cee061399049875dfe6bf5985bd4ee75cb2fd74e23672c90ed3c0447094e9e2c37ba4c093
+  data.tar.gz: 49b490349bf99ef366206e495aaa494c438ef5c83e68d176f32673b67ab298716c51f0951ab4aff36bf03ace191982cb53a5880155a410b3b238c9a62841fc25

data/Gemfile.lock

@@ -1,13 +1,15 @@
 PATH
   remote: .
   specs:
-    halunke (0.2.0)
+    halunke (0.3.0)
+      rack (~> 2.0.4)
 
 GEM
   remote: https://rubygems.org/
   specs:
     minitest (5.11.3)
     racc (1.4.14)
+    rack (2.0.4)
     rake (12.3.0)
 
 PLATFORMS

data/examples/hello.hal

@@ -0,0 +1,19 @@
+(Class new 'Greeter
+  attributes ["name"]
+  methods @[
+    "greet" { |'self|
+      ("Hello " + (self name))
+    }
+    "name" { |'self|
+      (self @ "name" else "<Unknown>")
+    }
+  ]
+  class_methods @[
+    "for" { |'self 'name|
+      (self new @["name" name])
+    }
+  ]
+)
+
+('greeter = (Greeter for "World"))
+(stdout puts (greeter greet))

data/examples/web.hal

@@ -0,0 +1,20 @@
+(Class new 'App
+  methods @[
+    "call" { |'self 'env|
+      [
+        "200"
+        @[ "Content-Type" "text/html" ]
+        [
+          "<h1>Halunke!</h1>"
+          "<ul>"
+          (("<li>Request Method: " + (env @ "request_method" else "I dont know")) + "</li>")
+          (("<li>Path: " + (env @ "path" else "/")) + "</li>")
+          (("<li>Query: " + (env @ "query" else "")) + "</li>")
+          "</ul>"
+        ]
+      ]
+    }
+  ]
+)
+
+(web run (App new) on "0.0.0.0:3000")

data/exe/halunke

@@ -5,12 +5,16 @@ require "readline"
 
 interpreter = Halunke::Interpreter.new
 
-puts "Halunke REPL. Ctrl+d to quit"
-while (line = Readline.readline(">> ", true))
-  begin
-    value = interpreter.eval(line)
-    puts "=> #{value}"
-  rescue Exception => e
-    puts "An Error Occurred: #{e.message}"
+if ARGV.length == 0
+  puts "Halunke REPL. Ctrl+d to quit"
+  while (line = Readline.readline(">> ", true))
+    begin
+      value = interpreter.eval(line)
+      puts "=> #{value}"
+    rescue Exception => e
+      puts "An Error Occurred: #{e.message}"
+    end
   end
+else
+  interpreter.eval(File.read(ARGV[0]))
 end

data/halunke.gemspec

@@ -21,6 +21,8 @@ Gem::Specification.new do |spec|
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]
 
+  spec.add_dependency "rack", "~> 2.0.4"
+
   spec.add_development_dependency "bundler", "~> 1.16.1"
   spec.add_development_dependency "rake", "~> 12.3.0"
   spec.add_development_dependency "minitest", "~> 5.11.3"

data/lib/halunke/grammar.y

@@ -7,52 +7,36 @@ token OPEN_PAREN
 token CLOSE_PAREN
 token OPEN_CURLY
 token CLOSE_CURLY
-token OPERATOR
 token UNASSIGNED_BAREWORD
 token OPEN_BRACKET
 token CLOSE_BRACKET
+token OPEN_DICT_BRACKET
 token BAR
+token START_COMMENT
+token END_COMMENT
 
 rule
   Program:
-    Expressions  { result = val[0] }
+    Expressions { result = val[0] }
   ;
 
   Expressions:
-    /* empty */            { result = Nodes.new }
-  | Expression Expressions { result = Nodes.new([val[0]]).concat(val[1]) }
+    /* empty */            { result = Nodes.new([]) }
+  | Expression Expressions { result = Nodes.new([val[0]].concat(val[1].nodes)) }
   ;
 
   Expression:
-    Literal
-  | 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) }
+    NUMBER                                                 { result = NumberNode.new(val[0]) }
+  | STRING                                                 { result = StringNode.new(val[0]) }
+  | BAREWORD                                               { result = BarewordNode.new(val[0]) }
+  | UNASSIGNED_BAREWORD                                    { result = UnassignedNode.new(BarewordNode.new(val[0])) }
+  | START_COMMENT Expressions END_COMMENT                  { result = Nodes.new([]) }
+  | OPEN_CURLY Expressions CLOSE_CURLY                     { result = FunctionNode.new(ArrayNode.new([]), val[1]) }
+  | OPEN_CURLY BAR Expressions BAR Expressions CLOSE_CURLY { result = FunctionNode.new(val[2].to_array, val[4]) }
+  | OPEN_PAREN Expression Expressions CLOSE_PAREN          { result = MessageSendNode.new(val[1], val[2].to_message) }
+  | OPEN_BRACKET Expressions CLOSE_BRACKET                 { result = val[1].to_array }
+  | OPEN_DICT_BRACKET Expressions CLOSE_BRACKET            { result = val[1].to_dictionary }
   ;
-
-  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:
-    NUMBER   { result = NumberNode.new(val[0]) }
-  | STRING   { result = StringNode.new(val[0]) }
-  /* 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
 
 ---- header

data/lib/halunke/interpreter.rb

@@ -1,15 +1,69 @@
+require "pathname"
 require "halunke/parser"
+require "halunke/runtime"
 
 module Halunke
   class Interpreter
+    attr_reader :root_context
+
     def initialize
       @parser = Parser.new
-      @context = HContext.root_context
+      @root_context = Context.new
+
+      @root_context["Class"] = Halunke::Runtime::HClass
+      @root_context["Function"] = Halunke::Runtime::HFunction
+      @root_context["Number"] = Halunke::Runtime::HNumber
+      @root_context["String"] = Halunke::Runtime::HString
+      @root_context["Array"] = Halunke::Runtime::HArray
+      @root_context["Dictionary"] = Halunke::Runtime::HDictionary
+      @root_context["UnassignedBareword"] = Halunke::Runtime::HUnassignedBareword
+      @root_context["stdout"] = Halunke::Runtime::HStdout.create_instance
+      @root_context["web"] = Halunke::Runtime::HWeb.create_instance
+
+      preludes.each do |prelude|
+        self.eval(prelude)
+      end
     end
 
     def eval(str)
       nodes = @parser.parse(str)
-      nodes.eval(@context).inspect(@context)
+      nodes.eval(root_context).inspect(root_context)
+    end
+
+    def preludes
+      [
+        Pathname.new(__dir__).join("runtime", "true.hal").read,
+        Pathname.new(__dir__).join("runtime", "false.hal").read
+      ]
+    end
+
+    class Context
+      attr_reader :parent
+
+      def initialize(parent = nil)
+        @parent = parent
+        @context = {}
+      end
+
+      def []=(name, value)
+        raise "Bareword #{name} is already assigned" if key? name
+        @context[name] = value
+      end
+
+      def [](name)
+        @context.fetch(name)
+      rescue KeyError
+        raise "Bareword '#{name} is unassigned'" if @parent.nil?
+        @parent[name]
+      end
+
+      def key?(name)
+        @context.key?(name)
+      end
+
+      def create_child
+        Context.new(self)
+      end
     end
   end
 end

data/lib/halunke/lexer.rb

@@ -2,7 +2,7 @@
 # line 1 "lib/halunke/lexer.rl"
 =begin
 
-# line 36 "lib/halunke/lexer.rl"
+# line 40 "lib/halunke/lexer.rl"
 
 =end
 
@@ -21,8 +21,8 @@ self._lexer_actions = [
 	9, 1, 10, 1, 11, 1, 12, 1, 
 	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
+	21, 1, 22, 1, 23, 1, 24, 2, 
+	2, 3, 2, 2, 4
 ]
 
 class << self
@@ -30,8 +30,8 @@ class << self
 	private :_lexer_key_offsets, :_lexer_key_offsets=
 end
 self._lexer_key_offsets = [
-	0, 1, 3, 26, 27, 32, 34, 37, 
-	39
+	0, 1, 3, 29, 30, 35, 36, 38, 
+	41, 43, 44, 45
 ]
 
 class << self
@@ -40,11 +40,12 @@ class << self
 end
 self._lexer_trans_keys = [
 	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
+	42, 43, 45, 47, 64, 91, 93, 95, 
+	123, 124, 125, 9, 13, 48, 57, 60, 
+	62, 65, 90, 97, 122, 34, 95, 65, 
+	90, 97, 122, 47, 48, 57, 46, 48, 
+	57, 48, 57, 42, 91, 95, 65, 90, 
+	97, 122, 0
 ]
 
 class << self
@@ -52,8 +53,8 @@ class << self
 	private :_lexer_single_lengths, :_lexer_single_lengths=
 end
 self._lexer_single_lengths = [
-	1, 0, 13, 1, 1, 0, 1, 0, 
-	1
+	1, 0, 16, 1, 1, 1, 0, 1, 
+	0, 1, 1, 1
 ]
 
 class << self
@@ -61,8 +62,8 @@ class << self
 	private :_lexer_range_lengths, :_lexer_range_lengths=
 end
 self._lexer_range_lengths = [
-	0, 1, 5, 0, 2, 1, 1, 1, 
-	2
+	0, 1, 5, 0, 2, 0, 1, 1, 
+	1, 0, 0, 2
 ]
 
 class << self
@@ -70,8 +71,8 @@ class << self
 	private :_lexer_index_offsets, :_lexer_index_offsets=
 end
 self._lexer_index_offsets = [
-	0, 2, 4, 23, 25, 29, 31, 34, 
-	36
+	0, 2, 4, 26, 28, 32, 34, 36, 
+	39, 41, 43, 45
 ]
 
 class << self
@@ -79,13 +80,14 @@ class << self
 	private :_lexer_trans_targs, :_lexer_trans_targs=
 end
 self._lexer_trans_targs = [
-	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, 0, 8, 2, 2, 3, 4, 2, 
+	2, 5, 6, 6, 9, 10, 2, 2, 
+	11, 2, 2, 2, 2, 7, 2, 11, 
+	11, 2, 2, 0, 4, 4, 4, 2, 
+	2, 2, 7, 2, 1, 7, 2, 8, 
+	2, 2, 2, 2, 2, 11, 11, 11, 
 	2, 2, 2, 2, 2, 2, 2, 2, 
-	0
+	2, 2, 2, 2, 0
 ]
 
 class << self
@@ -93,13 +95,14 @@ class << self
 	private :_lexer_trans_actions, :_lexer_trans_actions=
 end
 self._lexer_trans_actions = [
-	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
+	7, 0, 0, 41, 31, 5, 50, 11, 
+	13, 0, 0, 0, 0, 0, 19, 21, 
+	0, 15, 29, 17, 31, 5, 9, 0, 
+	0, 33, 7, 0, 47, 47, 47, 45, 
+	27, 39, 5, 37, 0, 5, 35, 0, 
+	35, 25, 39, 23, 37, 0, 0, 0, 
+	37, 43, 41, 39, 45, 39, 37, 35, 
+	35, 39, 37, 37, 0
 ]
 
 class << self
@@ -108,7 +111,7 @@ class << self
 end
 self._lexer_to_state_actions = [
 	0, 0, 1, 0, 0, 0, 0, 0, 
-	0
+	0, 0, 0, 0
 ]
 
 class << self
@@ -117,7 +120,7 @@ class << self
 end
 self._lexer_from_state_actions = [
 	0, 0, 3, 0, 0, 0, 0, 0, 
-	0
+	0, 0, 0, 0
 ]
 
 class << self
@@ -125,8 +128,8 @@ class << self
 	private :_lexer_eof_trans, :_lexer_eof_trans=
 end
 self._lexer_eof_trans = [
-	41, 42, 0, 43, 44, 45, 47, 47, 
-	48
+	50, 51, 0, 58, 53, 58, 60, 57, 
+	57, 58, 60, 60
 ]
 
 class << self
@@ -148,7 +151,7 @@ end
 self.lexer_en_main = 2;
 
 
-# line 43 "lib/halunke/lexer.rl"
+# line 47 "lib/halunke/lexer.rl"
       @tokens = []
     end
 
@@ -157,7 +160,7 @@ self.lexer_en_main = 2;
       eof = data.length
 
       
-# line 161 "lib/halunke/lexer.rb"
+# line 164 "lib/halunke/lexer.rb"
 begin
 	p ||= 0
 	pe ||= data.length
@@ -167,9 +170,9 @@ begin
 	act = 0
 end
 
-# line 51 "lib/halunke/lexer.rl"
+# line 55 "lib/halunke/lexer.rl"
       
-# line 173 "lib/halunke/lexer.rb"
+# line 176 "lib/halunke/lexer.rb"
 begin
 	_klen, _trans, _keys, _acts, _nacts = nil
 	_goto_level = 0
@@ -199,7 +202,7 @@ begin
 		begin
 ts = p
 		end
-# line 203 "lib/halunke/lexer.rb"
+# line 206 "lib/halunke/lexer.rb"
 		end # from state action switch
 	end
 	if _trigger_goto
@@ -271,127 +274,139 @@ when 2 then
 te = p+1
 		end
 when 3 then
-# line 22 "lib/halunke/lexer.rl"
+# line 24 "lib/halunke/lexer.rl"
 		begin
 act = 3;		end
 when 4 then
-# line 33 "lib/halunke/lexer.rl"
+# line 37 "lib/halunke/lexer.rl"
 		begin
-act = 14;		end
+act = 16;		end
 when 5 then
-# line 21 "lib/halunke/lexer.rl"
+# line 23 "lib/halunke/lexer.rl"
 		begin
 te = p+1
  begin  emit(:STRING, data[ts+1...te-1])  end
 		end
 when 6 then
-# line 24 "lib/halunke/lexer.rl"
+# line 25 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  emit(:OPEN_PAREN, data[ts...te])  end
+ begin  emit(:BAREWORD, data[ts...te])  end
 		end
 when 7 then
-# line 25 "lib/halunke/lexer.rl"
+# line 26 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  emit(:CLOSE_PAREN, data[ts...te])  end
+ begin  emit(:OPEN_PAREN, data[ts...te])  end
 		end
 when 8 then
-# line 26 "lib/halunke/lexer.rl"
+# line 27 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  emit(:OPEN_CURLY, data[ts...te])  end
+ begin  emit(:CLOSE_PAREN, data[ts...te])  end
 		end
 when 9 then
-# line 27 "lib/halunke/lexer.rl"
+# line 28 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  emit(:CLOSE_CURLY, data[ts...te])  end
+ begin  emit(:OPEN_CURLY, data[ts...te])  end
 		end
 when 10 then
-# line 28 "lib/halunke/lexer.rl"
+# line 29 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  emit(:OPEN_BRACKET, data[ts...te])  end
+ begin  emit(:CLOSE_CURLY, data[ts...te])  end
 		end
 when 11 then
-# line 29 "lib/halunke/lexer.rl"
+# line 30 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  emit(:CLOSE_BRACKET, data[ts...te])  end
+ begin  emit(:OPEN_BRACKET, data[ts...te])  end
 		end
 when 12 then
-# line 30 "lib/halunke/lexer.rl"
+# line 31 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  emit(:BAR, data[ts...te])  end
+ begin  emit(:CLOSE_BRACKET, data[ts...te])  end
 		end
 when 13 then
-# line 31 "lib/halunke/lexer.rl"
+# line 32 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  emit(:OPERATOR, data[ts ... te])  end
+ begin  emit(:OPEN_DICT_BRACKET, data[ts...te])  end
 		end
 when 14 then
-# line 32 "lib/halunke/lexer.rl"
+# line 33 "lib/halunke/lexer.rl"
 		begin
 te = p+1
+ begin  emit(:START_COMMENT, data[ts...te])  end
 		end
 when 15 then
-# line 33 "lib/halunke/lexer.rl"
+# line 34 "lib/halunke/lexer.rl"
 		begin
 te = p+1
- begin  raise "Could not lex '#{ data[ts...te] }'"  end
+ begin  emit(:END_COMMENT, data[ts...te])  end
 		end
 when 16 then
-# line 20 "lib/halunke/lexer.rl"
+# line 35 "lib/halunke/lexer.rl"
 		begin
-te = p
-p = p - 1; begin  emit(:NUMBER, data[ts...te].to_r)  end
+te = p+1
+ begin  emit(:BAR, data[ts...te])  end
 		end
 when 17 then
-# line 23 "lib/halunke/lexer.rl"
+# line 36 "lib/halunke/lexer.rl"
 		begin
-te = p
-p = p - 1; begin  emit(:BAREWORD, data[ts...te])  end
+te = p+1
 		end
 when 18 then
-# line 31 "lib/halunke/lexer.rl"
+# line 37 "lib/halunke/lexer.rl"
 		begin
-te = p
-p = p - 1; begin  emit(:OPERATOR, data[ts ... te])  end
+te = p+1
+ begin  raise "Could not lex '#{ data[ts...te] }'"  end
 		end
 when 19 then
-# line 33 "lib/halunke/lexer.rl"
+# line 22 "lib/halunke/lexer.rl"
 		begin
 te = p
-p = p - 1; begin  raise "Could not lex '#{ data[ts...te] }'"  end
+p = p - 1; begin  emit(:NUMBER, data[ts...te].to_r)  end
 		end
 when 20 then
-# line 20 "lib/halunke/lexer.rl"
+# line 25 "lib/halunke/lexer.rl"
+		begin
+te = p
+p = p - 1; begin  emit(:BAREWORD, data[ts...te])  end
+		end
+when 21 then
+# line 37 "lib/halunke/lexer.rl"
+		begin
+te = p
+p = p - 1; begin  raise "Could not lex '#{ data[ts...te] }'"  end
+		end
+when 22 then
+# line 22 "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"
+when 23 then
+# line 37 "lib/halunke/lexer.rl"
 		begin
  begin p = ((te))-1; end
  begin  raise "Could not lex '#{ data[ts...te] }'"  end
 		end
-when 22 then
+when 24 then
 # line 1 "NONE"
 		begin
 	case act
 	when 3 then
 	begin begin p = ((te))-1; end
  emit(:UNASSIGNED_BAREWORD, data[ts+1 ...te]) end
-	when 14 then
+	when 16 then
 	begin begin p = ((te))-1; end
  raise "Could not lex '#{ data[ts...te] }'" end
 end 
 			end
-# line 395 "lib/halunke/lexer.rb"
+# line 410 "lib/halunke/lexer.rb"
 			end # action switch
 		end
 	end
@@ -411,7 +426,7 @@ when 0 then
 # line 1 "NONE"
 		begin
 ts = nil;		end
-# line 415 "lib/halunke/lexer.rb"
+# line 430 "lib/halunke/lexer.rb"
 		end # to state action switch
 	end
 	if _trigger_goto
@@ -438,7 +453,7 @@ end
 	end
 	end
 
-# line 52 "lib/halunke/lexer.rl"
+# line 56 "lib/halunke/lexer.rl"
 
       @tokens
     end