参照透過性
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[IT用語集]]
*参照透過性とは？ [#m59e3f78]
-参照透過性 - Google 検索 https://www.google.com/search?q...
-参照透過性 - Wikipedia https://ja.wikipedia.org/wiki/%E5...
>参照透過性（さんしょうとうかせい、Referential transparen...
ある式が参照透過であるとは、その式をその式の値に置き換え...
具体的には変数の値は最初に定義した値と常に同じであり、関...
当然変数に値を割り当てなおす演算である代入 (Assignment) ...
このように参照透過性が成り立っている場合、ある式の値、例...
-関数型プログラミング概論 http://gpsoft.dip.jp/archive/fp...
>純粋な関数
純粋(pure)な関数とは、以下の2つの条件を満たす関数のことで...
-参照透過である
-副作用を持たない
>参照透過(referentially transparent)な関数とは、同じ値に...
つまり参照透過な関数の適用結果は、引数の値のみによって決...
裏に隠した小細工が無いという点で、透過という表現がマッチ...
引数以外の情報(例えばグローバル変数やインスタンス変数の値...
>関数適用の本質(いわば本作用)は、引数の値に基づいて評価結...
それ以外の作用を副作用(side effect)と呼びます。
例えばグローバル変数の値を変更したり、画面に何かを表示し...
そういった作用を持つ関数は純粋ではありません。
*リンク [#y233b321]
-山本和彦の発表資料 http://www.mew.org/~kazu/material/
-2019/06 関数プログラミングことはじめ 2019年度版 http://w...
-2015/11 関数プログラミングことはじめ http://www.mew.org/...
終了行:
[[IT用語集]]
*参照透過性とは？ [#m59e3f78]
-参照透過性 - Google 検索 https://www.google.com/search?q...
-参照透過性 - Wikipedia https://ja.wikipedia.org/wiki/%E5...
>参照透過性（さんしょうとうかせい、Referential transparen...
ある式が参照透過であるとは、その式をその式の値に置き換え...
具体的には変数の値は最初に定義した値と常に同じであり、関...
当然変数に値を割り当てなおす演算である代入 (Assignment) ...
このように参照透過性が成り立っている場合、ある式の値、例...
-関数型プログラミング概論 http://gpsoft.dip.jp/archive/fp...
>純粋な関数
純粋(pure)な関数とは、以下の2つの条件を満たす関数のことで...
-参照透過である
-副作用を持たない
>参照透過(referentially transparent)な関数とは、同じ値に...
つまり参照透過な関数の適用結果は、引数の値のみによって決...
裏に隠した小細工が無いという点で、透過という表現がマッチ...
引数以外の情報(例えばグローバル変数やインスタンス変数の値...
>関数適用の本質(いわば本作用)は、引数の値に基づいて評価結...
それ以外の作用を副作用(side effect)と呼びます。
例えばグローバル変数の値を変更したり、画面に何かを表示し...
そういった作用を持つ関数は純粋ではありません。
*リンク [#y233b321]
-山本和彦の発表資料 http://www.mew.org/~kazu/material/
-2019/06 関数プログラミングことはじめ 2019年度版 http://w...
-2015/11 関数プログラミングことはじめ http://www.mew.org/...
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
