09 2015 档案

Scalaz（6）－ typeclass：Functor－just map
摘要：Functor是范畴学（Category theory）里的概念。不过无须担心，我们在scala FP编程里并不需要先掌握范畴学知识的。在scalaz里，Functor就是一个普通的typeclass，具备map over特性。我的理解中，Functor的主要用途是在FP过程中更新包嵌在容器（高阶... 阅读全文
posted @ 2015-09-26 12:38 雪川大虫 阅读(1422) 评论(0) 推荐(1) 编辑
Scalaz（5）－ typeclass：my typeclass scalaz style－demo
摘要：我们在上一篇讨论中介绍了一些基本的由scalaz提供的typeclass。这些基本typeclass主要的作用是通过操作符来保证类型安全，也就是在前期编译时就由compiler来发现错误。在这篇讨论中我希望能按照scalaz的格式设计自己的typeclass并能使之融入scalaz库结构里去。 我... 阅读全文
posted @ 2015-09-19 17:13 雪川大虫 阅读(1032) 评论(0) 推荐(1) 编辑
Scalaz（4）－ typeclass：标准类型－Equal,Order,Show,Enum
摘要：Scalaz是由一堆的typeclass组成。每一个typeclass具备自己特殊的功能。用户可以通过随意多态（ad-hoc polymorphism）把这些功能施用在自己定义的类型上。scala这个编程语言借鉴了纯函数编程语言Haskell的许多概念。typeclass这个名字就是从Haskel... 阅读全文
posted @ 2015-09-18 22:13 雪川大虫 阅读(1831) 评论(1) 推荐(2) 编辑
Scalaz（3）－ 基础篇：函数概括化－Generalizing Functions
摘要：Scalaz是个通用的函数式编程组件库。它提供的类型、函数组件都必须具有高度的概括性才能同时支持不同数据类型的操作。可以说，scalaz提供了一整套所有编程人员都需要的具有高度概括性的通用函数，它是通过随意多态（ad-hoc polymorphism）来帮助用户使用这些函数的。随意多态就是trai... 阅读全文
posted @ 2015-09-09 20:53 雪川大虫 阅读(1944) 评论(1) 推荐(5) 编辑
Scalaz（2）－ 基础篇：随意多态－typeclass, ad-hoc polymorphism
摘要：scalaz功能基本上由以下三部分组成：1、新的数据类型，如：Validation, NonEmptyList ...2、标准scala类型的延伸类型，如：OptionOps, ListOps ...3、通过typeclass的随意多态（ad-hoc polymorphism）编程模式实现的大量概... 阅读全文
posted @ 2015-09-08 08:32 雪川大虫 阅读(2335) 评论(0) 推荐(2) 编辑
Scalaz（1）－ 基础篇：隐式转换解析策略－Implicit resolution
摘要：在正式进入scalaz讨论前我们需要理顺一些基础的scalaz结构组成概念和技巧。scalaz是由即兴多态（ad-hoc polymorphism）类型（typeclass）组成。scalaz typeclass在scala中的应用有赖于scala compiler的一项特别功能：隐式转换（imp... 阅读全文
posted @ 2015-09-06 15:44 雪川大虫 阅读(2985) 评论(1) 推荐(2) 编辑
Scalaz(0) - 写在前面
摘要：面向对象编程范畴（OOP）从80年代C++到90年代java的兴起已经经历了几十年的高潮，是不是已经发展到了尽头，该是函数式编程（FP）开始兴旺发达的时候了吧。这样说似乎心眼儿有点坏，可能会得罪当今大多数的编程人员。不过计算机硬件技术的发展往往会催生新的编程技术，这倒是无可反驳的现象。当今世界上计... 阅读全文
posted @ 2015-09-02 17:33 雪川大虫 阅读(2707) 评论(0) 推荐(1) 编辑

点击右上角即可分享
微信分享提示