ボンジュール・マドモアゼル

本サイトの情報は自己責任にてご利用下さい。

[用語] 参照透過性と冪等(べき等)性

 
※ 2012-11-16 書き直しました。

等価ではない。
冪等性は関数の特質であり、参照透過性は言語の特質。

Wikipedia 参照透過性

冪等は副作用が有り得る。

次はRFCによる冪等性の定義。
9.1.2 Idempotent Methods

Methods can also have the property of "idempotence" in that (aside from error or expiration issues) the side-effects of N > 0 identical requests is the same as for a single request.
RFC2616 Hypertext Transfer Protocol -- HTTP/1.1 9.1.2 Idempotent Methods

和訳
http://suika.fam.cx/~wakaba/wiki/sw/n/%E5%86%AA%E7%AD%89


数学では冪等写像は f(f(x)) = f(x) と定義される。
当然ながら、副作用がないからといって冪等写像というわけではない。

任意の数値 x について
abs(x) == abs(abs(x)) == abs(abs(abs(x)))
が成り立つ。

階乗 factrial は冪等写像ではない。

factrial(x) ≠ factrial(factrial(x))  ( x > 2 の場合)
<<リス缶とは | ホーム | WSH エラーメッセージを表示する>>

コメント

コメントの投稿

管理者にだけ表示を許可する

画像の文字を半角数字で下記ボックスに記入ください。
文字が読みにくい場合はブラウザの更新をすると新しい文字列が表示されます。