Also Java (annotation processors) and Scala (macros with full access to type system). Java is considered good enough systems language for some definition of a s

Also Java (annotation processors) and Scala (macros with full access to type system). Java is considered good enough systems language for some definition of a system - there are successful high performance database engines, web servers, web frameworks, compilers, distributed computing engines written in Java.