首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

【基于 JS 的函数式编程 - 4】函子 | MayBe函子 | Monad函子

概念 函子 定义: 函子是一个普通对象,它实现了map函数,在遍历每个对象值的时候生成一个新对象。即,函子是一个实现了 map 契约的对象! 简单理解:函子是一个持有值的容器。...Container = function(val) {this.value=val;} let testVal = new Container(3); 这样一来,Container持有了内部的值,我们传入的任何js...Monad是一个含有chain方法的函子 你可以通过添加一个chain方法(或者说是join方法)扩展MayBe函子,使其成为一个Monad函子。...那么,我们就可以知道 Monad 函子的一大特点就是能够避免深层嵌套,只要提供下一运算所需要的的函数,就能将函数拆解成互相连接的多个步骤,自动进行下去,并且每次都是只返回一个单层的函子。...这个函子有一个 flatMap 方法,即降维的能力。

21920
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    Applicative 函子

    Applicative 定律 Application 函子是一种加强的函子,在 Haskell 的 Control.Applicative 模块中定义了一个 Applicative 类型类: class...fmap f x applicative 函子的用途很明确,就是为了取出第一个函子值中的函数,应用到第二个函子值的值上,上述定律基本可以保证只是做了这件事,当然其他还有一些定律,就不细说了,列在这里大家看看就好...至于的话,先考虑函数作为普通函子的情况,我们知道函子值是一个包涵上下文的值,当函数作为函子值时,从这个上下文中取值的操作就是将一个参数传递给该函数,然后产生一个值,所以函数作为Functor类型类的实例时是这样的...接收一个函数和一个函子值,取出函子值中的值传递给函数,然后返回一个函子值。...那也同理,它接收两个函子值,返回一个函子值,当函数作为函子值时,要先分别取出 f 中的值(函数)和 g 中的值,分别将一个参数 x 传递给它们,再将 g x 作为参数传递给 f x(由于 Haskell

    74510

    泛函编程(17)-泛函状态-State In Action

    对OOP编程人员来说,泛函状态State是一种全新的数据类型。我们在上节做了些介绍,在这节我们讨论一下State类型的应用:用一个具体的例子来示范如何使用State类型。..._)) => machine.copy(locked = true, candies = nCandy - 1) 8 } 9 } 这个transition函数采用了泛函状态维护风格...对比起来,下面的例子就可以说是真正的泛函编程风格了。同样针对以上的贩售机模拟逻辑要求,我们将用典型的泛函风格来编程。...在以上这个例子里我们采用了泛函编程风格:用类型匹配方式进行了函数组合,虽然说代码可能简单了,但清洁可能就说不上了。...需要用类型匹配(type line-up)来分析理解,也就是要再熟悉多点泛函编程思考模式。

    78380

    泛函编程(0)-什么是泛函编程

    什么是泛函编程(Functional Programming)?泛函编程就是用函数编写程序。这个回答太抽象,等于没说。...再说清楚一点:泛函编程就想砌积木一样把函数当成积木块,把函数的输出输入作为积木的楔子和楔孔,把一个函数的输出当作另一个函数的输入组合成一个更大的函数。整个砌积木的过程就是泛函编程。...那么,可不可以说指令编程就对应变量赋值,泛函编程相当于函数组合呢?实际上“函数组合”这个词是泛函编程的灵魂,英文是Functional Composition。这么说是不是又清楚了一点了?...要知道泛函编程是一个全新的编程范畴。     如果泛函编程就是组合函数,那这可是一种全新的编程方式。如何实现函数的组合呢?...泛函编程是以数学理论(⋋-culculus)为基础的,程序函数的组合是通过数学函数组合定律来实现的。嗯,的确是一套全新的概念,那就让我们从头学起吧。

    1.3K80

    泛函编程(32)-泛函IO:IO Monad

    由于泛函编程非常重视函数组合(function composition),任何带有副作用(side effect)的函数都无法实现函数组合,所以必须把包含外界影响(effectful)副作用不纯代码...IO Monad就是泛函编程处理副作用代码的一种手段。...现在,有了这个IO类型,我们可以放心地用函数组合的泛函编程方式围绕着这个IO类型来编写IO程序,因为我们知道通过这个IO类型我们把副作用的产生推延到IO程序之外的IO解译器里,而IO编程与解译器是两个各自独立的程序...泛函模式的IO编程就是把IO功能表达和IO副作用产生分开设计:IO功能描述使用基于IO Monad的Monadic编程语言,充分利用函数组合进行。...在泛函编程模式里变量是用类型参数代表的: 1 trait IO[+A] { self => 2 def run: A 3 def map[B](f: A => B): IO[B] = 4

    2.5K70

    扫码

    添加站长 进交流群

    领取专属 10元无门槛券

    手把手带您无忧上云

    扫码加入开发者社群

    相关资讯

    热门标签

    活动推荐

      运营活动

      活动名称
      广告关闭
      领券