范畴论是数学工作使用的通用语言，它能够在一个共有的普遍视角阐述清晰数学各领域的概念。同时，范畴论的影响在程序语言中也十分深远，从大名鼎鼎的 Haskell 到面向对象，我们都能找到它的踪迹。

不管你是初入程序设计的萌新，还是 PL 和纯数大佬，都可以来 Lambda 组探讨轻松愉快（确信）的范畴论！

活动信息：

  • 主讲人： Brethland Yang
  • 时间： 2020/09/15 20:30 UTC +08:00
  • 活动形式：线上会议