rbsiev 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: '09e27f55acd8c832a0e6feeb288bfa7ab7c8201a2825a1d008f0e387b47e9a8d'
+  data.tar.gz: f2cd0be2bf4928fbfe8f27c671048fa416fac1a4d174121bdd8e1ec1188fc63e
+SHA512:
+  metadata.gz: 1d006ac8919f712ce78ac63553121a82951300b2785e2f853f7d1c3a5df677ac38916be289478e42a597caf777938c6a1ef24e775f76eeb93abce74ed720f232
+  data.tar.gz: e7f84522ead7e7c8807866f58c86bdfa9ee64e42a7d348e91bc33c75fa818bcd2432ea78fff68b5087a3257af42bc248cdd38ce67efc25fb2404883dd2ed7c23

data/.github/workflows/main.yml

@@ -0,0 +1,18 @@
+name: Build
+
+on: [push,pull_request]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up Ruby
+      uses: ruby/setup-ruby@v1
+      with:
+        ruby-version: 3.0.1
+    - name: Run the default task
+      run: |
+        gem install bundler -v 2.2.15
+        bundle install
+        bundle exec rake

data/.gitignore

@@ -0,0 +1,57 @@
+Gemfile.lock
+*.gem
+*.rbc
+/.config
+/coverage/
+/InstalledFiles
+/pkg/
+/spec/reports/
+/spec/examples.txt
+/test/tmp/
+/test/version_tmp/
+/tmp/
+
+# Used by dotenv library to load environment variables.
+# .env
+
+# Ignore Byebug command history file.
+.byebug_history
+
+## Specific to RubyMotion:
+.dat*
+.repl_history
+build/
+*.bridgesupport
+build-iPhoneOS/
+build-iPhoneSimulator/
+
+## Specific to RubyMotion (use of CocoaPods):
+#
+# We recommend against adding the Pods directory to your .gitignore. However
+# you should judge for yourself, the pros and cons are mentioned at:
+# https://guides.cocoapods.org/using/using-cocoapods.html#should-i-check-the-pods-directory-into-source-control
+#
+# vendor/Pods/
+
+## Documentation cache and generated files:
+/.yardoc/
+/_yardoc/
+/doc/
+/rdoc/
+
+## Environment normalization:
+/.bundle/
+/vendor/bundle
+/lib/bundler/man/
+
+# for a library or gem, you might want to ignore these files since the code is
+# intended to run in multiple environments; otherwise, check them in:
+# Gemfile.lock
+# .ruby-version
+# .ruby-gemset
+
+# unless supporting rvm < 1.11.0 or doing something fancy, ignore this:
+.rvmrc
+
+# Used by RuboCop. Remote config files pulled in from inherit_from directive.
+# .rubocop-https?--*

data/CHANGELOG.md

@@ -0,0 +1,5 @@
+## [Unreleased]
+
+## [0.1.0] - 2021-06-08
+
+- Initial release

data/Gemfile

@@ -0,0 +1,10 @@
+# frozen_string_literal: true
+
+source "https://rubygems.org"
+
+# Specify your gem's dependencies in rbsiev.gemspec
+gemspec
+
+gem "rake", "~> 13.0"
+
+gem "minitest", "~> 5.0"

