Impala

Impala is an imperative and functional programming language which targets the Thorin intermediate representation. Its syntax heavily borrows from Rust, with some noticeable changes: It allows user-directed partial evaluation of code and continuation-passing style (CPS).

Example of Impala’s Partial Evaluation

Below is a simple example showing how Impala can partially evaluate a dot product function and generate efficient specialized code. More advanced examples can be found in the AnyDSL GitHub organization.