查看完整版本 : \Lambda calculus . Functional Programming

assembly.jc 2018-8-30 02:04 PM

\Lambda calculus . Functional Programming

討論完結。

[[i] 本帖最後由 assembly.jc 於 2018-8-31 05:47 PM 編輯 [/i]]

Susan﹏汪汪 2018-8-30 02:21 PM

汪汪覺得Functional programming、或者Haskell更為嚴重

最大問題在於Haskell係經常一大抽logic用一行expression去做晒
而且又唔用括號、變左好多時都唔能夠直接睇得出成句野的意思

assembly.jc 2018-8-31 12:48 AM

[quote]原帖由 [i]Susan﹏汪汪[/i] 於 2018-8-30 02:21 PM 發表 [url=https://computer.discuss.com.hk/redirect.php?goto=findpost&pid=486480137&ptid=27679875][img]https://computer.discuss.com.hk/images/common/back.gif[/img][/url]
汪汪覺得Functional programming、或者Haskell更為嚴重

最大問題在於Haskell係經常一大抽logic用一行expression去做晒
而且又唔用括號、變左好多時都唔能夠直接睇得出成句野的意思 ... [/quote]

例如呢? 有冇例子?

Susan﹏汪汪 2018-8-31 08:17 AM

[quote]原帖由 [i]assembly.jc[/i] 於 2018-8-31 12:48 AM 發表 [url=https://www.discuss.com.hk/redirect.php?goto=findpost&pid=486512173&ptid=27679875][img]https://www.discuss.com.hk/images/common/back.gif[/img][/url]


例如呢? 有冇例子? [/quote]
隨便係上面stackoverflow link抄一句
[code]mayb :: b -> (a -> b) -> Maybe a -> b[/code]

assembly.jc 2018-8-31 01:23 PM

[quote]原帖由 [i]Susan﹏汪汪[/i] 於 2018-8-31 08:17 AM 發表 [url=https://computer.discuss.com.hk/redirect.php?goto=findpost&pid=486519022&ptid=27679875][img]https://computer.discuss.com.hk/images/common/back.gif[/img][/url]

隨便係上面stackoverflow link抄一句
mayb :: b -> (a -> b) -> Maybe a -> b [/quote]

這句只是描述 function mayb parameters 的 type,沒有 logic 吧。

Susan﹏汪汪 2018-8-31 01:58 PM

[quote]原帖由 [i]assembly.jc[/i] 於 2018-8-31 01:23 PM 發表 [url=https://www.discuss.com.hk/redirect.php?goto=findpost&pid=486534647&ptid=27679875][img]https://www.discuss.com.hk/images/common/back.gif[/img][/url]


這句只是描述 function mayb parameters 的 type,沒有 logic 吧。 [/quote]
其實都係logic的一種

Arrow operator都會講associativity
如果唔熟的話都未必睇得出

assembly.jc 2018-8-31 02:33 PM

討論完結。

[[i] 本帖最後由 assembly.jc 於 2018-8-31 05:47 PM 編輯 [/i]]
頁: [1]
查看完整版本: \Lambda calculus . Functional Programming