[RogerL]

As another poster already said, Ada fulfills all of the requirements, and you can trivially write reusable code in it.

[dllthomas]

I don't know Ada well enough to say. Revisiting, I do think Ada generics are probably powerful enough to allow a large amount of safe reuse. I am most skeptical that it still counts as "simple".

[RogerL]

I think it is simpler than Python, all things considered.

[dllthomas]

That may well be. As I said, "simple like Python" is an interesting phrase.