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