如何在Haskell中使用Monad类的多个构造函数参数上映射一个函数？_如何在使用ProcessBuilder实例化新的JVM实例中的类时传递构造函数的参数？_如何在Typescript中创建一个可以使用对象或常规参数构造函数进行初始化的类？ - 腾讯云开发者社区 - 腾讯云

开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

什么是 Monad (Functional Programming)？函子到底是什么?ApplicativeMonad

也就是说，如果我们要将普通函数应用到一个有盒子上下文包裹的值，那么我们首先需要定义一个叫Functor的数据类型，在这个数据类型中需要定义如何使用map或fmap来应用这个普通函数。...image.png fmap的输入参数是a->b函数，在我们这个案例中是(+3)，然后定义一个函子Functor，这里是Haskell的Just 2，最后返回一个新的函子，在我们案例中，使用Haskell...函数identity是一个自函数的特例，它接收什么参数就返回什么参数，所以入参和返回值不仅类型一致，而且值也相同。...澄清了函子的含义，那么如何在程序中表达它？在Haskell中，函子是在其上可以map over的东西。稍微有一点函数式编程经验，一定会想到数组（Array)或者列表（List），确实如此。...不过，在我们的例子中，List并不是一个具体的类型，而是一个类型构造子。举个例子，构造List[Int]，也就是把Int提升到List[Int]，记作Int -> List[Int]。

4.2K3 0

Monad

函数identity是一个自函数的特例，它接收什么参数就返回什么参数，所以入参和返回值不仅类型一致，而且值也相同。...澄清了函子的含义，那么如何在程序中表达它？在Haskell中，函子是在其上可以map over的东西。稍微有一点函数式编程经验，一定会想到数组（Array)或者列表（List），确实如此。...不过，在我们的例子中，List并不是一个具体的类型，而是一个类型构造子。举个例子，构造List[Int]，也就是把Int提升到List[Int]，记作Int -> List[Int]。...这就表达了元素间的关系也可以映射为另一个范畴元素间关系。所以类型构造器List[T]就是一个函子。理解了函子的概念，接着继续探究什么是自函子。...在Haskell这类的强类型语言中，我们甚至可以组装自己的Tuple Monad。

1.2K5 0

您找到你想要的搜索结果了吗？

是的

没有找到

函子定律

在范畴论中，函子是范畴间的一类态射（这个定义给我的直观感受是函子指的是 fmap 函数……），数学上的概念就不多说了，下面我们来看看 Haskell 中的 Functor。...Haskell 中有一个叫 Functor 的类型类（暂时可以粗略地理解为 OO 语言中的接口），它的定义是这样的： class Functor f where fmap :: (a -> b) -...> f a -> f b Functor 的实例不是一个具体的类型，而是一个类型构造器（暂时理解为类似范型类的东西），譬如 Int、Maybe Int 都是具体类型，而 Maybe 就是个类型构造器。...事实上并不是这样，函子毕竟是一个数学概念，它必须满足函子定律： fmap id = id famp (f . g) = fmap f . fmap g id 是一个原样返回参数的函数(id x = x)...这两条定律可以保证在一个函子值上执行 fmap 只会在它上面映射一个函数——不再做其他事情。

9072 0

当我们谈论Monad的时候（二）

Applicative是对“应用”的抽象，它允许在容器中“存放”一个函数。还是用例子来说明。上一篇文章的最后，我举了一个多参函数的例子。当时我们封装了一个函数liftM2用来处理2参数的函数。...而就是对函数与值都进行模式匹配，在有值的情况下将值应用给函数。对于列表来说，情况可能稍微复杂一点。因为的参数可能是多个函数和多个值。...它的行为就是取第一个参数m a的值，将其应用在第二个参数的函数（这个函数也叫monadic map）。由于这个函数并不是在容器中的，因此>>=的实现比起Applicative要更容易些。...Haskell中的IO函数都会返回一个IO Monad，而上面的代码中，我们并没有对每一条都使用之前的结果。对于部分IO Monad（如putStrLn返回的），我们直接就抛弃了这些返回值。...我们之前实现的List在处理多参数时会遍历所有可能组合（笛卡尔积），而ZipList更贴近使用习惯，它会按照同一个位置的元素来遍历多个列表。

