D
Systems programming with high-level abstractions
What it does
D combines static typing, native compilation, generics, and compile-time evaluation with language features intended for systems programming and higher-level application development.
When to use it
For compile-time programming, inspect template and CTFE examples to understand how types and computations are generated.
