Type system is particularly complicated. I did a first implementation (called Type4Pharo on smalltalkhub), but it does not go in the right direction. I will redo it completely.
So, nothing will be ready until a few months. Alexandre > On Sep 30, 2015, at 10:01 PM, Peter Uhnak <i.uh...@gmail.com> wrote: > > Good to hear! > > Do you have any time estimation (days/weeks)? Also I don't mind looking at > something incomplete (after all I learned roassal just from source code ;)) > > Thanks, > Peter > From: Tudor Girba > Sent: 9/30/2015 9:43 PM > To: Any question about pharo is welcome > Cc: Moose-related development > Subject: Re: [Pharo-users] Custom type inference and RoelTyper > > Great news :) > > Doru > > On Wed, Sep 30, 2015 at 9:31 PM, Alexandre Bergel <alexandre.ber...@me.com> > wrote: > 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 > > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > > > > > > -- > www.tudorgirba.com > > "Every thing has its own flow" -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
