Boomerang

Boomerang is a general-purpose programming language with an innovative type system. It is statically typed and supports both functional and object-oriented programming. Boomerang is designed to be simple, efficient and easy to learn. The Boomerang type system is based on the principle of type inference, which means that the type of a variable is automatically deduced from the context in which it is used. This makes Boomerang programs very concise and easy to read. Boomerang also has an innovative module system, which allows developers to modularize their programs in a way that is both type-safe and efficient. Boomerang is an open source project, released under the Apache 2.0 license.