Skip to content

Instantly share code, notes, and snippets.

@caasi
Created March 30, 2024 07:51
Show Gist options
  • Save caasi/48fc9ff10f228a265bfd875d54f9c15f to your computer and use it in GitHub Desktop.
Save caasi/48fc9ff10f228a265bfd875d54f9c15f to your computer and use it in GitHub Desktop.

FP 在應用程式的高峰可能在 2013~2014 左右,那時 John Carmack port Wolf3D 到 Haskell 上,還提到

I haven't done any functional programming since I started crunching at Oculus, but I consider the time I spent on it extremely worthwhile.

說過

I feel a touch of impostor syndrome when I get invited to speak at functional programming conferences.

同年 (2014) audreyt 在 FLOLAC'14 給了演講《函數程式設計的商業應用》

即使到了 2024 年, John Carmack 還在講

When I started internalizing the benefits of functional programming at the design level, it was notable how many large chunks of code could be pushed behind a purely functional interface, even when implemented in a very imperative style, if you made a little effort.

根據在 web 圈打滾的經驗,什麼 Yoneda lemma, Monad, Comonad 都不重要。光是用 ADT 拆分問題、把資料結構的產生和消化配對起來,就能簡化很多程式碼。把 I/O 拆出來也能減少自己的認知負擔。

但就是會遇到那種喜歡打穿抽象、追求快還要更快的 programmer 。他可能不用開會、不用一邊工作一邊處理雜務,所以降低心智負擔的工程方法對他來說幫助不大。他可以大聲質疑別人搭建的抽象,再打穿它們好表現自己很聰明。

見過的例子有:

  • 不管怎樣拿到 DOM reference 直接改就對了
  • 明明 culling 應該是 framework 該考慮的事,他卻覺得自己來比較快,還只做一半
  • 設計之初倚賴 event bubbling ,是為了未來可以把重效率的 canvas app 和 DOM 部分拆開,他卻引進一個 global event system 把東西焊在一起
  • 在 functional programming paradigm 的 React 裡面塞個 singleton class instance

大聰明。

社群部分也沒有太好, React 圈圈一開始因為 Clojure 圈的 Om 還有所謂的 time travel debugging 而聲名大噪(此前有 Bret Victor 以 Braid 做的 reactive programming demo 和 Elm )。 React 有了抄 Elm 半套的 redux ,但使用者們沒有參透可以組合 redux action 再個別 dispatch 的 module 設計,反而搞出 redux toolkit 好在 runtime 前解決問題。

React Hooks 是個 algebraic effects 的破洞實作, JS 不支援 one-shot continuation ,於是大家得自己維護一個 dependency list ,還要靠 linter 來檢查有沒有誤用。同時還要面對一堆野生的碼農,認為自己不管 linter 的警告很厲害。

就算是個破洞實作,現在的 React Hooks 也能當個堪用的 runtime CPS transformation 工具。但官方不知道怎樣,想要實作個專門給 Promise 用的 CPS transformation hook 叫做 use

但也不全然都是壞事, Rust 有個跟 typeclasses 87% 像的 trait system , TypeScript 雖然 unsound 但可能是現在最方便取用的 dependent type system 。還有之前提過的, SJP 跑去 Epic 搞 logic programming language Verse 。

可能爛的是 web 圈圈失能的教育與傳承機制吧。

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment