请问HN：最喜欢的学习编程类型理论的资源是什么？
大家好，HN,
最近，我非常享受深入研究类型检查器以及如何有效使用它们的过程（主要是在Python中）。
然而，我缺乏关于这个话题的基础知识（我从未学习过计算机科学），因此，我正在寻找一些入门级的教科书/博客/资源。
更具体地说：我看到一些术语被频繁提及，比如“代数和类型”、“协变”、“逆变”，我想更多地了解它们在实际中的含义和意义。
谢谢！
查看原文
Hello HN,<p>Recently, I've been massively enjoying diving into type checkers and how to effectively use them (mostly in Python).<p>I lack foundational knowledge about the topic (I never studied CS), however, so I am looking for introductory textbooks/blogs/resources on the topic.<p>More specifically: I see terms being thrown around like "Algebraic sum type", "covariant", "contravariant", and I would like to understand more about what they mean and imply in a practical sense.<p>Thanks!