[Pharo-project] type inference in Pharo

Alexandre Bergel alexandre.bergel at me.com
Wed Jul 18 11:08:01 EDT 2012


Ok. 
How can I run the type inferencer? http://concretetypeinference.blogspot.com does not explicitly say it

I remember you've said it in an email, but it has been some weeks ago

Cheers,
Alexandre


On Jul 18, 2012, at 10:54 AM, Santiago Bragagnolo wrote:

> The description of the algorithm is fully detailed in the Francisco Garau 's thesis.. you should read it. 
> 
> In a fairy case, you have the same info, but right now is not that good. You can collect probably more info profiling an execution.. but.. you must execute the code. If it is not expensive to execute, maybe you should execute it, but it is not general enough right?  
> 
> Best. 
> Santiago. 
> 
> 2012/7/18 Alexandre Bergel <alexandre.bergel at me.com>
> > 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
> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
> 
> 
> 
> 
> 

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







More information about the Pharo-dev mailing list