Haskell - Bind函数定义参数 - 腾讯云开发者社区

文章/答案/技术大牛

发布

1回答

Haskell - Bind函数定义参数

haskell、functional-programming

我试图用Haskell编写一个测试函数来打乱定义和返回函数以保持状态的想法。(y-2) newres newres2 k = newres k 这里我的问题是，我希望newres2定义中的y参数绑定到aux定义中的y。我希望我的新定义具有y的确切值，并且模式与它在运行时定义时的特定值相匹配。这有可能吗？

浏览 16提问于2019-12-21得票数 1

回答已采纳

3回答

Haskell Monad绑定算子混淆

haskell、monads、composition、currying、function-composition

好吧，所以我不是一个Haskell程序员，但是我对Haskell背后的许多想法非常感兴趣，并且正在研究学习它。但我被困在了第一步:我似乎不能把头绕在单子上，这似乎是相当基本的。它的第一个参数是一个一元类型的值，第二个参数是从第一个参数的底层类型映射到另一个一元类型的函数，其结果是另一个一元类型。好的，在我引用的那篇文章中，bind是一个函数，只需要一个论点。A Monad由两个相互关联的函数组成: bind和un

浏览 5提问于2011-11-02得票数 39

回答已采纳

2回答

Haskell“理解”了函数定义吗？

haskell

在Haskell函数中，总是采用一个参数。多个参数通过实现。在这种情况下，我可以看到如何将两个参数的函数定义为"func1“。它是一个函数，它返回一个函数(闭包)，它将外部函数的单个参数添加到返回函数的单个参数中。然而，虽然这是咖喱函数的工作方式，但这并不是定义两个参数函数的常规<

浏览 6提问于2017-11-06得票数 3

2回答

haskell中用户定义的高阶函数

haskell

我看了几个Haskell学习示例，但我不知道如何在Haskell中编写用户定义的高阶函数如果我们将一个参数作为函数，那么函数的类型id是如何定义的？

浏览 0提问于2011-05-30得票数 3

回答已采纳

4回答

为什么Monad的bind()方法必须返回func，然后返回Monad？

javascript、functional-programming

谁能告诉我map/fmap (由函子定义)和flatMap/bind/lift (由Monad定义)在中的区别吗？前者接受一个函数并返回Monad，后者接受一个函数并返回一个函数，然后该函数也返回Monad。问题是，为什么后者需要采取额外的步骤，以返回Monad？console.log('Created a wrapped value ' + val); } /&

浏览 0提问于2015-10-23得票数 2

回答已采纳

5回答

对于单子，可以用绑定来定义联接吗？

haskell、monads

在Haskell中，monads是根据函数返回和绑定来定义的，其中返回类型为a -> m a，而bind具有m a -> (a -> m b) -> m b类型。在此之前已经指出过，其中join是一个具有m (m a) -> m a类型的函数。绑定可以用联接来定义，但反向可能吗？可以用绑定来定义联接吗？如果这是不可能的，为什么Haskell和许多其他的monad实现要用bind来定义它们

浏览 7提问于2015-12-21得票数 14

回答已采纳

1回答

重新定义单列表实例

haskell

我试图使用newtype重新定义monad列表实例，以创建一个包装的列表类型，这样就完全可以这样做了，因为似乎无法覆盖Prelude定义。concat $ map f m return x = MyList [x]作为Haskell的初学者，我不知道如何为实例定义>>=操作符，使用我的函数来定义bind。myReturn和myBi

浏览 2提问于2014-12-03得票数 1

回答已采纳

1回答

fmap的一元“版本”的名称是什么？

haskell、monads、functor

(其中fun[i]是按顺序应用的i‘s函数)。这种函数顺序也是在haskell一元绑定中找到的。fun1 >>= fun2 >>= fun3。但在haskell的其他情况下，函数的顺序更多地是数学‘y，例如fun3 . fun2 . fun1，或者函数设置为fmap fun3 . fmap fun2 . fmap fun1。我很清楚，在这两个例子中，函数有不同的特征，但令我困惑的是，它的结构仍然是颠倒的。我的解决办法是有时定义一

浏览 3提问于2017-08-19得票数 3

回答已采纳

1回答

Monads和SML模块

monads、sml

type 'a mappable = 'a listend 真的只是有一个用fmap做事情的函数以下代码不起作用 let val b = MAPPABLE.fmap f x end fun mapToPair f x =

浏览 0提问于2018-02-26得票数 2

2回答

Haskell函数接受两个参数，但在定义中没有

function、haskell、parameters、pointfree

我对Haskell很陌生，我正在努力理解一个在Haskell (抽搐脚趾)中创建的游戏。我知道，如果函数接受n个参数，那么必须在函数定义中提供n个参数。示例：f a b = "This function makes no sense" 然而，在这个Haskell脚本中，有一个函数接受两个参数，但在定义中却没有de

