Maybe Lisp and Forth are closer to what I mean, but it should also have a more solid type system and allow for a high level of abstraction and static checks by

Maybe Lisp and Forth are closer to what I mean, but it should also have a more solid type system and allow for a high level of abstraction and static checks by the compiler