What we're about

Functional Thursday 是一個針對函數式程式語言(Functional Language)與函數式程式設計,讓有興趣的人們見面、交流、凝聚的社群。

函數式程式設計 (Functional Programming) 的相關特色正逐漸成為主流程式設計中不可或缺的一部分,例如 first-class function 和 lambda function 等等。此種程式設計提供了更高階而強大的表述能力,讓程式設計得以更簡潔更有彈性。

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

Functional programming make programs more concise and it's back-end by the power of math. It's also a good way to let people think of the essence of programming language. Our meet up, the Functional Thursday (Funth for short), is for who are interested in functional language and programming language designation, implementation and discussion. So, welcome to apply yourself as a Functor, and bind us together.

每次聚會的主題粗分為下列四類:

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

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

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

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

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

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

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

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

其他相關連結:

|活動錄影| https://www.youtube.com/user/FunthTw

|粉絲專頁| https://www.facebook.com/FunctionalThursday

|臉書社團| https://www.facebook.com/groups/functioanl.thursday/

Hackpad: https://funth.hackpad.com/Functional-Thursday--sGic3s4ncNn (主題討論)

KKTIX: http://funth.kktix.cc (舊的活動頁面; 含有過去的講題與聚會內容)

Past events (97)

將單子用於程式推導 FunTh#75

Mozilla Space

Functional Thursday #73

摩茲工寮

Photos (59)

Find us also at