Lightweight dependent classes

Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusable and composable programming unit have also been presented. One problem of these proposals is verbosity of the source programs; we have to declare a recursive type parameter to parameterize each mutually recursive class within each class declaration, and we have to declare a fixed-point class with empty class body for each parameterized class. Therefore, even though the underlying type system is simple, programs written in these languages tend to be rather complex and hard to understand. In this paper, we propose a language with lightweight dependent classes that forms a simple type system built on top of generic Java. In this language, we can implement each member of type-safe mutually recursive classes in a separate source file without writing a lot of complex boilerplate code. To carefully investigate ty...

• Type: Conference
• Year: 2008
• Where: GPCE
• Authors: Tetsuo Kamina, Tetsuo Tamai
• Keywords: GPCE 2008, Lightweight Dependent Classes, Programming Languages, Recursive Classes, Recursive Type Parameter