呜啦！日常碎碎念，偶尔掉落优质前端博文推荐、学习资源等
网页：https://tg.cosine.ren
本频道的搜索Bot 来辣 👉 @cosSearchBot
私聊直接发消息就可以搜索啦～
🔖tags
#优质博文 #资源推荐 #博客更新 #碎碎念 #项目更新 #手工 #书摘 #阮一峰的科技周刊 #新动态
图频：Cosine 🎨 Gallery @CosineGallery
猫片： @cosine_cat
联系频道主：@cosine_yu
网页：https://tg.cosine.ren
本频道的搜索Bot 来辣 👉 @cosSearchBot
私聊直接发消息就可以搜索啦～
🔖tags
#优质博文 #资源推荐 #博客更新 #碎碎念 #项目更新 #手工 #书摘 #阮一峰的科技周刊 #新动态
图频：Cosine 🎨 Gallery @CosineGallery
猫片： @cosine_cat
联系频道主：@cosine_yu
#优质博文 #前端 #typescript #投稿
理解 TypeScript 类型编程
via suica
由 @hyoban 投稿
理解 TypeScript 类型编程
AI 摘要：文章概述了 TypeScript 类型编程的核心概念和方法。文章首先介绍了值编程与类型编程的区别，并指出在 TypeScript 中，类型编程可以通过泛型、高阶类型等技术手段实现。具体内容包括 TypeScript 的值空间与类型空间的定义和转换关系，类型编程在函数式编程语言中的应用，以及如何利用 TypeScript 类型系统实现复杂类型操作，如自然数加法、模式匹配等。文章还讨论了 TypeScript 高阶类型的实现方法，尽管目前 TypeScript 对高阶类型的支持有限，但通过一些技巧仍可以部分实现高阶类型编程。最后，文章提供了类型编程的实用工具和测试方法，强调了类型编程在实际项目中的应用价值，特别是在库设计和业务建模中的重要性。
via suica
由 @hyoban 投稿
GitHub
GitHub - suica/typescript-type-level-programming: An experimental transpiler that makes simple typescript computations happen in…
An experimental transpiler that makes simple typescript computations happen in type-level. - suica/typescript-type-level-programming
