ajlisp 0.0.0

data/lib/ajlisp/fprimitive_definem.rb

@@ -0,0 +1,30 @@
+
+module AjLisp
+
+class FPrimitiveDefinem < 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::FPrimitiveMacroClosure.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_do.rb

@@ -0,0 +1,25 @@
+
+module AjLisp
+
+class FPrimitiveDo < FPrimitive	
+    private_class_method :new
+    
+    @@instance = nil
+
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+    
+    def apply(context, args)
+		result = nil
+		
+		args.each do |arg|
+			result = AjLisp::evaluate context, arg
+		end
+
+		return result
+    end
+end
+
+end

data/lib/ajlisp/fprimitive_flambda.rb

@@ -0,0 +1,21 @@
+
+module AjLisp
+
+class FPrimitiveFLambda < FPrimitive	
+    private_class_method :new
+    
+    @@instance = nil
+
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+    
+    def apply(context, args)
+        arguments = args[0]
+        args.shift
+        return FPrimitiveClosure.new arguments, args, context
+    end
+end
+
+end

data/lib/ajlisp/fprimitive_if.rb

@@ -0,0 +1,34 @@
+
+module AjLisp
+
+class FPrimitiveIf < FPrimitive	
+    private_class_method :new
+    
+    @@instance = nil
+
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+    
+    def apply(context, args)
+        condition = args[0]
+        args.shift
+        thenform = args[0]
+        args.shift
+        
+        if AjLisp::evaluate context, condition
+            return AjLisp::evaluate context, thenform
+        end
+        
+		result = nil
+		
+		args.each do |arg|
+			result = AjLisp::evaluate context, arg
+		end
+
+		return result
+    end
+end
+
+end

data/lib/ajlisp/fprimitive_lambda.rb

@@ -0,0 +1,21 @@
+
+module AjLisp
+
+class FPrimitiveLambda < FPrimitive	
+    private_class_method :new
+    
+    @@instance = nil
+
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+    
+    def apply(context, args)
+        arguments = args[0]
+        args.shift
+        return PrimitiveClosure.new arguments, args, context
+    end
+end
+
+end

data/lib/ajlisp/fprimitive_let.rb

@@ -0,0 +1,38 @@
+
+module AjLisp
+
+class FPrimitiveLet < FPrimitive	
+    private_class_method :new
+    
+    @@instance = nil
+
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+    
+    def apply(context, args)
+        arguments = args[0]
+        args.shift
+		
+		newcontext = AjLisp::Context.new context
+		
+		while arguments
+			pair = arguments.first
+			atom = pair.first
+			value = AjLisp::evaluate(context, pair.rest.first)
+			newcontext.setValue atom.name, value
+			arguments = arguments.rest
+		end
+		
+		result = nil
+		
+		args.each do |arg|
+			result = AjLisp::evaluate context, arg
+		end
+
+		return result
+    end
+end
+
+end

data/lib/ajlisp/fprimitive_macro_closure.rb

@@ -0,0 +1,13 @@
+
+module AjLisp
+
+class FPrimitiveMacroClosure < FPrimitiveClosure
+    
+    def apply(context, args)
+        result = super(context, args)
+        return AjLisp::evaluate context, result
+    end
+
+    end
+
+end

data/lib/ajlisp/fprimitive_mlambda.rb

@@ -0,0 +1,21 @@
+
+module AjLisp
+
+class FPrimitiveMLambda < FPrimitive	
+    private_class_method :new
+    
+    @@instance = nil
+
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+    
+    def apply(context, args)
+        arguments = args[0]
+        args.shift
+        return FPrimitiveMacroClosure.new arguments, args, context
+    end
+end
+
+end

data/lib/ajlisp/fprimitive_quote.rb

@@ -0,0 +1,19 @@
+
+module AjLisp
+
+class FPrimitiveQuote < FPrimitive	
+    private_class_method :new
+    
+    @@instance = nil
+
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+    
+	def apply(context, args)
+        return args[0]
+	end
+end
+
+end

data/lib/ajlisp/input_source.rb

@@ -0,0 +1,37 @@
+
+module AjLisp
+
+	class InputSource	
+		def initialize
+			@line = ""
+			@position = 0
+			@chars = []
+		end
+		
+		def nextChar
+			char = @chars.pop
+			
+			if char
+				return char
+			end
+		
+			while @line.length <= @position
+				@line = gets
+				@position = 0
+
+				if @line == nil
+						return nil
+				end				
+			end
+
+			char = @line[@position]
+			@position += 1
+			return char
+		end
+		
+		def pushChar(ch)
+			@chars.push ch
+		end
+	end
+
+end

