サクサク読めて、アプリ限定の機能も多数!
参照透明性に属する概念を整理した論文の話。確定性、副作用が無いこと、決定性、展開可能性、外延性=フレーゲの原理、ライプニッツ則の適用可能性などがあるらしい。
kgbu のブックマーク 2009/07/09 06:12
ヒビルテ(2009-07-05)[ssa][programming language][logic][計算論][論文]参照透明性に属する概念を整理した論文の話。確定性、副作用が無いこと、決定性、展開可能性、外延性=フレーゲの原理、ライプニッツ則の適用可能性などがあるらしい。2009/07/09 06:12
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.tom.sfc.keio.ac.jp/~sakai2009/07/09
λ. “Referential transparency, definiteness and unfoldability” by Harald Søndergaard and Peter Sestoft Chatonのhaskell-jpルームで2009-07-03と2009-07-04にあった、参照透明性と副作用の定義に関わる話で...
9 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
参照透明性に属する概念を整理した論文の話。確定性、副作用が無いこと、決定性、展開可能性、外延性=フレーゲの原理、ライプニッツ則の適用可能性などがあるらしい。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ヒビルテ(2009-07-05)
λ. “Referential transparency, definiteness and unfoldability” by Harald Søndergaard and Peter Sestoft Chatonのhaskell-jpルームで2009-07-03と2009-07-04にあった、参照透明性と副作用の定義に関わる話で...
9 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /