Concrete Mix

Concrete Mix (or just Mix, if you prefer a shorter handle) is a statically typed object oriented language. The language itself follows the tradition of languages like Java and C#, with an important difference: Mix is intended to be an experiment in complete type inference for such languages (that is, whole program type inference without any annotations). This blog will mostly detail the language and my experiments with static analyses on Mix, though I might occasionally mention some programming languages- and type theory-related items.