Custom type inference and RoelTyper
Locked
Custom type inference and RoelTyper
 
|
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 |
|
|
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 <[hidden email]> 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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. |
Re: Custom type inference and RoelTyper
|
|
Great news :) Doru On Wed, Sep 30, 2015 at 9:31 PM, Alexandre Bergel <[hidden email]> wrote: Hi Peter! |
Re: Custom type inference and RoelTyper
|
|
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: [hidden email] Sent: 9/30/2015 9:43 PM To: [hidden email] Cc: [hidden email] Subject: Re: [Pharo-users] Custom type inference and RoelTyper Great news :) Doru On Wed, Sep 30, 2015 at 9:31 PM, Alexandre Bergel <[hidden email]> wrote: Hi Peter! |
|
|
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 <[hidden email]> 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 <[hidden email]> 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 <[hidden email]> 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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. |
|
|
In reply to this post by abergel
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 <[hidden email]> 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 |
|
|
In reply to this post by Peter Uhnak
Peter
contact Pablo Tesone Pablo Tesone [hidden email] Le 30/9/15 22:01, Peter Uhnak a écrit :
|
«
Return to Pharo Smalltalk Users
|
1 view|%1 views
| Free forum by Nabble | Edit this page |