stitcher 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 60b567e6e0cac2f1dacd168e411da63d097eeb68
+  data.tar.gz: 137483e2bf3e741fe861ff1ea2b4c7c0604b9be0
+SHA512:
+  metadata.gz: 879f602d5e7456953ac1b0b16d98dd7346f6e2ac4f216702bc88600f7d64d939f7bbe1ad5c1299ccc9ddc951281b756d3605e917d7919e68a480e2c60bc1815a
+  data.tar.gz: 883c44327d337921e864614153f874f92b5c90eba6a5eb01ac542fd1a1bbf776a6056c865b9649b4f1dd99040bc0ede011031ba0dc5ee88f4dc1957e47e7949f

data/.gitignore

@@ -0,0 +1,9 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/

data/.rspec

@@ -0,0 +1,2 @@
+--format documentation
+--color

data/.travis.yml

@@ -0,0 +1,3 @@
+language: ruby
+rvm:
+  - 2.1.5

data/Gemfile

@@ -0,0 +1,4 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in stitcher.gemspec
+gemspec

data/README.md

@@ -0,0 +1,107 @@
+[![Build Status](https://travis-ci.org/osyo-manga/gem-stitcher.svg?branch=master)](https://travis-ci.org/osyo-manga/gem-stitcher)
+
+# Stitcher
+
+Welcome to your new gem! In this directory, you'll find the files you need to be able to package up your Ruby library into a gem. Put your Ruby code in the file `lib/stitcher`. To experiment with that code, run `bin/console` for an interactive prompt.
+
+TODO: Delete this and the text above, and describe your gem
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'stitcher'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install stitcher
+
+## Usage
+
+```ruby
+require "stitcher"
+
+# Using stitcher library.
+using Stitcher
+
+class X
+	# Define accessor with variable type(Class).
+	stitcher_accessor name: String, age: Integer
+
+	def set name, age
+		self.name = name
+		self.age  = age
+	end
+	# Register set method with Argument types(Classes).
+	stitch :set, [String, Integer]
+
+	# Register for next define method.
+	stitcher_require [Hash]
+	def set hash
+		set hash[:name], hash[:age]
+	end
+
+	# Define "set" method with Argument types.
+	# set(Integer, String)
+	stitcher_define_method(:set, age: Integer, name: String){
+		self.name = name
+		self.age  = age
+	}
+
+	# Other define method
+	stitch.set(ary: [String, Integer]){
+		set *ary
+	}
+
+	def print
+		p "name:#{name} age:#{age}"
+	end
+
+	# Require format with block object.
+	stitcher_require [String] & Stitcher::Concepts.blockable
+	def print fmt
+		printf(fmt, *yield(name, age))
+	end
+end
+
+x = X.new
+x.name = "homu"
+x.age  = 14
+# x.age = 14.0		# Error: No match method.
+
+x.set "mami", 15
+x.print
+# => "name:mami age:15"
+
+x.set({ name: "saya", age: 14 })
+x.print
+# => "name:saya age:14"
+
+x.set 14, "mado"
+x.print("%s-%s\n"){ |name, age| [name, age] }
+# => mado-14
+
+x.set ["homu", 14]
+x.print("%s-%s\n"){ |name, age| [age, name] }
+# => 14-homu
+```
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, 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` to create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+1. Fork it ( https://github.com/osyo-manga/gem-stitcher )
+2. Create your feature branch (`git checkout -b my-new-feature`)
+3. Commit your changes (`git commit -am 'Add some feature'`)
+4. Push to the branch (`git push origin my-new-feature`)
+5. Create a new Pull Request

data/Rakefile

@@ -0,0 +1,7 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec
+

data/bin/console

@@ -0,0 +1,14 @@
+#!/usr/bin/env ruby
+
+require "bundler/setup"
+require "stitcher"
+
+# 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

data/bin/setup

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

data/docs/matome.md

@@ -0,0 +1,57 @@
+# Stitcher
+
+## 目的
+
+* メソッドの多重定義をする
+ * 引数によって呼び出すメソッドを切り替える
+* メソッドの引数に対しての制限を設ける
+ * 引数に対する型チェック
+ * 引数に対するコンセプトチェック
+* モンキーパッチで定義するメソッドを制限したい
+ * 引数が○○○の場合でのみモンキーパッチのメソッドを呼び出す等
+
+
+## 動作イメージ
+
+```ruby
+class X
+	include Stitcher
+
+	def plus a, b
+		p "plus(a.to_i, b.to_i)"
+		a.to_i + b.to_i
+	end
+	# #plus を呼び出すコンセプトを設定する
+	# 引数がそれぞれ #to_i を呼び出せればこのメソッドを呼び出す
+	concept :plus do |a, b|
+		a.respond_to?(:to_i) && b.respond_to?(:to_i)
+	end
+
+	# concept 設定後に別のメソッドを定義し直す事ができる
+	def plus a, b
+		p "plus(a + b)"
+		a + b
+	end
+
+	# 再定義したメソッドに対しても条件を設定できる
+	# こっちは両方共 Numeric だった場合に呼び出す
+	concept :plus do |a, b|
+		a.class <= Numeric && b.class <= Numeric
+	end
+end
+
+X.new.plus "1", "2"
+# => 最初に定義したメソッドが呼ばれる
+X.new.plus 1, 2
+# => あとで定義したメソッドが呼ばれる
+
+X.new.plus X, X
+# => どれにも該当しないのでエラー
+```
+
+
+## 考えること
+
+* 呼び出すことができるメソッドが複数あった場合どうするか
+* 呼び出すメソッドの優先順位
+

data/docs/stitcher.md

@@ -0,0 +1,208 @@
+# Stitcher
+
+## これは何？
+
+定義する（定義した）メソッドに対して引数のシグネチャを設定するライブラリです。
+シグネチャを指定することにより、静的型付け言語のようなメソッドの多重定義を行うことを目的としています、
+
+
+## 導入
+
+#### install
+
+```shell
+$ gem install stitcher
+```
+
+#### require
+
+```ruby
+require "stitcher"
+
+using Stitcher
+```
+
+## 使い方
+
+#### シグネチャの設定
+
+`stitcher` は定義したメソッドか、次に定義するメソッドに対してシグネチャを設定することで使用します。
+
+```ruby
+require "stitcher"
+
+# using することで Module クラスに Stitcher の機能が mixin される
+using Stitcher
+
+
+class Counter
+	attr_reader :value
+
+	def initialize value
+		@value = value
+	end
+	# 既存のメソッドに対して引数のシグネチャを設定する
+	# #initialize メソッドに対して Fixnum クラスのインスタンスのみ受け取るようにする
+	stitcher_register :initialize, [Fixnum]
+
+	# stitcher_register を使用することで次に定義するメソッドに対しての
+	# シグネチャを設定することもできる
+	# stitcher_register の第二引数と stitcher_require の第一引数は同じである
+	stitcher_require [Fixnum]
+	# add メソッドは Fixnum のインスタンスのみ受け付ける
+	def add value
+		@value += value
+	end
+
+	# また、違うシグネチャを設定することにより複数のメソッドを定義する事ができる
+	stitcher_require [String]
+	def add str
+		@value += str.to_i
+	end
+end
+
+count = Counter.new 0		# OK
+# count = Counter.new ""	# Error: Fixnum クラスのインスタンスではない
+
+count.add 10				# OK
+count.add "12"				# OK
+# count.add 0.42			# Error
+p count.value
+# => 22
+```
+
+```ruby
+using Stitcher
+```
+
+まず、`using` を使用して、特定の範囲でのみ Stitcher を使用することを定義します。  
+この時に `Module` クラス内に Stitcher の機能が `mixin` され、いくつかのクラス拡張が適用されます。  
+
+```ruby
+def initialize value
+    @value = value
+end
+stitcher_register :initialize, [Fixnum]
+```
+
+`.stitcher_register` を使用して既存のメソッドに対してシグネチャを設定します。  
+この時に設定するシグネチャは各引数に対するリストになります。  
+また、各シグネチャと実引数の要素は `#===` を用いて比較が行われ、このメソッドが真を返せばシグネチャにマッチしたと認識されます。 
+
+```ruby
+stitcher_require [Fixnum]
+def add value
+    @value += value
+end
+```
+
+`.stitcher_require` を使用して、次に定義されるメソッドに対してのシグネチャを設定します。  
+設定するシグネチャは `.stitcher_register` と同じです。 
+
+```ruby
+stitcher_require [String]
+def add str
+    @value += str.to_i
+end
+```
+
+違うシグネチャを設定することで静的型付け言語のような多重定義を行うことができます。  
+これにより『引数のクラス』によって簡単に処理を分岐することができます。
+
+#### シグネチャの設定
+
+各引数のシグネチャは `#===` が定義されてるオブジェクトであればなんでも設定する事ができます。  
+これは Ruby の `case` 文と似ています。
+例えば、`Class` 以外にも `Proc` や `Regexp` などを渡すことができます。
+
+```ruby
+class Http
+	stitcher_require [/^https?/]
+	def post url
+		# ...
+	end
+
+	stitcher_require [ proc { |hash| (Hash === hash && hash.key?(:url)) } ]
+	def post hash
+		post hash[:url]
+	end
+end
+
+http = Http.new
+http.post "http://docs.ruby-lang.org/"				# OK
+http.post({ url: "http://docs.ruby-lang.org/" })	# OK
+
+http.post "ftp://docs.ruby-lang.org/"				# Error
+http.post({ uri: "http://docs.ruby-lang.org/" })	# Error
+```
+
+このようにしてより厳密な引数に対する要求を設定することができます。  
+また、`Class` や `Proc`、`Regexp` は `&` や `|` で結合することもできます。
+
+```ruby
+# Hash であることと Proc の条件を満たすことを要求する
+stitcher_require [Hash & proc { |hash| (hash.key?(:url)) } ]
+def post hash
+    post hash[:url]
+end
+```
+
+#### 多重定義字に呼び出されるメソッドの優先順位
+
+Stitcehr を利用してメソッドを多重定義した場合に呼び出されるメソッドの優先順位は __下から順に優先順位が高くなります。__  
+例えば、次のような定義の場合、
+
+```ruby
+require "stitcher"
+
+using Stitcher
+
+class X
+	stitcher_require [Fixnum]
+	def func value
+		"Fixnum"
+	end
+
+	stitcher_require [Numeric]
+	def func value
+		"Numeric"
+	end
+end
+```
+
+あとから定義されている `func(Numeric)` の方が優先順位が高くなり、
+
+```
+x = X.new
+x.func 10     # Numeric === 10 # => true
+```
+
+というような呼び出しの場合は、`Numeric#===` がどちらも真となるため、`func(Fixnum)` ではなくて `func(Numeric)` が呼び出されます。  
+これは次のように `Fixnum` にマッチしないようにすることで回避することは可能です。
+
+```ruby
+require "stitcher"
+
+using Stitcher
+
+class X
+	stitcher_require [Fixnum]
+	def func value
+		"Fixnum"
+	end
+
+	# Numeric であり、Fixnum 以外にマッチする場合のシグネチャ
+	stitcher_require [Numeric & !Fixnum]
+	def func value
+		"Numeric"
+	end
+end
+
+x = X.new
+p x.func 10
+# => "Fixnum"
+p x.func 0.42
+# => "Numeric"
+```
+
+

data/docs/type.md

@@ -0,0 +1,212 @@
+# Ruby の型
+
+## やりたいこと
+
+* Ruby で型を定義する
+ * 現状は Class = 型とする
+* 型チェックを行う仕組み
+* ジェネリックプログラミングや Variant 型(Haskell の Either みたいなの？)の定義
+ * C++ の template みたいなのもほしい
+* 型によって処理を切り替える装置
+
+## 動作イメージ
+
+#### 型の定義
+
+```ruby
+# To type
+1.type  # => Fixnum
+"".type # => String
+String.type # == String
+```
+
+```ruby
+# Variant type
+(String | Fixnum) # => String or Fixnum
+(String | Fixnum | Hash) # => String or Fixnum or Hahs
+```
+
+```ruby
+# Super class type
++Numeric # => Numeric is super class type
+
+# No type
+!Numerci # => Not Numeric type
+```
+
+##### 型の比較
+
+```ruby
+1.type == Fixnum  # => true
+1.type == String  # => false
+1.type <= Numeric # => true
+1.type == Numeric # => false
+```
+
+```ruby
+# Type1 | Type2 => Variant type
+(String | Fixnum) == 1  # true
+(String | Fixnum) == "" # true
+(String | Fixnum) == {} # false
+```
+
+
+#### 型変数の定義
+
+```ruby
+let :name, String
+self.name = "" # OK
+self.name = 42 # Error
+```
+
+
+```ruby
+let :data, String | Numeric # Variant 型
+self.data = "" # OK
+self.data = 42 # OK
+self.data = {} # Error
+```
+
+
+```ruby
+let :bool, True | False # Variant 型
+self.bool = true  # OK
+self.bool = false # OK
+self.bool = nil # Error
+```
+
+
+```ruby
+class X
+  let name: String, age: Numeric
+end
+x = X.new
+x.name = "homu" # OK
+x.age = 13 # OK
+x.name 13 # Error
+```
+
+## 悩み
+
+型同士の比較をどうするか考える
+
+1.type # => Fixnum
+
+1.type ==  Numeric # => Fixnum ==  Numeric
+1.type <=  Numeric # => Fixnum <=  Numeric
+1.type === Numeric # => Fixnum === Numeric
+
+1.type ==  +Numeric # => Fixnum == Numeric
+1.type <=  +Numeric # => Fixnum <= Numeric
+1.type === +Numeric # => Fixnum <= Numeric
+
+1.type ==  !Numeric # => Fixnum == Numeric
+1.type !=  !Numeric # => Fixnum != Numeric
+1.type === !Numeric # => Fixnum != Numeric
+
+
+
+
+
+class A
+	def == rhs
+		p "A#== #{rhs.class}"
+	end
+end
+
+class B
+	def == rhs
+		p "B#== #{rhs.class}"
+	end
+end
+
+class A
+	prepend(Module.new do
+		define_method(:==) do |rhs|
+			rhs.class == B ? rhs == self : super(rhs)
+		end
+	end)
+end
+
+
+class C
+	
+end
+
+A.new == B.new
+A.new == C.new
+
+
+
+class A
+	def == rhs
+		if rhs.respond_to? :callable_equal
+			rhs.callable_equal(self)
+		else
+			p "A#== #{rhs.class}"
+		end
+	end
+end
+
+class B
+	def callable_equal rhs
+		p "B#== #{rhs.class}"
+	end
+end
+
+class C
+	
+end
+
+A.new == B.new
+A.new == C.new
+
+
+
+class A
+	def == rhs
+		p "A#== #{rhs.class}"
+	end
+end
+
+class B
+	def == rhs
+		p "B#== #{rhs.class}"
+	end
+end
+
+class A
+	prepend(Module.new do
+		define_method(:==) do |rhs|
+			rhs.class == B ? rhs == self : super(rhs)
+		end
+	end)
+end
+
+
+class C
+	
+end
+
+class D
+	def == rhs
+		p "D#== #{rhs.class}"
+	end
+end
+
+class A
+	prepend(Module.new do
+		define_method(:==) do |rhs|
+			rhs.class == D ? rhs == self : super(rhs)
+		end
+	end)
+end
+
+
+A.new == Object.new
+A.new == A.new
+A.new == B.new
+A.new == C.new
+A.new == D.new
+
+