iode 0.0.1

Sign up to get free protection for your applications and to get access to all the features.
@@ -0,0 +1,7 @@
1
+ ---
2
+ SHA1:
3
+ metadata.gz: 88c450a99b55f2e4e32ba2889a229da5efc6f37c
4
+ data.tar.gz: 00e32521320732d46ce067b49dcb53c6594cd7b0
5
+ SHA512:
6
+ metadata.gz: 8fc46489cacd07abc6d46c574040f3643aef9f99e7ff5176a9bf47b8c08c8d23cc3ffe954917c0fe81709987b088779d41be2ea360829c009c5768124c2cc7ed
7
+ data.tar.gz: 20b0ead4cbbaf356c768acb45965a423907ee2acee8a7a57a82404c1f5cc9722e9b83c78dda32643e08b0131175b2a503af2822505b13053d8c09d5fb4e53661
@@ -0,0 +1,17 @@
1
+ *.gem
2
+ *.rbc
3
+ .bundle
4
+ .config
5
+ .yardoc
6
+ Gemfile.lock
7
+ InstalledFiles
8
+ _yardoc
9
+ coverage
10
+ doc/
11
+ lib/bundler/man
12
+ pkg
13
+ rdoc
14
+ spec/reports
15
+ test/tmp
16
+ test/version_tmp
17
+ tmp
data/Gemfile ADDED
@@ -0,0 +1,4 @@
1
+ source 'https://rubygems.org'
2
+
3
+ # Specify your gem's dependencies in iode.gemspec
4
+ gemspec
@@ -0,0 +1,202 @@
1
+
2
+ Apache License
3
+ Version 2.0, January 2004
4
+ http://www.apache.org/licenses/
5
+
6
+ TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
7
+
8
+ 1. Definitions.
9
+
10
+ "License" shall mean the terms and conditions for use, reproduction,
11
+ and distribution as defined by Sections 1 through 9 of this document.
12
+
13
+ "Licensor" shall mean the copyright owner or entity authorized by
14
+ the copyright owner that is granting the License.
15
+
16
+ "Legal Entity" shall mean the union of the acting entity and all
17
+ other entities that control, are controlled by, or are under common
18
+ control with that entity. For the purposes of this definition,
19
+ "control" means (i) the power, direct or indirect, to cause the
20
+ direction or management of such entity, whether by contract or
21
+ otherwise, or (ii) ownership of fifty percent (50%) or more of the
22
+ outstanding shares, or (iii) beneficial ownership of such entity.
23
+
24
+ "You" (or "Your") shall mean an individual or Legal Entity
25
+ exercising permissions granted by this License.
26
+
27
+ "Source" form shall mean the preferred form for making modifications,
28
+ including but not limited to software source code, documentation
29
+ source, and configuration files.
30
+
31
+ "Object" form shall mean any form resulting from mechanical
32
+ transformation or translation of a Source form, including but
33
+ not limited to compiled object code, generated documentation,
34
+ and conversions to other media types.
35
+
36
+ "Work" shall mean the work of authorship, whether in Source or
37
+ Object form, made available under the License, as indicated by a
38
+ copyright notice that is included in or attached to the work
39
+ (an example is provided in the Appendix below).
40
+
41
+ "Derivative Works" shall mean any work, whether in Source or Object
42
+ form, that is based on (or derived from) the Work and for which the
43
+ editorial revisions, annotations, elaborations, or other modifications
44
+ represent, as a whole, an original work of authorship. For the purposes
45
+ of this License, Derivative Works shall not include works that remain
46
+ separable from, or merely link (or bind by name) to the interfaces of,
47
+ the Work and Derivative Works thereof.
48
+
49
+ "Contribution" shall mean any work of authorship, including
50
+ the original version of the Work and any modifications or additions
51
+ to that Work or Derivative Works thereof, that is intentionally
52
+ submitted to Licensor for inclusion in the Work by the copyright owner
53
+ or by an individual or Legal Entity authorized to submit on behalf of
54
+ the copyright owner. For the purposes of this definition, "submitted"
55
+ means any form of electronic, verbal, or written communication sent
56
+ to the Licensor or its representatives, including but not limited to
57
+ communication on electronic mailing lists, source code control systems,
58
+ and issue tracking systems that are managed by, or on behalf of, the
59
+ Licensor for the purpose of discussing and improving the Work, but
60
+ excluding communication that is conspicuously marked or otherwise
61
+ designated in writing by the copyright owner as "Not a Contribution."
62
+
63
+ "Contributor" shall mean Licensor and any individual or Legal Entity
64
+ on behalf of whom a Contribution has been received by Licensor and
65
+ subsequently incorporated within the Work.
66
+
67
+ 2. Grant of Copyright License. Subject to the terms and conditions of
68
+ this License, each Contributor hereby grants to You a perpetual,
69
+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable
70
+ copyright license to reproduce, prepare Derivative Works of,
71
+ publicly display, publicly perform, sublicense, and distribute the
72
+ Work and such Derivative Works in Source or Object form.
73
+
74
+ 3. Grant of Patent License. Subject to the terms and conditions of
75
+ this License, each Contributor hereby grants to You a perpetual,
76
+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable
77
+ (except as stated in this section) patent license to make, have made,
78
+ use, offer to sell, sell, import, and otherwise transfer the Work,
79
+ where such license applies only to those patent claims licensable
80
+ by such Contributor that are necessarily infringed by their
81
+ Contribution(s) alone or by combination of their Contribution(s)
82
+ with the Work to which such Contribution(s) was submitted. If You
83
+ institute patent litigation against any entity (including a
84
+ cross-claim or counterclaim in a lawsuit) alleging that the Work
85
+ or a Contribution incorporated within the Work constitutes direct
86
+ or contributory patent infringement, then any patent licenses
87
+ granted to You under this License for that Work shall terminate
88
+ as of the date such litigation is filed.
89
+
90
+ 4. Redistribution. You may reproduce and distribute copies of the
91
+ Work or Derivative Works thereof in any medium, with or without
92
+ modifications, and in Source or Object form, provided that You
93
+ meet the following conditions:
94
+
95
+ (a) You must give any other recipients of the Work or
96
+ Derivative Works a copy of this License; and
97
+
98
+ (b) You must cause any modified files to carry prominent notices
99
+ stating that You changed the files; and
100
+
101
+ (c) You must retain, in the Source form of any Derivative Works
102
+ that You distribute, all copyright, patent, trademark, and
103
+ attribution notices from the Source form of the Work,
104
+ excluding those notices that do not pertain to any part of
105
+ the Derivative Works; and
106
+
107
+ (d) If the Work includes a "NOTICE" text file as part of its
108
+ distribution, then any Derivative Works that You distribute must
109
+ include a readable copy of the attribution notices contained
110
+ within such NOTICE file, excluding those notices that do not
111
+ pertain to any part of the Derivative Works, in at least one
112
+ of the following places: within a NOTICE text file distributed
113
+ as part of the Derivative Works; within the Source form or
114
+ documentation, if provided along with the Derivative Works; or,
115
+ within a display generated by the Derivative Works, if and
116
+ wherever such third-party notices normally appear. The contents
117
+ of the NOTICE file are for informational purposes only and
118
+ do not modify the License. You may add Your own attribution
119
+ notices within Derivative Works that You distribute, alongside
120
+ or as an addendum to the NOTICE text from the Work, provided
121
+ that such additional attribution notices cannot be construed
122
+ as modifying the License.
123
+
124
+ You may add Your own copyright statement to Your modifications and
125
+ may provide additional or different license terms and conditions
126
+ for use, reproduction, or distribution of Your modifications, or
127
+ for any such Derivative Works as a whole, provided Your use,
128
+ reproduction, and distribution of the Work otherwise complies with
129
+ the conditions stated in this License.
130
+
131
+ 5. Submission of Contributions. Unless You explicitly state otherwise,
132
+ any Contribution intentionally submitted for inclusion in the Work
133
+ by You to the Licensor shall be under the terms and conditions of
134
+ this License, without any additional terms or conditions.
135
+ Notwithstanding the above, nothing herein shall supersede or modify
136
+ the terms of any separate license agreement you may have executed
137
+ with Licensor regarding such Contributions.
138
+
139
+ 6. Trademarks. This License does not grant permission to use the trade
140
+ names, trademarks, service marks, or product names of the Licensor,
141
+ except as required for reasonable and customary use in describing the
142
+ origin of the Work and reproducing the content of the NOTICE file.
143
+
144
+ 7. Disclaimer of Warranty. Unless required by applicable law or
145
+ agreed to in writing, Licensor provides the Work (and each
146
+ Contributor provides its Contributions) on an "AS IS" BASIS,
147
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
148
+ implied, including, without limitation, any warranties or conditions
149
+ of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
150
+ PARTICULAR PURPOSE. You are solely responsible for determining the
151
+ appropriateness of using or redistributing the Work and assume any
152
+ risks associated with Your exercise of permissions under this License.
153
+
154
+ 8. Limitation of Liability. In no event and under no legal theory,
155
+ whether in tort (including negligence), contract, or otherwise,
156
+ unless required by applicable law (such as deliberate and grossly
157
+ negligent acts) or agreed to in writing, shall any Contributor be
158
+ liable to You for damages, including any direct, indirect, special,
159
+ incidental, or consequential damages of any character arising as a
160
+ result of this License or out of the use or inability to use the
161
+ Work (including but not limited to damages for loss of goodwill,
162
+ work stoppage, computer failure or malfunction, or any and all
163
+ other commercial damages or losses), even if such Contributor
164
+ has been advised of the possibility of such damages.
165
+
166
+ 9. Accepting Warranty or Additional Liability. While redistributing
167
+ the Work or Derivative Works thereof, You may choose to offer,
168
+ and charge a fee for, acceptance of support, warranty, indemnity,
169
+ or other liability obligations and/or rights consistent with this
170
+ License. However, in accepting such obligations, You may act only
171
+ on Your own behalf and on Your sole responsibility, not on behalf
172
+ of any other Contributor, and only if You agree to indemnify,
173
+ defend, and hold each Contributor harmless for any liability
174
+ incurred by, or claims asserted against, such Contributor by reason
175
+ of your accepting any such warranty or additional liability.
176
+
177
+ END OF TERMS AND CONDITIONS
178
+
179
+ APPENDIX: How to apply the Apache License to your work.
180
+
181
+ To apply the Apache License to your work, attach the following
182
+ boilerplate notice, with the fields enclosed by brackets "[]"
183
+ replaced with your own identifying information. (Don't include
184
+ the brackets!) The text should be enclosed in the appropriate
185
+ comment syntax for the file format. We also recommend that a
186
+ file or class name and description of purpose be included on the
187
+ same "printed page" as the copyright notice for easier
188
+ identification within third-party archives.
189
+
190
+ Copyright [yyyy] [name of copyright owner]
191
+
192
+ Licensed under the Apache License, Version 2.0 (the "License");
193
+ you may not use this file except in compliance with the License.
194
+ You may obtain a copy of the License at
195
+
196
+ http://www.apache.org/licenses/LICENSE-2.0
197
+
198
+ Unless required by applicable law or agreed to in writing, software
199
+ distributed under the License is distributed on an "AS IS" BASIS,
200
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
201
+ See the License for the specific language governing permissions and
202
+ limitations under the License.
@@ -0,0 +1,112 @@
1
+ # Iode RB
2
+
3
+ An experimental lisp-family language hosted on Ruby.
4
+
5
+ ## Installation
6
+
7
+ Add this line to your application's Gemfile:
8
+
9
+ gem 'iode'
10
+
11
+ And then execute:
12
+
13
+ $ bundle
14
+
15
+ Or install it yourself as:
16
+
17
+ $ gem install iode
18
+
19
+ ## Usage
20
+
21
+ Firstly, please don't think that this project is a serious attempt to build
22
+ some shiny new language that runs in Ruby. It is possible it may become that
23
+ one day, but right now it exists purely for my own experimentation purposes.
24
+
25
+ I am building a real language on the LLVM (currently in a private git repo),
26
+ however I wanted a "quick and dirty" environment to hack together ideas for
27
+ what the syntax and language features may include. Ruby is perfect for that.
28
+ Once I have good ideas put down as working examples in this project, they will
29
+ be ported upstream to the native JIT interpreter for LLVM.
30
+
31
+ Currently this project just implements the guts of a functional lisp-family of
32
+ languages. It will change considerably from the current implementation.
33
+
34
+ ### Command Line
35
+
36
+ Program source files end in ".io". You can run them like so:
37
+
38
+ ```
39
+ iode-rb path/to/file.io
40
+ ```
41
+
42
+ Or you can send the source code to STDIN:
43
+
44
+ ```
45
+ iode-rb < path/to/file.io
46
+ ```
47
+
48
+ ### In Ruby Code
49
+
50
+ Using Iode from inside Ruby code can be interesting, as it will interoperate
51
+ with Ruby.
52
+
53
+ ``` ruby
54
+ require "iode"
55
+
56
+ puts Iode.run <<-PROG
57
+ (if ((lambda (x) x) false)
58
+ "x = true"
59
+ "x = false")
60
+ PROG
61
+ ```
62
+
63
+ The above code creates a lambda function that simply acts like the identity
64
+ function (i.e. it returns its input). That lambda is then immediately applied
65
+ with the input `false`, thereby returning `false`.
66
+
67
+ The `if` form evaluates false and therefore evaluates the else part of the
68
+ `if`, returning the string `"x = false"`.
69
+
70
+ Here's another example showing how you can pass values from Ruby into Iode.
71
+
72
+ ``` ruby
73
+ require "iode"
74
+
75
+ prog = Iode.run <<-PROG
76
+ (lambda (x)
77
+ (if x
78
+ 42
79
+ 7))
80
+ PROG
81
+
82
+ prog[false] #=> 7
83
+ prog[true] #=> 42
84
+ ```
85
+
86
+ This works because internally, Iode lambdas as represented as Ruby Procs.
87
+
88
+ Incidentally, that means you can even pass higher-order functions from Ruby
89
+ to Iode.
90
+
91
+ ``` ruby
92
+ require "iode"
93
+
94
+ prog = Iode.run <<-PROG
95
+ (lambda (f)
96
+ (if (f)
97
+ 42
98
+ 7))
99
+ PROG
100
+
101
+ prog.call(->(){ false }) #=> 7
102
+ prog.call(->(){ true }) #=> 42
103
+ ```
104
+
105
+ I'd show a more complex example if the language were more than 3 hours old!
106
+ There are not even any mathematic operators or persistent definitions yet,
107
+ though all the wiring is there, I just need to define a core library.
108
+
109
+ ## Copyright & Licensing
110
+
111
+ Licensed under the Apache License, Version 2.0. See the LICENSE.txt file for
112
+ full details.
@@ -0,0 +1 @@
1
+ require "bundler/gem_tasks"
@@ -0,0 +1,34 @@
1
+ #!/usr/bin/env ruby
2
+
3
+ # iode: bin/iode
4
+ #
5
+ # Copyright 2014 Chris Corbyn <chris@w3style.co.uk>
6
+ #
7
+ # Licensed under the Apache License, Version 2.0 (the "License");
8
+ # you may not use this file except in compliance with the License.
9
+ # You may obtain a copy of the License at
10
+ #
11
+ # http://www.apache.org/licenses/LICENSE-2.0
12
+ #
13
+ # Unless required by applicable law or agreed to in writing, software
14
+ # distributed under the License is distributed on an "AS IS" BASIS,
15
+ # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16
+ # See the License for the specific language governing permissions and
17
+ # limitations under the License.
18
+
19
+ $:<<File.expand_path("../../lib", __FILE__)
20
+
21
+ require "iode"
22
+
23
+ case ARGV.length
24
+ when 1
25
+ Iode.run(File.read(ARGV[0]))
26
+ when 0
27
+ Iode.run(STDIN.read)
28
+ else
29
+ puts <<-EOF.gsub(/^ /, "")
30
+ Iode Version #{Iode::VERSION}
31
+ Usage:
32
+ iode-rb <path>
33
+ EOF
34
+ end
@@ -0,0 +1,31 @@
1
+ # coding: utf-8
2
+ lib = File.expand_path('../lib', __FILE__)
3
+ $LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
4
+ require 'iode/version'
5
+
6
+ Gem::Specification.new do |spec|
7
+ spec.name = "iode"
8
+ spec.version = Iode::VERSION
9
+ spec.authors = ["Chris Corbyn"]
10
+ spec.email = ["chris@w3style.co.uk"]
11
+ spec.summary = %q{An experimental lisp-family language hosted on Ruby}
12
+ spec.description = <<-EOF
13
+ Iode is a work in progress real language on LLVM.
14
+ This Ruby Gem exists solely so the author can experiment with new language
15
+ features before committing those ideas to the real language. It is not
16
+ intended for general use, nor is it intended to be fast or concise.
17
+ EOF
18
+
19
+ spec.homepage = "https://github.com/d11wtq/iode-rb"
20
+ spec.license = "MIT"
21
+
22
+ spec.files = `git ls-files -z`.split("\x0")
23
+ spec.executables = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
24
+ spec.test_files = spec.files.grep(%r{^(test|spec|features)/})
25
+ spec.require_paths = ["lib"]
26
+
27
+ spec.add_runtime_dependency "whittle", "~> 0.0.8"
28
+
29
+ spec.add_development_dependency "bundler", "~> 1.5"
30
+ spec.add_development_dependency "rake"
31
+ end
@@ -0,0 +1,36 @@
1
+ # iode: iode.rb
2
+ #
3
+ # Copyright 2014 Chris Corbyn <chris@w3style.co.uk>
4
+ #
5
+ # Licensed under the Apache License, Version 2.0 (the "License");
6
+ # you may not use this file except in compliance with the License.
7
+ # You may obtain a copy of the License at
8
+ #
9
+ # http://www.apache.org/licenses/LICENSE-2.0
10
+ #
11
+ # Unless required by applicable law or agreed to in writing, software
12
+ # distributed under the License is distributed on an "AS IS" BASIS,
13
+ # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
+ # See the License for the specific language governing permissions and
15
+ # limitations under the License.
16
+
17
+ require "iode/version"
18
+ require "iode/scope"
19
+ require "iode/built_ins"
20
+ require "iode/interpreter"
21
+ require "iode/reader"
22
+
23
+ module Iode
24
+ class << self
25
+ # Run a string of iode source code and return a value to Ruby.
26
+ #
27
+ # @param [String] source
28
+ # iode source code
29
+ #
30
+ # @return [Object]
31
+ # the return value of the program
32
+ def run(source)
33
+ Interpreter.new.eval(Reader.new.read(source))
34
+ end
35
+ end
36
+ end
@@ -0,0 +1,61 @@
1
+ # iode: built_ins.rb
2
+ #
3
+ # Copyright 2014 Chris Corbyn <chris@w3style.co.uk>
4
+ #
5
+ # Licensed under the Apache License, Version 2.0 (the "License");
6
+ # you may not use this file except in compliance with the License.
7
+ # You may obtain a copy of the License at
8
+ #
9
+ # http://www.apache.org/licenses/LICENSE-2.0
10
+ #
11
+ # Unless required by applicable law or agreed to in writing, software
12
+ # distributed under the License is distributed on an "AS IS" BASIS,
13
+ # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
+ # See the License for the specific language governing permissions and
15
+ # limitations under the License.
16
+
17
+ module Iode
18
+ module BuiltIns
19
+ def car(list)
20
+ v, *_ = list
21
+ v
22
+ end
23
+
24
+ def cdr(list)
25
+ _, *v = list
26
+ v
27
+ end
28
+
29
+ def cadr(list)
30
+ car(cdr(list))
31
+ end
32
+
33
+ def cddr(list)
34
+ cdr(cdr(list))
35
+ end
36
+
37
+ def caddr(list)
38
+ car(cddr(list))
39
+ end
40
+
41
+ def cdddr(list)
42
+ cdr(cddr(list))
43
+ end
44
+
45
+ def cadddr(list)
46
+ car(cdddr(list))
47
+ end
48
+
49
+ def cddddr(list)
50
+ cdr(cdddr(list))
51
+ end
52
+
53
+ def caddddr(list)
54
+ car(cdddr(list))
55
+ end
56
+
57
+ def cdddddr(list)
58
+ cdr(cddddr(list))
59
+ end
60
+ end
61
+ end
@@ -0,0 +1,119 @@
1
+ # iode: interpreter.rb
2
+ #
3
+ # Copyright 2014 Chris Corbyn <chris@w3style.co.uk>
4
+ #
5
+ # Licensed under the Apache License, Version 2.0 (the "License");
6
+ # you may not use this file except in compliance with the License.
7
+ # You may obtain a copy of the License at
8
+ #
9
+ # http://www.apache.org/licenses/LICENSE-2.0
10
+ #
11
+ # Unless required by applicable law or agreed to in writing, software
12
+ # distributed under the License is distributed on an "AS IS" BASIS,
13
+ # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
+ # See the License for the specific language governing permissions and
15
+ # limitations under the License.
16
+
17
+ module Iode
18
+ # Iode interpreter, providing the central #eval function.
19
+ class Interpreter
20
+ include BuiltIns # FIXME: Remove this coupling!
21
+
22
+ # Create a new Interpreter with a given Scope.
23
+ #
24
+ # @param [Scope] scope
25
+ # the initial environment
26
+ def initialize(scope = Scope.new)
27
+ @env = scope
28
+ end
29
+
30
+ # Create an explicit progn block.
31
+ #
32
+ # A progn encapsulates a list of S-Expressions to be evaluated in sequence.
33
+ # The last evaluated S-Expression becomes the value of the progn.
34
+ #
35
+ # @param [Object...] *sexps
36
+ # a list of S-Expressions to wrap in a progn
37
+ #
38
+ # @return [Object]
39
+ # the value of the last S-Expression
40
+ def progn(*sexps)
41
+ sexps.inject(nil){|_,s| eval(s)}
42
+ end
43
+
44
+ # Create a new lambda for Iode.
45
+ #
46
+ # These lambdas act as closures in their environment.
47
+ #
48
+ # @param [Array] argnames
49
+ # a list of argument names as function inputs
50
+ #
51
+ # @param [Object...] *sexps
52
+ # variadic list of S-Expressions for the body
53
+ #
54
+ # @return [Proc]
55
+ # a callable lambda
56
+ def lambda(argnames, *sexps)
57
+ Proc.new do |*args|
58
+ Interpreter.new(
59
+ @env.push_scope(Hash[argnames.zip(args)])
60
+ ).progn(*sexps)
61
+ end
62
+ end
63
+
64
+ # Apply a function to its arguments.
65
+ #
66
+ # @param [Callable] fn
67
+ # a Proc or a Lambda
68
+ #
69
+ # @param [Array] args
70
+ # a list of arguments to apply with
71
+ #
72
+ # @return [Object]
73
+ # the function return value
74
+ def apply(fn, args)
75
+ if fn.respond_to?(:call)
76
+ fn.call(*args)
77
+ else
78
+ raise "Cannot apply non-function `#{fn}`"
79
+ end
80
+ end
81
+
82
+ # Given an iode data structure, execute it.
83
+ #
84
+ # @param [Object] sexp
85
+ # any valid S-expression in iode
86
+ #
87
+ # @return [Object]
88
+ # whatever the expression evaluates to
89
+ def eval(sexp)
90
+ case sexp
91
+ when Array
92
+ case car(sexp)
93
+ when nil
94
+ nil
95
+ when :quote
96
+ cadr(sexp)
97
+ when :if
98
+ if eval(cadr(sexp))
99
+ eval(caddr(sexp))
100
+ else
101
+ eval(cadddr(sexp))
102
+ end
103
+ when :progn
104
+ progn(*cdr(sexp))
105
+ when :set!
106
+ @env[cadr(sexp)] = eval(caddr(sexp))
107
+ when :lambda
108
+ lambda(cadr(sexp), *cddr(sexp))
109
+ else
110
+ apply(eval(car(sexp)), cdr(sexp).map(&method(:eval)))
111
+ end
112
+ when Symbol
113
+ @env[sexp]
114
+ else
115
+ sexp
116
+ end
117
+ end
118
+ end
119
+ end
@@ -0,0 +1,96 @@
1
+ # iode: reader.rb
2
+ #
3
+ # Copyright 2014 Chris Corbyn <chris@w3style.co.uk>
4
+ #
5
+ # Licensed under the Apache License, Version 2.0 (the "License");
6
+ # you may not use this file except in compliance with the License.
7
+ # You may obtain a copy of the License at
8
+ #
9
+ # http://www.apache.org/licenses/LICENSE-2.0
10
+ #
11
+ # Unless required by applicable law or agreed to in writing, software
12
+ # distributed under the License is distributed on an "AS IS" BASIS,
13
+ # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
+ # See the License for the specific language governing permissions and
15
+ # limitations under the License.
16
+
17
+ require "whittle"
18
+
19
+ module Iode
20
+ # Lisp reader, converting strings to lisp data structures.
21
+ class Reader < Whittle::Parser
22
+ # whitespace
23
+ rule(/\s+/).skip!
24
+
25
+ # comments
26
+ rule(/;.*/).skip!
27
+
28
+ # syntax
29
+ rule("(")
30
+ rule(")")
31
+
32
+ # scalars
33
+ {
34
+ float: /[0-9]*\.[0-9]+/,
35
+ int: /[0-9]+/,
36
+ string: /"(\\.|[^"])*"/,
37
+ regexp: /\/(\\.|[^\/])*\//
38
+ }.each do |name, pattern|
39
+ rule(name => pattern).as(&method(:eval))
40
+ end
41
+
42
+ # variables/symbols
43
+ rule(symbol: /[^\(\)\s;]+/).as do |v|
44
+ case v
45
+ when "nil"
46
+ nil
47
+ when "false"
48
+ false
49
+ when "true"
50
+ true
51
+ else
52
+ v.intern
53
+ end
54
+ end
55
+
56
+ # atoms
57
+ rule(:atom) do |r|
58
+ r[:int]
59
+ r[:float]
60
+ r[:string]
61
+ r[:symbol]
62
+ end
63
+
64
+ # lists of s-exps
65
+ rule(:sexp_list) do |r|
66
+ r[].as {[]}
67
+ r[:sexp].as {|sexp| [sexp]}
68
+ r[:sexp_list, :sexp].as{|list, sexp| list << sexp}
69
+ end
70
+
71
+ # s-exprs
72
+ rule(:sexp) do |r|
73
+ r[:atom]
74
+ r["(", :sexp_list, ")"].as {|_, list, _| list}
75
+ end
76
+
77
+ # a valid program is a list of s-exprs
78
+ start(:sexp_list)
79
+
80
+ # Read a string in as lisp data.
81
+ #
82
+ # @param [String] source
83
+ # iode source code to read in as lisp
84
+ #
85
+ # @return [Array]
86
+ # the source code as data for execution
87
+ def read(source)
88
+ progn = parse(source)
89
+ if progn.length > 1
90
+ [:progn, *progn]
91
+ else
92
+ progn.first
93
+ end
94
+ end
95
+ end
96
+ end
@@ -0,0 +1,83 @@
1
+ # iode: scope.rb
2
+ #
3
+ # Copyright 2014 Chris Corbyn <chris@w3style.co.uk>
4
+ #
5
+ # Licensed under the Apache License, Version 2.0 (the "License");
6
+ # you may not use this file except in compliance with the License.
7
+ # You may obtain a copy of the License at
8
+ #
9
+ # http://www.apache.org/licenses/LICENSE-2.0
10
+ #
11
+ # Unless required by applicable law or agreed to in writing, software
12
+ # distributed under the License is distributed on an "AS IS" BASIS,
13
+ # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
+ # See the License for the specific language governing permissions and
15
+ # limitations under the License.
16
+
17
+ module Iode
18
+ # Lexical scope environment for iode.
19
+ #
20
+ # Maintains a stack of execution contexts.
21
+ class Scope
22
+ # Create a new Scope with +values+ as available variables.
23
+ #
24
+ # @param [Hash] values
25
+ # key-values pairs of Symbol => Object
26
+ #
27
+ # @param [Scope] parent
28
+ # the parent scope, if any
29
+ def initialize(values = {}, parent = nil)
30
+ @values = values
31
+ @parent = parent
32
+ end
33
+
34
+ # Reference a variable in this scope.
35
+ #
36
+ # Raises a RuntimeError if the variable does not exist.
37
+ #
38
+ # @param [Symbol] k
39
+ # the variable name to lookup
40
+ #
41
+ # @return [Object]
42
+ # the object stored in this variable
43
+ def [](k)
44
+ if @values.key?(k)
45
+ @values[k]
46
+ elsif @parent
47
+ @parent[k]
48
+ else
49
+ raise "Undefined variable `#{k}`"
50
+ end
51
+ end
52
+
53
+ # Re-assign a variable in this scope.
54
+ #
55
+ # If the variable does not exist, it will be initialized.
56
+ #
57
+ # @param [Symbol] k
58
+ # the variable name to assign
59
+ #
60
+ # @param [Object] v
61
+ # the value to assign
62
+ #
63
+ # @return [Object]
64
+ # the assigned object
65
+ def []=(k, v)
66
+ @values[k] = v
67
+ end
68
+
69
+ # Create a new Scope with this Scope as its parent.
70
+ #
71
+ # The new Scope will have access to all variables in this Scope,
72
+ # but assignments will only mask variables, not replace them.
73
+ #
74
+ # @param [Hash] values
75
+ # variables to exist in the new Scope
76
+ #
77
+ # @return [Scope]
78
+ # a new Scope with this Scope as its parent
79
+ def push_scope(values = {})
80
+ Scope.new(values, self)
81
+ end
82
+ end
83
+ end
@@ -0,0 +1,19 @@
1
+ # iode: version.rb
2
+ #
3
+ # Copyright 2014 Chris Corbyn <chris@w3style.co.uk>
4
+ #
5
+ # Licensed under the Apache License, Version 2.0 (the "License");
6
+ # you may not use this file except in compliance with the License.
7
+ # You may obtain a copy of the License at
8
+ #
9
+ # http://www.apache.org/licenses/LICENSE-2.0
10
+ #
11
+ # Unless required by applicable law or agreed to in writing, software
12
+ # distributed under the License is distributed on an "AS IS" BASIS,
13
+ # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
+ # See the License for the specific language governing permissions and
15
+ # limitations under the License.
16
+
17
+ module Iode
18
+ VERSION = "0.0.1"
19
+ end
metadata ADDED
@@ -0,0 +1,104 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: iode
3
+ version: !ruby/object:Gem::Version
4
+ version: 0.0.1
5
+ platform: ruby
6
+ authors:
7
+ - Chris Corbyn
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+ date: 2014-03-17 00:00:00.000000000 Z
12
+ dependencies:
13
+ - !ruby/object:Gem::Dependency
14
+ name: whittle
15
+ requirement: !ruby/object:Gem::Requirement
16
+ requirements:
17
+ - - "~>"
18
+ - !ruby/object:Gem::Version
19
+ version: 0.0.8
20
+ type: :runtime
21
+ prerelease: false
22
+ version_requirements: !ruby/object:Gem::Requirement
23
+ requirements:
24
+ - - "~>"
25
+ - !ruby/object:Gem::Version
26
+ version: 0.0.8
27
+ - !ruby/object:Gem::Dependency
28
+ name: bundler
29
+ requirement: !ruby/object:Gem::Requirement
30
+ requirements:
31
+ - - "~>"
32
+ - !ruby/object:Gem::Version
33
+ version: '1.5'
34
+ type: :development
35
+ prerelease: false
36
+ version_requirements: !ruby/object:Gem::Requirement
37
+ requirements:
38
+ - - "~>"
39
+ - !ruby/object:Gem::Version
40
+ version: '1.5'
41
+ - !ruby/object:Gem::Dependency
42
+ name: rake
43
+ requirement: !ruby/object:Gem::Requirement
44
+ requirements:
45
+ - - ">="
46
+ - !ruby/object:Gem::Version
47
+ version: '0'
48
+ type: :development
49
+ prerelease: false
50
+ version_requirements: !ruby/object:Gem::Requirement
51
+ requirements:
52
+ - - ">="
53
+ - !ruby/object:Gem::Version
54
+ version: '0'
55
+ description: |2
56
+ Iode is a work in progress real language on LLVM.
57
+ This Ruby Gem exists solely so the author can experiment with new language
58
+ features before committing those ideas to the real language. It is not
59
+ intended for general use, nor is it intended to be fast or concise.
60
+ email:
61
+ - chris@w3style.co.uk
62
+ executables:
63
+ - iode-rb
64
+ extensions: []
65
+ extra_rdoc_files: []
66
+ files:
67
+ - ".gitignore"
68
+ - Gemfile
69
+ - LICENSE.txt
70
+ - README.md
71
+ - Rakefile
72
+ - bin/iode-rb
73
+ - iode.gemspec
74
+ - lib/iode.rb
75
+ - lib/iode/built_ins.rb
76
+ - lib/iode/interpreter.rb
77
+ - lib/iode/reader.rb
78
+ - lib/iode/scope.rb
79
+ - lib/iode/version.rb
80
+ homepage: https://github.com/d11wtq/iode-rb
81
+ licenses:
82
+ - MIT
83
+ metadata: {}
84
+ post_install_message:
85
+ rdoc_options: []
86
+ require_paths:
87
+ - lib
88
+ required_ruby_version: !ruby/object:Gem::Requirement
89
+ requirements:
90
+ - - ">="
91
+ - !ruby/object:Gem::Version
92
+ version: '0'
93
+ required_rubygems_version: !ruby/object:Gem::Requirement
94
+ requirements:
95
+ - - ">="
96
+ - !ruby/object:Gem::Version
97
+ version: '0'
98
+ requirements: []
99
+ rubyforge_project:
100
+ rubygems_version: 2.2.0
101
+ signing_key:
102
+ specification_version: 4
103
+ summary: An experimental lisp-family language hosted on Ruby
104
+ test_files: []