中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Referential transparency
来自维基百科,自由的百科全书
Found in articles
里氏替换原则
ISBN 0-13-629031-0. SOLID - “SOLID”中的 L 指代了里氏替换原则 類型簽名 參考透明度(英语:
Referential
transparency
)(
Referential
transparency
) 求精法 (編程計算)(英语:Refinement (computing))(Refinement
远隔作用 (计算机科学)
避免远隔作用的方法是避免使用全域變數,利用可控制的區域變數來調整資料,或是使用有参照透明度(英语:
Referential
transparency
(computer science))的純函數程式語言。 此詞語的由來是來自物理學中的遠距作用,是指一個物體在和另一物體中間
纯函数式编程
如果将一个表达式替代为它的值只在程序执行的特定点上是有效的,则这个表达式不是参照透明性(英语:
Referential
transparency
)的。这些顺序点的定义和次序是指令式编程的理论基础。参照透明性的表达式可以在任何时间求值,既不需要定义顺序点也根本不需要对求值
副作用 (计算机科学)
API(输入输出系统函数库)读取配置文件,或者输出到文件,打印到屏幕,都叫做隐式的方式和外界进行数据交换。 无副作用是参照透明性(英语:
Referential
transparency
)(英語:
Referential
Transparent)的必要非充分条件。参照透明意味着一个表达式(例如一次函数调用)可以被替换为它的值。这
引用透明性
term originates from there. Søndergaard, Harald; Sestoft, Peter.
Referential
transparency
, definiteness and unfoldability (PDF). Acta Informatica. 1990,