Typchecking at compile and runtime ?

[MarcWeber]

Lisp is both data and code. And whatever compiler I've seen in the past I hit a wall. So I am looking for a solution which can build code from code (thus lisp :-) but also can type check the built code at runtime. Thus I also want to dissolve the compile vs runtime checking phases cause the border doesn't really exist.
Imagine eg code creating a react app AND then typechecking it AND THEN launching server and running it.
At the same time SEXP = ast = program in theory allows to dissolve the border between let's say urweb rust C ocaml whatever cause you could compile a generated program (eg a web handler) using whatever makes sense. With arena allocation or whatever. So JS being fast but not fastest the problem would be gone. Same code and depending on your requirements you could compile but you don't have to. So it might fast dev experience (not like Rust which compiles everything always !) etc. Do you know a compiler with similar goals or will coalton walk into this direction .. ? I am also interested in having type checkers from different languages talk to each other and using lisp eventually might allow to interpret them until there are enough resources to make it fast.