7781 0

深入理解函数式编程（下）

React Hooks的设计是很巧妙的，以useEffect为例：图 43 在函数组件中，useState用来产生状态，在使用useEffect的时候，我们需要挂载这个state到第二个参数，而第一个参数给到的运行函数在...首先，fmap的目的是把数据从一个类型映射到另一个类型，而JavaScript里面的map函数实际上就是这个功能。...实际使用中一个Maybe要么是Just要么是Nothing。因此，这里用Maybe(..)构造可能让我们难以理解。...图 62 你可以想象为Just增加了一个抽象类实现，这个抽象类为：图 63 这个抽象类我们称为“应用函子”，它可以保存一个函数作为内部值，并且使用apply方法可以把这个函数作用到另一个Monad上...我们使用函数式编程的思想，把多个看似不相关的函数进行组合，得到了业务需要的subscribe函数，但同时，上面的任意一个函数都可以被用于其他功能组合。

8953 0

Kotlin版图解Functor、Applicative与Monad

但是 fmap 怎么知道如何应用该函数的呢？究竟什么是 Functor 呢？在 Haskell 中 Functor 是一个类型类。其定义如下： ?...“大人物可以使用具有任意数量参数的函数，”它说。 “装备了 ($) 与 (*) 之后，我可以接受具有任意个数未包装值参数的任意函数。然后我传给它所有已包装的值，而我会得到一个已包装的值出来！...然后把它扔掉，因为在本节中你并不需要！ Monad 增加了一个新的转变。 Functor 将一个函数应用到一个已包装的值上： ?...Monad 是 Haskell 中的另一个类型类。...（Haskell 中的）applicative 是实现了 Applicative 类型类的数据类型。（Haskell 中的）monad 是实现了 Monad 类型类的数据类型。

1.2K2 0

深入理解函数式编程（下）

React Hooks的设计是很巧妙的，以useEffect为例：在函数组件中，useState用来产生状态，在使用useEffect的时候，我们需要挂载这个state到第二个参数，而第一个参数给到的运行函数在...首先，fmap的目的是把数据从一个类型映射到另一个类型，而JavaScript里面的map函数实际上就是这个功能。...**构造可能让我们难以理解。如果非要理解的话，可以理解Maybe为Nothing和Just的抽象类，Just和Nothing构成这个抽象类的两个实现。...你可以想象为Just增加了一个抽象类实现，这个抽象类为：这个抽象类我们称为“应用函子”，它可以保存一个函数作为内部值，并且使用apply方法可以把这个函数作用到另一个Monad上。...我们使用函数式编程的思想，把多个看似不相关的函数进行组合，得到了业务需要的subscribe函数，但同时，上面的任意一个函数都可以被用于其他功能组合。

4441 0

铁定不纯的IO_Haskell笔记5

Haskell提供了do语句块，也是用来隔离不纯的部分的一.I/O action 先看个函数类型： > :t print print :: Show a => a -> IO () print函数接受一个...（与C语言类似），do用来把多个I/O Action合并成一个，返回被合并的最后一个I/O Action。...圈定不纯环境类似于async function，I/O Action只能出现在do语句块中，这一点类似于await P.S.实际上，执行I/O Action有3种方式：绑定给main时，作为入口函数...的场景，mapM第一个参数是输入a输出IO b的函数，第二个参数是[a]，返回IO [b]，返回值类型与sequence一致。...，作用相同： > forM [1, 2, 2] print 1 2 2 [(),(),()] 只是形式上的区别，如果第二个参数传入的函数比较复杂，forM看起来更清楚一些，例如： main = do

1.3K3 0

