tins 0.13.2 → 1.0.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 33e8a0b467a8afe09dfacf9d3e863095bbff4f62
-  data.tar.gz: 705758796fb07e53051e10824e83f4e96470ac2d
+  metadata.gz: daf3b23e37e5aaede8874111788fe50b8cde092b
+  data.tar.gz: 9c1fc6a057ccc8f8fd1e453ce3192dd4c9be3cc9
 SHA512:
-  metadata.gz: 44d8bab15a5bbd2970f846fce5151ec1556f2ee9e2f2b22193993da504af5590511bb266b39066874ad470198c6ad7112e77dab1b486eb49baf3cd687feab558
-  data.tar.gz: 8e629177458dc5a6dc51ee109c929e0c70f677b2ec46db77b4c61da149ebfa17b0c4a5180e3c75146a0c28baafa84f1b87a0fac5d1fbb8fdf50bf2b426e4b900
+  metadata.gz: 13370cc1f4ade6e9e275dffd130ab27c8b60fa565aab1d191aad04eee63e449aba0a5a90edb1aba6c89cb4ac56794344530f03bc228758552d9a719b77da5d5e
+  data.tar.gz: 58c760d2cbcd53e2780364832df9ddf555bd755a73609741969bd813d17a2d368fefeec6ac083c6306cf2f2251f3b310fef7851a880a97078ca92330aa1de38d

data/.gitignore

@@ -1,6 +1,7 @@
 .*.sw[pon]
 .AppleDouble
 .DS_Store
+.bundle
 .rbx
 .rvmrc
 Gemfile.lock

data/Rakefile

@@ -12,23 +12,11 @@ GemHadar do
   test_dir    'tests'
   test_files.concat Dir["#{test_dir}/*_test.rb"]
   ignore      '.*.sw[pon]', 'pkg', 'Gemfile.lock', '.rvmrc', 'coverage', '.rbx',
-              '.AppleDouble', '.DS_Store', 'tags'
+    '.AppleDouble', '.DS_Store', 'tags', '.bundle'
 
   readme      'README.rdoc'
   licenses << 'MIT'
 
   development_dependency 'test-unit', '~>2.5'
   development_dependency 'utils'
-
-  install_library do
-    libdir = CONFIG["sitelibdir"]
-    cd 'lib' do
-      for file in Dir['**/*.rb']
-        dst = File.join(libdir, file)
-        mkdir_p File.dirname(dst)
-        install file, dst
-      end
-    end
-    install 'bin/enum', File.join(CONFIG['bindir'], 'enum')
-  end
 end

data/VERSION

@@ -1 +1 @@
-0.13.2
+1.0.0

data/examples/add_one.stm

@@ -0,0 +1,13 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with a binary number on the tape:
+# $ turing.rb add_one.stm 1111010101
+
+0. right :goto   => 1
+1. cond  :if => 'B', :then => 2, :else => 0
+2. left  :goto   => 3
+3. cond  :if => '1', :then => 4, :else => 5
+4. write :symbol => '0', :goto => 2
+5. write :symbol => '1', :goto => 6
+6. right :goto   => 7
+7. cond  :if => 'B', :then => 8, :else => 6
+8. halt

data/examples/bb3.stm

@@ -0,0 +1,26 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with an empty tape
+# $ turing.rb bb3.stm ''
+
+# Busy Beaver: 3-state, 2-symbol
+
+# state A
+ 1. cond  :if => 'B', :then => 2, :else => 4
+ 2. write :symbol => '1', :goto => 3
+ 3. right :goto => 6
+ 4. write :symbol => '1', :goto => 5
+ 5. right :goto => 16
+# state B
+ 6. cond  :if => 'B', :then => 7, :else => 9
+ 7. write :symbol => 'B', :goto => 8
+ 8. right :goto => 11
+ 9. write :symbol => '1', :goto => 10
+10. right :goto => 6
+# state C
+11. cond  :if => 'B', :then => 12, :else => 14
+12. write :symbol => '1', :goto => 13
+13. left  :goto => 11
+14. write :symbol => '1', :goto => 15
+15. left  :goto => 1
+# halt
+16. halt

data/examples/bb3_19.stm

