On 13 February 2014 15:21, tesonep@gmail.com <tesonep@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