当且仅当在从某过程的入口点到p处的每条代码路径上e都已经求值，且从求值处到p之间e的任何成分子表达式都没有重新定义时，表达式e在该过程位置p处是可用的。An expression e is available at point p in a procedure if and only if on every path from the procedure’s entry to p, e is evaluated and none of its constituent subexpressions is redefined between that evaluation and p. (查看原文)
"A language in which every expression can be assigned an unambiguous type is called a strongly typed language. If every expression can be typed at compile time, the lan- guage is statically typed; if some expressions can only be typed at runtime, the language is dynamically typed. Two alternatives exist: an untyped language, such as assembly code or bcpl, and a weakly typed language—one with a...
2014-03-06 15:55
"A language in which every expression can be assigned an unambiguous type is called a strongly typed language. If every expression can be typed at compile time, the lan- guage is statically typed; if some expressions can only be typed at runtime, the language is dynamically typed. Two alternatives exist: an untyped language, such as assembly code or bcpl, and a weakly typed language—one with a poor type system."
能够为每个表达式确立一种没有歧义类型的语言叫强类型
如果每个表达式都能够在编译时赋予一个类型，那这种语言就叫静态类型
如果只能在运行时赋予类型就是动态类型。
汇编语言没有类型，类型系统很弱就是弱类型语言。。。
"A language in which every expression can be assigned an unambiguous type is called a strongly typed language. If every expression can be typed at compile time, the lan- guage is statically typed; if some expressions can only be typed at runtime, the language is dynamically typed. Two alternatives exist: an untyped language, such as assembly code or bcpl, and a weakly typed language—one with a...
2014-03-06 15:55
"A language in which every expression can be assigned an unambiguous type is called a strongly typed language. If every expression can be typed at compile time, the lan- guage is statically typed; if some expressions can only be typed at runtime, the language is dynamically typed. Two alternatives exist: an untyped language, such as assembly code or bcpl, and a weakly typed language—one with a poor type system."
能够为每个表达式确立一种没有歧义类型的语言叫强类型
如果每个表达式都能够在编译时赋予一个类型，那这种语言就叫静态类型
如果只能在运行时赋予类型就是动态类型。
汇编语言没有类型，类型系统很弱就是弱类型语言。。。
"A language in which every expression can be assigned an unambiguous type is called a strongly typed language. If every expression can be typed at compile time, the lan- guage is statically typed; if some expressions can only be typed at runtime, the language is dynamically typed. Two alternatives exist: an untyped language, such as assembly code or bcpl, and a weakly typed language—one with a...
2014-03-06 15:55
"A language in which every expression can be assigned an unambiguous type is called a strongly typed language. If every expression can be typed at compile time, the lan- guage is statically typed; if some expressions can only be typed at runtime, the language is dynamically typed. Two alternatives exist: an untyped language, such as assembly code or bcpl, and a weakly typed language—one with a poor type system."
能够为每个表达式确立一种没有歧义类型的语言叫强类型
如果每个表达式都能够在编译时赋予一个类型，那这种语言就叫静态类型
如果只能在运行时赋予类型就是动态类型。
汇编语言没有类型，类型系统很弱就是弱类型语言。。。
exlife
人民邮电出版社2012版
![[已注销]](https://img9.doubanio.com/icon/user_normal.jpg)
"A language in which every expression can be assigned an unambiguous type is called a strongly typed language. If every expression can be typed at compile time, the lan- guage is statically typed; if some expressions can only be typed at runtime, the language is dynamically typed. Two alternatives exist: an untyped language, such as assembly code or bcpl, and a weakly typed language—one with a...
0 有用 bob 2007-04-02
有意出售，like new, 绝对95新。￥380。
0 有用 bob 2007-04-02
有意出售，like new, 绝对95新。￥380。