中国の関数型プログラミングミートアップの情報を転載します。以下のリンクからストリーミングが(多分)見れます。テンセント会議(VooV Meeting)が必要。7/10、日本時間11時から18時までです。
https://meeting.tencent.com/s/AZ12Hv2gK2GF第五届函数式编程交流会今年又和大家见面啦，和往常一样这次会议为大家邀请到了国内函数式编程会议的许多大佬，参加会议的信息如下：
时间：2021年7月10号
地点：黄浦区湖滨路222号企业天地1号楼18层
线上直播地址：
暂定的议题列表如下：
邵成
A.K.A. 邵司机，是圈内最知名的 Haskell 程序员之一，在清华学习时就表现出对 Haskell 的兴趣。目前在法国 Tweag I/O 工作，是著名的 Haskell 到 WebAssemly 编译器 Asterius 的开发者和维护者，拥有丰富的编译器开发、运行时优化经验。
主题 《基于 GHC 定制 Haskell 编译器》
2. 刘长生
EMQ边缘计算CTO。从嵌入式系统编程开始进入程序设计行业，一路做过手机的MMI层协议栈和应用开发，Linux和Android的内核驱动、系统层软件、framework的开发，AI算法的落地和异构并行计算优化等工作。曾经在恒基伟业、联想和商汤科技工作过。对系统设计和软件的架构设计有丰富的经验。从2010年开始学习函数式编程，对函数式编程非常热爱，和张淞一起著有《Haskell函数式编程入门》第二版一书。
主题《2 category》
3. 韩冬
曾在大互联网公司任职，负责各类系统的前后端开发、运维，以及团队搭建、管理，一直是 Haskell 技术的热心推动者。目前在 EMQ 负责 HStream 产品和开源活动，《魔力Haskell》作者。担任清华2019年春季学期《函数式编程课程》主讲人，并于 2021 QCon 发表专题演讲《Haskell的工程实践》
主题 《Z.Haskell 项目介绍》
4. 张寅森
代号千里冰封，热衷于研究编程语言的类型系统。参与过 Arend 和 Agda 编程语言的开发，对现代类型系统的实现和范畴模型有一定研究，也对开发 IDE 很感兴趣
主题《implementing dependent type》，《homotopy type theory》
同时我们也向广大函数式编程社区的朋友们招募演讲者和talk，如果有想要在会上分享的主题，请联系会议组织邮箱 [email protected]，欢迎大家踊跃参加！