V
主页
5.4利用并查集的高效类型推导-张宏波的程序语言理论与实现公开课
发布人
课程主页:https://bobzhang.github.io/courses/ 本课程主要讲授程序语言设计与实现中的理论和实践,相较传统编译原理课程花费比较多的篇幅在词法分析、语法分析、语法树构造等章节,这门课程会直接从 Lambda演算 切入介绍编程语言最核心的部分,但和国外的同类课程不同的是,更多的注重把理论和实践相结合。 课程内容包括Lambda演算、parital evaluation、 debruin index、 模式匹配、 类型检查、类型推导、虚拟机技术等。 课程的后半段会根据需要邀请其他嘉宾来进行一些分享。 该课程主要面向对基础软件感兴趣的学生、及从事软件研发的业界同行等,该课程尽量不设前置条件,希望能培养更多学生对基础软件相关领域的兴趣,后续可能会推出一些更专业的课程。
打开封面
下载高清视频
观看高清视频
视频下载器
2.4邱奇数和Y-combinator-张宏波的程序语言理论与实现公开课
5.3基于约束求解的类型推导-张宏波的程序语言理论与实现公开课
2.2引入函数与闭包-张宏波的程序语言理论与实现公开课
1.1课程介绍与编译技术概论-张宏波的程序语言理论与实现公开课
5.1作用域分析-张宏波的程序语言理论与实现公开课
3.1课程回顾之丘奇数和变量替换-张宏波的程序语言理论与实现
3.2用德布朗指数表示变量-张宏波的程序语言理论与实现公开课
【直播回放】深入了解Moonbit语言平台
5.5generalization和instantiation的实现-张宏波的程序语言理论与实现公开课
6.1闭包编译简介-张宏波的程序语言理论与实现公开课
Rescript程序设计语言教程
1.3 局部变量的语义与编译过程-张宏波的程序语言理论与实现公开课
新手程序员公开课|现代编程思想4:多元组、结构体与枚举类型
WebAssembly入门:如何用 MoonBit 实现一个简单的堆栈虚拟机
2.1作业解析之如何处理编译过程中引入的临时变量-张宏波的程序语言理论与实现公开课
新手程序员公开课|现代编程思想2.1:月兔开发环境的准备
新手程序员公开课|现代编程思想3.2:递归与动态规划
语法解析器|程序语言设计与实现课时三
新手程序员公开课|现代编程思想8:队列:可变数据实现
新手程序员公开课|现代编程思想2.2:月兔中的表达式(上)
学习的本质就是极致的重复+自律+方法+努力+坚持+时间,目前B站最完整的高效学习方法教程!顶级费曼学习法,教你高效学习 逆袭就靠这个了!让你学习效率暴涨300%
MoonBit 基础语法|程序语言设计与实现课时二
新手程序员公开课|现代编程思想6.2:高阶函数、列表折叠与映射
进阶版课程来啦!程序语言理论设计与实现 课程预告片
计算机系统基础课程 - Computer Systems - csprimer
【IDEA基础软件中心技术分享会】Compositional Programming = Modularity × Extensibility³
P1【IDEA基础软件中心 X WasmEdge讲座直播回放】Is Wasmedge the language of AGI?
新手程序员公开课|现代编程思想5.2:二叉搜索树与AVL树
语言设计与实现概论|课时一 直播回放(上)
新手程序员公开课|现代编程思想7.1:命令与可变数据
一百五十行C语言代码实现爱心效果!
现代编程思想公开课10.2|MoonBit带你了解哈希表与闭包(下)
MiniMoonBit的类型系统|程序语言设计与实现课时四
4.3编译函数声明与调用(形式化部分)-张宏波的程序语言理论与实现公开课
MoonBit 教程|2分钟上手!快速入门 MoonBit
新手程序员公开课|现代编程思想1.0:课程介绍与程序设计
csapp/深入理解计算机系统 英文原版精读系列116第三章 P282-P284
【尤雨溪与IDEA基础软件中心联合直播回放】开源人生:Vue.js和ReScript语言作者独家分享
直播回顾|从平衡搜索树到 HAMT,用 MoonBit 高效实现(下)
程序员节特别策划|预告片上线!《现代编程思想》公开课来啦!