unlambda 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 6f05d51f8c72595da1e30bb205e7c9318fc14736c4800e208360db55d7f4416a
+  data.tar.gz: 6635ade0872112355d474a81fb59de0db814de81af0624bc2e99775e40815857
+SHA512:
+  metadata.gz: 1703d2d5e34078fabc638355e0faeab28eec9742c739f9bee654e545b81d3f96ab97decac583c98d103d86ef718980f2dbae12b9391699d84f67e401b561c066
+  data.tar.gz: 56ad22bbba5191cd9307caa2e10a040e9c69dfb8c2ee0159a1daa7486ada7c3cccea53333c65f9869268e9dc4229fa1e91bd2be87d231a7c424b37942272c5f3

data/README.md

@@ -0,0 +1,18 @@
+# unlambda-ruby
+
+An Unlambda interpreter.
+
+## Run
+
+```
+rake install
+curl -OL https://users.math.cas.cz/~jerabek/ptakoviny/unlambda/sierp.unl
+./bin/unli sierp.unl
+```
+
+## References
+
+- http://www.madore.org/~david/programs/unlambda/
+- http://users.math.cas.cz/~jerabek/ptakoviny/index.html#unl
+- http://people.cs.uchicago.edu/~odonnell/Teacher/Lectures/Formal_Organization_of_Knowledge/Examples/combinator_calculus/
+- http://practical-scheme.net/docs/cont-j.html

data/Rakefile

@@ -0,0 +1,14 @@
+# frozen_string_literal: true
+
+require 'rake'
+require 'rake/testtask'
+require 'bundler/gem_tasks'
+
+task default: ['test']
+
+Rake::TestTask.new('test') do |t|
+  t.description = 'Run tests'
+  t.libs << ['lib']
+  t.pattern = 'test/*_test.rb'
+  t.warning = false
+end

data/bin/unli

@@ -0,0 +1,19 @@
+#!/usr/bin/env ruby
+#
+# Copyright (c) 2020. All rights reserved.
+#
+# frozen_string_literal: true
+
+require 'unlambda'
+
+def run(filename, cin = proc { $stdin.getc }, cout = proc { |x| print x })
+  stack = File.open(filename, 'r') { |io| Unlambda.parse io }
+  Unlambda::Evaluator.new([stack, 'E'], cin, cout).eval
+end
+
+if ARGV.length != 1
+  warn 'usage: unli <PATH/TO/FILE>'
+  exit(1)
+end
+
+run ARGV[0]

data/lib/unlambda/evaluator.rb

@@ -0,0 +1,127 @@
+# frozen_string_literal: true
+
+module Unlambda
+  class Evaluator
+    def initialize(stk, cin, cout, debug: false)
+      @stack = stk
+      @rest = []
+      @in = cin
+      @out = cout
+      @cur_ch = nil # current char
+
+      @debug = debug
+      debug_log 'initialize'
+    end
+
+    def eval
+      until @stack.empty?
+        while (intr_op = @stack.pop)
+          case intr_op
+          when 'E'
+            @rest = @stack.pop
+            @rest[0] == '`' && @stack += [@rest[2], 'F', @rest[1], 'E']
+            break
+          when 'F'
+            if @rest[0] == 'd'
+              # delay: の場合、式を評価せずプロミスへ
+              @rest = ['D', @stack.pop]
+            else
+              @stack += [@rest, 'A', @stack.pop, 'E']
+            end
+            break
+          else # when `A'
+            apply
+          end
+        end
+      end
+    end
+
+    private
+
+    def apply
+      while (a = @stack.pop)
+        debug_log 'apply'
+
+        case a[0]
+        when 's'
+          # subsitution: 関数(\X,Y,Z -> XZ, YZ)に引数を適用し、
+          #  関数(\Y,Z -> XZ,YZ)を返す
+          @rest = ['S', @rest]
+          break
+        when 'S'
+          # subsitution first partial: 関数(\Y,Z -> XZ,YZ)に引数を適用し、
+          #  関数(\Z -> XZ,YZ)を返す
+          @rest = ['T', a[1], @rest]
+          break
+        when 'T'
+          # subsitution application: 関数(\Z -> XZ,YZ) に引数を与えた式を返す
+          @stack += [['`', ['`', a[1], @rest], ['`', a[2], @rest]], 'E']
+          break
+        when 'k'
+          # constant generator: 関数(\X,Y -> X)に引数を適用し、関数(\Y -> X)を返す
+          @rest = ['K', @rest]
+          break
+        when 'K'
+          # constant function: 関数(\Y -> X)に引数を与えた値を返す
+          @rest = a[1]
+          break
+        when 'i'
+          # identity: 恒等関数
+          break
+        when 'v'
+          # void: 自分自身(v)をそのまま返す
+          @rest = a
+          break
+        when 'e'
+          # exit: 直ちに終了、ただし仕様には引数をとり評価した結果をプログラムの
+          #  exit-status にする? と記載がある
+          @stack = []
+          break
+        when 'D'
+          # promise: `d' によって作成されたプロミス(評価されていない引数)に
+          #  D の引数を与えた式を返す
+          @stack += [['`', a[1], @rest], 'E']
+          break
+        when 'c'
+          # call/cc: 現在の計算(継続)を引数 X の引数として与えた式を返す
+          @stack += [['`', @rest, ['C', [@stack]]], 'E']
+          break
+        when 'C'
+          # cont: 継続を取り出す
+          @stack = a[1].pop
+          break
+        when '.'
+          # print: 引数を出力し、その値をそのまま返す
+          @out.call(a[1])
+          break
+        when '@'
+          # read: 入力から一文字受取り current character(@cur_ch) にセット
+          #  成功した場合は `Xi' 失敗の場合 `Xv' を返す(このとき X は @ の引数)
+          @stack += [['`', @rest, [(@cur_ch = @in.call) ? 'i' : 'v']], 'E']
+          break
+        when '?'
+          # compare character read: current character(@cur_ch) がセットされ、
+          #  その値が ? の次に続く文字(X)と等しい場合 `Yi' を返す、
+          #  等しくない場合 `Yv' を返す (このとき Y は ?X の引数)
+          @stack += [['`', @rest, [a[1] == @cur_ch ? 'i' : 'v']], 'E']
+          break
+        when '|'
+          # reprint character read: current character(@cur_ch) がセットされている
+          #  場合、`X.@cur_ch' を返す、そうでない場合 `Xv' を返す
+          #  (このとき X は | の引数)
+          @stack += [['`', @rest, @cur_ch ? ['.', @cur_ch] : ['v']], 'E']
+          break
+        else
+          raise "`#{a[0]}' -- WTF?"
+        end
+      end
+    end
+
+    def debug_log(name)
+      return unless @debug
+
+      $stderr.print "DEBUG: #{name}: "
+      warn @stack
+    end
+  end
+end