@@ -0,0 +1,26 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with an empty tape
+# $ turing.rb bb3.stm ''
+
+# Busy Beaver: 3-state, 2-symbol
+
+# state A
+ 1. cond  if: 'B', then: 2, else: 4
+ 2. write symbol: '1', goto: 3
+ 3. right goto: 6
+ 4. write symbol: '1', goto: 5
+ 5. right goto: 16
+# state B
+ 6. cond  if: 'B', then: 7, else: 9
+ 7. write symbol: 'B', goto: 8
+ 8. right goto: 11
+ 9. write symbol: '1', goto: 10
+10. right goto: 6
+# state C
+11. cond  if: 'B', then: 12, else: 14
+12. write symbol: '1', goto: 13
+13. left  goto: 11
+14. write symbol: '1', goto: 15
+15. left  goto: 1
+# halt
+16. halt

data/examples/concatenate_compare.mtm

@@ -0,0 +1,31 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with four binary numbers on the tape:
+# $ turing.rb concatenate_compare.mtm 110 1 11 01
+
+ 1. right 1,  :goto => 2
+ 2. cond  1,  :if => 'B', :then => 3, :else => 1
+ 3. right 2,  :goto => 4
+ 4. cond  2,  :if => '0', :then => 7, :else => 5
+ 5. cond  2,  :if => '1', :then => 6, :else => 9
+ 6. write 1,  :symbol => '1', :goto => 8
+ 7. write 1,  :symbol => '0', :goto => 8
+ 8. right 1,  :goto => 3
+ 9. right 3,  :goto => 10
+10. cond  3,  :if => 'B', :then => 11, :else => 9
+11. right 4,  :goto => 12
+12. cond  4,  :if => '0', :then => 14, :else => 13
+13. cond  4,  :if => '1', :then => 15, :else => 17
+14. write 3,  :symbol => '0', :goto => 16
+15. write 3,  :symbol => '1', :goto => 16
+16. right 3,  :goto => 11
+17. left  3,  :goto => 18
+18. left  1,  :goto => 19
+19. cond  3,  :if => '0', :then => 20, :else => 22
+20. cond  1,  :if => '0', :then => 17, :else => 24
+21. cond  1,  :if => '1', :then => 17, :else => 24
+22. cond  3,  :if => '1', :then => 21, :else => 23
+23. cond  1,  :if => 'B', :then => 25, :else => 24
+24. write 0,  :symbol => '0', :goto => 26
+25. write 0,  :symbol => '1', :goto => 26
+26. right 0,  :goto => 27
+27. halt

data/examples/concatenate_compare_19.mtm

@@ -0,0 +1,31 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with four binary numbers on the tape:
+# $ turing.rb concatenate_compare.mtm 110 1 11 01
+
+ 1. right 1,  goto: 2
+ 2. cond  1,  if: 'B', then: 3, else: 1
+ 3. right 2,  goto: 4
+ 4. cond  2,  if: '0', then: 7, else: 5
+ 5. cond  2,  if: '1', then: 6, else: 9
+ 6. write 1,  symbol: '1', goto: 8
+ 7. write 1,  symbol: '0', goto: 8
+ 8. right 1,  goto: 3
+ 9. right 3,  goto: 10
+10. cond  3,  if: 'B', then: 11, else: 9
+11. right 4,  goto: 12
+12. cond  4,  if: '0', then: 14, else: 13
+13. cond  4,  if: '1', then: 15, else: 17
+14. write 3,  symbol: '0', goto: 16
+15. write 3,  symbol: '1', goto: 16
+16. right 3,  goto: 11
+17. left  3,  goto: 18
+18. left  1,  goto: 19
+19. cond  3,  if: '0', then: 20, else: 22
+20. cond  1,  if: '0', then: 17, else: 24
+21. cond  1,  if: '1', then: 17, else: 24
+22. cond  3,  if: '1', then: 21, else: 23
+23. cond  1,  if: 'B', then: 25, else: 24
+24. write 0,  symbol: '0', goto: 26
+25. write 0,  symbol: '1', goto: 26
+26. right 0,  goto: 27
+27. halt

data/examples/length_difference.mtm

