V
主页
2.2引入函数与闭包-张宏波的程序语言理论与实现公开课
发布人
课程主页:https://bobzhang.github.io/courses/ 本课程主要讲授程序语言设计与实现中的理论和实践,相较传统编译原理课程花费比较多的篇幅在词法分析、语法分析、语法树构造等章节,这门课程会直接从 Lambda演算 切入介绍编程语言最核心的部分,但和国外的同类课程不同的是,更多的注重把理论和实践相结合。 课程内容包括Lambda演算、parital evaluation、 debruin index、 模式匹配、 类型检查、类型推导、虚拟机技术等。课程的后半段会根据需要邀请其他嘉宾来进行一些分享。 该课程主要面向对基础软件感兴趣的学生、及从事软件研发的业界同行等,该课程尽量不设前置条件,希望能培养更多学生对基础软件相关领域的兴趣,后续可能会推出一些更专业的课程。
打开封面
下载高清视频
观看高清视频
视频下载器
6.2闭包编译的形式化表示-张宏波的程序语言理论与实现公开课
Rescript快速入门课程-张宏波的程序语言理论与实现公开课
MoonBit 基础语法|程序语言设计与实现课时二
语法解析器|程序语言设计与实现课时三
Rescript程序设计语言教程
5.3基于约束求解的类型推导-张宏波的程序语言理论与实现公开课
新手程序员公开课|现代编程思想6.1:泛型,堆栈与队列
1.1课程介绍与编译技术概论-张宏波的程序语言理论与实现公开课
MiniMoonBit的类型系统|程序语言设计与实现课时四
5.5generalization和instantiation的实现-张宏波的程序语言理论与实现公开课
1.2语义、解释器和栈式虚拟机-张宏波的程序语言理论与实现公开课
语言设计与实现概论|课时一 直播回放(下)
2.3lambda演算的计算规则-张宏波的程序语言理论与实现公开课
5.2带类型的lambda演算-张宏波的程序语言理论与实现公开课
现代编程思想公开课11.1|从零开始的语法解析器
新手程序员公开课|现代编程思想4:多元组、结构体与枚举类型
新手程序员公开课|现代编程思想5.2:二叉搜索树与AVL树
新手程序员公开课|现代编程思想7.2:十分钟了解MoonBit中的循环与控制流
4.2编解码与虚拟机-张宏波的程序语言理论与实现公开课
1.3 局部变量的语义与编译过程-张宏波的程序语言理论与实现公开课
现代编程思想公开课12|手把手教你实现自动微分
新手程序员公开课|现代编程思想8:队列:可变数据实现
italk讲座系列1.0-ReScript语言成长道路上的启迪与当下程序语言发展机会
新手程序员公开课|现代编程思想1.0:课程介绍与程序设计
寄存器分配|程序语言设计与实现课时八
直播回顾|从平衡搜索树到 HAMT,用 MoonBit 高效实现(上)
【微信小程序】100个微信小程序项目实战案例(源码+文档),手把手教学,可完美运行!练完即可就业!-web项目_移动端开发_微信小程序开发
【C语言入门必刷】整整100道经典习题,3天刷完这些题,你的C语言就牛了!(考前突击/计算机二级 /强化训练 /作业练习)
2.4邱奇数和Y-combinator-张宏波的程序语言理论与实现公开课
P2【IDEA基础软件中心 X WasmEdge讲座直播回放】Is Wasm the language of AGI?
现代编程思想公开课10.2|MoonBit带你了解哈希表与闭包(下)
程序员节特别策划|预告片上线!《现代编程思想》公开课来啦!
【现代编程思想公开课9】一节课搞懂如何在月兔中定义接口与实现自定义运算符
6.1闭包编译简介-张宏波的程序语言理论与实现公开课
MiniMoonBit 中间代码|程序语言设计与实现课时六
【全768集】2024全站最细Python教程!允许白嫖,别再走弯路了,学不会我退出IT界!
【清华大学】c语言程序设计基础入门到进阶
【全37集 吊打付费】C#零基础全套教程第二弹,2024最新版,包含所有干货!看完就能从小白到大神!少走99%的弯路!(.NET/开发/编程)B1393
新手程序员公开课|现代编程思想5.1:数据结构—树与二叉树
【51单片机Proteus仿真】0基础手把手教你实现流水灯