Drython is a metaprogramming library for Python. Metaprogramming is writing programs that write programs--a powerful technique for abstracting away repetitive code.

Drython is a metaprogramming library for Python. Metaprogramming is writing programs that write programs--a powerful technique for abstracting away repetitive code.

With Python, you will have access to advanced metaprogramming features that you can use to build high-performing applications. The book starts by introducing you to the need and applications of ...

Metaprogramming at first may seem to be an advanced topic, suitable only for programming language gurus, but it's not really that difficult once you know how to use the adequate tools.

We describe the metaprogramming framework currently used in Lean, an interactive theorem prover based on dependent type theory. This framework extends Lean’s object language with an API to some of ...