On 13 February 2014 15:21, teso...@gmail.com <teso...@gmail.com> wrote: > Project idea > > Description: Enhance refactorings with type information > Skill level: Advance > Possible Mentors: Guillermo Polito / Esteban Lorenzano / Santiago Bragagnolo > Name of the Student: Pablo Tesone > Keywords: tools, refactoring, code completion, type inference. > > Description: > > During the development of a program in any programming language, the IDE has > a very important role. It will never replace the knowledge of the programmer > but it can make his life easier. > As Smalltalk doesn’t have explicit type information, the IDE can not perform > the same mechanisms that are present in IDE like Eclipse or Intellij IDEA. > These mechanisms can be very useful. > The idea of this project is to add type inference mechanisms to try to > provide more information to the refactoring and code completion tools. > It is important to say that the idea is not to check types or correct the > program, but to allow the programmer to have more information.
Mainly this project sounds like _using the existing inference tools_ (RoelTyper, Francisco Garau's Concrete Type Inference with Santiago Bragagnolo's modifications/improvements of same) and exposing the information in the IDE, yes? (This is a very important step!) frank
