分类编程

2020-09-03 02:24:03

麻省理工学院办公室数学部:2-180电子邮件:{bfo,dspirvak}--MIT/EDU摘要:在本课程中,我们将解释范畴理论--一个以组织构成数学世界大部分关键抽象的能力而闻名的数学分支--如何在编写优雅且可维护的代码时变得有用。特别地,我们将使用Haskell编程语言中的示例来激发范畴论的构造,然后从更抽象和包容的角度解释这些构造。动手编程练习将被用来演示像哈斯克尔代码中产品的普遍属性这样的绝对概念。粗略列出的主题包括:我们将代表学生假设没有背景知识,从编程和数学两个方面从头开始。(传单)非常欢迎学生旁听。课程讲稿和视频将在每节课后在这里发布。欢迎在这里或通过电子邮件向讲师反馈有关笔记的信息。

选修这门课程的学生将被要求完成三个问题集。不会有考试。有关更多详细信息,请参阅教学大纲。

讲师将引导问题讨论,并在每天下午3点到4点在4-163的课程课堂上回答问题。

欢迎各位亲临现场听讲。我们鼓励远程参与者在方位论坛上发布问题和讨论课程内容。

加入邮件列表以获取最新消息。这部由Brendan Fong、Bartosz Milewski和David Spivak创作的作品在Creative CommonsAttribution-Share Alone 3.0未移植许可下获得许可。