原文：http://www.zhihu.com/question/19918532

类型系统的一些概念，众说纷纭，使用上也比较乱。有些东西，甚至不好严格定义。以下算学术界的一种相对“严格”的说法。

1. 先定义一些基础概念

Program Errors

trapped errors。导致程序终止执行，如除0，Java中数组越界访问
untrapped errors。出错后继续执行，但可能出现任意行为。如C里的缓冲区溢出、Jump到错误地址

Forbidden Behaviours

语言设计时，可以定义一组forbidden behaviors. 它必须包括所有untrapped errors, 但可能包含trapped errors.

Well behaved、ill behaved

well behaved: 如果程序执行不可能出现forbidden behaviors, 则为well behaved。
ill behaved: 否则为ill behaved...

2. 有了上面的概念，再讨论强、弱类型，静态、动态类型

强、弱类型

强类型strongly typed: 如果一种语言的所有程序都是well behaved——即不可能出现forbidden behaviors，则该语言为strongly typed。
弱类型weakly typed: 否则为weakly typed。比如C语言的缓冲区溢出，属于trapped errors，即属于forbidden behaviors..故C是弱类型

前面的人也说了，弱类型语言，类型检查更不严格，如偏向于容忍隐式类型转换。譬如说C语言的int可以变成double。这样的结果是：容易产生forbidden behaviours，所以是弱类型的

动态、静态类型

静态类型 statically: 如果在编译时拒绝ill behaved程序，则是statically typed;
动态类型dynamiclly: 如果在运行时拒绝ill behaviors, 则是dynamiclly typed。

3. 误区
大家觉得C语言要写int a, int b之类的，Python不用写(可以直接写a, b)，所以C是静态，Python是动态。这么理解是不够准确的。譬如Ocaml是静态类型的，但是也可以不用明确地写出来。。
Ocaml是静态隐式类型

静态类型可以分为两种：

如果类型是语言语法的一部分，在是explicitly typed显式类型；
如果类型通过编译时推导，是implicity typed隐式类型, 比如ML和Haskell

4.下面是些例子
无类型：汇编
弱类型、静态类型： C/C++
弱类型、动态类型检查： Perl/PHP
强类型、静态类型检查：Java/C#
强类型、动态类型检查：Python, Scheme
静态显式类型：Java/C
静态隐式类型：Ocaml, Haskell

转载于:https://www.cnblogs.com/wzbk/p/8858739.html

静态动态强类型弱类型语言的区别相关推荐

Java 面试题 —— 强类型语言和弱类型语言的区别
Java 面试题 -- 强类型语言和弱类型语言的区别强类型语言,也称为强类型定义语言,是一种总是强制类型定义的语言,要求变量的使用要严格符合定义,所有变量都必须先定义后使用. 如:Jav ...
python中动态语言静态语言的定义_作为程序开发，你所需要知道的编译型与解释型、动态语言与静态语言、强类型语言与弱类型语言的概念以及区别...
作为程序开发,你所需要知道的编译型与解释型.动态语言与静态语言.强类型语言与弱类型语言的概念以及区别! 在各式各样的开发过程当中,我相信各位开发小伙伴在开发过程中并没有太关注什么是解释性语言和编译性语 ...
编译型与解释型、动态语言与静态语言、强类型语言与弱类型语言概念辨析
编译型与解释型.动态语言与静态语言.强类型语言与弱类型语言概念辨析转自:https://blog.csdn.net/u010533843/article/details/76215487 编译型和解 ...
Typescript笔记之基础知识（1）：强类型语言和弱类型语言、静态语言和动态语言
foreword(前言) 这是本人关于Typescript的第一篇笔记,之所以选择将"强类型语言和弱类型语言.静态语言和动态语言"作为第一个想要去总结的主题,是因为个人觉得它很重要 ...
概念区别【编译型语言与解释型语言、动态类型语言与静态类型语言、强类型语言与弱类型语言】
概念区别 [编译型语言与解释型语言.动态类型语言与静态类型语言.强类型语言与弱类型语言] 文章目录一.编译型语言与解释型语言二.动态类型语言与静态类型语言三.强类型语言与弱类型语言总结一.编 ...
开发语言的静态/动态，强类型/弱类型之分
目录概念定义静态类型语言优势劣势动态类型语言优势劣势强类型语言弱类型语言如何选择语言类型图之前同事每次跟我提起他学习了某个语言,并介绍这个语言很棒时,开头都会跟我说这个语言是什 ...
强类型语言和弱类型语言；动态语言和静态语言
动态语言和静态语言 1.动态类型语言:是指在运行期间才去做数据类型检查的语言.在用动态语言编程时,不用给变量指定数据类型,该语言会在你第一次赋值给变量时,在内部将数据类型记录下来.Python和Rub ...
python是动态语言还是静态语言？强类型语言还是弱类型语言
首先要清楚静态类型语言和动态类型语言的判别的标准定义:如果类型检查发生在编译阶段(compile time),那么是静态类型语言(statically typed languages)中,相反的,如 ...
计算机语言的分类：编译型/解释型、动态类型/静态类型、强类型/弱类型
参考: 计算机语言:编译型/解释型.动态语言/静态语言.强类型语言/弱类型语言编译型语言.解释型语言.静态类型语言.动态类型语言概念与区别编程语言傻傻分不清:弱类型.强类型.动态类型.静态类型 1 ...

静态动态强类型弱类型语言的区别

原文：http://www.zhihu.com/question/19918532

类型系统的一些概念，众说纷纭，使用上也比较乱。有些东西，甚至不好严格定义。以下算学术界的一种相对“严格”的说法。

Program Errors

Forbidden Behaviours

Well behaved、ill behaved

强、弱类型

动态、静态类型

静态动态强类型弱类型语言的区别相关推荐

最新文章

热门文章

静态 动态 强类型 弱类型语言的区别

原文：http://www.zhihu.com/question/19918532

类型系统的一些概念，众说纷纭，使用上也比较乱。有些东西，甚至不好严格定义。以下算学术界的一种相对“严格”的说法。

Program Errors

Forbidden Behaviours

Well behaved、ill behaved

强、弱类型

动态、静态类型

静态 动态 强类型 弱类型语言的区别相关推荐

最新文章

热门文章

静态动态强类型弱类型语言的区别

静态动态强类型弱类型语言的区别相关推荐