Smalltalk › Pharo › Pharo Smalltalk Users

Custom type inference and RoelTyper

_‹ Previous Topic Next Topic _›

Classic

List

Threaded

7 messages Options

Peter Uhnak

Sep 30, 2015; 6:19pm

Custom type inference and RoelTyper

2019 posts

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

abergel

Sep 30, 2015; 7:22pm

Re: Custom type inference and RoelTyper

5677 posts

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

... [show rest of quote]

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

Tudor Girba-2

Sep 30, 2015; 7:34pm

Re: Custom type inference and RoelTyper

7411 posts

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
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

... [show rest of quote]

www.tudorgirba.com

"Every thing has its own flow"

Peter Uhnak

Sep 30, 2015; 7:52pm

Re: Custom type inference and RoelTyper

2019 posts

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!

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
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

... [show rest of quote]

www.tudorgirba.com

"Every thing has its own flow"

abergel

Sep 30, 2015; 8:21pm

Re: Custom type inference and RoelTyper

5677 posts

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"

... [show rest of quote]

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

stepharo

Mar 14, 2016; 7:31am

Re: Custom type inference and RoelTyper

5159 posts

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

... [show rest of quote]

stepharo

Mar 14, 2016; 7:32am

Re: Custom type inference and RoelTyper

5159 posts

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 :

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!

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
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

... [show rest of quote]

--

www.tudorgirba.com

"Every thing has its own flow"

... [show rest of quote]