Expanding the GL, On Turing Completeness:
An idea worth exploring would be being able to evaluate algebraic expressions and computations in compilation time.
One great example could be the C++ template system. Which exactly implements this*
*1: Turing Completeness.