欢迎加入「精确类型」社区

[E0SelmY4V]

欢迎你加入社区，一起参与讨论！

「精确类型」是一个 TypeScript 类型编程工具包，但它不仅仅是一个工具包。
这个项目的初衷是尝试把实验性的、有趣的且潜力无穷的类型编程成果运用到工程上。
更进一步的话，是希望能让那些不喜欢自己代码里到处都是类型编程的，稍微有一点“洁癖”的人士，也能用现成的类型工具，在“无接触”的情况下体验到类型编程带来的便利。
所以说想要做到这一点，就是离不开类型体操这个主题的。

不过我们发现，类型体操并不是很流行的一个话题：类型工具库要么比较保守（比如 utility-types）、要么几乎停止维护（比如 SimplyTyped）；就是比较活跃的社区，发表issue后几个月才有人评论的情况也不罕见（比如 Type Challenges）。

即便如此，我们仍然能看到越来越多人热衷于类型编程、TypeScript 类型系统的迭代越来越快，类型体操有关的文章越来越多。这都能看出类型编程社区的活力只增不减！

就这样，除了作为一个工具包，这里还希望成为一个分享有趣类型编程成果的社区。
可以利用这个项目的一些设施来促进大家的交流研究。而且想到国内用 Discord 比较麻烦，用 GitHub 的讨论区来交流大概也方便一点。
所以说，欢迎加入「精确类型」社区！