今年 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）、平行程式設計、語
言的表述能力等等。