Hello fellow Rubyists, I'm a ruby Gsoc student. on the last weekend (as a
personal project to learn more about metaprogramming) i developed
"monkey_type"
Monkey type is a micro gem (only 70 lines of code) that implements an
optional type system based on runtime check of types (using ducktyping) and
contracts.
I write this email because i think that this gem can be useful for the ruby
community. The gem is really really simple to use so just read the README,
install it, fire up an IRB and test it out.
more details here: https://github.com/nemoNoboru/monkey_type
RubyGems: https://rubygems.org/gems/monkey_type
Please, keep in mind that i'm just a ruby student and not a professional
programmer. So a lot of things can be wrong. Code can be messy, slow,
etc...
*Thanks for your time and attention, Nemo*
You might be interested in Tony’s article on this topic:
He has a few links to some existing projects as well (rtc, rubtype).
···
On Jul 25, 2016, at 7:05 AM, Felipe Tavares <felipetavres@gmail.com> wrote:
Hello fellow Rubyists, I'm a ruby Gsoc student. on the last weekend (as a personal project to learn more about metaprogramming) i developed "monkey_type"
Monkey type is a micro gem (only 70 lines of code) that implements an optional type system based on runtime check of types (using ducktyping) and contracts.
I write this email because i think that this gem can be useful for the ruby community. The gem is really really simple to use so just read the README, install it, fire up an IRB and test it out.
more details here: GitHub - nemoNoboru/monkey_type: microgem to add a micro type system to ruby
RubyGems: monkey_type | RubyGems.org | your community gem host
Please, keep in mind that i'm just a ruby student and not a professional programmer. So a lot of things can be wrong. Code can be messy, slow, etc...
Thanks for your time and attention, Nemo
Unsubscribe: <mailto:ruby-talk-request@ruby-lang.org?subject=unsubscribe>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-talk>
Hi, all. I'd like to put in a quick plug for rdl (
https://github.com/plum-umd/rdl\), which is the successor to rtc, which Tom
mentioned. The next release of rdl (which should come in the next couple of
weeks) will support static-ish type checking...stay tuned!
Jeff
···
On Tue, Jul 26, 2016 at 6:45 AM, Tom Copeland <tom@thomasleecopeland.com> wrote:
You might be interested in Tony’s article on this topic:
An open letter to Matz on Ruby type systems
He has a few links to some existing projects as well (rtc, rubtype).
On Jul 25, 2016, at 7:05 AM, Felipe Tavares <felipetavres@gmail.com> > wrote:
Hello fellow Rubyists, I'm a ruby Gsoc student. on the last weekend (as a
personal project to learn more about metaprogramming) i developed
"monkey_type"
Monkey type is a micro gem (only 70 lines of code) that implements an
optional type system based on runtime check of types (using ducktyping) and
contracts.
I write this email because i think that this gem can be useful for the
ruby community. The gem is really really simple to use so just read the
README, install it, fire up an IRB and test it out.
more details here: GitHub - nemoNoboru/monkey_type: microgem to add a micro type system to ruby
RubyGems: monkey_type | RubyGems.org | your community gem host
Please, keep in mind that i'm just a ruby student and not a professional
programmer. So a lot of things can be wrong. Code can be messy, slow,
etc...
*Thanks for your time and attention, Nemo*
Unsubscribe: <mailto:ruby-talk-request@ruby-lang.org?subject=unsubscribe
<ruby-talk-request@ruby-lang.org?subject=unsubscribe>>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-talk>
Unsubscribe: <mailto:ruby-talk-request@ruby-lang.org?subject=unsubscribe>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-talk>
Nice, I hadn’t seen that, thanks for the pointer Jeff!
···
On Jul 27, 2016, at 1:31 PM, Jeff Foster <jfoster@cs.umd.edu> wrote:
Hi, all. I'd like to put in a quick plug for rdl (https://github.com/plum-umd/rdl\), which is the successor to rtc, which Tom mentioned. The next release of rdl (which should come in the next couple of weeks) will support static-ish type checking...stay tuned!
Jeff
On Tue, Jul 26, 2016 at 6:45 AM, Tom Copeland <tom@thomasleecopeland.com <mailto:tom@thomasleecopeland.com>> wrote:
You might be interested in Tony’s article on this topic:
https://tonyarcieri.com/an-open-letter-to-matz-on-ruby-type-systems
He has a few links to some existing projects as well (rtc, rubtype).
On Jul 25, 2016, at 7:05 AM, Felipe Tavares <felipetavres@gmail.com <mailto:felipetavres@gmail.com>> wrote:
Hello fellow Rubyists, I'm a ruby Gsoc student. on the last weekend (as a personal project to learn more about metaprogramming) i developed "monkey_type"
Monkey type is a micro gem (only 70 lines of code) that implements an optional type system based on runtime check of types (using ducktyping) and contracts.
I write this email because i think that this gem can be useful for the ruby community. The gem is really really simple to use so just read the README, install it, fire up an IRB and test it out.
more details here: GitHub - nemoNoboru/monkey_type: microgem to add a micro type system to ruby
RubyGems: monkey_type | RubyGems.org | your community gem host
Please, keep in mind that i'm just a ruby student and not a professional programmer. So a lot of things can be wrong. Code can be messy, slow, etc...
Thanks for your time and attention, Nemo
Unsubscribe: <mailto:ruby-talk-request@ruby-lang.org?subject=unsubscribe <mailto:ruby-talk-request@ruby-lang.org?subject=unsubscribe>>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-talk>
Unsubscribe: <mailto:ruby-talk-request@ruby-lang.org <mailto:ruby-talk-request@ruby-lang.org>?subject=unsubscribe>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-talk>
Unsubscribe: <mailto:ruby-talk-request@ruby-lang.org?subject=unsubscribe>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-talk>