让Monad来得更猛烈些吧_Haskell笔记11

这样做是为了把一个值包进函数context，使之能够参与函数运算：要让一个函数能够是某个定值的唯一方法就是让他完全忽略他的参数。...>>=从实现上看会生成一个新函数（\ r -> k (f r) r），该函数接受一个参数（r），这个参数会被传递给左侧的monadic value（也是个函数，f），再把返回值（f r）传递给右侧的函数...Function Monad的实际作用：把所有的函数都黏在一起做成一个大的函数，然后把这个函数的参数都喂给全部组成的函数，这有点取出他们未来的值的意味 P.S....P.S.能够从共享环境中读取值，这也是称之为Reader Monad的原因三.State Monad 除日志追踪、共享环境外，还有一类最常见的问题是状态维护然而，有一些领域的问题根本上就是依赖于随着时间而改变的状态...Monad的意义在于，从这些常见场景中抽象出通用模式，以简化操作，比如状态维护、日志收集等都能够通过Monad自动完成单从使用的角度来看，用Monad包一下（没错，就这么简单），就能获得额外的能力，

1.5K4 0

当我们谈论Monad的时候（一）

不过我先打个预防针，本篇文章是站在工程角度的浅显介绍，因此语言可能不甚严谨。 Monad是层数很高的抽象和Runnable一样，Monad是一个功能的抽象。在Java中，我们可以用接口类来描述它。... map(Function f); } 可以看到Functor是一个泛型类，接受一个泛型参数T。...T类型的容器，然后map就把参数的函数f应用到自己的身上，得到一个MyFunctor。...不光如此，有了join函数，我们还可以很简单的构造出flatMap函数。...下一篇文章，我将简单介绍Haskell中的Monad实现与一些有趣的Monad，作为过渡。再下一篇，我将从理论角度（主要是范畴论）介绍Monad。

4011 0

编程语言：类型系统的本质

例如，T或Box>有一个类型参数T，后者又有一个类型参数U。正如高阶函数是接受其他函数作为实参的函数，高阶类型是接受其他种类作为实参的种类（参数化的类型构造函数）。...类型构造函数在类型系统中，我们可以认为类型构造函数是返回类型的一个函数。我们不需要自己实现类型构造函数，因为这是类型系统在内部看待类型的方式。每个类型都有一个构造函数。一些构造函数很简单。...泛型类型，如T[]，需要一个实际的类型参数来生成一个具体类型。其类型构造函数为(T) -> [T[] type]。...封装允许隐藏数据和方法，而继承则使用额外的数据和代码扩展一个类型。封装出现在多个层次，例如，服务将其API公开为接口，模块导出其接口并隐藏实现细节，类只公开公有成员，等等。...那么 1 就是单位元（乘法单位元） Ok，我们已经了解了所有应该掌握的专业术语，那就简单串解一下这段解释吧：一个自函子范畴上的幺半群，可以理解为：在一个满足结合律和单位元规则的集合中，存在一个映射关系

2.6K3 1

Heskell与函数式编程

导语 :这个系列打算分为三部分，由浅入深地介绍所谓的函数式编程 1）Haskell入门 2）Monad介绍 3）函数式编程的思想 Haskell简介 Haskell诞生于1990年，是一门纯函数式编程语言...函数式编程和命令式编程有本质上的区别，命令式编程是基于冯诺依曼体系的抽象，通俗点来说就是像电脑运作般思考，而函数式编程更多是数学抽象上函数的概念，也就是输入和输出的映射关系。...从这里可以看到，Haskell的基本处理单位是函数（函数是一等公民），一个函数可以成为另外一个函数的输入，函数和数学范畴的映射是一样的。...( a -> a ) -> a ，最后一个参数输出，前面两个a是入参，用文字来描述就是：输入两个Ord类族的参数，输出一个Ord类族的输出。...用文字来表述：入参是（Ord , Ord , (Eq , Fractional) ）类族的三个参数，出参是一个Boolean值，其中z具有Eq和Fractional两个特性，Eq的作用是能够做==比较

