[連結] Functional Programming @ COSCUP 2022

看板PLT (程式語言與理論)作者stopcrying (恰似飛鴻踏薯泥)時間2年前 (2022/04/27 15:22)推噓2(2推 0噓 3→)

留言5則, 5人參與討論串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