Next Meetup

Functional Thursday #67
請不要太早到 (19:15), 以免可能門還沒開而被關在外面等... :p [19:30 ~ 19:45] 摩茲工寮介紹 [19:45 ~ 20:45] 資訊近期補上,敬請期待 [20:45 - ] 會後交流 講者:Sheng-An Shiue 也歡迎大家來 https://hackmd.io/s/BJH9dtCEZ 填填看想投稿/想要聽的主題唷!

摩茲工寮

台北市中正區八德路一段 94 號 3F · Taipei

    Past Meetups (87)

    What we're about

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

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

    English:

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

    本社群最早由 scm (http://www.iis.sinica.edu.tw/pages/scm/index_zh.html) 與 jaiyalas (http://jaiyalas.github.io/) 草創始於 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 (舊的活動頁面; 含有過去的講題與聚會內容)

    Members (872)

    Photos (59)

    Find us also at