No, there are no plans for first-class metaprogramming. The purpose of exposing the parser, type checker, module system, etc, in the standard library is to allow for users to more easily build custom Hare tooling. The closest thing you could get to metaprogramming with this is some assistance with code generation.

> Is there any plan for metaprogramming/macro (not preprocessor) in Hare?

We don't plan to add anything like that. Hare strives to be simple and straightforward. Metaprogramming would not fit it well.

Closest thing in this direction that we tried was reflection, but that didn't turn out to play along with the rest of the language either, so it was removed.