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