函数式编程语言及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 求～
-
