今年 COSCUP 有个由 Functional Thursday 团
队申请的 Functional Programming 轨！
根据 scm 老师的说法，形式一般来说是演讲，
如果有想要的话也可以用比较活泼的方式。
* FP 轨介绍：
https://blog.coscup.org/2022/04/coscup-x-kcd-taiwan-2022-cfp-is-now.html#fp
* 投稿连结：
https://pretalx.com/coscup-2022/cfp
下收文字版介绍，请大家告诉大家!
Functional Programming
函数式程式设计（Functional Programming）的
相关特色正逐渐成为主流程式设计中不可或缺的
一部分，例如 first-class function 和
lambda function 等等。此种程式设计提供了更
高阶而强大的表述能力，让程式设计得以更简洁
更有弹性。详细介绍可参考前述 Functional
Thursday 会讨论的主题或英文 Wikipedia
本议程欢迎 Functional Programming 相关主题
皆可投稿，包括且不限于
1. 函数式语言(编程)的学术理论
2. 函数式语言(编程)的实用技术与工具
3. 函数式语言(编程)的使用经验谈
4. 程式语言的能力、特性、理论、设计与实作
About the Host： Functional Thursday
Functional Thursday（简称 Funth）是一个针
对函数式程式语言（Functional Language）与
函数式程式设计的社群，同时我们也关注各种
与程式语言本质相关的领域。因此只要是对函
数式程式设计，以及对诸如如何从理论和实作
去理解程式语言等相关议题有兴趣的各位，本
社群都相当欢迎前来参与、分享与讨论。
一般会在 Functional Thursday 讨论的主题有：
1. 函数式语言（编程）的学术理论
函数式语言及函数式编程具有很多不同于传
统命令式语言的学理理论，例如 Category
Theory、λ-calculus 和 Type Theory 等
等。
2. 函数式语言（编程）的实用技术与工具
现今很多语言都逐渐开始提供一定程度的函
数式编程能力，另一方面，也出现越来越多
函数式语言。越来越多不同的编程模型、编
程风格、函式库、工具与环境也开始出现在
主流舞台上。
3. 函数式语言（编程）的使用经验谈
函数式语言和函数式编程的好处，或学习与
使用上的困难点。
4. （广义）程式语言的能力、特性、理论、设
计与实作
随着深入函数式程式语言与编程的核心，越
来越多理论和观念被引入聚会之中。因此
Funth 聚焦的重点不仅是单纯的函数式语言
本身，而更进一步地包含了程式设计或程式
语言本身的议题。例如型别系统、依值型别
（Dependent Types）、平行程式设计、语
言的表述能力等等。