函数式编程语言及Y Combinator讲座预告
-
本周六(5月14日)下午3点,将由计算机学院的邓雄飞同学为大家带来函数式编程语言及Y Combinator相关内容的讲座。内容将包括:
- 组合子(Combinator)是什么?
- 引入组合子的动机是什么?
- 不动点是什么?
- Y组合子是如何推导出来的?
- 不动点组合子是唯一的么?
- 如何在 Call-By-Value 的语义中实现Y组合子?
邓雄飞同学( @DeathKing )研习函数式编程及编程语言技术多年,同时一直在负责《计算机程序的构造与解释》公开课中文化项目的相关工作(https://github.com/DeathKing/Learning-SICP )。对函数式编程感兴趣的同学不要错过!
时间:5月14日(周六)下午3点
地点:新技术楼516
-
继续求一波录像~
-
果然没有视频么。。。
-
-
@ddd 赞~@austinchou0126 求~
-