这是一个创建于 794 天前的主题，其中的信息可能已经有所发展或是发生改变。
Types and Programing Language 有门必修课用这本书当教材，有些东西看老师讲得很“显然”的样子，但我很难理解，看书也不太看得懂。因为是从来没接触过的方向，所以还是想学明白一点。 有没有相关参考资料一类的推荐？最好是视频课程（我只找到一些课程主页，没找到能看的公开课程）
目前尚无回复
Types and Programing Language 有门必修课用这本书当教材，有些东西看老师讲得很“显然”的样子，但我很难理解，看书也不太看得懂。因为是从来没接触过的方向，所以还是想学明白一点。 有没有相关参考资料一类的推荐？最好是视频课程（我只找到一些课程主页，没找到能看的公开课程）
Select Language