Motoko

名辞論的プログラミングと行為論的プログラミング

(コードを) 書くための設計書, 読むための設計書