0559デフォルトの名無しさん垢版 | 大砲2014/11/30(日) 18:24:06.55ID:7WEYW95R >>558 それを言うなら、契約って言ったほうがかっこいいな。 契約プログラミングといえば、EiffelとD言語ぐらいだけど、 型っていうのもある意味契約だからね。 この引数は、○型であるという事前条件 この関数は、○型を返すという事後条件