data/lib/ajlisp/lexer.rb

@@ -0,0 +1,132 @@
+
+module AjLisp
+
+class Lexer
+	@@separators = "()"
+
+	def initialize(source)
+		@source = source
+		@tokens = []
+	end
+	
+	def nextToken
+		if @tokens.length > 0
+			return @tokens.pop
+		end
+		
+		char = @source.nextChar
+		
+		while char and char =~ /\s/
+			char = @source.nextChar
+		end
+		
+		if char == nil
+			return nil
+		end
+		
+		if char == ?"
+			return nextString
+		end
+		
+		if @@separators.include? char
+			return Token.new char, TokenType::SEPARATOR
+		end
+
+		if char =~ /\d/
+			return nextInteger char
+		end
+        
+        if char == ?. or char == ?@
+            return nextSpecialAtom char
+        end
+		
+		if char =~ /\w/
+			return nextAtom char
+		end
+		
+		if char == ?' or char == ?` or char == ?,
+			return Token.new char, TokenType::ATOM
+		end
+		
+		return nextSpecialAtom char
+	end
+	
+	def pushToken(token)
+		@tokens.push(token)
+	end
+	
+	private
+	
+	def nextString
+		value = ""
+		
+		char = @source.nextChar
+		
+		while char
+			if char != ?"
+				value += char
+				char = @source.nextChar
+			else
+				break
+			end
+		end
+		
+		return Token.new value, TokenType::STRING
+	end
+
+	def nextAtom(firstch)
+		value = firstch
+		
+		char = @source.nextChar
+		
+		while char
+			if not char =~ /\s/ and not @@separators.include? char
+				value += char
+				char = @source.nextChar
+			else
+				@source.pushChar char
+				break
+			end
+		end
+		
+		return Token.new value, TokenType::ATOM
+	end
+
+	def nextSpecialAtom(firstch)
+		value = firstch
+		
+		char = @source.nextChar
+		
+		while char
+			if not char =~ /\s/ and not @@separators.include? char
+				value += char
+				char = @source.nextChar
+			else
+				@source.pushChar char
+				break
+			end
+		end
+		
+		return Token.new value, TokenType::ATOM
+	end
+
+	def nextInteger(firstch)
+		value = firstch
+		
+		char = @source.nextChar
+		
+		while char
+			if char =~ /\d/
+				value += char
+				char = @source.nextChar
+			else
+				@source.pushChar char
+				break
+			end
+		end
+		
+		return Token.new value, TokenType::INTEGER
+	end
+end
+
+end

data/lib/ajlisp/list.rb

@@ -0,0 +1,106 @@
+
+module AjLisp
+
+class List
+    attr_reader :first
+    attr_reader :rest
+    
+    def initialize(first=nil, rest=nil)
+        @first = first
+        @rest = rest
+    end
+    
+    def evaluate(context)
+        form = AjLisp::evaluate(context, @first)
+        form.evaluate(context, self)
+    end
+    
+    def to_s
+        result = "("
+        
+        first = @first
+
+        result += AjLisp::to_s(first)
+        
+        rest = @rest
+        
+        while rest
+            result += " "
+            first = rest.first
+            result += AjLisp::to_s(first)
+            rest = rest.rest
+        end
+        
+        result += ")"
+        
+        return result
+    end
+    
+    def isEqualTo(list)
+        if not list.is_a? List
+            return false
+        end
+        
+        if @first != list.first
+            if @first.is_a? List or @first.is_a? NamedAtom
+                if !@first.isEqualTo(list.first)
+                    return false
+                end
+            else
+                return false
+            end
+        end
+        
+        if @rest == nil and list.rest == nil
+            return true
+        end
+        
+        if @rest.is_a? List
+            return @rest.isEqualTo(list.rest)
+        end
+        
+        return false
+    end
+    
+    def self.make(array)
+        if array and array.length > 0
+            first = array.shift
+            
+            if first.is_a? Array
+                first = make(first)
+            elsif first.is_a? Symbol
+                first = NamedAtom.new first
+            end
+            
+            if array.length == 0
+                return List.new first, nil
+            end
+                 
+            return List.new first, make(array)
+        end 
+ 
+        return nil
+    end
+end
+
+class EmptyList < List
+    #private_class_method :new
+    
+    @@instance = nil
+    
+    def self.instance
+        @@instance = new unless @@instance
+        return @@instance
+    end
+
+    def to_s
+        return "()"
+    end
+    
+    def isEqualTo(list)
+        return list.is_a? EmptyList
+    end
+end
+
+
+end