V
主页
3.2用德布朗指数表示变量-张宏波的程序语言理论与实现公开课
发布人
课程主页:https://bobzhang.github.io/courses/ 本课程主要讲授程序语言设计与实现中的理论和实践,相较传统编译原理课程花费比较多的篇幅在词法分析、语法分析、语法树构造等章节,这门课程会直接从 Lambda演算 切入介绍编程语言最核心的部分,但和国外的同类课程不同的是,更多的注重把理论和实践相结合。 课程内容包括Lambda演算、parital evaluation、 debruin index、 模式匹配、 类型检查、类型推导、虚拟机技术等。课程的后半段会根据需要邀请其他嘉宾来进行一些分享。 该课程主要面向对基础软件感兴趣的学生、及从事软件研发的业界同行等,该课程尽量不设前置条件,希望能培养更多学生对基础软件相关领域的兴趣,后续可能会推出一些更专业的课程。
打开封面
下载高清视频
观看高清视频
视频下载器
5.5generalization和instantiation的实现-张宏波的程序语言理论与实现公开课
6.2闭包编译的形式化表示-张宏波的程序语言理论与实现公开课
现代编程思想公开课11.1|从零开始的语法解析器
Rescript程序设计语言教程
1.2语义、解释器和栈式虚拟机-张宏波的程序语言理论与实现公开课
【编程语言与编译器 CS164 2019】伯克利—中英字幕
2.3lambda演算的计算规则-张宏波的程序语言理论与实现公开课
Rescript快速入门课程-张宏波的程序语言理论与实现公开课
2024年想入坑程序员请注意:千万别碰这些即将要被计算机行业淘汰的编程语言!(马士兵)
【尤雨溪与IDEA基础软件中心联合直播回放】开源人生:Vue.js和ReScript语言作者独家分享
2.1作业解析之如何处理编译过程中引入的临时变量-张宏波的程序语言理论与实现公开课
2.2引入函数与闭包-张宏波的程序语言理论与实现公开课
3.1课程回顾之丘奇数和变量替换-张宏波的程序语言理论与实现
2024版】一天学会微信小程序+前后端开发,从搭建到项目上线全流程_学会轻松搭建自己的小程序_前端项目_小程序开发_web项目_前端项目_购物小程序_在线购物
5.3基于约束求解的类型推导-张宏波的程序语言理论与实现公开课
4.2编解码与虚拟机-张宏波的程序语言理论与实现公开课
编程语言内存管理技术概述|程序语言设计与实现课时九(上)
【IDEA基础软件中心技术分享会】Compositional Programming = Modularity × Extensibility³
5.6level-based generalization的思路与实现-张宏波的程序语言理论与实现公开课
C++ 必知必会(一)环境搭建、编译、CMake 与 Git 用法
【2024版Docker+k8s教程】这可能是B站唯一能将Docker与k8s讲明白的教程,存下吧,比啃书好太多了!7天从入门到进阶实战!拿走不谢,允许白嫖!
4.3编译函数声明与调用(形式化部分)-张宏波的程序语言理论与实现公开课
6.1闭包编译简介-张宏波的程序语言理论与实现公开课
【CTF教程】清华大学蓝莲花战队50个小时内部培训的CTF(夺旗赛)教程,全套300集,全程干货讲解,学不会我退出安全圈
5.4利用并查集的高效类型推导-张宏波的程序语言理论与实现公开课
新手程序员公开课|现代编程思想1.0:课程介绍与程序设计
5.1作用域分析-张宏波的程序语言理论与实现公开课
现代编程思想公开课11.2|从零开始的语法解析器与Tagless Final(下)
4.4编译函数声明与调用(代码部分)-张宏波的程序语言理论与实现公开课
【全549集】这绝对是B站最全最细的零基础python全套教程,清华大佬专为零基础小白研制,7天学完即可进阶至大神!存下吧,很难找全了!
【爬虫教程】这才是2024年B站最细最全的Python爬虫教程,花了两万多买的,手把手教学,全程干货无废话,学完即可兼职接单,让你少走99%的弯路,建议私藏!
【信息论】香港中文大学—中英字幕
语言设计与实现概论|课时一 直播回放(上)
语法解析器|程序语言设计与实现课时三
【直播回放】深入了解Moonbit语言平台
现代编程思想公开课12|手把手教你实现自动微分
【企业级智能家居项目】用Java基于若依框架快速开发的至尊智能家居系统实战项目(保姆级教学|源码笔记)_RuoYi快速开发框架_java大型项目开发_毕设项目
MiniMoonBit的类型系统|程序语言设计与实现课时四
一百五十行C语言代码实现爱心效果!
程序员节特别策划|预告片上线!《现代编程思想》公开课来啦!