Fuzion has contracts as well: https://flang.dev/tutorial/pre_post_conditions https://flang.dev/tutorial/pre_post_conditions https://github.com/tokiwa-software/

Fuzion has contracts as well: https://flang.dev/tutorial/pre_post_conditions https://flang.dev/tutorial/pre_post_conditions https://github.com/tokiwa-software/fuzion https://github.com/tokiwa-software/fuzion Disclaimer, I work in the Fuzion team.