好资源和短想法
#课程
继续我的类型系统(当前在阅读TAPL)自学之旅,找到几个以这本书为主要教材的课程及视频:
* 北大《编程语言的设计原理》:基本按照TAPL书上的内容来讲解的,可以认为划出了每章的重点。
* cornell的CS4110《Programming Languages and Logics》:有很多TAPL以外的内容,还讲了类型系统这部分内容的数理逻辑基础。
* cornell的CS6110《Advanced Programming Languages》:还没仔细看,不知道和CS4110有什么区别。
* 油管上的一个视频课程:内容挺好的,但是貌似没有继续更新了。
除此以外,暂时这类课程好像找不到其他视频类的教程了。
继续我的类型系统(当前在阅读TAPL)自学之旅,找到几个以这本书为主要教材的课程及视频:
* 北大《编程语言的设计原理》:基本按照TAPL书上的内容来讲解的,可以认为划出了每章的重点。
* cornell的CS4110《Programming Languages and Logics》:有很多TAPL以外的内容,还讲了类型系统这部分内容的数理逻辑基础。
* cornell的CS6110《Advanced Programming Languages》:还没仔细看,不知道和CS4110有什么区别。
* 油管上的一个视频课程:内容挺好的,但是貌似没有继续更新了。
除此以外,暂时这类课程好像找不到其他视频类的教程了。
#课程 深入浅出现代Web编程
赫尔辛基大学推出的在线全栈公开课 2020,提供了一站式学习 React, Redux, Node.js, MongoDB, GraphQL 以及 TypeScript 的课程内容!
这门课程会向你介绍基于 JavaScript 的现代 Web 编程技术。重点是利用 ReactJS 搭配Node.js开发的 REST API,来搭建 Web 应用程序。
本课程免费。无需报名即可在线学习。提供官方中文版。
https://fullstackopen.com/zh/
赫尔辛基大学推出的在线全栈公开课 2020,提供了一站式学习 React, Redux, Node.js, MongoDB, GraphQL 以及 TypeScript 的课程内容!
这门课程会向你介绍基于 JavaScript 的现代 Web 编程技术。重点是利用 ReactJS 搭配Node.js开发的 REST API,来搭建 Web 应用程序。
本课程免费。无需报名即可在线学习。提供官方中文版。
https://fullstackopen.com/zh/