Abstract

Modern dynamic object-oriented languages such as Python and Ruby are powerful and expressive, but their extensive dynamism complicates many tasks, since not enough can be reasoned about programs without executing them. This hinders program understading, software maintenance, static type analysis and optimising compilers. Alore is a new dynamically typed language that is inspired by Python, but that supports only restricted runtime dynamism. In Alore, module and class structure are fixed during compilation, and the object model is rigid, somewhat similar to Java. I present distinguishing language features of Alore and compare it with other dynamic languages. I argue that Alore has retained most of the benefits of dynamic object-oriented languages while making many of the problems associated with them easier to solve.