[Pharo-project] type inference in Pharo

Alexandre Bergel alexandre.bergel at me.com
Thu Jul 19 16:55:01 EDT 2012


> RoelTyper may have to be adapted to closure but the algorithm is documented in the DSL paper.

Yes, this is an important piece of work that I will consider. I am looking for additional related work.

Cheers,
Alexandre


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

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







More information about the Pharo-dev mailing list