Functional Thursday

Functional Thursday 是一個針對函數式程式語言 (Functional Language) 與函數式程式設計的社群，同時我們也關注各種與程式語言本質相關的領域。因此只要是對函數式程式設計，以及對諸如如何從理論和實作去理解程式語言等相關議題有興趣的各位，本社群都相當歡迎前來參與、分享與討論。

本社群最早由 scm 與 jaiyalas 草創始於 2013 五月。而每次聚會的主題粗分為下列四類： 

(1) 函數式語言(編程)的學術理論

函數式語言及函數式編程具有很多不同於傳統宣告式語言的學理理論，例如 monad、functor、λ-calculus 和 Functional Reactive Programming 等等。 

(2) 函數式語言(編程)的實用技術與工具

現今很多語言都逐漸開始提供一定程度的函數式編程能力，另一分面，也出現越來越多函數式語言。同時，越來越多不同的編程模型、編程風格、函式庫、工具包也開始出現在主流舞台上。 

(3) 函數式語言(編程)的使用經驗談

函數式語言和函數式編程的愛好者通常都像是某某邪教的教徒一樣地狂熱，其中當然有不少好處，但是也一定會有一些學習或是使用上的困難點。

(4) [廣義]程式語言的能力、特性、理論、設計與實作

隨著深入函數式程式語言與編程的核心，越來越多理論和觀念被引入聚會之中。因此 Funth 聚焦的重點不再是單純的函數式語言本身，而更進一步地包含了很多設計或是討論程式語言本身的議題。例如型別系統、相依型別、平行設計、語言的表述能力。

Facebook (粉絲頁): https://www.facebook.com/FunctionalThursday