7997 0

learn-haskell

引言 Haskell不同于Scala，是一门纯函数式语言，它强制使用者使用函数式语法而没有妥协。是一门强类型定义的静态类型语言。...你也能在Haskell中发现Clojure风格的惰性求值（lazyevaluation）以及与Clojure和Erlang相同的列表推导语法。...无副作用，通过monad概念保存状态：一个Haskell函数可以返回一个有副作用并且会被延迟执行的结果....，拆分成多个只有一个参数的函数 Prelude> double x = x * x double :: Num a => a -> a Prelude> let prod x y = x * y prod...非面向对象的类概念，它不涉及数据，可以精细控制重载和多态。

1.1K3 0

【单子】说白了不过就是【自函子范畴】上的一个【幺半群】而已？请说人话！！

，被 Monad 函数包裹住含副作用的函数，根本就和纯函数是一样一样的，因为：你无法知道一间黑色的房间里面有没有一只黑色的猫；在编程开发中，尤其是多人协作中，一个数据要经过各种计算、加入各种逻辑...（函子）和业务输出（链式操作）剥离开来，会让这个“转述”过程更准确、清晰； wiki 中 Monad 没错，上一小节中的 Monad 只说了它的应用示例，此小 bar 来看看它在 wiki 中的【超干】...可以直接这样理解：Monad 是一种特殊的数据结构，它能把值进行包装，然后链接执行；王垠在《对函数式语言的误解》中准确了描述了 Monad 本质： Monad 本质是使用类型系统的“重载”（overloading...阶段小结函数式编程中，处处都是惰性思维的体现； Monad 也是惰性计算的实践之一；至于标题中的这句话：【单子】说白了不过就是【自函子范畴】上的一个【幺半群】而已？...推荐阅读函数式语言的宗教图解 Monad JS 中 Monad 学习函数式编程 Monad monadic.ts 如何解释 Haskell 中的单子（Monad）

9982 0

Monad_Haskell笔记10

P.S.关于computation context的详细信息，见Functor与Applicative_Haskell笔记7 用来解决context相关计算中的另一个场景：怎样把一个具有context的函数应用到具有...context的值 (>>=) :: (Monad m) => m a -> (a -> m b) -> m b 如果你有一个具有context的值m a，你能如何把他丢进一个只接受普通值a的函数中，并回传一个具有...也就是说，你如何套用一个型态为a -> m b的函数至m a？用来解决context相关计算中的最后一个场景：怎样把一个输入普通值输出具有context的值的函数，应用到具有context的值？...可以返回一个数组（或者结构体、链表等都行），把多个值组织到一起（放进一个数据结构），打包返回如果一个函数返回个数组，就不确定他返回了多少个结果，这就是所谓的不确定的环境从List的Monad实现来看... b -> a const x _ = x 作用是丢弃第一个参数中的值

7085 0

如何更优雅的使用 Java 8 函数式编程？

