随笔分类 - 函数式编程
摘要:高阶函数,又称算子(运算符)或泛函,包含多于一个箭头的函数。 在数学和计算机科学中,高阶函数是至少满足下列一个条件的函数: 接受一个或多个函数作为输入 输出一个函数 接受一个或多个函数作为输入 输出一个函数 数学 数学 在数学中它们叫算子(运算符)或泛函。微积分中的导数就是常见的例子,因为它映射一个
阅读全文
摘要:拓扑是研究几何图形或空间在连续改变形状后还能保持不变的一些性质的一个学科。它只考虑物体间的位置关系而不考虑它们的形状和大小。 拓扑是集合上的一种结构。 拓扑英文名是Topology,直译是地志学,最早指研究地形、地貌相类似的有关学科。几何拓扑学是十九世纪形成的一门数学分支,它属于几何学的范畴。 “代
阅读全文
摘要:范畴即为结构:包含要素和转化。 范畴为高阶类型。 函子为高阶函数。函子的输入为态射。函子为建立在态射基础上的高阶函数。函子用于保持范畴间映射的结构。态射用于范畴内部的转换。 群为运算规则的约束。 自函子是一类比较特殊的函子,它是一种将范畴映射到自身的函子 (A functor that maps a
阅读全文
摘要:范畴论完全装逼手册 / Grokking Monad 范畴论完全装逼手册(一) / Grokking Monad 范畴论完全装逼手册(二) / Grokking Monad 范畴论完全装逼手册(三) / Grokking Monad Table of Contents 第一部分:范畴论Catergo
阅读全文
摘要:函数式编程关心类型(代数结构)之间的关系,命令式编程关心解决问题的步骤 函数式编程也遵从 数据结构+算法 的约束。 关心的是结构的映射或者变换。 https://www.cnblogs.com/feng9exe/p/8649843.html 函数式编程即为:构造类型的映射关系。 函数式编程不仅仅设计
阅读全文
摘要:大致介绍了幺半群(monoid)后,我们重新回顾最初引用wadler(haskell委员会成员,把monad引入haskell的家伙)的那句话: 现在我们来解读这句话中包含的另一个概念:自函子(Endofunctor),不过我们先需要一些铺垫: 首先,什么是函子(Functor)? 乍一看名字,以为
阅读全文
摘要:https://wiki.haskell.org/All_About_Monads
阅读全文
摘要:前言 近期又开始折腾起Haskell,掉进这个深坑恐怕很难再爬上来了。在不断深入了解Haskell的各种概念以及使用它们去解决实际问题的时候,我会试想着将这些概念移植到Swift中。函数式编程范式的很多概念在Swift等主打面向对象范式的语言中就像各种设计模式一样,优雅地帮助我们构建好整个项目,促使
阅读全文
摘要: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
阅读全文
摘要:https://blog.csdn.net/sinat_25226993/article/details/44415803
阅读全文
摘要: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
阅读全文
摘要:Typeclassopedia 阅读笔记 本文是对介绍 Haskell 中类型类(type classes)的文档 Typeclassopedia 的阅读笔记和简短总结,包含此文档中重要的知识点。读者请配合原文档阅读使用。 注意事项 首先,Typeclassopedia 并非介绍 Haskell 基
阅读全文
摘要:对于大多数刚刚入门函数式编程的同学来说,monad(单子、又叫单体)可能是这里面的一道坎。你可能对 map 、 flatMap 以及 filter 再熟悉不过,可是到了高阶的抽象层次上就又会变得一脸懵逼。其实每个人在学习的阶段都会经历这个过程,不过希望这篇文章能让你重新理解 monad 以及其他相关
阅读全文
摘要:高阶函数和类型系统是函数式编程的两大基石。 缺少任何一个函数式编程都将寸步难行。
阅读全文
摘要:reading the "The Typeclassopedia" by Brent Yorgey in Monad.Reader#13 ,and found that "the Functor hierachy" is interdependent of "the Category hierach
阅读全文
摘要:In functional programming, a monad is a design pattern that defines how functions, actions, inputs, and outputs can be used together to build generic
阅读全文
摘要:Ad hoc polymorphism
阅读全文
摘要:Functor、Applicative 和 Monad Posted by 雷纯锋Nov 8th, 2015 10:53 am Functor、Applicative 和 Monad 是函数式编程语言中三个非常重要的概念,尤其是 Monad ,难倒了不知道多少英雄好汉。事实上,它们的概念是非常简单的
阅读全文
摘要:函数混人; 函数的结合; 基础是高阶函数或者说函数的可参量化。
阅读全文