p-lang 0.1.1 → 0.2.0

data/README.rdoc

@@ -2,8 +2,8 @@
 
 P is a small ('pequena' in portuguese) functional programming language.
 
-  fib = [1| 1],
-        [2| 1],
+  fib = [1| 1];
+        [2| 1];
         [n| fib(n-1) + fib(n-2)]
   
   fib(10)
@@ -12,11 +12,37 @@ P is a small ('pequena' in portuguese) functional programming language.
 
 Functions:
 
-  fib = [1| 1],
-        [2| 1],
+  fib = [1| 1];
+        [2| 1];
         [n| fib(n-1) + fib(n-2)]
   
-  fib(10)
+  fib(10) # => 55
+  
+  # or
+  
+  fib = [1|1]
+  fib = [2|1]
+  fib = [n|fib(n-1)+fib(n-2)]
+  
+  fib(10) # => 55
+
+And more functions:
+
+  f = [x| x*pi] : (pi = 3.14)
+  
+  f(1) # => 3.14
+
+Wildcards
+
+  f = [1, _, x| x*2]
+  
+  f(1,'aaaaa', 10) # => 20
+
+Lists:
+
+  x = '(1,2,3,4)
+  x->head() # => 1
+  x->tail() # => '(2,3,4)
 
 Objects:
 
@@ -34,10 +60,14 @@ Messages:
   
   3->plus2() # => 5
 
+IO:
+
+  x = read() # <= 123
+  print(x) # => 123
+
 == Requirements
 
-* Ruby
-* Treetop
+* Ruby 1.9
 
 == Install
 
@@ -45,7 +75,7 @@ Messages:
 
 == Running
 
-  $ p-lang your-program.p
+  $ p-lang -i your-program.p
 
 == Note on Patches/Pull Requests
  

data/Rakefile

@@ -10,7 +10,6 @@ begin
     gem.email = "igorbonadio@gmail.com"
     gem.homepage = "http://github.com/igorbonadio/p-lang"
     gem.authors = ["Igor Bonadio"]
-    gem.add_dependency "treetop", ">= 0"
     gem.add_development_dependency "shoulda", ">= 0"
     # gem is a Gem::Specification... see http://www.rubygems.org/read/chapter/20 for additional settings
   end

data/VERSION.yml

@@ -1,5 +1,5 @@
 --- 
-:patch: 1
-:build: 
 :major: 0
-:minor: 1
+:minor: 2
+:patch: 0
+:build: 

data/bin/p-lang

@@ -1,17 +1,45 @@
 #!/usr/bin/env ruby
 
+require 'optparse'
+
 require File.join(File.expand_path(File.dirname(__FILE__)), '/../lib/p-lang')
 
-if ARGV[0]
-  @parser = PLangParser.new
-  
-  ast = @parser.parse(File.readlines(ARGV[0]).join(""))
+options = OptionParser.new do|opts|
+  opts.banner = "Usage: p-lang [option]"
+  opts.version = "0.2.0"
 
-  if ast
-    vm = PLang::VM.new(ast.build.collect(&:to_sexp))
-    
+  opts.on("-e", "-e 'COMMAND'", "interp one line of script.") do |command|
+    sa = PLang::Parser::SyntaxAnalyser.new(command)
+    vm = PLang::VM::Interpreter.new(sa.parse)
     vm.execute!
+  end
+
+  opts.on("-i", "-i FILE", "interp a script file.") do |file|
+    begin
+      program = File.readlines(file).join("")
+    rescue
+      puts "No such file (LoadError)"
+      exit
+    end
+    begin
+      sa = PLang::Parser::SyntaxAnalyser.new program
+      vm = PLang::VM::Interpreter.new(sa.parse)
+      vm.execute!
+    rescue Exception => e
+      puts "#{file}:#{e}"
+    end
+  end
+end
+
+argv = ARGV
+begin
+  if ARGV.length > 0
+    if options.parse!(ARGV).length > 0
+      options.parse!(["-h"])
+    end
   else
-    puts @parser.failure_reason
+    options.parse!(["-h"])
   end
+rescue
+  puts "p-lang: unrecognized option"
 end

data/lib/p-lang.rb

@@ -1,31 +1,21 @@
 ROOT_PATH = File.expand_path(File.dirname(__FILE__))
 
