Type Inference of SELF

Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide useful information for browsers and optimizing compilers. Self features objects with dynamic inheritance. This construct has until now been considered incompatible with type inference because it allows the inheritance graph to change dynamically. Our algorithm handles this by deriving and solving type constraints that simultaneously define supersets of both the possible values of expressions and of the possible inheritance graphs. The apparent circularity is resolved by computing a global fixed-point, in polynomial time. The algorithm has been implemented and can successfully handle the Self benchmark programs, which exist in the “standard Self world” of more than 40,000 lines of code.

• Type: Conference
• Year: 1993
• Where: ECOOP
• Authors: Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
• Keywords: Algorithm, ECOOP 1993, Programming Languages, Type Inference, Type Inference Algorithm