data/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2021 mnbi
+
+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,90 @@
+# Rbsiev
+
+[![Build Status](https://github.com/mnbi/rbsiev/workflows/Build/badge.svg)](https://github.com/mnbi/rbsiev/actions?query=workflow%3A"Build")
+
+SICP evaluator in Ruby.
+
+Or, Ruby で書いた SICP の evaluator.
+
+It is intended to be a part of Scheme implementation written in Ruby.
+
+## Installation
+
+Execute:
+
+    $ gem install rbsiev
+
+## Usage
+
+Run the simple REPL as:
+
+    $ rbsiev
+
+Then, you can input Scheme program.
+
+## Supported Syntax
+
+In 0.1.0, the evaluator mostly corresponds to the one in SICP 4.1.1 -
+4.1.6.
+
+See the [wiki page](https://github.com/mnbi/rbsiev/wiki/実装の進捗)
+for more information about the progress of implementing.
+
+### Literals
+
+- boolean value (`#f` and `#t`),
+- an empty list (`()`),
+- a string enclosing with double-quotations, such `"hoge"`
+- numbers (integer, real, rational, and complex)
+
+### Primitive procedures
+
+- arithmetic operators (`+`, `-`, `*`, `/`, `%`),
+- comparison operators (`=`, `<`, `>`, `<=`, `>=`)
+- `cons`, `car`, `cdr`
+- `null?`, `pair?`, `list?`, `number?`
+- `list`, `append`
+- `write`, `display`
+
+### Syntax to be evaluated
+
+- lambda expression
+  - such `(lambda (n) (+ n 1))`
+- procedure application
+  - such `(foo 1)`
+- conditional expression
+  - `if`, `cond`, `when`, `unless`
+- logical test
+  - `and`, `or`
+- assignment
+  - `set!`
+- definition
+  - `define`
+- sequence
+  - `begin`
+- local bindings
+  - `let`, `let*`, `letrec`, `letrec*`
+- loop
+  - `do`
+
+## Related projects
+
+- Lexical Analyzer for Scheme - [mnbi/rbscmlex](https://github.com/mnbi/rbscmlex)
+- Abstract Syntax Tree and Syntax Analyzer for Scheme - [mnbi/rubasteme](https://github.com/mnbi/rubasteme)
+- Ruby wit Syntax Sugar of Scheme - [mnbi/rus3](https://github.com/mnbi/rus3)
+- A small Scheme implementation in Ruby - [mnbi/rubeme](https://github.com/mnbi/rubeme)
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake test` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at [https://github.com/mnbi/rbsiev](https://github.com/mnbi/rbsiev).
+
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).

data/Rakefile

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+require "bundler/gem_tasks"
+require "rake/testtask"
+
+Rake::TestTask.new(:test) do |t|
+  t.libs << "test"
+  t.libs << "lib"
+  t.test_files = FileList["test/**/*_test.rb"]
+end
+
+task default: :test
+
+require "rdoc/task"
+
+RDoc::Task.new do |rdoc|
+  rdoc.generator = "ri"
+  rdoc.rdoc_dir = "rdoc"
+  rdoc.rdoc_files.include("lib/**/*.rb")
+end

data/bin/console

@@ -0,0 +1,15 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+require "bundler/setup"
+require "rbsiev"
+
+# You can add fixtures and/or initialization code here to make experimenting
+# with your gem easier. You can also use a different console, if you like.
+
+# (If you use this, don't forget to add pry to your Gemfile!)
+# require "pry"
+# Pry.start
+
+require "irb"
+IRB.start(__FILE__)

data/bin/setup

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+IFS=$'\n\t'
+set -vx
+
+bundle install
+
+# Do any other automated setup that you need to do here

data/exe/rbsiev

@@ -0,0 +1,51 @@
+#!/usr/bin/env ruby
+
+require "rbsiev"
+
+def usage
+  puts <<HELP
+usage:
+    rbsiev [option] [FILE]
+option:
+    -d, --debug   : specify to run in verbose mode
+    -v, --version : print version
+    -h, --help    : show this message
+HELP
+end
+
+def print_version
+  ver = Rbsiev::VERSION
+  rel = Rbsiev::RELEASE
+  puts "(rbsiev :version #{ver} :release #{rel})"
+end
+
+opts = {}
+
+while ARGV.size > 0
+  arg = ARGV.shift
+  case arg
+  when "-d", "--debug"
+    opts[:verbose] = true
+  when "-v", "--version"
+    print_version
+    exit 0
+  when "-h", "--help"
+    usage
+    exit 0
+  else
+    opts[:files] ||= []
+    opts[:files] << arg
+  end
+end
+
+begin
+  if opts[:files]
+    Rbsiev.run(**opts)
+  else
+    opts[:prompt] = opts[:verbose] ? "rbsiev[#{Rbsiev::VERSION}]> " : "rbsiev> "
+    Rbsiev::Repl.start(**opts)
+  end
+rescue Rbsiev::Error => e
+  puts e.message
+  exit 1
+end

data/lib/rbsiev.rb

@@ -0,0 +1,98 @@
+# frozen_string_literal: true
+
+require "rbscmlex"
+require "rubasteme"
+require_relative "rubasteme/ast/misc"
+require_relative "scmo/object"
+
+module Rbsiev
+  require_relative "rbsiev/version"
+  require_relative "rbsiev/error"
+  require_relative "rbsiev/primitives"
+  require_relative "rbsiev/procedure"
+  require_relative "rbsiev/environment"
+  require_relative "rbsiev/evaluator"
+  require_relative "rbsiev/printer"
+  require_relative "rbsiev/repl"
+
+  SCM_EMPTY_LIST = Scmo::EMPTY_LIST
+  SCM_TRUE = Scmo::TRUE
+  SCM_FALSE = Scmo::FALSE
+
+  def self.scheme_object?(obj)
+    Scmo.scheme_object?(obj)
+  end
+
+  Components = Struct.new(:parser, :evaluator, :printer, :env) {
+    def parse(source)
+      parser.parse(Rbscmlex.lexer(source))
+    end
+
+    def eval(ast_node)
+      evaluator.eval(ast_node, env)
+    end
+
+    def print(value)
+      printer.print(value)
+    end
+
+    def exec(source)
+      self.print(self.eval(parse(source)))
+    end
+
+    def load(file)
+      raise Error, "Cannot find \"%s\"" % f unless FileTest.exist?(file)
+      source = File.readlines(file, chomp: true).join(" ")
+      self.exec(source)
+    end
+
+    def version
+      comp_vers = []
+      comp_vers << Rbscmlex::Lexer.version
+      comp_vers << Rubasteme::Parser.version
+      comp_vers << Evaluator.version
+      comp_vers.join("\n")
+    end
+  }
+
+  def self.evaluator
+    Evaluator.new
+  end
+
+  def self.printer
+    Printer.new
+  end
+
+  def self.setup_environment
+    initial_env = Environment.the_empty_environment
+    names = []
+    values = []
+    PRIMITIVE_NAMES_MAP.each { |name, sym|
+      names << name
+      values << Procedure.make_procedure(nil, sym, initial_env)
+    }
+    initial_env.extend(names, values)
+  end
+
+  def self.eval(scm_source)
+    lexer = Rbscmlex.lexer(scm_source)
+    parser = Rubasteme.parser
+    eva = evaluator
+    env = setup_environment
+    eva.eval(parser.parse(lexer), env)
+  end
+
+  def self.run(files:, verbose: false)
+    parser = Rubasteme.parser
+    evaluator = Evaluator.new
+    env = setup_environment
+    printer = Printer.new
+
+    evaluator.verbose = verbose
+    printer.verbose = verbose
+
+    components = Components.new(parser, evaluator, printer, env)
+
+    files.each {|f| components.load(f)}
+  end
+end

data/lib/rbsiev/environment.rb

@@ -0,0 +1,110 @@
+# frozen_string_literal: true
+
+module Rbsiev
+
+  class Environment
+    include Primitives
+
+    def self.the_empty_environment
+      Environment.new(nil)
+    end
+
+    def self.make_frame(variables, values)
+      Frame.new(variables, values)
+    end
+
+    class Frame
+      def initialize(variables = [], values = [])
+        @bindings = variables.zip(values).to_h
+      end
+
+      def variables
+        @bindings.keys
+      end
+
+      def values
+        @bindings.values
+      end
+
+      def lookup(var)
+        @bindings[var]
+      end
+
+      def add_binding(var, val)
+        @bindings.merge!({var => val})
+      end
+
+      def set(var, value)
+        @bindings[var] = value
+      end
+    end
+
+    def initialize(base_env)
+      @frame = nil
+      @enclosing_environment = base_env
+    end
+
+    attr_reader :enclosing_environment
+
+    def first_frame
+      @frame
+    end
+
+    def extend(vars, vals)
+      if vars.size == vals.size
+        new_env = Environment.new(self)
+        new_env.set_frame!(Environment.make_frame(vars, vals))
+        new_env
+      elsif var.size < vals.size
+        raise Error, "Too many arguments supplied: %s => %s" % [vars, vals]
+      else
+        raise Error, "Too few arguments supplied: %s => %s" % [vars, vals]
+      end
+    end
+
+    def lookup_variable_value(var)
+      val = nil
+      env = self
+      while env
+        val = env.first_frame && env.first_frame.lookup(var)
+        break if val
+        env = env.enclosing_environment
+      end
+      raise Error, "Unbound variable: got=%s" % var if val.nil?
+      val
+    end
+
+    def define_variable(var, val)
+      if first_frame.nil?
+        set_frame!(Environment.make_frame([var], [val]))
+      else
+        first_frame.add_binding(var, val)
+      end
+      var
+    end
+
+    def set_variable_value(var, val)
+      current = nil
+      env = self
+      while env
+        current = env.first_frame && env.first_frame.lookup(var)
+        if current
+          env.first_frame.set(var, val)
+          break
+        else
+          env = env.enclosing_environment
+        end
+      end
+      raise Error, "Unbound variable: got=%s" % var if current.nil?
+      val
+    end
+
+    protected
+
+    def set_frame!(frame)
+      @frame = frame
+    end
+
+  end                           # end of Environment
+
+end