-require 'rubygems'
-require 'treetop'
+require File.join(ROOT_PATH, '/parser/lexer')
+require File.join(ROOT_PATH, '/parser/error')
+require File.join(ROOT_PATH, '/parser/token')
+require File.join(ROOT_PATH, '/parser/syntax_analyser')
+require File.join(ROOT_PATH, '/parser/node')
 
-Treetop.load File.join(ROOT_PATH, '/parser/p-lang')
-
-require File.join(ROOT_PATH, '/parser/nodes')
-require File.join(ROOT_PATH, '/parser/ast')
-
-require File.join(ROOT_PATH, '/vm/environment')
-require File.join(ROOT_PATH, '/vm/vm')
-require File.join(ROOT_PATH, '/vm/proc')
+require File.join(ROOT_PATH, '/vm/pfunctions')
+require File.join(ROOT_PATH, '/vm/interpreter')
 require File.join(ROOT_PATH, '/vm/pobject')
-require File.join(ROOT_PATH, '/vm/perror')
-
-require File.join(ROOT_PATH, '/vm/std/pio')
-require File.join(ROOT_PATH, '/vm/std/pstring')
-require File.join(ROOT_PATH, '/vm/std/pinteger')
-require File.join(ROOT_PATH, '/vm/std/pdecimal')
+require File.join(ROOT_PATH, '/vm/environment')
+require File.join(ROOT_PATH, '/vm/plambda')
 
-module PLang  
-  class VM
-    def initialize_global_environment(env)
-      PIO.def_pfunctions(env)
-      PString.def_pfunctions(env)
-      PInteger.def_pfunctions(env)
-      PDecimal.def_pfunctions(env)
-    end
-  end
-end
+require File.join(ROOT_PATH, '/vm/core/pinteger')
+require File.join(ROOT_PATH, '/vm/core/pboolean')
+require File.join(ROOT_PATH, '/vm/core/pdecimal')
+require File.join(ROOT_PATH, '/vm/core/pstring')
+require File.join(ROOT_PATH, '/vm/core/pchar')
+require File.join(ROOT_PATH, '/vm/core/plist')
+require File.join(ROOT_PATH, '/vm/core/pio')

data/lib/parser/error.rb

@@ -0,0 +1,32 @@
+module PLang
+  module Parser
+    class Error
+      def Error.syntax_error(line, src, i, msg)
+        error = "#{line}:sintax error: #{msg}\n#{Error.show_error(src, i)}"
+        raise error
+      end
+
+      private
+
+      def Error.show_error(src, i)
+        _src = src[0,i]
+        src[i,src.length].each_byte do |c|
+          break if c.chr == "\n"
+          _src += c.chr
+        end
+        pos = _src.length - i
+        __src = ""
+        _src.reverse.each_byte do |c|
+          break if c.chr == "\n"
+          __src += c.chr
+        end
+        __src = __src.reverse
+        __src += "\n"
+        (__src.length - pos -1).times do
+          __src += " "
+        end
+        __src += "^"
+      end
+    end
+  end
+end

data/lib/parser/lexer.rb

