haskell 0.0.1 → 0.0.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: dc7892b2356eb96857c184253fba90e37d9011c0
-  data.tar.gz: 4ddfb493950421144a0fcf0e152cb969df4965cd
+  metadata.gz: b85cd42c60a8fd8905a866a3ef595379fc061422
+  data.tar.gz: 95a13b1c977a43d4bcfaa1c3c34ba4f35b83994f
 SHA512:
-  metadata.gz: 3af405381fa210ddede028b14d0de9f1389962e023d0bcd178a5e88405076afb6a7960df19bb31547d4b8ae3dd4ec92844d806e1faaf60f4787b55b5d28234af
-  data.tar.gz: b38589b066ee6ebcbdb60f18ad547bb42c4f9ce39133d1b97b05f44e152919087135e0ffdaf9449b28fd5014debe4145855d0f2b0a244a8791ca1786636bdcfa
+  metadata.gz: 0bb0e886c7bce3e0ad68e20c1269df8e5874ec6104d16ff570598a40d03cabe098a60deec053f4ba6bb0e6081e20b64cf8ab7622fc1a4c41e34989fb0f3446ad
+  data.tar.gz: 3626c9b3b1daa0e0a57b211308d3a21275729c4702c0978e14063015f3720a31ab825e1fe38fcb555fec47ce24d39ad988fc11f7d73186f4723c4a24cc79f22b

data/Gemfile

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

data/README.md

@@ -1,6 +1,37 @@
-# Haskell
+# Ruby with Type.
 
-TODO: Write a gem description
+```rb
+
+require 'haskell'
+
+# Ruby 2.1.0+
+class MyClass
+    type Numeric >= Numeric >= Numeric, def sum(x, y)
+    x + y
+  end
+
+  type Numeric >= Numeric >= Numeric, def wrong_sum(x, y)
+  'string'
+  end
+end
+
+MyClass.new.sum(1, 2)
+#=> 3
+
+MyClass.new.sum(1, 'string')
+#=> ArgumentError: Wrong type of argument, type of "str" should be Numeric
+
+MyClass.new.wrong_sum(1, 2)
+#=> TypeError: Expected wrong_sum to return Numeric but got "str" instead
+
+# Ruby 1.8.0+
+class MyClass
+  def sum(x, y)
+    x + y
+  end
+  type Numeric >= Numeric >= Numeric, :sum
+end
+```
 
 ## Installation
 
@@ -18,9 +49,21 @@ Or install it yourself as:
 
     $ gem install haskell
 
-## Usage
+## More example
+```ruby
+class People
+  type People >= Any, def marry(people)
+    # Your Ruby code as usual
+  end
+end
+
+People.new.marry(People.new)
+#=> no error
 
-TODO: Write usage instructions here
+People.new.marry('non people')
+#=> ArgumentError: Wrong type of argument, type of "non people" should be People
+
+```
 
 ## Contributing
 
@@ -29,3 +72,7 @@ TODO: Write usage instructions here
 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
