Is there any interest in adding compile time metaprogramming to PureScript? Something analogous to Template Haskell maybe?
I think it could be a really important feature especially now that there’s talk of stabilizing the language. It would give users more freedom to do things on their own. For example the recent magic typeclasses could have been implemented without compiler support.
Taking Template Haskell as inspiration are there any things we would like to do differently? There are some interesting points here, specifically I think phase distinction could be valuable.
Then there’s the obvious question of how compile time code is evaluated. Personally I think it’s fair to just model it after