@@ -0,0 +1,245 @@
+module PLang
+  module Parser
+    class Lexer
+      def initialize(src)
+        @line = 1
+        @src = src+"\n"
+        process()
+      end
+
+      def next_token
+        @fib.resume
+      end
+
+      private
+
+      def process()
+        @i = 0
+        @fib = Fiber.new do
+          while @i < @src.length
+            case @src[@i]
+              when 'a'..'z', 'A'..'Z', '_'
+                @i = identifier
+              when '0'..'9'
+                @i = number
+              when "'"
+                @i = char
+              when '"'
+                @i = string
+              when '['
+                 send_token(:lsquare, '[')
+                 @i += 1
+              when ']'
+                 send_token(:rsquare, ']')
+                 @i += 1
+              when '('
+                 send_token(:lround, '(')
+                @i += 1
+              when ')'
+                 send_token(:rround, ')')
+                @i += 1
+              when '{'
+                 send_token(:lcurly, '{')
+                @i += 1
+              when '}'
+                 send_token(:rcurly, '}')
+                @i += 1
+              when ','
+                 send_token(:comma, ',')
+                @i += 1
+              when ';'
+                 send_token(:semicolon, ';')
+                @i += 1
+              when '|'
+                 send_token(:pipe, '|')
+                @i += 1
+              when ':'
+                 send_token(:colon, ':')
+                @i += 1
+              when '-'
+                @i = sub
+              when '+'
+                 send_token(:add, '+')
+                @i += 1
+              when '*'
+                 send_token(:mul, '*')
+                @i += 1
+              when '/'
+                 send_token(:div, '/')
+                @i += 1
+              when '%'
+                 send_token(:mod, '%')
+                @i += 1
+              when '='
+                @i = equal
+              when '!'
+                @i = diff
+              when '>'
+                @i = major
+              when '<'
+                @i = minor
+              when '#'
+                @i = comment
+              when "\t", "\s"
+                @i += 1
+              when "\n"
+                send_token(:break, "\\n")
+                @line += 1
+                @i += 1
+              when "\r"
+                send_token(:break, "\\r")
+                @line += 1
+                @i += 1
+              else
+                Error.syntax_error(@line, @src, @i, "unknown token '#{@src[@i]}'")
+            end
+          end
+        end
+      end
+
+      def send_token(type, value)
+        token = Token.new(type)
+        token.value = value
+        token.line = @line
+        token.i = @i
+        token.src = @src
+        Fiber.yield token
+      end
+
+      def identifier
+        token = ""
+        while ('a'..'z') === @src[@i] or ('A'..'Z') === @src or ('0'..'9') === @src[@i] or @src[@i] == '_'
+          token += @src[@i]
+          @i += 1
+        end
+        token = token.to_sym
+        case token
+          when :and, :or, :not, :true, :false, :nil, :begin, :if
+             send_token(token, token)
+          else
+             send_token(:id, token)
+        end
+        @i
+      end
+
+      def number
+        token = ""
+        type = :integer
+        while ('0'..'9') === @src[@i]
+          token += @src[@i]
+          @i += 1
+        end
+        if @src[@i] == '.'
+          token += "."
+          type = :decimal
+          @i+=1
+          ok = false
+          while ('0'..'9') === @src[@i]
+            token += @src[@i]
+            @i += 1
+            ok = true
+          end
+          if not ok
+            Error.syntax_error(@line, @src, @i, "invalid decimal number")
+          end
+        end
+        if type == :decimal
+           send_token(:decimal, token.to_f)
+        else
+           send_token(:integer, token.to_i)
+        end
+        @i
+      end
+
+      def char
+        unless @src[@i+2] == "'"
+          if @src[@i+1] == "("
+            send_token(:list, :list)
+            @i+1
+          else
+            Error.syntax_error(@line, @src, @i, "unclosed character literal")
+          end
+        else
+          send_token(:char, @src[@i+1])
+          @i+3
+        end
+      end
+
+      def string
+        token = ""
+        @i += 1
+        while @src[@i] and @src[@i] != '"'
+          token += @src[@i]
+          @i += 1
+        end
+        if @src[@i]
+          send_token(:string, token)
+        else
+          Error.syntax_error(@line, @src, @i - token.length - 1, "unclused string literal")
+        end
+        @i+1
+      end
+
+      def sub
+        if @src[@i+1] == '>'
+           send_token(:arrow, '->')
+          @i += 2
+        else
+           send_token(:sub, '-')
+          @i += 1
+        end
+        @i
+      end
+
+      def equal
+        if @src[@i+1] == '='
+           send_token(:equal, '==')
+          @i += 2
+        else
+           send_token(:let, '=')
+          @i += 1
+        end
+        @i
+      end
+
+      def diff
+        if @src[@i+1] == '='
+           send_token(:diff, '!=')
+          @i += 2
+        else
+          Error.syntax_error(@line, @src, @i, "unexpected '!#{@src[@i+1]}', expecting '!='")
+        end
+        @i
+      end
+
+      def major
+        if @src[@i+1] == '='
+           send_token(:major_equal, '>=')
+          @i += 2
+        else
+           send_token(:major, '>')
+          @i += 1
+        end
+        @i
+      end
+
+      def minor
+        if @src[@i+1] == '='
+           send_token(:minor_equal, '<=')
+          @i += 2
+        else
+           send_token(:minor, '<')
+          @i += 1
+        end
+        @i
+      end
+
+      def comment
+        while @src[@i] != "\n" and @src[@i] != "\r"
+          @i += 1
+        end
+        @i
+      end
+    end
+  end
+end