V
主页
4.1新指令集与栈帧-张宏波的程序语言理论与实现公开课
发布人
课程主页:https://bobzhang.github.io/courses/ 本课程主要讲授程序语言设计与实现中的理论和实践,相较传统编译原理课程花费比较多的篇幅在词法分析、语法分析、语法树构造等章节,这门课程会直接从 Lambda演算 切入介绍编程语言最核心的部分,但和国外的同类课程不同的是,更多的注重把理论和实践相结合。 课程内容包括Lambda演算、parital evaluation、 debruin index、 模式匹配、 类型检查、类型推导、虚拟机技术等。课程的后半段会根据需要邀请其他嘉宾来进行一些分享。 该课程主要面向对基础软件感兴趣的学生、及从事软件研发的业界同行等,该课程尽量不设前置条件,希望能培养更多学生对基础软件相关领域的兴趣,后续可能会推出一些更专业的课程。
打开封面
下载高清视频
观看高清视频
视频下载器
1.1课程介绍与编译技术概论-张宏波的程序语言理论与实现公开课
Rescript快速入门课程-张宏波的程序语言理论与实现公开课
2.4邱奇数和Y-combinator-张宏波的程序语言理论与实现公开课
2.2引入函数与闭包-张宏波的程序语言理论与实现公开课
1.2语义、解释器和栈式虚拟机-张宏波的程序语言理论与实现公开课
2024新版】一天学会【微信小程序+前后端开发】从搭建到项目上线全流程_学会轻松搭建自己的小程序_小程序开发_web项目!
3.1课程回顾之丘奇数和变量替换-张宏波的程序语言理论与实现
5.4利用并查集的高效类型推导-张宏波的程序语言理论与实现公开课
1.3 局部变量的语义与编译过程-张宏波的程序语言理论与实现公开课
5.2带类型的lambda演算-张宏波的程序语言理论与实现公开课
【B站最强小白运维课】2024年乌班图(Ubuntu24.04)入门级全套完整课程,包含运维岗位分析系统命令/云服务器!
5.5generalization和instantiation的实现-张宏波的程序语言理论与实现公开课
4.4编译函数声明与调用(代码部分)-张宏波的程序语言理论与实现公开课
5.1作用域分析-张宏波的程序语言理论与实现公开课
2.1作业解析之如何处理编译过程中引入的临时变量-张宏波的程序语言理论与实现公开课
【24年最新】小白必看Python教程!100天学会Python编程,小白看这一篇就够了!
语言设计与实现概论|课时一 直播回放(上)
Rescript程序设计语言教程
MoonBit 基础语法|程序语言设计与实现课时二
3.2用德布朗指数表示变量-张宏波的程序语言理论与实现公开课
语法解析器|程序语言设计与实现课时三
4.3编译函数声明与调用(形式化部分)-张宏波的程序语言理论与实现公开课
5.6level-based generalization的思路与实现-张宏波的程序语言理论与实现公开课
新手程序员公开课|现代编程思想2.1:月兔开发环境的准备
编程语言内存管理技术概述|程序语言设计与实现课时九(下)
150行Python代码编写爱心
新手程序员公开课|现代编程思想7.2:十分钟了解MoonBit中的循环与控制流
强推!不愧是李飞飞,一口把深度学习、计算机视觉、神经网络、图像处理、图像分割、目标检测、物体识别给讲透了,新手小白秒上手!-人工智能/计算机视觉
6.1闭包编译简介-张宏波的程序语言理论与实现公开课
新手程序员公开课|现代编程思想8:队列:可变数据实现
【MATLAB速成】这可能是全网最适合初学者入门的MATLAB教程了!花3小时就能从入门到精通,草履虫都能听懂!
【现代编程思想公开课9】一节课搞懂如何在月兔中定义接口与实现自定义运算符
超强动画,一步一步深入浅出解释Transformer原理!这可能是我看到唯一一个用动画讲解Transformer原理的教程!真的通俗易懂!——人工智能、神经网络
新手程序员公开课|现代编程思想3.1:函数列表与递归
现代编程思想公开课10.2|MoonBit带你了解哈希表与闭包(下)
【IDEA基础软件中心技术分享会】Compositional Programming = Modularity × Extensibility³
新手程序员公开课|现代编程思想3.2:递归与动态规划
【入门到入狱】799集暗网黑客技术教程,全程干货无废话,只要你敢学我就敢发!(网络安全|kali破解|web安全|渗透测试|SQL注入|信息安全)
进阶版课程来啦!程序语言理论设计与实现 课程预告片
20分钟学会qwen大模型本地部署+微调法律大模型(只需5G内存)