[連結] Functional Programming @ COSCUP 2022

看板PLT (程式語言與理論)作者 (恰似飛鴻踏薯泥)時間2年前 (2022/04/27 15:22), 2年前編輯推噓2(203)
留言5則, 5人參與, 2年前最新討論串1/1
今年 COSCUP 有個由 Functional Thursday 團 隊申請的 Functional Programming 軌! 根據 scm 老師的說法,形式一般來說是演講, 如果有想要的話也可以用比較活潑的方式。 * FP 軌介紹: https://blog.coscup.org/2022/04/coscup-x-kcd-taiwan-2022-cfp-is-now.html#fp * 投稿連結: https://pretalx.com/coscup-2022/cfp 下收文字版介紹,請大家告訴大家! Functional Programming 函數式程式設計(Functional Programming)的 相關特色正逐漸成為主流程式設計中不可或缺的 一部分,例如 first-class function 和 lambda function 等等。此種程式設計提供了更 高階而強大的表述能力,讓程式設計得以更簡潔 更有彈性。詳細介紹可參考前述 Functional Thursday 會討論的主題或英文 Wikipedia 本議程歡迎 Functional Programming 相關主題 皆可投稿,包括且不限於 1. 函數式語言(編程)的學術理論 2. 函數式語言(編程)的實用技術與工具 3. 函數式語言(編程)的使用經驗談 4. 程式語言的能力、特性、理論、設計與實作 About the Host: Functional Thursday Functional Thursday(簡稱 Funth)是一個針 對函數式程式語言(Functional Language)與 函數式程式設計的社群,同時我們也關注各種 與程式語言本質相關的領域。因此只要是對函 數式程式設計,以及對諸如如何從理論和實作 去理解程式語言等相關議題有興趣的各位,本 社群都相當歡迎前來參與、分享與討論。 一般會在 Functional Thursday 討論的主題有: 1. 函數式語言(編程)的學術理論 函數式語言及函數式編程具有很多不同於傳 統命令式語言的學理理論,例如 Category Theory、λ-calculus 和 Type Theory 等 等。 2. 函數式語言(編程)的實用技術與工具 現今很多語言都逐漸開始提供一定程度的函 數式編程能力,另一方面,也出現越來越多 函數式語言。越來越多不同的編程模型、編 程風格、函式庫、工具與環境也開始出現在 主流舞台上。 3. 函數式語言(編程)的使用經驗談 函數式語言和函數式編程的好處,或學習與 使用上的困難點。 4. (廣義)程式語言的能力、特性、理論、設 計與實作 隨著深入函數式程式語言與編程的核心,越 來越多理論和觀念被引入聚會之中。因此 Funth 聚焦的重點不僅是單純的函數式語言 本身,而更進一步地包含了程式設計或程式 語言本身的議題。例如型別系統、依值型別 (Dependent Types)、平行程式設計、語 言的表述能力等等。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.46.205.135 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/PLT/M.1651044146.A.977.html ※ 編輯: stopcrying (114.46.205.135 臺灣), 04/27/2022 15:24:27 ※ 編輯: stopcrying (114.46.205.135 臺灣), 04/27/2022 15:27:15

05/08 19:05, 2年前 , 1F
推推,難度主題都不拘呦
05/08 19:05, 1F

05/20 19:33, 2年前 , 2F
推推!
05/20 19:33, 2F

05/23 20:31, 2年前 , 3F
函數式啊… https://bit.ly/3NrnIRW
05/23 20:31, 3F

06/13 02:11, 2年前 , 4F
抓到了,是良葛格!
06/13 02:11, 4F

06/24 10:17, 2年前 , 5F
06/24 10:17, 5F
文章代碼(AID): #1YQEyobt (PLT)
文章代碼(AID): #1YQEyobt (PLT)