July 2012 - Pharo-dev - lists.pharo.org

Re: [Pharo-project] type inference in Pharo

by Alexandre Bergel

Well... I still do not know which algorithm is used. Without a clear answer, I do not know how to compare it with other type inferencer. For example, is the one of Scala more accurate? No idea 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(a)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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

July 17, 2012

Re: [Pharo-project] type inference in Pharo

by Frank Shearar

Santiago's building on Francisco Garau's thesis, which builds on Ole Agesen's PhD thesis: ttps://labs.oracle.com/techrep/1996/smli_tr-96-52.pdf "Concrete Type Inference: Delivering Object-Oriented Applications" which tackles the problem of type inference in the context of a Self image. frank On 17 July 2012 17:08, Guillermo Polito <guillermopolito(a)gmail.com> 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(a)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 >> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >> >> >> >> >

July 17, 2012

[Pharo-project] [update 2.0] #20222

by Marcus Denker

20222 ----- Issue 6347: Test failing: DiskFileSystemTest.testEntryAt http://code.google.com/p/pharo/issues/detail?id=6347 Issue 6404: Fuel Tests fail due to DateAndTime changes http://code.google.com/p/pharo/issues/detail?id=6404 Issue 6402: update kernelPackageNames http://code.google.com/p/pharo/issues/detail?id=6402 -- Marcus Denker -- http://marcusdenker.de

July 17, 2012

Re: [Pharo-project] type inference in Pharo

by Guillermo Polito

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

July 17, 2012

[Pharo-project] type inference in Pharo

by Alexandre Bergel

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

July 17, 2012

[Pharo-project] [update 2.0] #20221

by Marcus Denker

20221 ----- Issue 5919: DateAndTime instance creation and offsets http://code.google.com/p/pharo/issues/detail?id=5919 -- Marcus Denker -- http://marcusdenker.de

July 17, 2012

[Pharo-project] [update 2.0] #20218

by Marcus Denker

20218 ----- Issue 6400: Deprecate more methods SmalltalkImage http://code.google.com/p/pharo/issues/detail?id=6400 Issue 6397: Morph has empty *NautilusCommon- method protocol http://code.google.com/p/pharo/issues/detail?id=6397 Issue 6396: Monticello extension to tools (ChangeList) http://code.google.com/p/pharo/issues/detail?id=6396 Issue 6155: Find a better package for MultiByteFileStream and MultiByteBinaryOrTextStream http://code.google.com/p/pharo/issues/detail?id=6155 -- Marcus Denker -- http://marcusdenker.de

July 17, 2012

[Pharo-project] [ANN] Alternative view of a system browser

by Goubier Thierry

I believe that the traditional SystemBrowser of Smalltalk of old has been made unusable by the amount of code (and structure) you find in today's Smalltalk images. So this is to show you an alternative, a different way to browse through packages / classes and methods and code. This is Spec-based. https://picasaweb.google.com/lh/photo/ic_fRnBXXdyqbiJ5NRP9YtMTjNZETYmyPJy0l… What is missing / targeted ? * Drag and drop reorganisation of the tree as preferred / or as package / category reuse. * A good search facility in the tree. It is already keyboard navigation friendly (since the tree view is). * Most / All menu methods of a complete System Browser. I'm planning on reusing the OmniBrowser command structure as much as possible (to make it faster). * Funny ideas on how to use the tree structure : group / selection display, queries, metrics ... ** There is probably a lot more to be done here, but it would probably require Mondrian or other graph visualisation tools. Expect the code sometime by the end of the week, in a Pharo 2.0 / Pharo 1.4 version. Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des SystÃ¨mes Temps RÃ©el EmbarquÃ©s 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95

July 17, 2012

[Pharo-project] [update 2.0] #20217

by Marcus Denker

20217 ----- Issue 6393: All font related methods in LanguageEnvironment are unused http://code.google.com/p/pharo/issues/detail?id=6393 Issue 6391: TrueType relicts from privCleanUnloadMethods http://code.google.com/p/pharo/issues/detail?id=6391 Issue 6382: [BUG]: PragmaMenuAndShortcutRegistration DNU attachShortcutCategory:to: http://code.google.com/p/pharo/issues/detail?id=6382 Issue 6394: clean unsent private methods Object and MetaClas http://code.google.com/p/pharo/issues/detail?id=6394 Issue 6395: #defaultEncodingName is unsent http://code.google.com/p/pharo/issues/detail?id=6395 -- Marcus Denker -- http://marcusdenker.de

July 17, 2012

[Pharo-project] Spec Enhancement Request

by Goubier Thierry

Hi, could Spec gives access to drag and drop on morphs ? I'm trying to get TreeModel to do things by drag and drop, and I haven't found another way than subclassing it. Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des SystÃ¨mes Temps RÃ©el EmbarquÃ©s 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95

July 17, 2012