Freesia Blog
  • 首页
  • 归档
  • 分类
  • 标签
  • 关于
  • 友链
Union to Tuple: 协变、逆变与 TypeScript 魔法

Union to Tuple: 协变、逆变与 TypeScript 魔法

免责声明: 笔者 从未接受过 PLT(Programming Language Theory) 教育 从未系统学习过范畴论 从未系统学习过类型理论 描述难免有误,请批评指正 前置知识:协变和逆变协变和逆变是指(存在继承关系的)类型参数在类型系统中的变化⽅式。 假设存在⼀个泛型类型 Foo<T> 和两个类型 A 和 B 。 那么: 协变代表:如果 A 是 B 的⼦类型,则 Foo&l
2024-08-08
技术
#TypeScript
TypeScript 5.0 新特性速览: Decorators

TypeScript 5.0 新特性速览: Decorators

2023 年 1 月 26 日,微软发布了 TypeScript 5.0 Beta 版本,其中最为重磅的新特性是 Decorators 为什么「装饰器」是一个新特性?在之前的 TypeScript 版本中,装饰器已经可以通过 tsc --experimentalDecorators 来使用,但通过这个方式使用的装饰器与 TC39 Decorators Proposal 的规范并不相同,“新”装
2023-01-30
技术
#TypeScript #JavaScript
TypeScript 4.9 新特性: satisfies

TypeScript 4.9 新特性: satisfies

只是个占位符没有更多内容
2023-01-07
技术
#TypeScript #JavaScript

搜索

Hexo Fluid