Python with types enforced by CI isn’t too bad. Or did you have something else in mind?