iT邦幫忙

函數式程式設計相關文章
共有 36 則文章

技術 mostly:functional 謝幕與片尾曲

The future is already here – it's just not evenly distributed. 未來早就來臨了,然而它並不是平均...

技術 mostly:functional 終章:Monad 的實體

可是我的心,比整個宇宙,還要大了那麼一點點。 -- 費爾南多‧佩索亞, 詩選:A Little Larger Than the Entire Universe...

鐵人賽 Software Development DAY 30

技術 mostly:functional 第二十九章:Monad 的法則

梅賈德斯不是照人類傳統的時間來記戴,而是著眼在一個世紀發生的生活故事,一切同時存在於一瞬間。 -- 加布列·賈西亞·馬奎斯, 百年孤寂 又一次來到牆的前面...

鐵人賽 Software Development DAY 29

技術 mostly:functional 第二十八章的試煉: Applicative 的證明

小測驗 我們在上一章的最開始,示範了元組上的 <*>,其中有一條是這樣寫的: pure (+8) <*> ("hello&...

鐵人賽 Software Development DAY 29

技術 mostly:functional 第二十八章:Applicative 的實體

建築跟外觀一樣散發著新穎的氣息,而格局跟上一間也相當類似。而這次大廳中央放著兩座雕塑,兩個之間看起來幾乎是一樣的,只是其中一個比較長一點。而跟之前建築裡的相比,...

鐵人賽 Software Development DAY 27

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

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

鐵人賽 Software Development DAY 27

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

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

鐵人賽 Software Development DAY 26

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

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

鐵人賽 Software Development DAY 25

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

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

鐵人賽 Software Development DAY 24

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

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

鐵人賽 Software Development DAY 24

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

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

鐵人賽 Software Development DAY 23

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

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

鐵人賽 Software Development DAY 22

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

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

鐵人賽 Software Development DAY 21

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

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

鐵人賽 Software Development DAY 19

技術 mostly:functional 第十八章:不同事物的相同部份

我們在乎的,不是你的類別,而是你的型別。 用另一種方式講,我們不是那麼在乎你是什麼人,而在乎你是什麼樣的人。 -- 唐鳳, RubyConf 座談, 2014...

鐵人賽 Software Development DAY 18

技術 mostly:functional 第十七章:當我們談論容器時,我們在談論什麼?

我帶著你的心(我把它帶在 我的心裡)不曾放下過(任何 我去的地方你也去了,親愛的;而任何我所做的 就如同你也一起做了,親愛的。) -- E. E. Cummi...

鐵人賽 Software Development DAY 18

技術 Microflows再升級,這次來點Sub-Microflows

Microflows用得好好的,為何要開始使用Sub-Microflows呢? 對有寫程式經驗的人來說,這個問題很有趣,就像是一個函數(function)寫得好...

鐵人賽 Software Development DAY 17

技術 mostly:functional 第十六章:函數自身

歷史是沒有所謂歡樂結局的,只有一個接著一個被渡過的危機時刻。 -- 以薩·艾西莫夫, 諸神自身 -- 0307 進了城裡。卻發現整個城市相當相當的暗,就像...

鐵人賽 Software Development DAY 16

技術 mostly:functional 第十五章:失落的計量

是的,我已然熟知各種辯證的法則 騰挪與算計之後 得出人生是牆角一條 很有歷史感的枯藤 最終的弧線折成一道 帶來龐沛記憶的鋒面 憂傷降臨,城市彷彿是 被一場雨狠...

鐵人賽 Software Development DAY 15

技術 mostly:functional 第十四章:再一次遞迴,然後…

自由的數字帶來了什麼呢?當人們可以無視單位,專注在數字上之後,我們可以開始討論數字本身的性質,及數字與數字之間的關係。 --- taiansu, mostly...

鐵人賽 Software Development DAY 14

技術 mostly:functional 第十三章:當我們談論等號時,我們在談論什麼?*

幸福的家庭都是相似的,而不幸的家庭各有各的不幸。 --列夫·托爾斯泰, 安娜·卡列尼娜 那麼,等號 = 除了綁定還能做什麼呢?我們可以先回顧一下 JS 莊...

鐵人賽 Software Development DAY 13

技術 mostly:functional 第十二章:鐫刻的真相,狀態的琥珀

我將真相刻在鋼板上,其餘的皆不可信。 -- 布蘭登·山德森, 迷霧之子:昇華之井 我注意到窗外有個告示板,或是加油站,又或是同為兩者的東西 告示板上寫著大...

鐵人賽 Software Development DAY 12

技術 mostly:functional 第十一章:冗餘的變數,連續的轉變

四月是最殘酷的季節, 讓死寂的土原迸出紫丁香, 摻雜著追憶與慾情, 以春雨撩撥萎頓的根莖 -- T·S·艾略特, 荒原 當我們站到城的門口,有個低沉而安穩...

鐵人賽 Software Development DAY 11

技術 mostly:functional 第十章:自我指涉的藝術

GNU 是 GNU is not UNIX! 的縮寫。 --- 維基百科 天氣放晴了,但風吹在身上卻開始有些涼意了。 一邊說著差不多該是離開前往下一個城市...

鐵人賽 Software Development DAY 10

技術 mostly:functional 第九章:高階函式與它們的產地

在街道上走著,四周空無一人。雨,無聲下了起來。 稍微加快了步伐向前,才想到我似乎還不知道要往哪裡去。然後我注意到打在路面的雨,以及踩上那雨的我的腳,忽然有一種感...

鐵人賽 Software Development DAY 9

技術 mostly:functional 第八章:急躁的,耐心的,以及還不完整的。

要怎樣定義一個人呢?看他一無所有時的耐心,及擁有一切時的態度。 --- 諺語 "你喜歡吃咖喱嗎?",一路淋著毛毛細雨,我們晃到一家餐廳...

鐵人賽 Software Development DAY 8

技術 mostly:functional 第七章:不存在的名字、自由的樣貌

名字裡究竟有什麼?如果玫瑰不叫玫瑰,它還是一樣的芳香。 -- 莎士比亞, 哈姆雷特 雨,開始下起來了。空氣中滿是潮溼的香氣,隨著雨滴打在道路及建築上的聲音...

鐵人賽 Software Development DAY 7

技術 mostly:functional 第六章:王國的改革、觀點的困境

我的語言的界限,即是我的世界的界限。 -- 路德維希·維根斯坦, 邏輯哲學論 回過神來,才發現窗外愈來愈暗,淺灰色的雲,不知從何時開始,已在這個城市的上空...