HKU PL Group

We are a group of programming language researchers who study topics about functional language design, type theory, compilers and program analysis.
The University of Hong Kong

Towards Language Support For Object Algebras


Object Algebras are a simple solution to the Expression Problem for mainstream object-oriented languages. However, it is still cumbersome to model dependent object algebras or compose object algebras with existing languages. To work around these problems, meta-programming is often used at the cost of performance penalties and imprecise error messages. In this talk, I will present some preliminary results on designing a new language that has native support for object algebras. In the first half of the talk, I will illustrate how object algebras can be defined and composed in a concise way using this new language. In the second half of the talk, I will show how to elaborate the language into Fi+, a calculus that supports disjoint intersection types with a merge operator, parametric polymorphism and BCD-style distributive subtyping.