CS152-编程语言
哈佛大学
2007年春季
(拉姆齐教授不再开设这门课程)
剧情简介
CS 152是一门编程语言调查课程。本课程的目标是给你智力的工具那会帮你的使用、评估、选择和设计编程语言.你将学会提问语言安全和错误分类、类型系统、形式语义、函数和数据的抽象机制以及内存管理层。CS 152提供了程序设计研究导论语言作为一门智力学科.该学科的要素包括基于抽象语法、lambda演算、类型系统的规范,和动态语义。你必须适应递归和基本数学思想以及集合的符号,功能等。
CS 152使用案例研究方法为您提供超越简单命令范式的语言。案例研究将涵盖函数、逻辑和面向对象的族。示例语言可能包括标准ML、Smalltalk、CLU、Scheme和序言。
适当的编程练习加强了案例研究。CS 152假设以前有命令式语言编程的经验像C、C++或Java。良好的编程技能至关重要,我们假设了解C。你应该计划完成大约十几个编程作业整个学期。更有趣或有趣的作业包括垃圾收藏家、Hindley-Milner类型推断和一些游戏程序。
CS 152是适合研究生尤其是那些主要研究兴趣在于编译器、,软件系统或人工智能。主要兴趣在于编程语言的研究生可能会发现CS 152过分强调编程实践低估了基础。
注:CS 152没有涵盖常规命令式编程语言的实现,包含在CS153号(编程-语言编译).
你可以发送匿名课程评估或建议任何时候,你可以阅读评论家们在说什么.
相关独立研究
CS152学生可能对以下内容感兴趣独立学习的机会,许多其中与本课程涵盖的主题相关。