[Pharo-project] type inference in Pharo

Stéphane Ducasse stephane.ducasse at inria.fr
Thu Jul 19 15:39:26 EDT 2012


did you tried roelTyper or the RBTypeGuesser?
RoelTyper may have to be adapted to closure but the algorithm is documented in the DSL paper.

Stef

On Jul 18, 2012, at 4:23 PM, Alexandre Bergel wrote:

>> So running type inference over "1 + e" will say "e is a SmallInteger",
>> rather than "e is a Number".
>> 
>> It uses abstract interpretation, if that answers your question?
> 
> Well... not really. The problem I have is the following: I would like to compare two techniques to get dependencies between classes. One using a type inferencer and another using a profiler we have done. The hypothesis I would like to verify is that statically you always know less than by profiling the execution. 
> 
> However, it is difficult for me to use your type inferencer if I do not exactly know what is your algorithm. In a scientific publication, I cannot just put the url of the blog as a description of the algorithm.
> 
> Cheers,
> Alexandre
> 
> 
>>> 
>>> On Jul 17, 2012, at 12:08 PM, Guillermo Polito wrote:
>>> 
>>>> It's in the same blog:
>>>> 
>>>> http://concretetypeinference.blogspot.fr/2012/05/about-how-i-got-here.html
>>>> 
>>>> Cheers,
>>>> Guille
>>>> 
>>>> On Tue, Jul 17, 2012 at 6:03 PM, Alexandre Bergel <alexandre.bergel at me.com> wrote:
>>>> Hi!
>>>> 
>>>> There is some work being done on inferring type (http://concretetypeinference.blogspot.com). What is the theoretical background of this work?
>>>> What is the algorithm used to infer the types?
>>>> 
>>>> Cheers,
>>>> Alexandre
>>>> --
>>>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
>>>> Alexandre Bergel  http://www.bergel.eu
>>>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
>>>> 
>>>> 
>>>> 
>>>> 
>>>> 
>>> 
>>> --
>>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
>>> Alexandre Bergel  http://www.bergel.eu
>>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
>>> 
>>> 
>>> 
>>> 
>> 
> 
> -- 
> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
> Alexandre Bergel  http://www.bergel.eu
> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
> 
> 
> 
> 





More information about the Pharo-dev mailing list