Pay attention gradual types are the same as type inference.
I personnally do not want gradual types in Pharo but I would like to
have type inference.
Le 30/9/15 21:31, Alexandre Bergel a écrit :
Hi Peter!
I am currently working on gradual typing for Pharo.
I hope to have something ready for public consumption soon...
Alexandre
On Sep 30, 2015, at 8:28 PM, Peter Uhnak <i.uh...@gmail.com> wrote:
Hi,
Moose/FAMIX uses RoelTyper for type inference, how this does not seem to be
maintained (last version 2013), and for my purposes is lacking.
So do we have something more advanced, even at the expense of speed?
Other alternative would be to either extend RoelTyper or write something custom
that would be ran alongside RoelTyper.
Examples of such extensions would be extracting the type from meta-annotations
and the actual argument names. (e.g. if an argument is named aString, I can
safely assume that it will be String).
Thanks,
Peter