data/lib/unlambda/parse.rb

@@ -0,0 +1,32 @@
+# frozen_string_literal: true
+
+module Unlambda
+  def self.parse(io)
+    while (cc = io.getc)
+      c = cc.downcase
+
+      case c
+      when '.', '?'
+        # `.', `?' に続くEOFでない文字は受け入れる
+        if (nc = io.getc)
+          return [c, nc]
+        else
+          raise "unexpected EOF after `#{c}'"
+        end
+      when '`'
+        return [c, parse(io), parse(io)]
+      when /^[skivcde@|]/
+        return [c]
+      when 'r'
+        return ['.', "\n"]
+      when /\s/
+        next
+      when '#'
+        io.readline
+        next
+      else
+        raise "unknown character `#{c}'"
+      end
+    end
+  end
+end

data/lib/unlambda.rb

@@ -0,0 +1,4 @@
+# frozen_string_literal: true
+
+require 'unlambda/evaluator'
+require 'unlambda/parse'

data/test/unlambda_test.rb

@@ -0,0 +1,51 @@
+# frozen_string_literal: true
+
+require 'test/unit'
+require 'stringio'
+require 'unlambda'
+
+class TestUnlambda < Test::Unit::TestCase
+  def scenario(src, input = [])
+    stack = Unlambda.parse StringIO.new(src)
+    output = String.new('')
+    Unlambda::Evaluator.new(
+      [stack, 'E'],
+      proc { input.pop },
+      proc { |x| output << x },
+      debug: false
+    ).eval
+    output
+  end
+
+  def test_write_space_comment
+    src = <<~"UNL"
+      # Hello world
+      `r```  `````   ```.H
+         .e         .l
+              .l
+            .o. .w .o .r
+              .l    .di
+    UNL
+    assert_equal "Hello world\n", scenario(src)
+  end
+
+  def test_read_currentchar
+    assert_equal 'X', scenario('`@.X', ['_'])
+    assert_equal 'X', scenario('````@i.Xi```?Yi.Zi', ['X'])
+    assert_equal 'XZ', scenario('````@i.Xi```?Yi.Zi', ['Y'])
+    assert_equal 'XYZ', scenario('````@i.Xi``|.Yi', ['Z'])
+    assert_equal 'Y', scenario('````@i.Xi``|.Yi', [])
+  end
+
+  def test_s_k_i
+    assert_equal 'XYZZ', scenario('````s.X.Y.Zi')
+    assert_equal 'X', scenario('```k.X.Yi')
+    assert_equal 'X', scenario('`.Xi')
+    assert_equal 'XY', scenario('``````s``s`ks``s`kk``s`ks``s`k`sik`kk.X.Yii')
+  end
+
+  def test_c_d
+    assert_equal 'XX', scenario('``cd`.Xi')
+    assert_equal 'XYZ', scenario('``ci`d`c`@|', ['XYZ'])
+  end
+end

metadata

@@ -0,0 +1,47 @@
+--- !ruby/object:Gem::Specification
+name: unlambda
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Yu Ishii
+bindir: bin
+cert_chain: []
+date: 1980-01-01 00:00:00.000000000 Z
+dependencies: []
+email:
+- asbish@hobbyhorsemodels.com
+executables:
+- unli
+extensions: []
+extra_rdoc_files: []
+files:
+- README.md
+- Rakefile
+- bin/unli
+- lib/unlambda.rb
+- lib/unlambda/evaluator.rb
+- lib/unlambda/parse.rb
+- test/unlambda_test.rb
+homepage: https://git.sr.ht/~asbish/unlambda-ruby
+licenses:
+- MIT
+metadata: {}
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '3.2'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.6.9
+specification_version: 4
+summary: An Unlambda interpreter
+test_files: []