2022-01-05 に開催された toruby 177th の勉強会の中で、m_seki さんが「契約プログラミング」の話をしてくれた。

そこで紹介されたサンプルコードに assert や require といった語彙があり、Solidity で見たことあるやつだな〜となった。