首页
沸点
课程
数据标注
HOT
AI Coding
更多
直播
活动
APP
插件
直播
活动
APP
插件
搜索历史
清空
创作者中心
写文章
发沸点
写笔记
写代码
草稿箱
创作灵感
查看更多
登录
注册
确定删除此收藏集吗
删除后此收藏集将被移除
取消
确定删除
确定删除此文章吗
删除后此文章将被从当前收藏集中移除
取消
确定删除
编辑收藏集
名称:
描述:
0
/100
公开
当其他人关注此收藏集后不可再更改为隐私
隐私
仅自己可见此收藏集
取消
确定
TS
订阅
Annie
更多收藏集
微信扫码分享
微信
新浪微博
QQ
3篇文章 · 0订阅
从集合论的角度理解 TypeScript
我们发现集合论的很多概念与 TS 的类型系统一一对应,这对我们深刻理解和使用TS有很大的帮助,更进一步地,通过揭示TS背后的集合论,我们还能发现计算机科学、数学和逻辑学之间其实有着如此紧密的联系!
🌝 重学 TS
非常汗颜,写ts好多年了,虽然不是anyscript风格,但一直当作类型标注在写,顶多用用函数重载和范型,连infer是谁都不认识,虽然也从当年这个文章中:用 TypeScript 类型运算实现一个中
TS的对象类型、数组类型、函数类型
在 TypeScript 中,我们使用接口(Interfaces)来定义对象的类型。 上面的例子中,我们定义了一个接口 Person,接着定义了一个变量 tom,它的类型是 Person。这样,我们就约束了 tom 的形状必须和接口 Person 一致。 在 JavaScrip…