addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1light-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

函數式程式設計 (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 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 (舊的活動頁面; 含有過去的講題與聚會內容)

Join us and be the first to know when new Meetups are scheduled
Log in with Facebook to find out
By creating a Meetup account, you agree to the Terms of Service

Have FUN!

  • Functional Thursday #57

    摩茲工寮
    台北市中正區八德路一段 94 號 3F, Taipei (map)
    請不要太早到 (19:15), 以免可能門還沒開而被關在外面等... :p [19:30 ~ 19:45] 摩茲工寮介紹 [19:45 ~ ] 另一個型別系統的應用:「故事」的計算模型 by 蘇健元 互動敘事(interactive storytelling)是另一個屬於人工智慧範疇的研究領域,其中核心的問題是關於如何設計敘事、... Learn more

    Hosted by: CindyLinz (Co-Organizer)

Conversations

Recent Meetups

  • October 5 · 7:30 PM

    Functional Thursday #56

    18 Functors

    請不要太早到 (19:15), 以免可能門還沒開而被關在外面等... :p [19:30 ~ 19:45] 摩茲工寮介紹 [19:45 ~ 20:45] Zipper and one-hole context by Yun-Yan Chi Zipper 是用來描述一個走訪到一半的 binary tree。他到底是什麼?他解決的什麼問題?... Learn more

  • September 7 · 7:30 PM

    Functional Thursday #55

    16 Functors

    請不要太早到 (19:15), 以免可能門還沒開而被關在外面等... :p [19:30 ~ 19:45] 摩茲工寮介紹 [19:45 ~ 20:45] Racket Metaprogramming 學習經驗分享 by 游書泓 Racket 並不只是一種程式語言. 相反的, Racket 更接近用許多積木組合起來的系統: 從... Learn more

  • August 3 · 7:30 PM

    Functional Thursday #54

    33 Functors

    請不要太早到 (19:15), 以免可能門還沒開而被關在外面等... :p [19:30 ~ 19:45] 摩茲工寮介紹 [19:45 ~ 20:45] Free Theorems, 語意,以及其他相關趣事 by Shin-Cheng Mu 寫一個函數,把它的定義蓋起來,只給我它的型別,我就能夠告訴你一個該函數滿足的定理。」Wadler... Learn more

  • July 6 · 7:30 PM

    Functional Thursday #53 [in Mandarin]

    16 Functors

    請不要太早到 (19:15), 以免可能門還沒開而被關在外面等... :p [19:30 ~ 19:45] 摩茲工寮介紹 [19:45 ~ 20:45] XMonad 程式碼導讀 by CindyLinz 介紹上週 petercommand 介紹的 XMonad 這個 Window Manager 的程式碼, 介紹它的組件組成,... Learn more

  • June 8 · 7:30 PM

    Functional Thursday #52 (Mandarin)

    15 Functors

    請不要太早到 (19:15), 以免可能門還沒開而被關在外面等... :p [19:30 ~ 19:45] 摩茲工寮介紹 [19:45 ~ 20:45] Xmonad: A Tiling Haskell Window Manager: My own experience and adventure in using and... Learn more

  • See all past Meetups

What's new

 

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy