iT邦幫忙

haskell相關文章
共有 61 則文章

技術 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 17

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

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

鐵人賽 Software Development DAY 16

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

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

鐵人賽 Software Development DAY 10

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

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

鐵人賽 Software Development DAY 8

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

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

鐵人賽 Software Development DAY 7

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

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

鐵人賽 Software Development DAY 6

技術 mostly:functional 第五章:文字,是非,與一等公民

所有動物生來平等,但有些動物比其他動物更為平等。-- 喬治·歐威爾, 動物農莊 又一天,同樣的咖啡館,我們坐在窗邊。外面的天空看不見太陽,遠方的山頭,有雲...

鐵人賽 Software Development DAY 5

技術 mostly:functional 第四章:還不確定的東西與計算的過程

語句只在理解它們的人那裡擁有意義。語句捕捉了我們的想法,而想法本身,遠比我們用來描述它的詞彙更為重要。 -- Daniel P. Friedman and D...

鐵人賽 Software Development DAY 4

技術 mostly:functional 第三章:容器與莊園

通往地獄的路,都是由善意所鋪成的。 -- Friedrich August von Hayek 哈哈,你注意到了,對吧?飄浮在我們旁邊一閃一閃的那些。那個...

鐵人賽 Software Development DAY 3

技術 mostly:functional 第二章: 泥板

「3 枝鉛筆加上 2 枝鉛筆是 5 枝鉛筆。那 3 個鈕扣加上 2 個鈕扣呢?」「5 個鈕扣。」「但是第一個問題是在說鉛筆,也許鈕扣會不一樣啊?」— Ron...

鐵人賽 Software Development DAY 2

技術 mostly:functional 第一章:召喚

啊!成功了!太好了,你真的來了!真的讓我召喚到傳說中的魔法師了! 請聽我說,我們需要幫忙。我們已經抵抗很久,很久了,但依然還是有許多許多…嗯…伙伴,在很糟糕的情...

鐵人賽 Software Development DAY 1

技術 在開始之前…

簡介字數不夠用,但是又有不得不碎念的事,只好放到這邊來了。下一篇才是預想中真正的開始。 這系列是想來講個故事。一個關於函數式程式設計的故事。 本來是這樣開始寫的...

鐵人賽 Software Development DAY 6

技術 Guards 與 Pipe operator

Guards 在函數式編程中,我們總是希望能寫出更富表達能力的函式,儘可能簡化每個 function body 需要處理的內容。Guards 讓你可以在函式的第...