[PLT] Type system
**Type: **
A collection of values.
An estimate of the collection of values that a program fragment can assume during program execution.
**Untyped language: **
A language that does not have a (static) type system, or whose type system has a single type that contains all values.
**Typed language: **
A language with an associated (static) type system, whether or not types are part of the syntax.
**Type system: **
A collection of type rules for a typed programming language.
Same as static type system.
**Well-typed program: **
A program (fragment) that complies with the rules of a given type system.
Ill typed:
A program fragment that does not comply with the rules of a given type system.
**Trapped error: **
An execution error that immediately results in a fault.
**Untrapped error: **
An execution error that does not immediately result in a fault.
**Type safety: **
The property stating that programs do not cause untrapped errors.
**Safe language: **
A language where no untrapped errors can occur.
**Forbidden error: **
The occurrence of one of a predetermined class of execution errors;
Typically the improper application of an operation to a value, such as not(3).
**Well behaved: **
A program fragment that will not produce forbidden errors at run time.
**Type soundness: **
The property stating that programs do not cause forbidden errors.
**Strongly checked language: **
A language where no forbidden errors can occur at run time (depending on the definition of forbidden error).
**Weakly checked language: **
A language that is statically checked but provides no clear guarantee of absence of execution errors.
**Type rule: **
A component of a type system.
A rule stating the conditions under which a particular program construct will not cause forbidden errors.
**Typechecking: **
The process of checking a program before execution to establish its compliance with a given type system and therefore to prevent the occurrence of forbidden errors.
**Typing error: **
An error reported by a typechecker to warn against possible execution errors.
**Static checking: **
A collection of compile time tests, mostly consisting of typechecking.
**Statically checked language: **
A language where good behavior is determined before execution.
**Dynamic checking: **
A collection of run time tests aimed at detecting and preventing forbidden errors.
**Dynamically checked language: **
A language where good behavior is enforced during execution.
**Explicitly typed language: **
A typed language where types are part of the syntax.
**Implicitly typed language: **
A typed language where types are not part of the syntax.
相關文章
- plt.sca can control which subplot to apply plt methodsAPP
- Could not load type 'System.ServiceModel.Activation.HttpModule' from assembly 'HTTP
- plt是什麼格式檔案 plt檔案要用什麼軟體開啟
- RHEL7/CentOS7 type “journalctl -xb” to view system logsCentOSView
- plt是什麼格式檔案
- 動態連結的PLT與GOTGo
- 愛奇藝 Android PLT hook 技術分享AndroidHook
- plt.figure()引數使用詳解
- 【C++ grammar】Enhancement for Type System (C++11 對型別系統的增強)C++型別
- 深入淺出 PLT/GOT Hook與原理實踐GoHook
- variable: Type 與 Type variable
- Py-plt: Matplotlib常用柱狀圖詳解
- cannot convert (type interface {}) to type int: need type assertion
- Value Type vs Reference Type in SwiftSwift
- EXT4檔案系統學習(12)VFS之檔案系統物件file_system_type物件
- Type in Chakra
- System
- Golang Cannot use ss(type AAA) as type AAA in map indexGolangIndex
- A resource type with the name 'ora.daemon.type' is already registered
- oracle enqueue typeOracleENQ
- jQuery.type()jQuery
- oracle block type!OracleBloC
- Type classes in Scala
- block corruption typeBloC
- The type MultipartEntity is deprecated
- Type與Class
- MIME TYPE (轉)
- requirement for output typeUIREM
- 轉載:System:System.arraycopy方法詳解
- System.Net.Mail和System.Web.MailAIWeb
- alter system events與alter system event的區別
- Blob type 屬性
- File type 屬性
- react input[type='number']React
- ‘map’ does not name a type
- JavaScript select typeJavaScript
- JavaScript event.typeJavaScript
- type challenge(easy 部分)