CODING

/ 武汉大学科幻协会（学生）兴趣小组 /

WHU LAMBDA

技术分享会

【Date：2021.11.13】

时间：2021年11月13日

地点：文理学部 教三 101

活动简介&流程

本次分享会将由四位分享人给大家带来风格不同的四个主题：

一.Coq小课堂

内容：有关交互式定理证明器 的简单介绍及入门技巧

二.Demystifying Python

内容：Python 语言的来龙去脉和发展历程， Python语言鲜为人知的语言特性以及如何充分利用它们编写优雅而高效的代码。

三.Compiler

内容：Partial Eval×Just In Time Compiler

四.Why Not Kotlin

内容：给大家安利Kotlin；通过对（diao）比（da）Java 深入理解Kotlin的一些好处 ；展示用Kotlin写代码的优势。

兴趣组介绍

武汉大学科幻协会（学生）Lambda兴趣组致力于推广和普及函数式编程知识，引导初学者学习函数式编程，定期开办相关技术讲座，帮助同学们更好地理解和运用函数式编程知识。

来源 武大科协ASF

转载 高校科幻

少侠且慢，点个在看