浏览 6提问于2016-05-16得票数 1

回答已采纳

1回答

JS Monad单元函数

javascript、functional-programming、monads

我很难理解JavaScript中的单元函数。特别是因为让我“获取”monads (或者至少是我认为)的东西是承诺对象，以及then总是如何返回一个新的承诺，而不管您传递给then的函数是什么，据我所知，这相当于haskell中的bind或>>=。在他的实现中，bind直接返回转换函数的结果，而不检查结果本身是否是单变量。这与returns的then方法相冲突，因为then总是返回新的承诺。其中一个想法是举升法。== bind和这个承诺在某个地方有一个内部约

浏览 3提问于2016-03-19得票数 16

1回答

有两种状态变量类型(in和out)的状态monad仍然是monad吗？

monads、state-monad、category-theory

Haskell的state State s a迫使我在整个do块中保持相同类型的s。但是既然state实际上只是一个函数，那么如果我将它定义为State i o a = State (i -> (o, a))呢？return和bind函数看起来与标准状态monad中的完全相同，但是随着类型的改变：bind :: (State i o a) -> (a-> (State o o' b)) ->

浏览 2提问于2015-09-03得票数 5

回答已采纳

2回答

返回其参数的位置扩展版本的函数是否有名称？

higher-order-functions、splat

+ b list2 = [4, 5, 6]在n个压缩序列上映射一个n元函数似乎是一个很常见的操作有没有人知道这是不是一个“众所周知”的函数？在讨论它的时候，我现在被问题标题中使用的笨拙的语言所困扰。哇，Python的map会自动做到这一点。你可以这样写：而且它会做正确的事情，省去了splatter函数的麻烦。唯一的区别是zip返回的列表的长度是其最短参

浏览 2提问于2012-02-25得票数 1

回答已采纳

3回答

为什么使用外部作用域中定义的函数不会破坏引用透明性？

haskell、referential-transparency

我正在学习Haskell。如果我理解正确的话，Haskell中的一个简单函数总是引用透明的。我认为这意味着它的输出只依赖于传递给它的参数。但是函数f可以调用在外部作用域中定义的另一个函数g。因此，从这个意义上说，f的返回值取决于g的定义。并且函数g不会作为参数传递给f --至少不会显式传递。这不会破坏引用透明性吗？

浏览 8提问于2012-10-04得票数 3

回答已采纳

1回答

空的Haskell用法

haskell、null、keyword

我正在通过Real World Haskell阅读，在我的拷贝中，在第59页，它说： mySecond xs = if null (tail xs) else head (tail xs) 现在，我

浏览 4提问于2014-10-11得票数 2

回答已采纳

1回答

支持Elm中的功能模式匹配

functional-programming、pattern-matching、elm

在Elm中，是否有一种方法可以将函数的参数与多个定义(如Haskell中的)匹配？Haskell的例子：factorial 0 = 1 factorial n = n * factorial (n - 1)

浏览 2提问于2016-05-31得票数 5

回答已采纳

2回答

诡异的haskell函数，不知何故知道你的输入

haskell

sumListV3如何实现函数？myFoldr需要3个参数:函数、大小写num和列表。然而，它以某种方式知道列表(基于您的输入)，即使它从未在内部代码中指定。

浏览 0提问于2017-04-18得票数 1

2回答

结合结果使用bind和Kliesli复合算子

f#、monads

我试图用基本的>>=类型使用bind (>=>)和Kleisli组合(>=>)操作符，但它们要么没有定义，要么不在作用域中： if x%2 = 0 then Ok (x/2)let main _ = printfn "%A" (ff' 28) Error FS0043期待一个支持操作符'>>=‘的类型，但给定一个函数类型您可能缺少一个

浏览 9提问于2021-12-10得票数 1

回答已采纳

1回答

Haskell型约束

haskell、typeclass

我在和haskell类型的系统做斗争。基本上，我想要做的是定义一个数据结构(代码示例中的cf数据类型)，它表示一个monad (可能是其他东西)。此类型由a参数化，并且对其没有任何约束。我的问题是，当我想回顾这种类型时，可能需要对类型参数进行一些约束，例如： data Ast a wherefor ‘show’: show (Bind x y) = "bind " ++ sho

浏览 1提问于2016-01-01得票数 3

2回答

理解高阶函数类型声明

haskell、type-declaration

在Haskell的导论中，“学习Haskell for Great Good”，作者定义了一个函数，applyTwice，它两次将函数f应用到参数x中，以说明函数范例的核心是高阶功能。applyTwice :: (a -> a) -> a -> a 到目前为止，我发现Haskell的类型声明很清楚，但是这个特殊的例子让我感到困惑。作者指出这个构造“表示第一个参数是

浏览 3提问于2015-11-25得票数 1

回答已采纳

点击加载更多