I implemented a Chez Scheme backend for PureScript a while back. The goal was to combine the power of Haskell, Lisp and C.
The prim mechanism allows you to instrument code time with interactive debugging (break, continue, probably even go back with call/cc), tracing and even special procedures like assert and undefined that can report call location.
As I’ve become more proficient with Scheme I’ve come to appreciate that it’s the most powerful programming language and the true price is to learn how to implement type checkers in its macro system with mechanisms like define-property so I’ve dropped the idea of using PureScript as a frontend.
I thought I might as well make the repo public. I won’t be offended if no one cares about it lol