您查看的活动已结束

第五届函数式编程交流会今年又和大家见面啦，和往常一样这次会议为大家邀请到了国内函数式编程会议的许多大佬，参加会议的信息如下：

时间：2021年7月10号

地点：上海市黄浦区湖滨路222号企业天地1号楼18层

暂定的议题列表如下：

1. 邵成

A.K.A. 邵司机，是圈内最知名的 Haskell 程序员之一，在清华学习时就表现出对 Haskell 的兴趣。目前在法国 Tweag I/O 工作，是著名的 Haskell 到 WebAssemly 编译器 Asterius 的开发者和维护者，拥有丰富的编译器开发、运行时优化经验。

主题 《基于 GHC 定制 Haskell 编译器》

2. 刘长生 

主题《2-category》

3. 韩冬 

主题 《Z.Haskell 项目介绍》

4. 张寅森 

代号千里冰封，热衷于研究编程语言的类型系统。参与过 Arend 和 Agda 编程语言的开发，对现代类型系统的实现和范畴模型有一定研究，也对开发 IDE 很感兴趣

主题《Implementing Dependent Type》，《Homotopy Type Theory》

同时我们也向广大函数式编程社区的朋友们招募演讲者和talk，如果有想要在会上分享的主题，请联系会议组织邮箱 dong.han@emqx.io，欢迎大家踊跃参加！