查看完整版本 : 繼續講下 Haskell

assembly.jc 2018-12-10 12:46 AM

繼續講下 Haskell

近來都係 stackoverflow 吸收其他高手Haskell 技術,其中最難嘅係這一個:

[url=https://stackoverflow.com/questions/53462008/zipping-free-monad-transformers]https://stackoverflow.com/questions/53462008/zipping-free-monad-transformers[/url]

單睇問題已經好難理解。之前都講過,Haskell 難唔係難在語言本身,而係入面溶入在 Type theory 同埋 Category theory 的理論。就好似上面的 Post 提及的 Blog:

[url=https://doisinkidney.com/posts/2016-04-17-folding-two-at-once.html]https://doisinkidney.com/posts/2016-04-17-folding-two-at-once.html[/url]

用在 Catamorphisms 來簡化問題,就是 Categroy theory 其中一個概念,這些概念本身就好抽象,而由這些概念洐生出來的 Library 都係超級抽象,就好似 stackoverflow 問題入面提到的 Free Monad, FreeT (Free Monad Tranformer) 同 FT, FF 咁。

[[i] 本帖最後由 assembly.jc 於 2018-12-11 05:29 PM 編輯 [/i]]

東邊日出西邊雨 2018-12-11 06:55 PM

[quote]原帖由 [i]assembly.jc[/i] 於 2018-12-10 12:46 AM 發表 [url=https://computer.discuss.com.hk/redirect.php?goto=findpost&pid=491767399&ptid=27902207][img]https://computer.discuss.com.hk/images/common/back.gif[/img][/url]
近來都係 stackoverflow 吸收其他高手Haskell 技術,其中最難嘅係這一個:

[url=https://stackoverflow.com/questions/53462008/zipping-free-monad-transformers]https://stackoverflow.com/questions/53462008/zipping-free-monad-transformers[/url]

單睇問題已經好難理解。之前都講過,Haskell 難唔係難在語言本身,而係入面溶入在 Type theory 同埋 Category the ... [/quote]

ching, 你做咩野公司既Programmer呀? 識甘多language既?
太多才多藝了 :smile_o12:

rm1768 2018-12-11 07:10 PM

Ching, 可否分享見聞? 如何應用 Category theory ?

assembly.jc 2018-12-11 11:32 PM

[quote]原帖由 [i]東邊日出西邊雨[/i] 於 2018-12-11 06:55 PM 發表 [url=https://computer.discuss.com.hk/redirect.php?goto=findpost&pid=491849686&ptid=27902207][img]https://computer.discuss.com.hk/images/common/back.gif[/img][/url]


ching, 你做咩野公司既Programmer呀? 識甘多language既?
太多才多藝了 :smile_o12: [/quote]

居然有人回帖,好少有。

流行個幾隻 language 應該好多公司都會用到吧。但係用完之後,好快會唔記得左。好似舊年寫個 d code,前一排睇返都唔知自己寫緊 d 乜。Haskell 係有興趣先開始學,與工作無關。

assembly.jc 2018-12-12 12:34 AM

[quote]原帖由 [i]rm1768[/i] 於 2018-12-11 07:10 PM 發表 [url=https://computer.discuss.com.hk/redirect.php?goto=findpost&pid=491850295&ptid=27902207][img]https://computer.discuss.com.hk/images/common/back.gif[/img][/url]
Ching, 可否分享見聞? 如何應用 Category theory ? [/quote]

什麼見聞?

如何應用 Category theory 呢個課題好大,係論文級嘅題目。依家係 Haskell 大行其道的 Functor 同 Monad,其概念都係源自 Category theory。但呢 d 最初只係數學理論,唔係為左程式語言發展而出現。要將理論變成實際應用,依賴嘅係幾位大師級人馬嘅研究。

其中最重要嘅 Monad,係來自 Philip Wadler 的幾篇論文:
Comprehending Monads
Monads for functional programming
The essence of functional programming

將 Catamorphisms 引入的係 E. Meijer, M. Fokkinga, R. Paterson 嘅
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

#1 提到的 Free Monad 係 Janis Voigtländer 嘅作品
Asymptotic Improvement of Computations over Free Monads

tom.care 2018-12-16 01:31 AM

*** 作者被禁止或刪除 內容自動屏蔽 ***
頁: [1]
查看完整版本: 繼續講下 Haskell