申请试用
HOT
登录
注册
 
05 编译器原理与技术---类型检查

05 编译器原理与技术---类型检查

Airbala
/
发布于
/
4895
人观看
在这一节中,主要向我们介绍了编译器原理与技术中的类型检查。首先举出了一个控制流检查的例子,接着向我们介绍了类型在编程语言中的作用、描述类型系统的语言、简单类型检查器的说明,然后向我们介绍了多态函数、类型表达式的等价,最后向我们介绍了函数和算符的重载。
4点赞
1收藏
4下载
相关推荐
确认
3秒后跳转登录页面
去登陆