摘要：
首先我们从最基本的泛型来看： 现在我们对上面泛型中的类型参数再进一步，也是个泛型会如何呢？ 可以看到，java中不支持类型参数也是泛型类型的情况，而scala支持。这是一个很重要的区别，scala在类型系统上要比java强大。我们现在简单对类型归纳一下，可以分为两类: 1）特定类型(proper t 阅读全文
posted @ 2018-06-08 14:52
zzfx
阅读(393)
评论(0)
推荐(0)
摘要：
https://wiki.haskell.org/All_About_Monads 阅读全文
posted @ 2018-06-07 23:26
zzfx
阅读(141)
评论(0)
推荐(0)
摘要：
前言 近期又开始折腾起Haskell，掉进这个深坑恐怕很难再爬上来了。在不断深入了解Haskell的各种概念以及使用它们去解决实际问题的时候，我会试想着将这些概念移植到Swift中。函数式编程范式的很多概念在Swift等主打面向对象范式的语言中就像各种设计模式一样，优雅地帮助我们构建好整个项目，促使 阅读全文
posted @ 2018-06-07 23:09
zzfx
阅读(257)
评论(0)
推荐(0)
摘要：
I have been trying to teach myself Functional Programming since late 2013. Many of the concepts are very daunting because of their somewhat academic n 阅读全文
posted @ 2018-06-07 23:07
zzfx
阅读(184)
评论(0)
推荐(0)
摘要：
https://blog.csdn.net/sinat_25226993/article/details/44415803 阅读全文
posted @ 2018-06-07 19:43
zzfx
阅读(429)
评论(0)
推荐(0)
摘要：
https://wiki.haskell.org/wikiupload/8/85/TMR-Issue13.pdf By Brent Yorgey, byorgey@gmail.com Originally published 12 March 2009 in issue 13 of the Mona 阅读全文
posted @ 2018-06-07 19:41
zzfx
阅读(276)
评论(0)
推荐(0)
摘要：
Typeclassopedia 阅读笔记 本文是对介绍 Haskell 中类型类（type classes）的文档 Typeclassopedia 的阅读笔记和简短总结，包含此文档中重要的知识点。读者请配合原文档阅读使用。 注意事项 首先，Typeclassopedia 并非介绍 Haskell 基 阅读全文
posted @ 2018-06-07 19:37
zzfx
阅读(267)
评论(0)
推荐(0)
摘要：
对于大多数刚刚入门函数式编程的同学来说，monad（单子、又叫单体）可能是这里面的一道坎。你可能对 map 、 flatMap 以及 filter 再熟悉不过，可是到了高阶的抽象层次上就又会变得一脸懵逼。其实每个人在学习的阶段都会经历这个过程，不过希望这篇文章能让你重新理解 monad 以及其他相关 阅读全文
posted @ 2018-06-07 19:35
zzfx
阅读(190)
评论(0)
推荐(0)
摘要：
高阶函数和类型系统是函数式编程的两大基石。 缺少任何一个函数式编程都将寸步难行。 阅读全文
posted @ 2018-06-07 19:19
zzfx
阅读(91)
评论(0)
推荐(0)
摘要：
reading the "The Typeclassopedia" by Brent Yorgey in Monad.Reader#13 ,and found that "the Functor hierachy" is interdependent of "the Category hierach 阅读全文
posted @ 2018-06-07 19:17
zzfx
阅读(103)
评论(0)
推荐(0)
摘要：
多态有类型系统衍生。 有限类型、无限类型、确定类型。 Classifications Christopher Strachey (1967) introduced the concept of polymorphism informally into procedural programming l 阅读全文
posted @ 2018-06-07 16:47
zzfx
阅读(306)
评论(0)
推荐(0)
摘要：
如果在子类中定义某方法与其父类有相同的名称和参数，我们说该方法被重写 (Overriding)。如果在一个类中定义了多个同名的方法，它们或有不同的参数个数或有不同的参数类型，则称为方法的重载(Overloading)。本文介绍的是Overload和Override的区别。 Overload是重载的意 阅读全文
posted @ 2018-06-07 16:37
zzfx
阅读(494)
评论(0)
推荐(0)
摘要：
In programming languages and type theory, polymorphism (from Greek πολύς, polys, "many, much" and μορφή, morphē, "form, shape") is the provision of a 阅读全文
posted @ 2018-06-07 16:32
zzfx
阅读(297)
评论(0)
推荐(0)
摘要：
Type inference refers to the automatic detection of the data type of an expression in a programming language. Type inference is the ability to automat 阅读全文
posted @ 2018-06-07 16:12
zzfx
阅读(153)
评论(0)
推荐(0)
摘要：
与面向对象中的接口类或抽象类中定义的函数组类似； 函数的具体执行依赖与函数医用的类型。 In programming languages, ad-hoc polymorphism[1] is a kind of polymorphism in which polymorphic functions 阅读全文
posted @ 2018-06-07 15:45
zzfx
阅读(256)
评论(0)
推荐(0)
摘要：
无法在一个class上extend多个abstract class，但是你可以use多个trait abstract class是在类型系统上做文章，trait片段是mixin 类型约束 代码复用 class 是 是 interface 是 否 trait 否 是 阅读全文
posted @ 2018-06-07 15:31
zzfx
阅读(272)
评论(0)
推荐(0)
摘要：
对泛型的类型添加约束，从而使泛型类型的变量具有某种通用操作。 再使用这些操作，参与到其它操作中。 In computer science, a type class is a type system construct that supports ad hoc polymorphism. This 阅读全文
posted @ 2018-06-07 15:21
zzfx
阅读(206)
评论(0)
推荐(0)
摘要：
类型约束 相信你还记得前面一篇文章中的泛型方法，在这个泛型方法中，我们就使用了类型约束。 类型约束（type constraint）进一步控制了可指定的类型实参，当我们创建自己的泛型类型或者泛型方法的时候，类型约束是很有用的。 回到前一篇例子中的泛型方法，这个泛型方法就要求可指定的类型实参必须实现了 阅读全文
posted @ 2018-06-07 14:46
zzfx
阅读(560)
评论(0)
推荐(0)
摘要：
In functional programming, a monad is a design pattern that defines how functions, actions, inputs, and outputs can be used together to build generic 阅读全文
posted @ 2018-06-07 12:47
zzfx
阅读(186)
评论(0)
推荐(0)
摘要：
C++泛型 C++泛型跟虚函数的运行时多态机制不同，泛型支持的静态多态，当类型信息可得的时候，利用编译期多态能够获得最大的效率和灵活性。当具体的类型信息不可得，就必须诉诸运行期多态了，即虚函数支持的动态多态。 对于C++泛型，每个实际类型都已被指明的泛型都会有独立的编码产生，也就是说list<int 阅读全文
posted @ 2018-06-07 11:31
zzfx
阅读(437)
评论(0)
推荐(0)
浙公网安备 33010602011771号