None of the programming languages that I know well myself provides the sort of balance I’d like to see between: (a) strong visibility of and control over effec

None of the programming languages that I know well myself provides the sort of balance I’d like to see between: (a) strong visibility of and control over effects, (b) an emphasis on powerful tools to represent and manipulate data, and (c) straightforward imperative/stateful aspects when required. Of course that isn’t to say that no such language exists, but if it does then sadly I have yet to become aware of it. New ideas are always welcome…