Monad typeclass不是一種類型，而是一種程序設計模式（design pattern），是泛函編程中最重要的編程概念，因而很多行內人把FP又稱為Monadic Programming ...

在正式進入scalaz討論前我們需要理順一些基礎的scalaz結構組成概念和技巧。scalaz是由即興多態（ad-hoc polymorphism）類型（typeclass）組成。scalaz t ...

面向對象編程范疇（OOP）從80年代C++到90年代java的興起已經經歷了幾十年的高潮，是不是已經發展到了盡頭，該是函數式編程（FP）開始興旺發達的時候了吧。這樣說似乎心眼兒有點壞，可能會得罪當 ...

scalaz功能基本上由以下三部分組成： 1、新的數據類型，如：Validation, NonEmptyList ... 2、標准scala類型的延伸類型，如：OptionOps, ListO ...

前面提到了scalaz是個函數式編程（FP）工具庫。它提供了許多新的數據類型、拓展的標准類型及完整的一套typeclass來支持scala語言的函數式編程模式。我們知道：對於任何類型，我們只需 ...