TypeScript 这些年越来越火，可以说是前端工程师的必备技能了，各大框架都基于它实现。
C++ 中的 static_cast 静态类型转换 , 是使用频率最高的 类型转换 操作符 ,
mypy 是 Python 的一个可选静态类型检查器，旨在结合动态（或“鸭子”）类型和静态类型的优点。mypy 将 Python 的表达能力和便利性与强大的类型系统和编译时类型检查相结合。mypy 类型检查标准 Python 程序；使用任何 Python VM 运行它们，基本上没有运行时开销。
类型指的是变量的类型，而变量是一块内存空间，不同类型的变量会占用不同的字节数，而且可以做的操作也不同。number、boolean、string 等类型的变量会占用不同的内存大小。
语言设计时，可以定义一组forbidden behaviors. 它必须包括所有untrapped errors, 但可能包含trapped errors.
可以说类型系统完全是一种工具，编译器在编译时对数据做静态检查，在运行时对数据做动态检查的时候，来保证某个操作处理的数据是开发者期望的数据类型。
类型检查是一个验证和施加类型约束的过程，编译器或解释器通常在编译或运行阶段做类型检查。例如，你不能拿一个string类型值除以浮点数。
静态类与非静态类基本相同，但存在一个区别：静态类不能实例化。 也就是说，不能使用 new 关键字创建静态类类型的变量。 因为没有实例变量，所以要使用类名本身访问静态类的成员。 例如，如果名为 UtilityClass 的静态类有一个名为 MethodA 的公共方法，则按下面的示例所示调用该方法：
这篇文章综合介绍了四种分类，特别地，为了方便大家快速有效的学习，笔者尝试用思维导图的办法描述编程语言的区别。一般来讲，看第一个图就够了。但如果你想更深入地了解，也可以参考下面的文字表述。
TypeScript 是 JavaScript 的超集，扩展了 JavaScript 的语法，因此现有的 JavaScript 代码可与 TypeScript 一起工作无需任何修改，TypeScript 通过类型注解提供编译时的静态类型检查。
可重构的代码指：可以放心的改代码，不用担心因为改代码而导致 bug。可重构的代码的是对代码质量最高的要求，也是最难达到的。
花下猫语：众所周知，Python 是一门动态类型语言，这也是造成它性能较慢的一大原因。如今 Python 也引入了一些类型检查的辅助，那么，类型检查对于提升 Python 代码健壮性，有没有帮助呢？（既然这么问了，那肯定是有的……）
从这个角度来看，我们不关心值本身以及在执行代码时它们是如何流动的。相反，我们采取了更加静态的观点：
作者是 Dr. Axel Rauschmayer，号称”德国阮一峰“，本文原文来自于他的博客：https://2ality.com/2020/02/understanding-types-typescript.html，不熟悉他的可以关注一下他的博客。
1. 可空类型 值类型是不可以为null的[即不可为空值]， 假如我们想让它为null呢[比如它对映这数据库中的某个表的某个字段，但是这个字段是null]。 自己实现的话，简单的写一个类，有一个值类型的字段，检查该字段是否初始化，是的话返回该值，否的话返回null。 假如是在C#1.0时，那么每个值类型都要写这么一份代码了。C#2.0有了泛型的支持，所以我们可以定义一个泛型版的。 幸运的是C#2.0带来了一个新的类型[System.Nullable<T>]帮我们实现了，T就是需要传入的类型[约束为值类型].
Flow 是 facebook 出品的 JavaScript 静态类型检查工具。Vue.js 的源码利用了 Flow 做了静态类型检查，所以了解 Flow 有助于我们阅读源码。
针对 JavaScript 上面的问题，聪明的同学就想那我们就给 JavaScript 加个类型吧，和 Java 一样，能够对变量的类型进行定义，这个想法就是 TypeScript 的类型系统, 在很大程度上弥补了 JavaScript 的带来的困惑。
在C#编程中，dynamic是一种特殊的数据类型，引入于C# 4.0版本。与静态类型（如int、string等）不同，dynamic类型的对象在编译时不会进行类型检查，而是在运行时进行类型检查。这使得你可以绕过编译器的静态类型检查，以更加灵活地处理数据和对象的操作。
我的理解：go是擅长高并发编程 开源的，具备高效的性能，比较容易理解的简洁的写法的语言，它是一种静态类型、编译型的语言 什么是编译型语言？ 它是一种静态类型、编译型的语言是指一种编程语言具有以下特点：
主要差别在于静态类不能实例化，静态类编译器可以运行检查确保不是偶然的加入实例成员，C#编译器会自己主动把它标记为sealed。静态类中不能创建非静态的方法。即静态方法中仅仅能创建静态方法。但在非静态类中可以调用静态方法
Any 是一种特殊的类型。静态类型检查器将所有类型视为与 Any 兼容，反之亦然， Any 也与所有类型相兼容。
强制类型定义的语言，即一旦某一个变量被定义类型，如果不经强制转换，那么它永远就死该数据类型。
这篇文章实际是The Ultimate Guide to Python Type Checking文的导读和个人理解，有不当之处，以原文为准。内容分为四个部分：
如果你是一名初学者，可能会疑惑JavaScript和TypeScript之间有什么区别。在本文中，我们将探讨这两者之间的基础语法对比，并讨论为什么在某些情况下选择使用TypeScript而不是JavaScript。
编译型和解释型的定义是对立存在的，但也可以在一个语言中同时存在。比如 java 语言同时兼有编译型和解释型特点。整个流程如下：
说到 Python 的静态分析工具，就不得不说Pylint、Pyflakes 和 Mypy。他们的作用有重叠的地方，但又有各自的侧重点。在某些时候你可以只选择其中一个来用，有时候你又需要把他们结合起来使用。
Flow 是 facebook 出品的 JavaScript 静态类型检查工具 Vue.js 的源码利用了 Flow 做了静态类型检查，所以了解 Flow 有助于我们阅读源码
当我们开发 TypeScript 代码时，很可能会遇到 any 关键字。我们看到的大多数用法都表明我们正在处理 TypeScript 中的基本类型。在文档中我们可能会找到：
选择哪种类型系统通常取决于项目的需求、开发者的偏好以及编程语言的特性。不同的语言类型系统适用于不同的情境，没有一种绝对更好的选择。
Python 曾经是一种你可以在几天内学会的语言，但“曾经是”是很多年前的事了。最近，我相隔11年后重新用这门语言开发产品时，有点不知所措，它添加了太多的新功能，如果你不了解所有这些新功能，理解现代 Python 代码将是多么困难的一件事。
本文是关于 TypeScript 中的 type assertions 的，它与其他语言中的类型强制转换有相似之处，并通过 as 运算符执行。
最近在做项目代码重构，其中有一个要求是为代码添加智能提示和类型检查。智能提示，英文为 IntelliSense，能为开发者提供代码智能补全、悬浮提示、跳转定义等功能，帮助其正确并且快速完成编码。说起来，JavaScript 作为一门动态弱类型解释型语言，变量声明后可以更改类型，并且类型在运行时才能确定，由此容易产生大量代码运行中才能发现的错误，相比 Java 等静态类型语言，开发体验上确实差了一截。更烦躁的是，智能提示就是依赖于静态类型检查的，所以在以前，指望 JavaScript 的智能提示完善度追上 Java 基本不可能。当然，时代在进步，TypeScript 已经问世许久，为 JavaScript 带来了静态类型检查以及其他诸多特性。JavaScript 的智能提示也已有了解决方案。调研了一段时间后，下文以 VSCode 编辑器作为开发工具，介绍一下如何为 JavaScript 加上智能提示以及类型检查。
TypeScript 最初是个微软内部项目，叫 Strada，致力于提升大型 JS 项目（当时内部需求是 Bing Maps、 Office Web Apps 甚至 Windows 8 apps）的可靠性和可维护性。2010 年开始开发，2012 年 10 月发布了第一个开源版本，持续迭代至今
原图和源文件（包括xmind和pos文件）已上传 github[2]，如有需要可自行下载
我们习惯把编程语言分类为机器语言（汇编语言）和高级语言（Fortran/Lisp/Cobol/Basic/C/Pascal /C++/Java/Perl/Python），选择使用高级语言编程而不是机器语言相信大家都能说出一两个理由（比汇编语言更容易和更清晰的表达性、多平台的可移植性，但需要一个专用的编译器或者是解释器）。
【IT168 评论】10月份，ACM发布了一个关于编程语言对软件质量的影响的研究报告，在报告中有一些关于bug的有趣发现。 研究人员Baishakhi Ray，Daryl Posnett，Premkumar Devanbu和Vladimir Filkov使用GitHub数据进行了一次大规模的实验性调查，主要研究程序员对于哪种编程语言针对某个特定任务是最好的争论。研究院通过多重回归建模、可视化以及文本分析等结合在一起的方法，研究了静态和动态语言的特性，以及编程语言对软件质量的影响。 分析得到的结论可以简单表述
Vue3 尚未发布正式版本前，尤大在一次关于 Vue3 的分享中提及了静态提升，当时笔者就对这个亮点产生了好奇，所以在源码阅读时，静态提升也是笔者的一个重点阅读点。
高级语言，面向对象，可扩展，可移植性用于在不同的平台（因为Python是用C写的，又由于C的可移植性）
吃鸡手游的成功，让手游多了一种引擎选择：UE4。于是陆续有人来问xLua的UE4版本。要做UE4版本，由于宿主语言的不同其实相当于完全重新开发。我想既然都重新开发了，能否重新考虑当年xLua的一些技术决策点，放在UE，放在那么多年后的今天是否仍然合适。
Python3 >= 3.5 Python3.5开始Python把Typing作为标准库引入，低版本可以使用独立的Typing包
首先Go语言诞生于2007年由谷歌公司研发，2009年开源，2012年推出1.0版本，Go是一种语言层面支持并发（Go最大的特色、天生支持并发）、内置runtime，支持垃圾回收（GC）、静态强类型，快速编译的语言（编译型语言）。
该文摘要总结：本文通过GitHub数据，研究了编程语言对软件质量的影响，重点比较了静态和动态语言，发现函数式语言在预防缺陷方面效果更好，静态类型语言在类型错误方面效果更好。同时，研究还发现管理内存使用比未管理好，并且语言的缺陷倾向与软件领域没有关联。此外，与总体bug相比，语言更与单个的bug类别相关。
Vue 3 源码使用 TS 重写，Angular 默认支持 TS，React 与 TS 完美配合
关于 JIT与AOT，之前整理过《JIT-动态编译与AOT-静态编译：java/ java/ JavaScript/Dart乱谈》，一文不足以概括dart。
在之前写过一篇 C++ 类型转换的博客 【C++ 语言】类型转换 ( 转换操作符 | const_cast | static_cast | dynamic_cast | reinterpret_cast | 字符串转换 ) , 简单介绍了 C++ 类型转换 ;
所谓的「虚拟机字节码执行引擎」其实就是 JVM 根据 Class 文件中给出的字节码指令，基于栈解释器的一种执行机制。通俗点来说，也就是 JVM 解析字节码指令，输出运行结果的一个过程。接下来我们详细看看这部分内容。
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频