@@ -0,0 +1,17 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two [ab]* strings on the tapes:
+# $ turing.rb prefix-equals-suffix-reversed-with-infix.stm ab ababab
+
+ 1. right 1,  :goto => 2
+ 2. right 2,  :goto => 3
+ 3. cond  1,  :if => 'B', :then => 5, :else => 4
+ 4. cond  2,  :if => 'B', :then => 9, :else => 1
+ 5. cond  2,  :if => 'B', :then => 13, :else => 6
+ 6. write 0,  :symbol => 'b', :goto => 7
+ 7. right 0,  :goto => 8
+ 8. right 2,  :goto => 5
+ 9. write 0,  :symbol => 'a', :goto => 10
+10. right 0,  :goto => 11
+11. right 1,  :goto => 12
+12. cond  1,  :if => 'B', :then => 13, :else => 9
+13. halt

data/examples/length_difference_19.mtm

@@ -0,0 +1,17 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two [ab]* strings on the tapes:
+# $ turing.rb prefix-equals-suffix-reversed-with-infix.stm ab ababab
+
+ 1. right 1,  goto: 2
+ 2. right 2,  goto: 3
+ 3. cond  1,  if: 'B', then: 5, else: 4
+ 4. cond  2,  if: 'B', then: 9, else: 1
+ 5. cond  2,  if: 'B', then: 13, else: 6
+ 6. write 0,  symbol: 'b', goto: 7
+ 7. right 0,  goto: 8
+ 8. right 2,  goto: 5
+ 9. write 0,  symbol: 'a', goto: 10
+10. right 0,  goto: 11
+11. right 1,  goto: 12
+12. cond  1,  if: 'B', then: 13, else: 9
+13. halt

data/examples/let.rb

@@ -0,0 +1,62 @@
+#!/usr/bin/env ruby
+
+require 'tins'
+
+LetScope = Tins::BlankSlate.with :instance_eval, :to_s, :inspect, :extend
+class LetScope
+  include Tins::MethodMissingDelegator::DelegatorModule
+  include Tins::BlockSelf
+
+  def initialize(my_self, bindings = {}, outer_scope = nil)
+    super(my_self)
+    @outer_scope = outer_scope
+    @bindings = bindings
+    extend Tins::Eigenclass
+    eigenclass_eval { extend Tins::Constant }
+    each_binding do |name, value|
+      eigenclass_eval {  constant name, value }
+    end
+  end
+
+  def each_binding(&block)
+    if @outer_scope
+      @outer_scope.each_binding(&block)
+    end
+    @bindings.each(&block)
+  end
+
+  def let(bindings = {}, &block)
+    ls = LetScope.new(block_self(&block), bindings, self)
+    ls.instance_eval(&block)
+  end
+
+  # Including this module into your current namespace defines the let method.
+  module Include
+    include Tins::BlockSelf
+
+    def let(bindings = {}, &block)
+      ls = LetScope.new(block_self(&block), bindings)
+      ls.instance_eval(&block)
+    end
+  end
+end
+
+if $0 == __FILE__
+  class Foo
+    include LetScope::Include
+
+    def twice(x)
+      2 * x
+    end
+
+    def test
+      let :x => 1, :y => twice(1) do
+        let :z => twice(x) do
+          puts "#{x} * #{y} == #{z} # => #{x * y == twice(x)}"
+        end
+      end
+    end
+  end
+
+  Foo.new.test
+end

data/examples/mail.rb

@@ -0,0 +1,73 @@
+require 'tins'
+require 'net/smtp'
+require 'time'
+
+class Mail
+  extend Tins::DSLAccessor
+  include Tins::InstanceExec
+  include Tins::MethodMissingDelegator::DelegatorModule
+  include Tins::BlockSelf
+
+  def initialize(&block)
+    super block_self(&block)
+    instance_exec(&block)
+  end
+
+  dsl_accessor :mail_server, ENV['MAILSERVER'] || 'mail'
+
+  dsl_accessor :body
+
+  if ENV['USER']
+    dsl_accessor :from, ENV['USER'] + '@' + (ENV['MAILSERVER'] || 'mail')
+  else
+    dsl_accessor :from, 'joe@doe.com'
+  end
+
+  dsl_accessor :to,       'flori@ping.de'
+
+  dsl_accessor :subject,  'Test Email'
+
+  dsl_accessor :date      do Time.now.rfc2822 end
+
+  def message_id
+    key = [ ENV['HOSTNAME'] || 'localhost', $$ , Time.now ].join
+    (::Digest::MD5.new << key).to_s
+  end
+
+  def msg
+    [
+      "From: #{from}",
+      "To: #{to}",
+      "Subject: #{subject}",
+      "Date: #{date}",
+      "Message-Id: <#{message_id}@#{mail_server}>",
+      '',
+      body
+    ] * "\n"
+  end
+
+  def send
+    ::Net::SMTP.start(mail_server, 25) do |smtp|
+      smtp.send_message msg, from, to
+    end
+  end
+end
+
+def mail(&block)
+  Mail.new(&block)
+end
+
+def prompt
+  STDOUT.print "Send to? "
+  STDOUT.flush
+  STDIN.gets.strip
+end
+
+m = mail do
+  subject subject + ': Hi!'
+  if rcpt = prompt
+    to      rcpt
+  end
+  body    "Hello, world!\n"
+end
+m.send

