Meta Programming

This is a general discussion page about adding meta-programming support to Whiley. For example, C++ provides support for meta-programming via templates, whilst Rust provides support via macros. Whiley has a proposal now for extending the language with templates (see https://github.com/Whiley/WhileyCompiler/issues/540). Some pointers:

• C++: https://en.wikipedia.org/wiki/Template_metaprogramming
• Rust: https://danielkeep.github.io/quick-intro-to-macros.html

Use Cases

What uses cases do we want to support for meta-programming?