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