Java8中的Stream和Optional给我们带来了函数式编程的乐趣，但Java仍然缺少很多函数编程的关键特性。 Lambda表达式、Optional和Stream只是函数式编程的冰山一角。...这也导致了varvr和functionlajava这些类库的出现，他们都源于Haskell这个纯函数式编程语言。...如果想要更加地“函数式”编程，那么首先要注意的是不要过早的中断monad(一种设计模式，表示将一个运算过程通过函数拆解成互相连接的多个步骤。...、一个Optional结果的函数，使得被提升的函数具有Optional的一个特性：如果一个参数是空的，那么结果就是空的。...如果JDK抽取flatMap和map到一个公共接口，如Monad，那么我们可以为Java Monad的每一个实例(Stream、Lambda、自己的实现类)实现一个公共的提升函数。

1.3K2 0

实现TypeScript运行时类型检查

Parser的返回值.这个类型转换具有通用性, 是函数式编程中的一个重要抽象, 在本节中会化一些篇幅对其推导, 最终将改抽象对应到Haskell 的sequenceA函数.为了Either[...(t a)这段类型签名中的Applicative f =>是Haskell 中的类型约束, 在余下篇幅中会对其重点讲解, 可以暂时对其忽略.即, Haskell 已经有我们所需要的类型转行的抽象, 函数名为...class.如代码示例所示, ap可以通过Monad.chain实现, 那么其意义是什么?...答案是Monad是比Applicative更加"强大", 但也更加严格的约束.一个函数, 对其依赖的类型拥有更加宽松的类型约束, 其使用场景也会更加广泛, 例如:type Move = (o: Animal...能够对一系列上下文进行串联并且收集其中的值.Monad在Applicative的基础上, 能够基于一个上下文中的值, 灵活地创建另外一个包裹在上下文中的值. -- stackoverflow上的回答在Promise.all

2.4K3 0

不可变的状态

计算机的「函数」则不一定，在大多数编程语言中，一个函数除了能接收参数并返回一个值之外，它还能有副作用，例如，它可以修改变量，可以在屏幕上打印字符串，可以读写文件等等，这些操作使得我们无法通过输入内容直接确定输出结果...在编程上，我们只需要知道如果一个参数化类型 M 上定义了如下两个操作： unit : A => M[A] bind : M[A] => (A => M[B]) => M[B] 并且这两个操作满足「Monad...从上面的定义可以大致看出 unit 是一个 Monad 的构造器，对于 M 类型的 Monad 而言，如果将 unit 应用于一个 T 类型的值，那么它将构造一个 M[T] 类型的值。...只不过 IO 所管理的状态不是一个变量而是程序与整个世界之间交互的所有 IO 操作。在 Haskell 中，IO Monad 是一个基础的 Monad 6。...而在这样的环境下，Haskell 产生输入输出这样的副作用的方式就是使用 IO Monad。

9712 0

学习函数式编程 Monad

Monad 定义 Monad 使用场景 Monad 一句话解释 Monad 定义根据维基百科的定义，Monad 由以下三个部分组成：一个类型构造函数（M），可以构建出一元类型 M。...Monad 构造函数中 unit(value) { this.value = value; } // bind，把值转换成一个新的 Monad bind(fn) { return...Ok，我们已经明白了 Monad 的内部结构，接下来，我们再看一下 Monad 的使用场景。 Monad 使用场景通过 Monad 的规则，衍生出了许多使用场景。组装多个函数，实现链式操作。...那么 1 就是单位元（乘法单位元） Ok，我们已经了解了所有应该掌握的专业术语，那就简单串解一下这段解释吧：一个自函子范畴上的幺半群，可以理解为，在一个满足结合律和单位元规则的集合中，存在一个映射关系...，这个映射关系可以把集合中的元素映射成当前集合自身的元素。

7022 0

你觉得“惰性求值”在 JS 中会怎么实现？

接上一篇《听君一席话，如听一席话，解释解释“惰性求值”~》，有掘友问：“我懂惰性求值的意思了，但是在 JS 中如何实现 thunk 的呢？”...它指的是在计算的过程中，一些函数的参数或者一些结果通过一段程序来代表，这被称为 thunk。...可以简单地把 thunk 看做是一个未求得完全结果的表达式与求得该表达式结果所需要的环境变量组成的函数，这个表达式与环境变量形成了一个无参数的闭包（parameterless closure），所以 thunk...以实现 take 方法为例：在 Haskell 中，take 函数可以从头连续地取得一个列表的几个元素； Prelude> take 3 [1,2,3,4,5] [1,2,3] JS 模拟实现 take...—— Jake Archibald 再回看 wiki 上关于闭包的这句解释：闭包的用途：因为闭包只有在被调用时才执行操作（暂且不论用于生成这个闭包对象本身的开销，比如 C++ 中按值捕获意味着执行复制构造函数

1.4K2 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