技術 [Day 25] 再探 Monoid

前言 前面幾篇文章介紹了一些 FP 世界中的容器工具如 Functor、Monad、Applicative 等，其實還有很多沒有介紹到，例如 Reader、S...

技術 Day 22. ADT-Algebraic Data Type

Algebraic Data Type 現代代數最重要的工作便是將一些代數性質抽象化，而代數中最重要的就是運算，我們今天就要討論運算抽象化這個主題。數字中最常...

技術 Day 13 - Semigroup II & Monoid

yo, what's up Semigroup II 多組 Semigroup 進形合併 到目前為止我們已經知道 Semigroup 可以透過 concat 將...

技術 Day 12 - Semigroup I

Definition of a Semigroup 一個集合(Set)或稱型別(Type) 有 concat method 必須符合 associative...