在 TypeScript 类型系统中，类型兼容性是核心支柱，协变、逆变 、双变和不变 则是描述类型转换规则的四大概念

官方真的不推荐 Enum 了吗？ 甲级战犯 Enum 出列！起因是看到 科技爱好者周刊里面推荐了一篇文章，说是官方不再推荐使用 enum 语法，Enum 是老问题了，莫非这次官方真的要优化掉了？

先阐述一下问题背景，我们项目中ts 的类型定义都是手写的，大致如下 同时我们还有个继承测试框架，里面的数据类型都是 swagger 自动生成的。服务端定义字段 role 的取值范围有 'owner'、

如果使用`babel`, `swc`等非`tsc`编译器，强烈推荐打开isolateModules来避免潜在的Runtime error

本文是基于 reflect-metadata库对ts的元编程模式的DI实现详细描述, 力求能将这个过程以及中间的难点讲清楚. 有很多设计模式, 比如组合, 依赖注入, 运行时类型断言, 反射/镜像, 测试等希望可以在保持原有class的一致性的前提下为class添加元数据. 该…

一些例子使用了reflect-metadata库来支持实验性的metadata API。 这个库还不是ECMAScript (JavaScript)标准的一部分。 然而，当装饰器被ECMAScript

(接下来的内容主要是ioc实践方面, 如果是一般中小企前端工程师, 对这方面没什么兴趣, 看完第一篇就足够了) 在上一篇文章Typescript IOC控制反转 101 (1): 写个简单的IOC容器

装饰器是 JS stage-2 的一个提案，并作为 TS 的实验特性存在。如果你有使用过 Spring 的经验，相信你一定对其中强大的注解能力印象深刻，借助装饰器强大元编程能力也可以在做到类似的功能。

TypeScript学习过程中经常会看到类型推断、类型断言、双重断言、非空断言、确定赋值断言、类型守卫、类型别名，这几个概念到底表示啥呢？你真的搞清楚了吗？今天我们就来盘一盘它，帮你一次性弄懂。