技術 Day 24. 高階類別 - Higher Kinded Types(HKT)

在現代代數的系統裏，最重要的工作便是把不同的結構(元素與運算)抽象化出來而進行定義，再以此抽象化的結構，推導其相關定理，在往後的日子裏，只有要新的結構滿足結構的...