Functional Thursday

Functional Thursday 函數程式語言的社群 It's also a good way to let people think of the essence of programming language.

函數式程式設計 (Functional Programming) 的相關特色正逐漸成為主流程式設計中不可或缺的一部分,例如 first-class function 和 lambda function 等等。此種程式設計提供了更高階而強大的表述能力,讓程式設計得以更簡潔更有彈性。
而 Functional Thursday (簡稱 Funth) 是一個針對函數式程式語言(Functional Language)與函數式程式設計的社群,同時我們也關注各種與程式語言本質相關的領域。因此只要是對函數式程式設計,以及對諸如如何從理論和實作去理解程式語言等相關議題有興趣的各位,本社群都相當歡迎前來參與、分享與討論。

Functional programming make programs more concise and it's back-end by the power of math. O

ur 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 fapply yourself as a Functor, and bind us together.

本社群最早由 scm 與 jaiyalas 草創始於 2013 五月。而每次聚會的主題粗分為下列四類:
(1) 函數式語言(編程)的學術理論

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

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

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

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

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


其他相關連結:

Youtube: https://www.youtube.com/user/FunthTw (活動錄影)
Facebook (粉絲頁): https://www.facebook.com/FunctionalThursday

Facebook (社團): https://www.facebook.com/groups/functioanl.thursday/

Hackpad: https://funth.hackpad.com/Functional-Thursday--sGic3s4ncNn (主題討論)
KKTIX: http://funth.kktix.cc (舊的活動頁面; 含有過去的講題與聚會內容)

14/10/2025

使用函數式語言來「撰寫一支程式」與「設計整個系統」需要考量的觀點是非常不同的。

很多我們喜歡的小(?)習慣或是語言功能,拉到系統架構與設計層級時,可能不見得優先程度會是那麼地高🥲。那麼,差異在哪裡?到底從軟體架構的角度來說,什麼才是函數式的亮點?我們可以怎麼去重新思索函數式的優點與可能性?

有著六年針對業界的函數式軟體架構教學經驗的 Mike Sperber 在今年 ICFP 的 FUNAR workshop 給的 talk,應該會給我們一些非常有意義的整理與分享。https://youtu.be/FB0CS0X1QRc?t=21605

ICFP 的會議期間會有好一些共同辦理的工作坊,其中一個相當知名且有趣的是專門探討 side-effect 議題的 Higher-Order Programming with Effects workshop (HOPE) 。今年的工作坊本...
13/10/2025

ICFP 的會議期間會有好一些共同辦理的工作坊,其中一個相當知名且有趣的是專門探討 side-effect 議題的 Higher-Order Programming with Effects workshop (HOPE) 。

今年的工作坊本身已經結束了,但是所有演講的 live 都有留存在 youtube 上: https://www.youtube.com/watch?v=BWN1UaZU_qE

這裡特別推薦今年的 keynote: "Smart Handlers: Handling the selection monad" -- 介紹 selection monad 這個大家比較沒那麼熟悉的 monad。有興趣的朋友千萬不要錯過啦!如果之後可以在 Functional Thursday 聽到相關的 talk 或是討論就太棒了 😆 (這個演講大概是影片的 1:26:30 處開始)

Full program: https://conf.researchr.org/program/icfp-splash-2025/program-icfp-splash-2025/

Address

Taipei

Alerts

Be the first to know and let us send you an email when Functional Thursday posts news and promotions. Your email address will not be used for any other purpose, and you can unsubscribe at any time.

Shortcuts

Share

Category