m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 連絡的 構文的には関数呼び出しであっても、用途／役割、あるいは型（タイプ）により、次の3種に分類されます。 述語 -- 戻り値はboolean、副作用なし。 （狭義の）関数 -- 戻り値の型は任意、値を必ず戻す。副作用なし。 コマンド -- 戻り値の型は任意、値がなくてもよい(void戻り値）。副作用があってもよい。 使い方と制限は： 条件式のトップレベルに出現できるのは述語だけ。 条件式の述語引数内に出現できるのは（狭義の）関数だけ。ただし、述語も関数の一種とみなす。 アクション（複文の）のトップレベルに出現できるのはコマンドだけ。 アクションのコマンド引数内には何でも出現できるが、値を返さないコマ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20061116%2F1163644945" title="HoareRulesの関数構文、その意味的区別 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-11-16 11:42:25 rich https://m-hiyama.hatenablog.com/entry/20061116/1163644945 1.0 100%