typed.rb 0.0.13 → 0.0.14

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: b580e881ef45c47047651872f06cabfeeef3bc14
-  data.tar.gz: 98b117dcde88dab1eeeaeee8a62b9ad147f0121b
+  metadata.gz: 10a8acbaa2e89eb19d043a4b29ccc1a9e9f58712
+  data.tar.gz: 5cfd5c3ee30993b30d82558d168c675c2fe6b859
 SHA512:
-  metadata.gz: bb62808c4d511ce344ef7cba6872aa99b827ad9e353fde28c9b8add4ae22f53c4b1e9176efa51a3596439ddfee33df2a09e6d86dea23d8028e5bbf733c92d7f5
-  data.tar.gz: 812be8a32afa7597ce926dbafdee7baed49debe401186bac5f9c3eed3ab2da901bfceaacf2651530fbebc1a25cb412b288cfa3b7c51fee46d71967b212adb8c8
+  metadata.gz: 3233c50ea7798b565d1b5a24ded1a608a5b018821e47b390788ceb3108d183970a726622c973e31f3fbbae64d33faf70fe3bc376888a134df62d2772500a19e7
+  data.tar.gz: 8b0e4212b51a79d643e682618cbbee275a4dbeb2f762d9aeabc14c633f2a1e682e948a5a23c31ebe26a78d889bcf9f56f0a3304cadccd7c4a53d71e4f2e7ab27

data/README.md

@@ -0,0 +1,55 @@
+#Typed.rb [![Build Status](https://circleci.com/gh/antoniogarrote/typed.rb.png?circle-token=:circle-token)](https://circleci.com/gh/antoniogarrote/typed.rb/tree/master)
+
+Gradual type checker for Ruby.
+
+Example from `spec/lib/examples/monoid.rb`:
+
+```ruby
+require 'typed/runtime'
+
+ts 'type Monoid[T]'
+module Monoid
+
+  ts '#mappend / [T] -> [T] -> [T]'
+  abstract(:mappend)
+
+  ts '#mempty / -> [T]'
+  abstract(:mempty)
+  
+end
+
+
+ts 'type Sum[Integer] super Monoid[T]'
+class Sum
+
+  include Monoid
+
+  def mappend(a,b)
+    a + b
+  end
+
+  def mempty
+    0
+  end
+
+end
+
+
+ts '#sum / Array[Integer] -> Integer'
+def sum(xs)
+  monoid = Sum.new
+  zero = monoid.mempty
+  xs.reduce(zero) { |a,b| monoid.mappend(a,b) }
+end
+
+
+ts '#moncat[T] / Array[T] -> Monoid[T] -> [T]'
+def moncat(xs, m)
+  zero = m.mempty
+  xs.reduce(zero) { |a,b| m.mappend(a,b) }
+end
+
+->() {
+  moncat([1,2,3], Sum.new)
+}
+```

data/bin/typed.rb

@@ -1,6 +1,5 @@
 #!/usr/bin/env ruby
 # encoding: utf-8
-require 'pry'
 require_relative '../lib/typed'
 require 'benchmark'
 require 'set'
@@ -135,6 +134,8 @@ time = Benchmark.realtime do
   begin
     files_to_check = TargetFinder.new.find(ARGV).reject { |f| f == File.expand_path(__FILE__) }
     TypedRb::Language.new.check_files(files_to_check, true)
+  rescue TypedRb::Types::TypeParsingError => e
+    raise e
   rescue TypedRb::TypeCheckError => e
     success = false
   end
@@ -145,4 +146,4 @@ if success == false
   exit(1)
 else
   exit(0)
-end
+end

data/lib/typed/runtime.rb

@@ -23,6 +23,11 @@ class BasicObject
     # noop
     from
   end
+
+  ts '#abstract / Symbol -> Symbol'
+  def abstract(name)
+    define_method(name) { |*args| raise "Invoking abstract method #{name}"}
+  end
 end
 
 class Class

data/lib/typed/types/polymorphism/generic_comparisons.rb

@@ -123,10 +123,11 @@ module TypedRb
         def add_type_var_constraint(type_var, other_type_var, relation)
           if type_var.bound
             type_var, other_type_var = other_type_var, type_var
-            relation = relation == :lt ? :gt : :lt
+            #relation = relation == :lt ? :gt : :lt
+          end
+          [:lt, :gt].each do |relation|
+            type_var.add_constraint(relation, other_type_var.bound)
           end
-          type_var.add_constraint(relation, other_type_var.bound)
-          true
         end
       end
     end

data/lib/typed/version.rb

@@ -1,3 +1,3 @@
 module TypedRb
-  VERSION = '0.0.13'
+  VERSION = '0.0.14'
 end

data/spec/lib/examples/monoid.rb

@@ -0,0 +1,44 @@
+ts 'type Monoid[T]'
+module Monoid
+  ts '#mappend / [T] -> [T] -> [T]'
+  abstract(:mappend)
+
+  ts '#mempty / -> [T]'
+  abstract(:mempty)
+end
+
+
+ts 'type Sum[Integer] super Monoid[T]'
+class Sum
+
+  include Monoid
+
+  def mappend(a,b)
+    a + b
+  end
+
+  def mempty
+    0
+  end
+
+end
+
+
+ts '#sum / Array[Integer] -> Integer'
+def sum(xs)
+  monoid = Sum.new
+  zero = monoid.mempty
+  xs.reduce(zero) { |a,b| monoid.mappend(a,b) }
+end
+
+
+ts '#moncat[T] / Array[T] -> Monoid[T] -> [T]'
+def moncat(xs, m)
+  zero = m.mempty
+  xs.reduce(zero) { |a,b| m.mappend(a,b) }
+end
+
+->() {
+  moncat([1,2,3], Sum.new)
+}
+

data/spec/lib/language_spec.rb

@@ -49,4 +49,16 @@ describe TypedRb::Language do
                        /Error type checking message sent 'mindless_func': Array\[Animal1\] expected, Array\[Cat1\] found/)
     end
   end
+
+  context 'with monoid eample' do
+    let(:example) { 'monoid.rb' }
+
+    it 'should be possible to type check the example correctly' do
+      expect {
+        silence_stream(STDOUT) do
+          language.check_file(file, true)
+        end
+      }.not_to raise_error
+    end
+  end
 end

metadata

@@ -1,15 +1,57 @@
 --- !ruby/object:Gem::Specification
 name: typed.rb
 version: !ruby/object:Gem::Version
-  version: 0.0.13
+  version: 0.0.14
 platform: ruby
 authors:
 - Antonio Garrote
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2016-01-19 00:00:00.000000000 Z
-dependencies: []
+date: 2016-01-21 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: parser
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.2'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.2'
+- !ruby/object:Gem::Dependency
+  name: log4r
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.1'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.1'
+- !ruby/object:Gem::Dependency
+  name: colorize
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.7'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.7'
 description: 
 email: antoniogarrote@gmail.com
 executables:
@@ -17,6 +59,7 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
+- README.md
 - Rakefile
 - bin/typed.rb
 - lib/typed.rb
@@ -104,6 +147,7 @@ files:
 - spec/lib/examples/animals.rb
 - spec/lib/examples/counter.rb
 - spec/lib/examples/if.rb
+- spec/lib/examples/monoid.rb
 - spec/lib/language_spec.rb
 - spec/lib/model/tm_abs_spec.rb
 - spec/lib/model/tm_array_literal_spec.rb
@@ -208,9 +252,8 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.4.6
+rubygems_version: 2.4.5.1
 signing_key: 
 specification_version: 4
 summary: Gradual type checker for Ruby
 test_files: []
-has_rdoc: