iT邦幫忙

鐵人檔案

第 12 屆 iThome 鐵人賽
回列表
Software Development

mostly:functional 從零開始的異世界程式觀 --- 函數式程式設計的試煉 系列

就是個異世界(觀)的故事。

鐵人鍊成 | 共 35 篇文章 | 55 人訂閱 訂閱系列文 RSS系列文
DAY 21

mostly:functional 第二十章:Semigroup 的實體

-- 0823 我試了好幾個數字,丟進去時都沒什麼反應。自暴自棄之下,我開始亂試,其中有幾個東西丟進去的時候,開孔很快的把東西噴回來。感覺好像是有點生氣了。 一...

2020-10-05 ‧ 由 taiansu 分享
DAY 22

mostly:functional 第二十一章:Monoid 的法則

…那我告訴你一件有趣的事吧。----- 腦只是鏡子。連接在機械上的腦所生出的不是腦的原主意識,而是所接續的機械的意識。 -- 京極夏彥, 魍魎之匣 而當我...

2020-10-06 ‧ 由 taiansu 分享
DAY 23

mostly:functional 第二十二章:Monoid 的實體

來到隔壁的建築,我發現這裡幾乎跟剛才那棟非常類似,房間的格局、配置、擺設。但不同的是,這裡的每一間房間,都有一面鏡子。 中綴與前綴 我們可以發現,Semi...

2020-10-07 ‧ 由 taiansu 分享
DAY 24

mostly:functional 第二十三章:Monoid 的 Monoid

延著走道往下,我走過一個又一個的房間。忽然有一種奇怪的念頭浮上,我感覺其實每個房間裡的鏡子雖然看似迥異,但其實一直都是同一面鏡子。它只是跟隨著我,不斷的移動到下...

2020-10-08 ‧ 由 taiansu 分享
DAY 24

mostly:functional 第二十三章的試煉:Monoid 的證明*

我們可以自己實作一個模仿 Maybe 行為的 type: -- Haskell 語法 data MightBe = NoThanks | Ok a deriv...

2020-10-08 ‧ 由 taiansu 分享
DAY 25

mostly:functional 第二十四章:Functor 的法則

…人被視為一個歷程,一個成為 (becoming) 的歷程。該模式相信,每一個人都可能改變。即使外在的改變很有限,內在的改變卻是可能的。這個信念是普世皆然、毫...

2020-10-09 ‧ 由 taiansu 分享
DAY 26

mostly:functional 第二十五章:Functor 的實體

一進門,就看到矗立在大廳中央的雕像,有點像是箭頭,又有點像是管子。臺座周圍四散著一堆各自相異,但卻都比較短的箭頭。當我隨手拿起一個箭頭想看時,雕像一側呼吸般閃滅...

2020-10-10 ‧ 由 taiansu 分享
DAY 27

mostly:functional 第二十六章:升格,再一次升格,然後再…

在後面幾個比較深的房間裡,我訝異的發現,那些短箭頭,還能夠進化成更加特別的形狀… const 在 Monoid 的章節裡,我們看過了 id 這個什麼事都不...

2020-10-11 ‧ 由 taiansu 分享
DAY 27

mostly:functional 第二十六章的試煉:Functor 的證明

一樣是上次那個模仿 Maybe 行為的 type: -- Haskell 語法 data MightBe = NoThanks | Ok a deriving...

2020-10-11 ‧ 由 taiansu 分享
DAY 28

mostly:functional 第二十七章:Applicative 的法則

a new born baby rest her head on the earth of mothereverything else is outer sp...

2020-10-12 ‧ 由 taiansu 分享