本系列將分享個人以fp-ts學習函數式程式設計(Functional Programming,簡稱FP)的心得整理,以Typescript和fp-ts出發,由淺而深介紹FP的基礎觀念和不同的進階型別建構模組,期待能讓無需任何基礎者可以重頭學習函數式程式設計的觀念與技巧,並期待將來可以輕鬆轉換至Haskell這種專函數式程式設計的程式語言。
除了程式觀念和語言的學習,也希望這個系列能讓讀者了解抽象化數學的意義和重要性,希望讓數學的學習具備更多的意義和目標。
今天我們要開始介紹類別(Type Class)型的模組,類別模組內的函數比較少,不同的類別代表不同的數學概念。首先登場的是Eq和Ord兩個關係的類別。 Eq 一...
Algebraic Data Type 現代代數最重要的工作便是將一些代數性質抽象化,而代數中最重要的就是運算,我們今天就要討論運算抽象化這個主題。數字中最常...
現在戲劇流行穿越劇,在FP的世界裏也可以進行型別容器的穿越,也就是改變容器嵌套的次序,擁有這種特性的型別容器我們稱之為Traversable。當遇到容器型別互相...