Type inference mechanisms can be used to compute the types of variables from the source code. This information is very interesting in the context of a dynamically-typed language like Smalltalk. Severaltype inference tools already exists for Smalltalk but the type information they bring has not revealed all its potential yet. The student will have to leverage this type information with new programmingtools.

Example of such tools are:

Code analysis tools:

better "implementors of" and "senders of" lists

dead code finder

Development tools:

type mismatch hints at compile time

better code completion

Technical details

The student will have to analyze existing type inference tools and choose an appropriate solution. Then he will have to learn how to build UIs with Spec.