2015年09月_TIGER_XC

原创 Scalaz（6）－ typeclass：Functor－just map

Functor是范畴学（Category theory）里的概念。不过无须担心，我们在scala FP编程里并不需要先掌握范畴学知识的。在scalaz里，Functor就是一个普通的typeclass，具备map over特性。我的理解中，Functor的主要用途是在FP过程中更新包嵌在容器（高阶类）F[T]中元素T值。典型例子如：List[String], Option[Int]等。我们曾经介绍

2015-09-26 12:38:27 634

原创 Scalaz（5）－ typeclass：my typeclass scalaz style－demo

我们在上一篇讨论中介绍了一些基本的由scalaz提供的typeclass。这些基本typeclass主要的作用是通过操作符来保证类型安全，也就是在前期编译时就由compiler来发现错误。在这篇讨论中我希望能按照scalaz的格式设计自己的typeclass并能使之融入scalaz库结构里去。我们来设计一个NoneZero typeclass。这个NoneZero typeclass能确定

2015-09-19 17:13:25 458

原创 Scalaz（4）－ typeclass：标准类型－Equal,Order,Show,Enum

Scalaz是由一堆的typeclass组成。每一个typeclass具备自己特殊的功能。用户可以通过随意多态（ad-hoc polymorphism）把这些功能施用在自己定义的类型上。scala这个编程语言借鉴了纯函数编程语言Haskell的许多概念。typeclass这个名字就是从Haskell里引用过来的。只不过在Haskell里用的名称是type class两个分开的字。因为scala是个

2015-09-18 22:13:29 750

原创 Scalaz（3）－基础篇：函数概括化－Generalizing Functions

Scalaz是个通用的函数式编程组件库。它提供的类型、函数组件都必须具有高度的概括性才能同时支持不同数据类型的操作。可以说，scalaz提供了一整套所有编程人员都需要的具有高度概括性的通用函数，它是通过随意多态（ad-hoc polymorphism）来帮助用户使用这些函数的。随意多态就是trait+implicit parameters+implicit conversions。简单的说就是sc

2015-09-09 20:53:20 748

原创 Scalaz（2）－基础篇：随意多态－typeclass, ad-hoc polymorphism

scalaz功能基本上由以下三部分组成：1、新的数据类型，如：Validation, NonEmptyList ...2、标准scala类型的延伸类型，如：OptionOps, ListOps ...3、通过typeclass的随意多态（ad-hoc polymorphism）编程模式实现的大量概括性函数组件库我们在这篇重点讨论多态（polymorphism），特别是随意多态（ad

2015-09-08 08:31:57 905

原创 Scalaz（1）－基础篇：隐式转换解析策略－Implicit resolution

在正式进入scalaz讨论前我们需要理顺一些基础的scalaz结构组成概念和技巧。scalaz是由即兴多态（ad-hoc polymorphism）类型（typeclass）组成。scalaz typeclass在scala中的应用有赖于scala compiler的一项特别功能：隐式转换（implicit conversion），使程序表述更精简。由于隐式转换是一项compiler功能，在程序编

2015-09-06 15:44:39 788

原创 Scalaz(0) - 写在前面

面向对象编程范畴（OOP）从80年代C++到90年代java的兴起已经经历了几十年的高潮，是不是已经发展到了尽头，该是函数式编程（FP）开始兴旺发达的时候了吧。这样说似乎心眼儿有点坏，可能会得罪当今大多数的编程人员。不过计算机硬件技术的发展往往会催生新的编程技术，这倒是无可反驳的现象。世界当下计算机行业中大数据、电子商务、多核CPU，高并发网络的普及使得C++,java这些OOP范畴的编程语言显得

2015-09-02 17:35:26 591

TIGER_XC的专栏