V
主页
1.2语义、解释器和栈式虚拟机-张宏波的程序语言理论与实现公开课
发布人
课程主页:https://bobzhang.github.io/courses/ 本课程主要讲授程序语言设计与实现中的理论和实践,相较传统编译原理课程花费比较多的篇幅在词法分析、语法分析、语法树构造等章节,这门课程会直接从 Lambda演算 切入介绍编程语言最核心的部分,但和国外的同类课程不同的是,更多的注重把理论和实践相结合。 课程内容包括Lambda演算、parital evaluation、 debruin index、 模式匹配、 类型检查、类型推导、虚拟机技术等。课程的后半段会根据需要邀请其他嘉宾来进行一些分享。 该课程主要面向对基础软件感兴趣的学生、及从事软件研发的业界同行等,该课程尽量不设前置条件,希望能培养更多学生对基础软件相关领域的兴趣,后续可能会推出一些更专业的课程。
打开封面
下载高清视频
观看高清视频
视频下载器
1.1课程介绍与编译技术概论-张宏波的程序语言理论与实现公开课
2.3lambda演算的计算规则-张宏波的程序语言理论与实现公开课
Rescript快速入门课程-张宏波的程序语言理论与实现公开课
6.2闭包编译的形式化表示-张宏波的程序语言理论与实现公开课
4.1新指令集与栈帧-张宏波的程序语言理论与实现公开课
WebAssembly入门:如何用 MoonBit 实现一个简单的堆栈虚拟机
2.2引入函数与闭包-张宏波的程序语言理论与实现公开课
2.4邱奇数和Y-combinator-张宏波的程序语言理论与实现公开课
语言设计与实现概论|课时一 直播回放(上)
5.3基于约束求解的类型推导-张宏波的程序语言理论与实现公开课
5.1作用域分析-张宏波的程序语言理论与实现公开课
Rescript程序设计语言教程
4.2编解码与虚拟机-张宏波的程序语言理论与实现公开课
进阶版课程来啦!程序语言理论设计与实现 课程预告片
5.5generalization和instantiation的实现-张宏波的程序语言理论与实现公开课
2.1作业解析之如何处理编译过程中引入的临时变量-张宏波的程序语言理论与实现公开课
3.1课程回顾之丘奇数和变量替换-张宏波的程序语言理论与实现
Wasm 玩出花?用 MoonBit 构建一个堆栈虚拟机
5.6level-based generalization的思路与实现-张宏波的程序语言理论与实现公开课
编程语言内存管理技术概述|程序语言设计与实现课时九(上)
3.2用德布朗指数表示变量-张宏波的程序语言理论与实现公开课
4.3编译函数声明与调用(形式化部分)-张宏波的程序语言理论与实现公开课
新手程序员公开课|现代编程思想1.0:课程介绍与程序设计
在网上,谁不是裸奔~
Python自动答题脚本,准确率100%!轻松解放双手,实现网课自由,Python过学习通脚本,网课脚本,刷题脚本,学习通自动答题脚本,Python自动化脚本
MoonBit 基础语法|程序语言设计与实现课时二
现代编程思想公开课12|手把手教你实现自动微分
审核下架66次的暗网黑客技术教程,终于上传成功,你敢学我就敢发!零基础入门学网络安全/渗透测试/内网渗透,越学越刑!
双向类型检查|程序语言设计与实现课时五
花了4千多买的Node.js+Vue3企业门户网站管理系统实战项目完整教程,免费分享给大家,理论+实战练完即可就业。
现代编程思想公开课11.2|从零开始的语法解析器与Tagless Final(下)
MiniMoonBit的类型系统|程序语言设计与实现课时四
闭包|程序语言设计与实现课时七
语言设计与实现概论|课时一 直播回放(下)
超强动画,一步一步深入浅出解释Transformer原理!这可能是我看到唯一一个用动画讲解Transformer原理的教程!真的通俗易懂!——人工智能、神经网络
【C/C++技术】C语言实现网络爬虫技术!原理解析+代码实现,其实能更快实现爬虫技术的并不是Python!
italk讲座系列1.0-ReScript语言成长道路上的启迪与当下程序语言发展机会
新手程序员公开课|现代编程思想6.2:高阶函数、列表折叠与映射
【现代编程思想公开课9】一节课搞懂如何在月兔中定义接口与实现自定义运算符
程序员节特别策划|预告片上线!《现代编程思想》公开课来啦!