[ruby-core:74269] Type systems for Ruby

Dear ruby-core,

List newcomer here. I have spent some days thinking about the proposal 
to prototype a type system for Ruby given in [1] as a potential GSoC 
project. After some discussion with Tony Arcieri, he suggested that I 
bring up the topic here.

In short, the topic is close to my area of research (PhD), and if 
possible I would be interested in tackling it, but to do this (and 
possibly submit a proposal for GSoC), some advice and, perhaps, 
mentorship are needed.

Judging from the wiki, the main open question seems to be just what kind 
of type system to aim for, and here two groups of approaches are 
apparent: on the one hand, soft typing has been as far as I know the 
focus of attention in the community; on the other, gradual typing, which 
is where recent research and implementation concentrate.

So, to sum up, is there interest in either one of these approaches 
predominantly over the other, or is it a question open to exploration? 
What would be the best way to go about investing Ruby with these 
capabilities?

Best,
Rob

[1] 
https://github.com/rubygsoc/rubygsoc/wiki/Ideas-for-MRI-%28Matz-Ruby-Interpreter%29#type-system

Unsubscribe: <mailto:[e-mail]?subject=unsubscribe>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-core>