In addition to the other suggestions mentioned in this thread, see also the Eiffel language - https://en.wikipedia.org/wiki/Eiffel_(programming_language) https:

In addition to the other suggestions mentioned in this thread, see also the Eiffel language - https://en.wikipedia.org/wiki/Eiffel_(programming_language) https://en.wikipedia.org/wiki/Eiffel_(programming_language)