ajlisp 0.0.0

data/LICENSE

@@ -0,0 +1,23 @@
+
+Copyright (C) 2013, Angel J Lopez
+http://www.ajlopez.com
+http://ajlopez.wordpress.com
+http://twitter.com/ajlopez
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,33 @@
+# AjLispRb
+
+AjLispRb is a Lisp interpreter written in Ruby.
+
+There are other versions in C# and Javascript.
+
+## Posts
+
+[AjLisp On Ruby (1) Structure, Classes And Tests](http://ajlopez.wordpress.com/2011/12/02/ajlisp-on-ruby-1-structure-classes-and-tests/)
+
+## License
+
+MIT License
+
+Copyright (C) 2011, Angel J Lopez
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/ajlisp.gemspec

@@ -0,0 +1,20 @@
+Gem::Specification.new do |s|
+  s.name        = 'ajlisp'
+  s.version     = '0.0.0'
+  s.date        = '2013-03-09'
+  s.summary     = "AjLisp Interpreter"
+  s.description = "Lisp interpreter that can access and invoke Ruby libraries and classes"
+  s.authors     = ["Angel 'Java' Lopez"]
+  s.email       = 'webmaster@ajlopez.com'
+  s.files       = ["lib/ajlisp.rb"]
+  s.homepage    =
+    'http://github.com/ajlopez/AjLispRuby'
+  s.files = Dir[
+    "LICENSE",
+    "README.md",
+    "lib/**/*.rb",
+    "lib/**/*.lsp",
+    "*.gemspec",
+    "test/*.*"
+  ]
+end

data/lib/ajlisp.rb

@@ -0,0 +1,128 @@
+
+require 'ajlisp/list.rb'
+require 'ajlisp/named_atom.rb'
+require 'ajlisp/context.rb'
+require 'ajlisp/string_source.rb'
+require 'ajlisp/file_source.rb'
+require 'ajlisp/input_source.rb'
+require 'ajlisp/token.rb'
+require 'ajlisp/lexer.rb'
+require 'ajlisp/parser.rb'
+
+require 'ajlisp/primitive.rb'
+require 'ajlisp/primitive_first.rb'
+require 'ajlisp/primitive_rest.rb'
+require 'ajlisp/primitive_cons.rb'
+require 'ajlisp/primitive_list.rb'
+require 'ajlisp/primitive_closure.rb'
+
+require 'ajlisp/dot_verb_atom.rb'
+require 'ajlisp/at_constant_atom.rb'
+require 'ajlisp/nil_atom.rb'
+
+require 'ajlisp/fprimitive.rb'
+require 'ajlisp/fprimitive_quote.rb'
+require 'ajlisp/fprimitive_lambda.rb'
+require 'ajlisp/fprimitive_flambda.rb'
+require 'ajlisp/fprimitive_mlambda.rb'
+require 'ajlisp/fprimitive_let.rb'
+require 'ajlisp/fprimitive_closure.rb'
+require 'ajlisp/fprimitive_macro_closure.rb'
+require 'ajlisp/fprimitive_define.rb'
+require 'ajlisp/fprimitive_do.rb'
+require 'ajlisp/fprimitive_if.rb'
+require 'ajlisp/fprimitive_definef.rb'
+require 'ajlisp/fprimitive_definem.rb'
+
+require 'ajlisp/primitive_add.rb'
+require 'ajlisp/primitive_subtract.rb'
+require 'ajlisp/primitive_multiply.rb'
+require 'ajlisp/primitive_divide.rb'
+
+require 'ajlisp/primitive_comparisons.rb'
+require 'ajlisp/primitive_predicates.rb'
+
+require 'ajlisp/primitive_load.rb'
+
+require 'ajlisp/primitive_eval.rb'
+
+module AjLisp
+
+@context = Context.new
+
+@context.setValue :quote, FPrimitiveQuote.instance
+@context.setValue :first, PrimitiveFirst.instance
+@context.setValue :rest, PrimitiveRest.instance
+@context.setValue :cons, PrimitiveCons.instance
+@context.setValue :list, PrimitiveList.instance
+@context.setValue :lambda, FPrimitiveLambda.instance
+@context.setValue :flambda, FPrimitiveFLambda.instance
+@context.setValue :mlambda, FPrimitiveMLambda.instance
+@context.setValue :let, FPrimitiveLet.instance
+@context.setValue :define, FPrimitiveDefine.instance
+@context.setValue :do, FPrimitiveDo.instance
+@context.setValue :if, FPrimitiveIf.instance
+@context.setValue :definef, FPrimitiveDefinef.instance
+@context.setValue :definem, FPrimitiveDefinem.instance
+@context.setValue :load, PrimitiveLoad.instance
+@context.setValue :eval, PrimitiveEval.instance
+
+@context.setValue :nil, NilAtom.instance
+
+@context.setValue :+, PrimitiveAdd.instance
+@context.setValue :-, PrimitiveSubtract.instance
+@context.setValue :*, PrimitiveMultiply.instance
+@context.setValue :/, PrimitiveDivide.instance
+
+@context.setValue :"=", PrimitiveEqual.instance
+@context.setValue :"<", PrimitiveLess.instance
+@context.setValue :">", PrimitiveGreater.instance
+@context.setValue :"<=", PrimitiveLessEqual.instance
+@context.setValue :">=", PrimitiveGreaterEqual.instance
+
+@context.setValue :"nil?", PrimitiveNilPredicate.instance
+@context.setValue :"atom?", PrimitiveAtomPredicate.instance
+@context.setValue :"list?", PrimitiveListPredicate.instance
+
+def self.context
+    return @context
+end
+
+def self.evaluate(context, item)
+    if item.is_a? List or item.is_a? NamedAtom
+        return item.evaluate(context)
+    end
+        
+    return item	
+end
+
+def self.to_s(item)
+    if item.is_a? List or item.is_a? NamedAtom
+        return item.to_s
+    end
+    
+    if item.is_a? String
+        return '"' + item + '"'
+    end 
+    
+    if item == nil
+        return "nil"
+    end
+    
+    return item.to_s
+end
+
+def self.repl
+    source = InputSource.new
+    lexer = Lexer.new(source)
+    parser = Parser.new(lexer)
+
+    expr = parser.parseExpression
+   
+    while expr
+        puts evaluate(self.context, expr)
+        expr = parser.parseExpression        
+    end 
+end
+
+end

data/lib/ajlisp/at_constant_atom.rb

@@ -0,0 +1,30 @@
+
+module AjLisp
+
+class AtConstantAtom < NamedAtom
+    attr_reader :constant
+    
+    def initialize(name)
+        super(name)
+        @constant = name[1,name.length]
+        words = @constant.split("::")
+
+        @symbols = []
+        
+        words.each do |word|
+            @symbols.push word.intern
+        end
+    end
+    
+    def evaluate(context)
+        result = Object
+        
+        @symbols.each do |symbol|
+            result = result.const_get symbol
+        end
+        
+        return result
+    end
+end
+
+end

data/lib/ajlisp/context.rb

@@ -0,0 +1,27 @@
+
+module AjLisp
+
+class Context
+	def initialize(parent = nil)
+		@parent = parent
+		@values = Hash.new
+	end
+	
+	def getValue(name)
+		if @values.has_key?(name)
+			return @values[name]
+		end
+		
+		if @parent != nil
+			return @parent.getValue(name)
+		end
+		
+		return nil
+	end
+	
+	def setValue(name, value)
+		@values[name] = value
+	end
+end
+
+end

data/lib/ajlisp/dot_verb_atom.rb

@@ -0,0 +1,31 @@
+
+module AjLisp
+
+class DotVerbAtom < NamedAtom
+    attr_reader :symbol
+    
+    def initialize(name)
+        super(name)
+        @symbol = name[1,name.length].intern
+        @method = PrimitiveNativeMethod.new @symbol
+    end
+    
+    def evaluate(context)
+        return @method
+    end
+end
+
+class PrimitiveNativeMethod < Primitive
+    attr_reader :symbol
+    
+    def initialize(symbol)
+        @symbol = symbol
+    end
+    
+    def apply(context, args)
+        target = args.shift
+        target.send(@symbol, *args)
+    end
+end
+
+end

data/lib/ajlisp/file_source.rb

@@ -0,0 +1,10 @@
+
+module AjLisp
+
+class FileSource < StringSource
+	def initialize(filename)
+        super(IO.read(filename))
+	end 
+end
+
+end

data/lib/ajlisp/fprimitive.rb

@@ -0,0 +1,23 @@
+
+module AjLisp
+
+class FPrimitive
+	def evaluate(context, list)
+        if list == nil
+            return self
+        end
+    
+		args = []
+		rest = list.rest
+		
+		while rest != nil
+			args.push(rest.first)
+			rest = rest.rest
+		end
+		
+		return apply(context, args)
+	end
+end
+
+end
+

data/lib/ajlisp/fprimitive_closure.rb

@@ -0,0 +1,48 @@
+
+module AjLisp
+
+class FPrimitiveClosure < FPrimitive
+    attr_reader :arguments
+    attr_reader :body
+    attr_reader :context
+    
+    def initialize(arguments, body, context=nil)
+        @arguments = arguments
+        @body = body
+        @context = context
+    end
+    
+    def apply(context, args)
+        newcontext = context
+        
+        if @context then
+            newcontext = @context
+        end
+    
+        if @arguments
+            newcontext = AjLisp::Context.new newcontext
+            
+            if @arguments.is_a? NamedAtom
+                newcontext.setValue @arguments.name, AjLisp::List.make(args)
+            else
+                names = @arguments
+            
+                args.each do |arg|
+                    name = names.first.name
+                    newcontext.setValue name, arg
+                    names = names.rest
+                end
+            end
+        end
+        
+        result = nil
+
+        @body.each do |form|
+            result = AjLisp::evaluate newcontext, form
+        end
+        
+        return result
+    end
+end
+
+end

data/lib/ajlisp/fprimitive_define.rb

@@ -0,0 +1,30 @@
+
+module AjLisp
+
+class FPrimitiveDefine < FPrimitive	
+    private_class_method :new
+    
+    @@instance = nil
+
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+    
+    def apply(context, args)
+        atom = args[0]
+		
+		if args.length > 2
+			args.shift
+			arguments = args.shift
+			value = AjLisp::PrimitiveClosure.new arguments, args
+		else
+			value = AjLisp::evaluate(context, args[1])
+		end
+
+		AjLisp::context.setValue atom.name, value
+		return value
+    end
+end
+
+end

data/lib/ajlisp/fprimitive_definef.rb

@@ -0,0 +1,30 @@
+
+module AjLisp
+
+class FPrimitiveDefinef < FPrimitive	
+    private_class_method :new
+    
+    @@instance = nil
+
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+    
+    def apply(context, args)
+        atom = args[0]
+		
+		if args.length > 2
+			args.shift
+			arguments = args.shift
+			value = AjLisp::FPrimitiveClosure.new arguments, args
+		else
+			value = AjLisp::evaluate(context, args[1])
+		end
+
+		AjLisp::context.setValue atom.name, value
+		return value
+    end
+end
+
+end