分享至
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
转载 高校科幻
少侠且慢，点个在看
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
