[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.

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末娃承,一起剝皮案震驚了整個濱河市,隨后出現(xiàn)的幾起案子匣吊,更是在濱河造成了極大的恐慌舅逸,老刑警劉巖桌肴,帶你破解...
    沈念sama閱讀 217,826評論 6 506
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場離奇詭異琉历,居然都是意外死亡坠七,警方通過查閱死者的電腦和手機,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 92,968評論 3 395
  • 文/潘曉璐 我一進店門旗笔,熙熙樓的掌柜王于貴愁眉苦臉地迎上來彪置,“玉大人,你說我怎么就攤上這事蝇恶∪” “怎么了?”我有些...
    開封第一講書人閱讀 164,234評論 0 354
  • 文/不壞的土叔 我叫張陵撮弧,是天一觀的道長潘懊。 經(jīng)常有香客問我,道長贿衍,這世上最難降的妖魔是什么授舟? 我笑而不...
    開封第一講書人閱讀 58,562評論 1 293
  • 正文 為了忘掉前任,我火速辦了婚禮贸辈,結(jié)果婚禮上释树,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好奢啥,可當(dāng)我...
    茶點故事閱讀 67,611評論 6 392
  • 文/花漫 我一把揭開白布秸仙。 她就那樣靜靜地躺著,像睡著了一般桩盲。 火紅的嫁衣襯著肌膚如雪寂纪。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 51,482評論 1 302
  • 那天正驻,我揣著相機與錄音弊攘,去河邊找鬼抢腐。 笑死姑曙,一個胖子當(dāng)著我的面吹牛,可吹牛的內(nèi)容都是我干的迈倍。 我是一名探鬼主播伤靠,決...
    沈念sama閱讀 40,271評論 3 418
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼啼染!你這毒婦竟也來了宴合?” 一聲冷哼從身側(cè)響起,我...
    開封第一講書人閱讀 39,166評論 0 276
  • 序言:老撾萬榮一對情侶失蹤迹鹅,失蹤者是張志新(化名)和其女友劉穎卦洽,沒想到半個月后,有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體斜棚,經(jīng)...
    沈念sama閱讀 45,608評論 1 314
  • 正文 獨居荒郊野嶺守林人離奇死亡阀蒂,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 37,814評論 3 336
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發(fā)現(xiàn)自己被綠了弟蚀。 大學(xué)時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片蚤霞。...
    茶點故事閱讀 39,926評論 1 348
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖义钉,靈堂內(nèi)的尸體忽然破棺而出昧绣,到底是詐尸還是另有隱情,我是刑警寧澤捶闸,帶...
    沈念sama閱讀 35,644評論 5 346
  • 正文 年R本政府宣布夜畴,位于F島的核電站,受9級特大地震影響删壮,放射性物質(zhì)發(fā)生泄漏贪绘。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點故事閱讀 41,249評論 3 329
  • 文/蒙蒙 一醉锅、第九天 我趴在偏房一處隱蔽的房頂上張望兔簇。 院中可真熱鬧,春花似錦、人聲如沸垄琐。這莊子的主人今日做“春日...
    開封第一講書人閱讀 31,866評論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽狸窘。三九已至墩朦,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間翻擒,已是汗流浹背氓涣。 一陣腳步聲響...
    開封第一講書人閱讀 32,991評論 1 269
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留陋气,地道東北人劳吠。 一個月前我還...
    沈念sama閱讀 48,063評論 3 370
  • 正文 我出身青樓,卻偏偏與公主長得像巩趁,于是被迫代替她去往敵國和親痒玩。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當(dāng)晚...
    茶點故事閱讀 44,871評論 2 354

推薦閱讀更多精彩內(nèi)容