ajlisp 0.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (88) hide show
  1. data/LICENSE +23 -0
  2. data/README.md +33 -0
  3. data/ajlisp.gemspec +20 -0
  4. data/lib/ajlisp.rb +128 -0
  5. data/lib/ajlisp/at_constant_atom.rb +30 -0
  6. data/lib/ajlisp/context.rb +27 -0
  7. data/lib/ajlisp/dot_verb_atom.rb +31 -0
  8. data/lib/ajlisp/file_source.rb +10 -0
  9. data/lib/ajlisp/fprimitive.rb +23 -0
  10. data/lib/ajlisp/fprimitive_closure.rb +48 -0
  11. data/lib/ajlisp/fprimitive_define.rb +30 -0
  12. data/lib/ajlisp/fprimitive_definef.rb +30 -0
  13. data/lib/ajlisp/fprimitive_definem.rb +30 -0
  14. data/lib/ajlisp/fprimitive_do.rb +25 -0
  15. data/lib/ajlisp/fprimitive_flambda.rb +21 -0
  16. data/lib/ajlisp/fprimitive_if.rb +34 -0
  17. data/lib/ajlisp/fprimitive_lambda.rb +21 -0
  18. data/lib/ajlisp/fprimitive_let.rb +38 -0
  19. data/lib/ajlisp/fprimitive_macro_closure.rb +13 -0
  20. data/lib/ajlisp/fprimitive_mlambda.rb +21 -0
  21. data/lib/ajlisp/fprimitive_quote.rb +19 -0
  22. data/lib/ajlisp/input_source.rb +37 -0
  23. data/lib/ajlisp/lexer.rb +132 -0
  24. data/lib/ajlisp/list.rb +106 -0
  25. data/lib/ajlisp/named_atom.rb +34 -0
  26. data/lib/ajlisp/nil_atom.rb +39 -0
  27. data/lib/ajlisp/parser.rb +80 -0
  28. data/lib/ajlisp/primitive.rb +19 -0
  29. data/lib/ajlisp/primitive_add.rb +29 -0
  30. data/lib/ajlisp/primitive_closure.rb +49 -0
  31. data/lib/ajlisp/primitive_comparisons.rb +84 -0
  32. data/lib/ajlisp/primitive_cons.rb +19 -0
  33. data/lib/ajlisp/primitive_divide.rb +25 -0
  34. data/lib/ajlisp/primitive_eval.rb +19 -0
  35. data/lib/ajlisp/primitive_first.rb +19 -0
  36. data/lib/ajlisp/primitive_list.rb +19 -0
  37. data/lib/ajlisp/primitive_load.rb +34 -0
  38. data/lib/ajlisp/primitive_multiply.rb +25 -0
  39. data/lib/ajlisp/primitive_predicates.rb +58 -0
  40. data/lib/ajlisp/primitive_rest.rb +19 -0
  41. data/lib/ajlisp/primitive_subtract.rb +25 -0
  42. data/lib/ajlisp/string_source.rb +28 -0
  43. data/lib/ajlisp/token.rb +23 -0
  44. data/lib/core.lsp +40 -0
  45. data/test/and.lsp +1 -0
  46. data/test/append.lsp +1 -0
  47. data/test/backquote.lsp +7 -0
  48. data/test/cond.lsp +1 -0
  49. data/test/define123.lsp +4 -0
  50. data/test/definem.lsp +1 -0
  51. data/test/dodefine123.lsp +5 -0
  52. data/test/mapcond.lsp +13 -0
  53. data/test/mapfirst.lsp +10 -0
  54. data/test/mycons.lsp +3 -0
  55. data/test/test.rb +42 -0
  56. data/test/test_at_constant_atom.rb +34 -0
  57. data/test/test_context.rb +37 -0
  58. data/test/test_dot_verb_atom.rb +29 -0
  59. data/test/test_evaluate.rb +289 -0
  60. data/test/test_evaluate_files.rb +136 -0
  61. data/test/test_file_source.rb +11 -0
  62. data/test/test_fprimitive_closure.rb +29 -0
  63. data/test/test_fprimitive_define.rb +65 -0
  64. data/test/test_fprimitive_definef.rb +20 -0
  65. data/test/test_fprimitive_definem.rb +20 -0
  66. data/test/test_fprimitive_do.rb +18 -0
  67. data/test/test_fprimitive_flambda.rb +15 -0
  68. data/test/test_fprimitive_if.rb +29 -0
  69. data/test/test_fprimitive_lambda.rb +15 -0
  70. data/test/test_fprimitive_let.rb +18 -0
  71. data/test/test_fprimitive_macro_closure.rb +17 -0
  72. data/test/test_fprimitive_mlambda.rb +12 -0
  73. data/test/test_fprimitive_quote.rb +35 -0
  74. data/test/test_lexer.rb +208 -0
  75. data/test/test_list.rb +102 -0
  76. data/test/test_load.rb +74 -0
  77. data/test/test_named_atom.rb +33 -0
  78. data/test/test_parser.rb +252 -0
  79. data/test/test_primitive_add.rb +26 -0
  80. data/test/test_primitive_closure.rb +29 -0
  81. data/test/test_primitive_cons.rb +39 -0
  82. data/test/test_primitive_eval.rb +13 -0
  83. data/test/test_primitive_first.rb +25 -0
  84. data/test/test_primitive_list.rb +27 -0
  85. data/test/test_primitive_rest.rb +29 -0
  86. data/test/test_string_source.rb +10 -0
  87. data/test/test_token.rb +14 -0
  88. metadata +131 -0
