This is what Ada does. A very strong type system, makes native binaries, has low level control, but it writes and reads super simply. Generics are at the modu

This is what Ada does. A very strong type system, makes native binaries, has low level control, but it writes and reads super simply. Generics are at the module ("package") and function level, not at the type level, and can take other packages as parameters.