Jared Forsyth

Jared Forsyth 的个人网站，主要发布编程语言、类型系统、编译器实现等方向的文章与项目记录，整体定位是开发者与研究者的技术笔记站。

站内文章多围绕作者自己开发新编程语言的实践展开，例如对线性类型、流类型、类型推断等论文的阅读与实现尝试，并附有 field notes 记录落地过程中的观察。

适合对编程语言理论、类型系统设计、编译器实现感兴趣的开发者与研究人员，尤其是想了解学术论文如何转化为实际语言特性的人。

阅读时建议先具备一定的类型系统基础，再结合文中提到的原论文对照理解；部分内容为阶段性笔记，观点会随作者实践推进而变化。

总体而言，这是一个偏研究向的个人技术博客，适合作为 PL 领域论文与实践之间的参考读物。