この記事は「Nim Advent Calendar 2021」の25日目の記事として登録させてもらっています。 契約プログラミングとは 事前条件 事後条件 不変条件 Nimで(お手軽)契約プログラミング 事前条件をチェックする 事後条件をチェックする pre/postで記述できるように…