计算机科学中的程序语言领域主要研究的是啥，有啥直观地解释
PhD在读。个人认为这个领域分为两个大方向：程序语言理论，和程序语言实现程序语言理论以数学方法（比如lambda calculas）研究程序语言的语义。子领域包括形式化验证，类型理论等。程序语言实现以工程为主，设计编译器、运行环境、语言虚拟机等等。主要是改进算法以提高语言实现的编译速度、生成代码质量、运行时速度等等。子领域也包括比如垃圾回收，程序静态分析等等。和操作系统、计算机体系结构关系紧密。程序语言领域的学术会议会吸收两个大方向的论文，但有趣的是两个方向的研究者基本井水不犯河水，各搞各的，互相听不懂、更互相看不起。搞理论的，觉得搞实现的就是工程师，不算科学家；搞实现的，觉得搞理论的就是无中生有，拿着数学在玩杂耍。倒也有趣。
推荐阅读
- 鄂温克冬季马赛-30℃极寒开赛：寒冬中的火热派对
- 大雪@大雪腌肉 适当进补 今日大雪
- |电商事业中的“闪光少年”
- |第七届淮海科学技术奖获奖名单揭晓121个创新项目、10名科技人才获奖
- 婴儿|美国儿科学会： 1岁以下婴儿不推荐学习游泳
- 大部分黑客或安全研究员读的是啥「大学专业 」
- 在哈尔滨工业大学计算机系就读是啥样的体验
- 计算机技术与科学专业怎样利用高中毕业的暑假
- hadoop中的mapreduce链接（mapreduce chaining）怎样避免中间文件的产生
- 非计算机专业想要利用课余时间深入自学C++，想要找到比较体面的工作大概需要啥水平