+
+
+## Credits
+[@chancancode](https://github.com/chancancode) first brought this to my attention.

data/a

@@ -0,0 +1,11 @@
+  def test_any
+    assert_wrong_arg @symbo >= @symbo, [@array ], @numeric
+    assert_wrong_arg @symbo >= @symbo, [@string], @numeric
+    assert_wrong_arg @symbo >= @symbo, [@hash  ], @numeric
+    assert_wrong_arg @symbo >= @symbo, [@symbol], @numeric
+
+    assert_wrong_arg @symbo >= @symbo >= @symbo, [@numeric, @array ], @numeric
+    assert_wrong_arg @symbo >= @symbo >= @symbo, [@numeric, @string], @numeric
+    assert_wrong_arg @symbo >= @symbo >= @symbo, [@numeric, @hash  ], @numeric
+    assert_wrong_arg @symbo >= @symbo >= @symbo, [@numeric, @symbol], @numeric
+  en

data/lib/haskell.rb

@@ -1,6 +1,44 @@
-require "haskell/version"
-require "haskell/haskell"
+require 'haskell/type_list'
 
 module Haskell
-  # Your code goes here...
+  class << self
+    def assert_arg_type(meth, args, klasses)
+
+      args.each_with_index do |arg, i|
+        if wrong_type?(arg, klasses[i])
+          raise ArgumentError, "Wrong type of argument, type of #{arg.inspect} should be #{klasses[i]}"
+        end
+      end
+    end
+
+    def assert_rtn_type(meth, rtn, klass)
+      if wrong_type?(rtn, klass)
+        raise TypeError, "Expected #{meth} to return #{klass} but got #{rtn.inspect} instead"
+      end
+    end
+
+    def wrong_type?(obj, klass)
+      !(obj.is_a?(klass) || klass == Any)
+    end
+  end
 end
+
+class Module
+  private
+    def __haskell__
+      prepend (@__haskell__ = Module.new) unless @__haskell__
+      @__haskell__
+    end
+
+    def type(type_list, meth)
+      __haskell__.send(:define_method, meth) do |*args, &block|
+        ::Haskell.assert_arg_type(meth, args, type_list.args)
+        rtn = super(*args, &block)
+        ::Haskell.assert_rtn_type(meth, rtn, type_list.rtn)
+        rtn
+      end
+      self
+    end
+end
+
+class Any; end

data/lib/haskell/type_list.rb

@@ -0,0 +1,32 @@
+# '>=' is left-associative ...
+# List like LISP or Hash may be better.
+class TypeList
+  attr_accessor :list
+
+  def initialize(l, r)
+    @list = [l, r]
+  end
+
+  def >=(r)
+    @list << r
+    self
+  end
+
+  def args
+    @list[0..-2]
+  end
+
+  def rtn
+    @list.last
+  end
+
+  def to_s
+    @list.map(&:to_s).join(' -> ')
+  end
+end
+
+class Module
+  def >=(r)
+    TypeList.new(self, r)
+  end
+end

data/lib/haskell/version.rb

@@ -1,3 +1,3 @@
 module Haskell
-  VERSION = "0.0.1"
+  VERSION = "0.0.2"
 end

data/test/test_haskell.rb

@@ -1,11 +1,102 @@
 require 'minitest_helper'
 
 class TestHaskell < MiniTest::Unit::TestCase
-  def test_that_it_has_a_version_number
-    refute_nil ::Haskell::VERSION
+  def setup
+    @string  = 'str'
+    @numeric = 1
+    @symbol  = :test
+    @array   = [1, 2, 3]
+    @hash    = { test: :hash }
   end
 
-  def test_it_does_something_useful
-    assert false
+  def test_type_list
+    assert_equal_to_s "Numeric -> Numeric", Numeric >= Numeric
+    assert_equal_to_s "Numeric -> Numeric -> Array", Numeric >= Numeric >= Array
+    assert_equal_to_s "Hash -> Symbol -> Numeric -> Array -> String", Hash >= Symbol >= Numeric >= Array >= String
   end
+
+  def test_correct_type
+    assert_correct_type Numeric >= Numeric, [@numeric], @numeric
+    assert_correct_type Numeric >= Array,   [@numeric], @array
+    assert_correct_type Numeric >= String,  [@numeric], @string
+    assert_correct_type Numeric >= Hash,    [@numeric], @hash
+    assert_correct_type Numeric >= Symbol,  [@numeric], @symbol
+
+    assert_correct_type Numeric >= Numeric >= Numeric, [@numeric, @numeric], @numeric
+    assert_correct_type Numeric >= Array   >= Array,   [@numeric, @array  ], @array
+    assert_correct_type Numeric >= String  >= String,  [@numeric, @string ], @string
+    assert_correct_type Numeric >= Hash    >= Hash,    [@numeric, @hash   ], @hash
+    assert_correct_type Numeric >= Symbol  >= Symbol,  [@numeric, @symbol ], @symbol
+  end
+
+  def test_wrong_return_type
+    assert_wrong_rtn Numeric >= Numeric, [@numeric], @array
+    assert_wrong_rtn Numeric >= Numeric, [@numeric], @string
+    assert_wrong_rtn Numeric >= Numeric, [@numeric], @hash
+    assert_wrong_rtn Numeric >= Numeric, [@numeric], @symbol
+
+    assert_wrong_rtn Numeric >= Numeric >= Numeric, [@numeric, @numeric], @array
+    assert_wrong_rtn Numeric >= Numeric >= Numeric, [@numeric, @numeric], @string
+    assert_wrong_rtn Numeric >= Numeric >= Numeric, [@numeric, @numeric], @hash
+    assert_wrong_rtn Numeric >= Numeric >= Numeric, [@numeric, @numeric], @symbol
+  end
+
+  def test_wrong_args_type
+    assert_wrong_arg Numeric >= Numeric, [@array ], @numeric
+    assert_wrong_arg Numeric >= Numeric, [@string], @numeric
+    assert_wrong_arg Numeric >= Numeric, [@hash  ], @numeric
+    assert_wrong_arg Numeric >= Numeric, [@symbol], @numeric
+
+    assert_wrong_arg Numeric >= Numeric >= Numeric, [@numeric, @array ], @numeric
+    assert_wrong_arg Numeric >= Numeric >= Numeric, [@numeric, @string], @numeric
+    assert_wrong_arg Numeric >= Numeric >= Numeric, [@numeric, @hash  ], @numeric
+    assert_wrong_arg Numeric >= Numeric >= Numeric, [@numeric, @symbol], @numeric
+  end
+
+  def test_any
+    assert_correct_type Any >= Any, [@array ], @numeric
+    assert_correct_type Any >= Any, [@string], @numeric
+    assert_correct_type Any >= Any, [@hash  ], @numeric
+    assert_correct_type Any >= Any, [@symbol], @numeric
+
+    assert_correct_type Any >= Any >= Any, [@numeric, @array ], @numeric
+    assert_correct_type Any >= Any >= Any, [@numeric, @string], @numeric
+    assert_correct_type Any >= Any >= Any, [@numeric, @hash  ], @numeric
+    assert_correct_type Any >= Any >= Any, [@numeric, @symbol], @numeric
+  end
+
+  private
+    def assert_equal_to_s(str, val)
+      assert_equal str, val.to_s
+    end
+
+    def assert_correct_type(type_list, args, val)
+      assert_equal val, define_test_method(type_list, args, val).call(*args)
+    end
+
+    def assert_wrong_arg(type_list, args, val)
+      assert_raises(ArgumentError) { define_test_method(type_list, args, val).call(*args) }
+    end
+
+    def assert_wrong_rtn(type_list, args, val)
+      assert_raises(TypeError) { define_test_method(type_list, args, val).call(*args) }
+    end
+
+    def define_test_method(type_list, args, val)
+      klass = Class.new.class_eval <<-RUBY_CODE
+        type #{obj_literal(type_list)}, def call(#{arg_literal(args.count)})
+          #{obj_literal(val)}
+        end
+      RUBY_CODE
+
+      klass.new
+    end
+
+    def obj_literal(obj)
+      "ObjectSpace._id2ref(#{obj.__id__})"
+    end
+
+    def arg_literal(count)
+      ('a'..'z').to_a[0..count-1].join(',')
+    end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: haskell
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.0.2
 platform: ruby
 authors:
 - gogotanaka
@@ -81,12 +81,14 @@ files:
 - LICENSE.txt
 - README.md
 - Rakefile
+- a
 - bin/haskell
 - ext/haskell/extconf.rb
 - ext/haskell/haskell.c
 - ext/haskell/haskell.h
 - haskell.gemspec
 - lib/haskell.rb
+- lib/haskell/type_list.rb
 - lib/haskell/version.rb
 - test/minitest_helper.rb
 - test/test_haskell.rb