data/LICENSE ADDED
@@ -0,0 +1,23 @@
1
+
2
+ Copyright (C) 2013, Angel J Lopez
3
+ http://www.ajlopez.com
4
+ http://ajlopez.wordpress.com
5
+ http://twitter.com/ajlopez
6
+
7
+ Permission is hereby granted, free of charge, to any person obtaining a copy
8
+ of this software and associated documentation files (the "Software"), to deal
9
+ in the Software without restriction, including without limitation the rights
10
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11
+ copies of the Software, and to permit persons to whom the Software is
12
+ furnished to do so, subject to the following conditions:
13
+
14
+ The above copyright notice and this permission notice shall be included in
15
+ all copies or substantial portions of the Software.
16
+
17
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
20
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
23
+ THE SOFTWARE.
@@ -0,0 +1,33 @@
1
+ # AjLispRb
2
+
3
+ AjLispRb is a Lisp interpreter written in Ruby.
4
+
5
+ There are other versions in C# and Javascript.
6
+
7
+ ## Posts
8
+
9
+ [AjLisp On Ruby (1) Structure, Classes And Tests](http://ajlopez.wordpress.com/2011/12/02/ajlisp-on-ruby-1-structure-classes-and-tests/)
10
+
11
+ ## License
12
+
13
+ MIT License
14
+
15
+ Copyright (C) 2011, Angel J Lopez
16
+
17
+ Permission is hereby granted, free of charge, to any person obtaining a copy
18
+ of this software and associated documentation files (the "Software"), to deal
19
+ in the Software without restriction, including without limitation the rights
20
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
21
+ copies of the Software, and to permit persons to whom the Software is
22
+ furnished to do so, subject to the following conditions:
23
+
24
+ The above copyright notice and this permission notice shall be included in
25
+ all copies or substantial portions of the Software.
26
+
27
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
28
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
29
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
30
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
31
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
32
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
33
+ THE SOFTWARE.
@@ -0,0 +1,20 @@
1
+ Gem::Specification.new do |s|
2
+ s.name = 'ajlisp'
3
+ s.version = '0.0.0'
4
+ s.date = '2013-03-09'
5
+ s.summary = "AjLisp Interpreter"
6
+ s.description = "Lisp interpreter that can access and invoke Ruby libraries and classes"
7
+ s.authors = ["Angel 'Java' Lopez"]
8
+ s.email = 'webmaster@ajlopez.com'
9
+ s.files = ["lib/ajlisp.rb"]
10
+ s.homepage =
11
+ 'http://github.com/ajlopez/AjLispRuby'
12
+ s.files = Dir[
13
+ "LICENSE",
14
+ "README.md",
15
+ "lib/**/*.rb",
16
+ "lib/**/*.lsp",
17
+ "*.gemspec",
18
+ "test/*.*"
19
+ ]
20
+ end
@@ -0,0 +1,128 @@
1
+
2
+ require 'ajlisp/list.rb'
3
+ require 'ajlisp/named_atom.rb'
4
+ require 'ajlisp/context.rb'
5
+ require 'ajlisp/string_source.rb'
6
+ require 'ajlisp/file_source.rb'
7
+ require 'ajlisp/input_source.rb'
8
+ require 'ajlisp/token.rb'
9
+ require 'ajlisp/lexer.rb'
10
+ require 'ajlisp/parser.rb'
11
+
12
+ require 'ajlisp/primitive.rb'
13
+ require 'ajlisp/primitive_first.rb'
14
+ require 'ajlisp/primitive_rest.rb'
15
+ require 'ajlisp/primitive_cons.rb'
16
+ require 'ajlisp/primitive_list.rb'
17
+ require 'ajlisp/primitive_closure.rb'
18
+
19
+ require 'ajlisp/dot_verb_atom.rb'
20
+ require 'ajlisp/at_constant_atom.rb'
21
+ require 'ajlisp/nil_atom.rb'
22
+
23
+ require 'ajlisp/fprimitive.rb'
24
+ require 'ajlisp/fprimitive_quote.rb'
25
+ require 'ajlisp/fprimitive_lambda.rb'
26
+ require 'ajlisp/fprimitive_flambda.rb'
27
+ require 'ajlisp/fprimitive_mlambda.rb'
28
+ require 'ajlisp/fprimitive_let.rb'
29
+ require 'ajlisp/fprimitive_closure.rb'
30
+ require 'ajlisp/fprimitive_macro_closure.rb'
31
+ require 'ajlisp/fprimitive_define.rb'
32
+ require 'ajlisp/fprimitive_do.rb'
33
+ require 'ajlisp/fprimitive_if.rb'
34
+ require 'ajlisp/fprimitive_definef.rb'
35
+ require 'ajlisp/fprimitive_definem.rb'
36
+
37
+ require 'ajlisp/primitive_add.rb'
38
+ require 'ajlisp/primitive_subtract.rb'
39
+ require 'ajlisp/primitive_multiply.rb'
40
+ require 'ajlisp/primitive_divide.rb'
41
+
42
+ require 'ajlisp/primitive_comparisons.rb'
43
+ require 'ajlisp/primitive_predicates.rb'
44
+
45
+ require 'ajlisp/primitive_load.rb'
46
+
47
+ require 'ajlisp/primitive_eval.rb'
48
+
49
+ module AjLisp
50
+
51
+ @context = Context.new
52
+
53
+ @context.setValue :quote, FPrimitiveQuote.instance
54
+ @context.setValue :first, PrimitiveFirst.instance
55
+ @context.setValue :rest, PrimitiveRest.instance
56
+ @context.setValue :cons, PrimitiveCons.instance
57
+ @context.setValue :list, PrimitiveList.instance
58
+ @context.setValue :lambda, FPrimitiveLambda.instance
59
+ @context.setValue :flambda, FPrimitiveFLambda.instance
60
+ @context.setValue :mlambda, FPrimitiveMLambda.instance
61
+ @context.setValue :let, FPrimitiveLet.instance
62
+ @context.setValue :define, FPrimitiveDefine.instance
63
+ @context.setValue :do, FPrimitiveDo.instance
64
+ @context.setValue :if, FPrimitiveIf.instance
65
+ @context.setValue :definef, FPrimitiveDefinef.instance
66
+ @context.setValue :definem, FPrimitiveDefinem.instance
67
+ @context.setValue :load, PrimitiveLoad.instance
68
+ @context.setValue :eval, PrimitiveEval.instance
69
+
70
+ @context.setValue :nil, NilAtom.instance
71
+
72
+ @context.setValue :+, PrimitiveAdd.instance
73
+ @context.setValue :-, PrimitiveSubtract.instance
74
+ @context.setValue :*, PrimitiveMultiply.instance
75
+ @context.setValue :/, PrimitiveDivide.instance
76
+
77
+ @context.setValue :"=", PrimitiveEqual.instance
78
+ @context.setValue :"<", PrimitiveLess.instance
79
+ @context.setValue :">", PrimitiveGreater.instance
80
+ @context.setValue :"<=", PrimitiveLessEqual.instance
81
+ @context.setValue :">=", PrimitiveGreaterEqual.instance
82
+
83
+ @context.setValue :"nil?", PrimitiveNilPredicate.instance
84
+ @context.setValue :"atom?", PrimitiveAtomPredicate.instance
85
+ @context.setValue :"list?", PrimitiveListPredicate.instance
86
+
87
+ def self.context
88
+ return @context
89
+ end
90
+
91
+ def self.evaluate(context, item)
92
+ if item.is_a? List or item.is_a? NamedAtom
93
+ return item.evaluate(context)
94
+ end
95
+
96
+ return item
97
+ end
98
+
99
+ def self.to_s(item)
100
+ if item.is_a? List or item.is_a? NamedAtom
101
+ return item.to_s
102
+ end
103
+
104
+ if item.is_a? String
105
+ return '"' + item + '"'
106
+ end
107
+
108
+ if item == nil
109
+ return "nil"
110
+ end
111
+
112
+ return item.to_s
113
+ end
114
+
115
+ def self.repl
116
+ source = InputSource.new
117
+ lexer = Lexer.new(source)
118
+ parser = Parser.new(lexer)
119
+
120
+ expr = parser.parseExpression
121
+
122
+ while expr
123
+ puts evaluate(self.context, expr)
124
+ expr = parser.parseExpression
125
+ end
126
+ end
127
+
128
+ end
@@ -0,0 +1,30 @@
1
+
2
+ module AjLisp
3
+
4
+ class AtConstantAtom < NamedAtom
5
+ attr_reader :constant
6
+
7
+ def initialize(name)
8
+ super(name)
9
+ @constant = name[1,name.length]
10
+ words = @constant.split("::")
11
+
12
+ @symbols = []
13
+
14
+ words.each do |word|
15
+ @symbols.push word.intern
16
+ end
17
+ end
18
+
19
+ def evaluate(context)
20
+ result = Object
21
+
22
+ @symbols.each do |symbol|
23
+ result = result.const_get symbol
24
+ end
25
+
26
+ return result
27
+ end
28
+ end
29
+
30
+ end
@@ -0,0 +1,27 @@
1
+
2
+ module AjLisp
3
+
4
+ class Context
5
+ def initialize(parent = nil)
6
+ @parent = parent
7
+ @values = Hash.new
8
+ end
9
+
10
+ def getValue(name)
11
+ if @values.has_key?(name)
12
+ return @values[name]
13
+ end
14
+
15
+ if @parent != nil
16
+ return @parent.getValue(name)
17
+ end
18
+
19
+ return nil
20
+ end
21
+
22
+ def setValue(name, value)
23
+ @values[name] = value
24
+ end
25
+ end
26
+
27
+ end
@@ -0,0 +1,31 @@
1
+
2
+ module AjLisp
3
+
4
+ class DotVerbAtom < NamedAtom
5
+ attr_reader :symbol
6
+
7
+ def initialize(name)
8
+ super(name)
9
+ @symbol = name[1,name.length].intern
10
+ @method = PrimitiveNativeMethod.new @symbol
11
+ end
12
+
13
+ def evaluate(context)
14
+ return @method
15
+ end
16
+ end
17
+
18
+ class PrimitiveNativeMethod < Primitive
19
+ attr_reader :symbol
20
+
21
+ def initialize(symbol)
22
+ @symbol = symbol
23
+ end
24
+
25
+ def apply(context, args)
26
+ target = args.shift
27
+ target.send(@symbol, *args)
28
+ end
29
+ end
30
+
31
+ end
@@ -0,0 +1,10 @@
1
+
2
+ module AjLisp
3
+
4
+ class FileSource < StringSource
5
+ def initialize(filename)
6
+ super(IO.read(filename))
7
+ end
8
+ end
9
+
10
+ end
@@ -0,0 +1,23 @@
1
+
2
+ module AjLisp
3
+
4
+ class FPrimitive
5
+ def evaluate(context, list)
6
+ if list == nil
7
+ return self
8
+ end
9
+
10
+ args = []
11
+ rest = list.rest
12
+
13
+ while rest != nil
14
+ args.push(rest.first)
15
+ rest = rest.rest
16
+ end
17
+
18
+ return apply(context, args)
19
+ end
20
+ end
21
+
22
+ end
23
+
@@ -0,0 +1,48 @@
1
+
2
+ module AjLisp
3
+
4
+ class FPrimitiveClosure < FPrimitive
5
+ attr_reader :arguments
6
+ attr_reader :body
7
+ attr_reader :context
8
+
9
+ def initialize(arguments, body, context=nil)
10
+ @arguments = arguments
11
+ @body = body
12
+ @context = context
13
+ end
14
+
15
+ def apply(context, args)
16
+ newcontext = context
17
+
18
+ if @context then
19
+ newcontext = @context
20
+ end
21
+
22
+ if @arguments
23
+ newcontext = AjLisp::Context.new newcontext
24
+
25
+ if @arguments.is_a? NamedAtom
26
+ newcontext.setValue @arguments.name, AjLisp::List.make(args)
27
+ else
28
+ names = @arguments
29
+
30
+ args.each do |arg|
31
+ name = names.first.name
32
+ newcontext.setValue name, arg
33
+ names = names.rest
34
+ end
35
+ end
36
+ end
37
+
38
+ result = nil
39
+
40
+ @body.each do |form|
41
+ result = AjLisp::evaluate newcontext, form
42
+ end
43
+
44
+ return result
45
+ end
46
+ end
47
+
48
+ end
@@ -0,0 +1,30 @@
1
+
2
+ module AjLisp
3
+
4
+ class FPrimitiveDefine < FPrimitive
5
+ private_class_method :new
6
+
7
+ @@instance = nil
8
+
9
+ def self.instance
10
+ @@instance = new unless @@instance
11
+ return @@instance
12
+ end
13
+
14
+ def apply(context, args)
15
+ atom = args[0]
16
+
17
+ if args.length > 2
18
+ args.shift
19
+ arguments = args.shift
20
+ value = AjLisp::PrimitiveClosure.new arguments, args
21
+ else
22
+ value = AjLisp::evaluate(context, args[1])
23
+ end
24
+
25
+ AjLisp::context.setValue atom.name, value
26
+ return value
27
+ end
28
+ end
29
+
30
+ end
@@ -0,0 +1,30 @@
1
+
2
+ module AjLisp
3
+
4
+ class FPrimitiveDefinef < FPrimitive
5
+ private_class_method :new
6
+
7
+ @@instance = nil
8
+
9
+ def self.instance
10
+ @@instance = new unless @@instance
11
+ return @@instance
12
+ end
13
+
14
+ def apply(context, args)
15
+ atom = args[0]
16
+
17
+ if args.length > 2
18
+ args.shift
19
+ arguments = args.shift
20
+ value = AjLisp::FPrimitiveClosure.new arguments, args
21
+ else
22
+ value = AjLisp::evaluate(context, args[1])
23
+ end
24
+
25
+ AjLisp::context.setValue atom.name, value
26
+ return value
27
+ end
28
+ end
29
+
30
+ end