data/examples/minsky.rb

@@ -0,0 +1,145 @@
+#!/usr/bin/env ruby
+
+require 'tins'
+
+# A small Minsky (register) machine
+module Minsky
+  class InterpreterError < StandardError; end
+
+  class ::Proc
+    attr_accessor :interpreter
+
+    attr_accessor :name
+
+    def execute
+      interpreter.display_registers(self)
+      call
+    end
+  end
+
+  class Registers
+    def initialize
+      @registers = Hash.new(0)
+    end
+
+    def [](name)
+      @registers[name]
+    end
+
+    def []=(name, value)
+      @registers[name] = value
+    end
+
+    def to_s
+      "[" + @registers.sort_by { |r,| r.to_s }.map { |r,v| "#{r}: #{v}" } *
+      "|" + "]"
+    end
+
+    def method_missing(name, value)
+      name = name.to_s
+      if name[-1] == ?=
+        name = name[0..-2].intern
+        value >= 0 or raise InterpreterError,
+          "only non-negative numbers can be stored in register #{name}"
+        @registers[name] = value
+      else
+        super
+      end
+    end
+  end
+
+  class Interpreter
+    include Tins::Interpreter
+    extend Tins::ConstantMaker
+
+    def initialize(source)
+      @source = source
+      @labels = []
+      @registers = Registers.new
+    end
+
+    attr_writer :stepping
+
+    def run
+      interpret_with_binding(@source, binding)
+      cont = @labels.first
+      while cont
+        cont = cont.execute
+      end
+      self
+    end
+
+    def display_registers(label)
+      @format ||= "%#{@labels.map { |l| l.name.to_s.size }.max}s"
+      STDOUT.puts "#{@format % label.name}: #{@registers}"
+      if @stepping
+        STDOUT.print "? "
+        STDOUT.flush
+        STDIN.gets
+      end
+    end
+
+    private
+
+    def label(name, &block)
+      @labels.find { |l| l.name == name }  and
+        raise InterpreterError, "label named '#{name}' was already defined"
+      block.interpreter, block.name = self, name
+      @labels << block
+    end
+
+    def register_fetch(register)
+      @registers[register]
+    end
+
+    def register_decrement(register)
+      @registers[register] -= 1
+    end
+
+    def register_increment(register)
+      @registers[register] += 1
+    end
+
+    def label_fetch(name)
+      label = @labels.find { |l| l.name == name  }
+      label or raise InterpreterError, "label named '#{name}' was not defined"
+    end
+
+    def increment(register, label)
+      label = label_fetch label
+      register_increment(register)
+      label
+    end
+
+    def decrement(register, zero_label, else_label)
+      register_value = register_fetch register
+      zero_label = label_fetch zero_label
+      else_label = label_fetch else_label
+      if register_value.zero?
+        zero_label
+      else
+        register_decrement(register)
+        else_label
+      end
+    end
+
+    def register
+      @registers
+    end
+
+    def halt
+      STDOUT.puts " *** machine halted"
+      nil
+    end
+  end
+end
+
+if $0 == __FILE__
+  if ARGV.empty?
+    Minsky::Interpreter.new(STDIN.read).run
+  else
+    interpreter = Minsky::Interpreter.new(File.read(ARGV.shift))
+    interpreter.stepping = !ARGV.empty?
+    interpreter.run
+  end
+end