Re: [請益] 適合入門functional programming 的教學

[oopFoo (3d)]

※ 引述《FXW11314 (soukai)》之銘言：
: 如題，剛到公司報到就發現老闆是functional programming 的愛好者，對案子也會要求盡
: 量用fp的方式來寫
: 但我跟其他同期報到的新人從來沒碰過，每天都會聽到一堆新名詞跟新做法，很擔心以後跟
: 不上，所以想趁年假惡補一下
: 請問有沒有推薦適合新手的fp教學，文章、書、影片都可以，謝謝大家

我的認知fp主要是immutability與stateless。
first class function, curry, lazy evaluation, monad ....主要都是為解決immutable data structure的問題。
type與category theory我不認為是fp的一部份，但常常會纏在一起。

但講起來都很抽象，我建議從purely functional data structures開始看。
https://belle.sourceforge.net/doc/okasaki-phd.pdf
Chris Okasaki的博士論文還是這方面的基礎，後來也有出書。

Prabhakar Ragde也整理出不錯
https://cs.uwaterloo.ca/~plragde/flaneries/FDS/

就我了解，會用fp的公司比較偏向金融的新創，不然fp實在有時不好用。但現在大部份都是impure fp所以....

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.224.214.71 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Soft_Job/M.1674090559.A.236.html
推 MoonCode: 所以你用了嗎
→ musie: 這些都不是入門的 真要搞Lisp 先從SICP跟Little Schemer
→ MoonCode: 樓上看完 sicp 了嗎
→ musie: 看完了呀 習題全刷呀.
→ musie: 我前工作就用Agda搞金融 你懂?
→ MoonCode: 不懂 有大神先拜了
推 musie: 不是 這兩本都很薄又很簡單 真的是入門用的. 到底?
→ s9041200: dependent type都冒出來了，怕
推 MoonCode: little schemer 看到不動點組合子就躺了 抱歉
→ bachelorwhc: 笑死 問東問西的 fp應用case不會自己查嗎
推 eopXD: 也可以來一下 learn you a Haskell for great good
→ oopFoo: sicp跟little schemer +1，不過lispy syntax蠻吃緣份的
→ oopFoo: 不然這兩本書教的fp方法蠻好的。
→ oopFoo: 當初Lisp，OCaml有玩一陣子，但fp的概念還是似懂非懂。
→ oopFoo: 是在工作上用Erlang才算比較了解fp。現在想想，應該是寫一
→ oopFoo: 定量以上的code就慢慢融會貫通。後來也有接觸Forth，感覺
→ oopFoo: 還蠻functional的，有點意外。
→ saladim: 我看到category theory就掛了, 就實務上會用monad已經很
→ saladim: 強了 連更前面的applicative functor就覺得很抽象 要怎麼
→ saladim: 應用 = = 又有語法的問題 XDD 平常不用haskell/lisp/sche
→ saladim: 本魯太弱了 無法體會抽象到實務怎麼發生
→ oopFoo: Haskell我不敢碰，太多觀念要熟習。現在玩fp我會推薦
→ oopFoo: Clojure，實際，好用，有Java生態環境當靠山。
→ recorriendo: 真的要推SICP
→ recorriendo: monad基本上就是要用stateless func做不stateless的
→ recorriendo: 事 個人覺得不是很好用
→ recorriendo: Dan Grossman的教材也很好 以前他還有coursera課程
→ recorriendo:  不知道現在還有沒有
→ gn00710311: 可惡都沒人推 FP Scala ，也是 JVM 體系喔