Custom type inference and RoelTyper

List overview All Threads
Download

newer

older

#gtExampleFrom: deprecated

Hi from VISSOFT'15 / ICSME'15

Peter Uhnak

30 Sep 2015 30 Sep '15

8:28 p.m.

Attachments:

attachment.htm (text/html — 771 bytes)

Show replies by date

Alexandre Bergel

30 Sep 30 Sep

9:31 p.m.

New subject: [Pharo-users] Custom type inference and RoelTyper

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.uhnak(a)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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

Tudor Girba

9:43 p.m.

New subject: [Pharo-users] Custom type inference and RoelTyper

Great news :) Doru On Wed, Sep 30, 2015 at 9:31 PM, Alexandre Bergel <alexandre.bergel(a)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.uhnak(a)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"

stepharo

3 Oct 3 Oct

11:24 a.m.

We should check it again. Now the language did not change recently so may be some glitches appeared due to ast changes. Le 30/9/15 20:28, Peter Uhnak a écrit :

...

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 _______________________________________________ Moose-dev mailing list Moose-dev(a)iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev

Yuriy Tymchuk

12:02 p.m.

I know at least 2 more people who work on this in some way. Should you join efforts? Uko

...

On 03 Oct 2015, at 11:24, stepharo <stepharo(a)free.fr <mailto:stepharo@free.fr>> wrote: We should check it again. Now the language did not change recently so may be some glitches appeared due to ast changes. Le 30/9/15 20:28, Peter Uhnak a écrit :

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 _______________________________________________ Moose-dev mailing list Moose-dev(a)iam.unibe.ch <mailto:Moose-dev@iam.unibe.ch> https://www.iam.unibe.ch/mailman/listinfo/moose-dev <https://www.iam.unibe.ch/mailman/listinfo/moose-dev>

_______________________________________________ Moose-dev mailing list Moose-dev(a)iam.unibe.ch <mailto:Moose-dev@iam.unibe.ch> https://www.iam.unibe.ch/mailman/listinfo/moose-dev <https://www.iam.unibe.ch/mailman/listinfo/moose-dev>

stepharo

12:16 p.m.

RIght now I'm focusing on the mooc and the tutorial around the web stack. All the rest is low priority. Le 3/10/15 12:02, Yuriy Tymchuk a écrit :

...

I know at least 2 more people who work on this in some way. Should you join efforts? Uko

_______________________________________________ Moose-dev mailing list Moose-dev(a)iam.unibe.ch <mailto:Moose-dev@iam.unibe.ch> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

_______________________________________________ Moose-dev mailing list Moose-dev(a)iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev

3367

days inactive

3370

days old

moose-dev@list.inf.unibe.ch

Manage subscription

5 comments

5 participants

tags (0)

participants (5)

Alexandre Bergel
Peter Uhnak
stepharo
Tudor Girba
Yuriy Tymchuk