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. Cummings...

鐵人賽 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 第六章:王國的改革、觀點的困境

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