Haskell多行Lambdas
是指在Haskell编程语言中使用多行语法定义匿名函数（Lambdas）。在Haskell中，Lambdas是一种用于创建匿名函数的特殊语法。
通常情况下，Haskell中的Lambdas是使用单行语法定义的，例如：\x -> x + 1表示一个接受参数x并返回x+1的匿名函数。然而，有时候我们需要编写更复杂的函数逻辑，这时就可以使用多行Lambdas。
多行Lambdas的语法如下：
\x -> do
-- 函数逻辑的第一行
-- 函数逻辑的第二行
-- ...
-- 函数逻辑的最后一行在多行Lambdas中，我们使用do关键字来引入一个代码块，然后在代码块中编写函数的逻辑。代码块中的每一行都是函数逻辑的一部分。
多行Lambdas的优势在于可以更清晰地表达复杂的函数逻辑。通过将逻辑分解为多行，我们可以更好地组织代码，并提高代码的可读性和可维护性。
多行Lambdas在Haskell中的应用场景包括但不限于：
- 复杂的数据转换和处理：当需要对复杂的数据结构进行转换或处理时，多行Lambdas可以帮助我们更清晰地表达逻辑，提高代码的可读性。
- 高阶函数的实现：在函数式编程中，高阶函数是一种常见的概念。多行Lambdas可以用于实现高阶函数，使得函数的逻辑更加清晰。
- 模式匹配和条件逻辑：多行Lambdas可以用于编写包含模式匹配和条件逻辑的函数，使得代码更加灵活和可扩展。
腾讯云提供了丰富的云计算产品，其中与Haskell多行Lambdas相关的产品包括：
- 云函数（Serverless Cloud Function）：腾讯云云函数是一种无服务器计算服务，可以让您以函数的方式编写和运行代码。您可以使用云函数来部署和运行Haskell多行Lambdas，实现灵活的函数逻辑。了解更多信息，请访问：云函数产品介绍
- 云开发（Tencent Cloud Base）：腾讯云云开发是一种集成云端资源和开发工具的一体化开发平台。您可以使用云开发来构建和部署包含Haskell多行Lambdas的应用程序。了解更多信息，请访问：云开发产品介绍
通过使用腾讯云的云计算产品，您可以轻松地部署和运行Haskell多行Lambdas，并享受高性能、高可靠性的云计算服务。
相关·内容
1回答
我试图创建一个简单的例子，做一个并行的评估：
import Control.Parallel.Strategies
main = do
runEval $ do
a <- rpar (\x -> x + 5)
b <- rseq (\x -> x + 15)
return (a, b)
上面写着
Couldn't match expected type `IO t0'
with actual type `(Integer -> Integer, Integer -> Integer
浏览 1提问于2013-10-25得票数 5
回答已采纳
正如Moggi在20年前提出的，像ML这样的语言的有效函数空间->可以分解为标准的总函数空间=>，再加上一个强大的单T来捕获效果。
A -> B分解为A => (T B)
现在，Haskell支持monad，包括一个IO monad，它在ML中显示出足够的效果，并且它有一个包含=> (但也包括部分函数)的函数空间。因此，我们应该能够通过这种分解将大量的ML片段转化为Haskell。理论上我认为这是可行的。
我的问题是这样的嵌入是否可行:是否有可能设计一个Haskell库，允许在离ML不远的地方使用Haskell进行编程？如果是的话，表演会如何？
我对“实用”的标准
浏览 1提问于2010-08-04得票数 17
回答已采纳
刚刚开始使用Haskell，据说Haskell有不可变的变量。那么，为什么每次在GHCi提示符中输入一个表达式时，'it‘变量都会一直改变它的值？
GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help
Prelude> 7*2
14
Prelude> it
14
Prelude> "foo"
"foo"
Prelude> it
"foo"
Prelude>
浏览 1提问于2016-02-21得票数 0
是否有必要将所有输入转换为Haskell中的lambdas？
我只实现了将f转换为\f的map函数。
并且在运行时会发生错误(附在下面)。
map_ xs = \f -> case xs of
[] -> []
y:ys -> (f y):(map f ys)
map_ square [3, 4]
ERROR - Type error in application
*** Expression : map_ square [3,4]
*** Term : [3,4]
*** T
浏览 2提问于2021-06-04得票数 0
回答已采纳
有谁知道如何打印λ而不是在emacs中使用haskell。我知道可以使用haskell-font-lock-symbols，但我发现其余的很难读懂--箭头太小了！
有没有一种简单的方法可以覆盖其余的键？
浏览 3提问于2012-05-06得票数 8
回答已采纳
4回答
我是Haskell的新手，也是函数式编程的新手。在其他(除了Haskell之外)语言中，lambda表单通常非常有用。
例如，在Scheme中：
(define (deriv-approx f)
(lambda (h x)
(/ (- (f (+ x h)
(f x)
h)))
将创建一个闭包(在函数f上)以近似导数(值为x，间隔为h)。然而，这种lambda表单的用法在Haskell中似乎并不是必需的，因为它是部分应用程序：
deriv-approx f h x = ( (f (x + h)) - (f x) ) / h
在Haskell中需要l
浏览 0提问于2011-08-19得票数 8
回答已采纳
正如标题所述，如何在SuperCollider的命令行REPL中进行多行条目？例如，在Haskell中，可以使用:{ and :}打开和关闭ghci中的多行条目。
浏览 0提问于2018-05-14得票数 2
回答已采纳
2回答
我正在努力学习C#，并使用聚合。我可以在Javascript中使用减少问题，但由于某些原因，我无法操作我的代码。
我的最终目标是获取一个字符列表(都是数字)，将它们转换为数字，聚合它们，并返回一个值。不过，就目前而言，我只想让聚合发挥作用。
在进行任何聚合之前，我都会设置它：int[] test = {1,2,3,4,5};
当我有了这个密码：
int result = test.Aggregate ((current, total) => {
current += 1;
current + total;
});
我被告知：“只有赋值、调用、增量、递减和新的对象表达式才能
浏览 3提问于2015-05-29得票数 2
回答已采纳
能否以跨越多行的方式编写Haskell的"let“语句？
let a = " something in this row.
something else in this row "
或者，还有其他方法来创建跨多行的字符串吗？
浏览 7提问于2013-12-29得票数 1
回答已采纳
1回答
类型在运行时前被擦除。
、、、、
我确信，在Haskell中，类型总是在运行前被删除。在Agda的情况下会发生什么？
依赖类型信息是否传递到运行时？
浏览 2提问于2016-04-04得票数 6
回答已采纳
是否可以将一个很长的#! nix-shell -p行分解为多行？
示例：
#!/usr/bin/env nix-shell
#! nix-shell -p "haskell.packages.ghc822.ghcWithPackages (p: with p; [lens text bytestring hspec brick async])"
#! nix-shell -i "runghc"
{-# language OverloadedStrings #-}
import Data.Text
import Co
浏览 19提问于2018-02-02得票数 2
在我看来，Vim对Haskell的语法高亮显示是错误的，或者说是非常错误的。Haskell中的多行注释(以{-开头，以-}结尾)可以任意加绿和取消加绿。有时，在注释代码上拖动鼠标会导致代码反转颜色。
其他人也遇到过这个问题吗？
浏览 4提问于2010-02-06得票数 15
回答已采纳
我将用于多行字符串。
import Language.Haskell.TH
import Language.Haskell.TH.Quote
str = QuasiQuoter { quoteExp = stringE }
我得到以下警告：
Fields of ‘QuasiQuoter’ not initialised: quotePat, quoteType,
quoteDec
In the expression: QuasiQuoter {quoteExp = stringE}
浏览 3提问于2016-08-15得票数 1
5回答
我想知道是否有可能在Python中找到一些与C#多行lambda函数等价的函数。
比方说，我有这样的C#代码：
我想为这个方法编写一些等价的python代码。但据我所知，在python中不可能有多行lambda函数。对于这方面的python等效代码，有什么想法吗？
浏览 2提问于2017-03-22得票数 12
回答已采纳
我正在用Haskell (在Haskell平台上)做一个程序，我知道我得到了格式完美的输入，所以输入可能如下所示
[ ['a'], ['b'], ['c'] ]
我希望Haskell能够将其用作自己的列表。而且，我希望这个列表是多行的，也就是说，我希望这个列表也能工作：
[
['a'],
['b'],
['c']
]
我可以解析这个输入，但有人告诉我有一种方法可以很容易地做到这一点--这应该是赋值的“琐碎”部分，但我不理解它。
浏览 0提问于2010-05-18得票数 2
1回答
我使用Emacs作为主要的Haskell编辑器，因此，我当然使用haskell-mode作为编辑Haskell代码的主要模式。
现在，无论出于什么原因，haskell-indentation都没有为函数参数提供缩进点。
我的意思是Emacs将始终如一地这样做：(□是另一个缩进点)
myFunction = maybe arg1
□ arg2
□ arg3
而不是这样做：
myFunction = maybe arg1
□ □ arg2
□ □ arg3
有时，由于行太长，我需要将函数拆分成多
浏览 1提问于2015-08-15得票数 25
我看到Haskell的多行注释有时会以{- |开头，而不仅仅是{-。
在注释中以竖线字符开头是否意味着什么约定？
浏览 1提问于2013-01-11得票数 35
回答已采纳
2回答
尝试创建Haskell的lambda语法的宏形式，除了最后一个调整/(应该是\，但不能抱怨..)它旁边需要一个空格，有没有办法让我的宏和它的第一个参数之间不需要空格？
例如：
(reduce (/x y -> x y) [1 2 3])
而不是：
(reduce (/ x y -> x y) [1 2 3])
我怀疑这是不可能的，但唯一确定的方法是询问知道的人，那么这个词是什么？
浏览 0提问于2013-05-05得票数 2
回答已采纳
1回答
Scala泛型Monad函数？
、、、、
在scala中，如果我想使用pure(或类似的东西)，我该如何为一种monad编写泛型函数？就像Haskell中的这个签名：
f :: Monad m => a -> m b
问题是，我没有找到通用的pure或return，所以我不能真正将a打包到monad m中。
浏览 3提问于2016-06-21得票数 0
最后，如果有足够的宏观魔法，这是可以做到的.但到目前为止，要比在Clojure之上实现Haskell样式的类型系统要少得多。类型化Clojure可能是这方面的一个很好的模型，但它是显式设计的，这样Clojure的语义就不会受到推断类型的影响。这正是在返回类型多态中发生的情况，所以在类型化Clojure中这显然是不可能的。
我的问题是-，这意味着(Haskell的)语义受推断类型(返回类型多态)的影响是什么？
浏览 3提问于2014-04-25得票数 14
回答已采纳
1回答
在Haskell中，我们可以在终端输入多行代码，方法是将其封装在“:{”和“:}”之间。例如，键入
> :{ main = do
> print("Hello") :}
在ghci中，我们可以调用main。我们怎么才能在utop的Ocaml上做到这一点呢？
浏览 6提问于2021-12-16得票数 -1
回答已采纳
考虑Idris中的以下代码片段：
myList : List Int
myList = [
1,
2,
3
]
结束分隔符]与声明本身位于同一列上。我发现这是一种很自然的方式来格式化长的、多行的列表。
但是，Haskell中的等效代码段无法编译时出现语法错误：
myList :: [Int]
myList = [
1,
2,
3
]
>> main.hs:9:1: error:
>> parse error (possibly incorrect indentation or mismatched brackets)?
>>
浏览 3提问于2021-06-13得票数 2
1回答
我正在尝试使用ELisp语法-表-注释来设置Haskell样式的注释，但是我不能完全得到它。
在Haskell中，有两种基本类型的注释
--表示以\n结尾的单行注释
{-表示以-}结尾的多行注释。请注意，这些注释可以嵌套
多行注释可以这样做：
(defvar my-syntax-table
(let ((st (make-syntax-table)))
(modify-syntax-entry ?{ ". 1n" st)
(modify-syntax-entry ?- ". 23n" st)
(modify-syntax-entry
浏览 28提问于2013-12-23得票数 2
1回答
在学习Yoneda引理的过程中，我在Haskell中遇到了下面的自然同构编码：
forward :: Functor f => (forall r . (a -> r) -> f r) -> f a
forward f = f id
backward :: Functor f => f a -> (forall r. (a -> r) -> f r)
backward x f = fmap f x
我试图将backward的实现简化为flip fmap，但是失败了，因为后者有f a -> (a -> r) -> f r
浏览 7提问于2022-06-09得票数 5
回答已采纳
3回答
我似乎找不到关于haskell的POSIX实现的像样的文档。具体地说就是模块Text.Regex.Posix。
有谁能告诉我在字符串上使用多行匹配的正确方向吗？
一段给好奇的人的片段：
> extractToken body = body =~ "<textarea[^>]*id=\"wpTextbox1\"[^>]*>(.*)</textarea>" :: String
我正在尝试提取维基百科页面的源代码，但是当涉及到多行内容时，这种方法显然会失败。
浏览 0提问于2009-06-22得票数 4
回答已采纳
6回答
我真的很喜欢lambdas，能够在C++中使用它们是一种乐趣。但是，由于我习惯了Haskell，其中的lambda非常适合语法，我正在为如何在C++中使用它们而不编写难以阅读的杂乱的长代码行而苦苦挣扎。
举个例子，假设我这样写：
vector<double> foo(10,0.2);
for_each(foo.begin(), foo.end(), [](double x){ std::cout << x << " ";})
这并不难读，lambda表达式非常小。但是如果我在for_each中有一个两三行长的函数，这可能会成为我的代码阅读技能
浏览 0提问于2011-05-27得票数 8
回答已采纳
1回答
我正在从learnyouahaskell.com学习Haskell，有一个例子是这样的：
search :: (Eq a) => [a] -> [a] -> Bool
search needle haystack =
let nlen = length needle
in foldl (\acc x -
> if take nlen x == needle then True else acc) False (tails haystack)
但是当我用GHC尝试这段代码时，它给了我
error: parse error on input
浏览 13提问于2016-07-30得票数 2
回答已采纳
首先，很抱歉做了典型的“我从哪里开始”的事情，但我完全迷失了方向。
我已经读了'Learn you a haskell for great good‘网站，感觉好像有一年了(差不多半个学期了。我刚刚读完“输入和输出”这一章，我仍然不知道如何编写多行程序。
我见过do语句，并且您只能使用它将IO操作连接到单个函数中，但我不知道如何编写一个实际的应用程序。
谁能给我指个正确的方向。
我有C的背景，基本上这学期我在uni的一个模块中使用了haskell，我想比较一下C++和haskell (在很多方面)。我希望创建一系列的搜索和排序程序，这样我就可以评论他们在各自的语言中是多么容易与他们的速
浏览 1提问于2011-03-06得票数 6
1回答
在Haskell中，我可以在一行上编写多行语句，如
do {x<-[1,2];y<-[3,4];return (x,y)}
但在Purescript中，即使是带大括号的单一语句do-语句也无法编译。有不同的语法来实现这一点吗？
浏览 2提问于2017-09-28得票数 3
回答已采纳
1回答
我正在用Haskell编写一个简单的程序，并具有以下功能：
tryMove board player die = do
let moves = getMoves board player die
putStrLn ("Possible columns to move: " ++ (show $ moves))
if not $ null moves then
let col = getOkInput $ moves
putStrLn " "
return $ step board (getMarker player) col
浏览 1提问于2014-12-15得票数 10
回答已采纳
哈斯克尔·努布来了。我正在使用regex-tdfa (没有特殊原因)来匹配多行代码块(XAML，当然，我知道regexes和解析XML，以及它们的帖子)。
如果我在代码中使用一个简单的正则表达式，如
fileContents =~ "<UserControl.Resources>"
我的档案里有记录。耶。
如果我将正则表达式“升级”到类似于"<UserControl.Resources>.*</UserControl.Resources>"，的东西，那么我就没有命中。因此，我认为我的问题是多行正则表达式，并说服引擎在多条线上进
浏览 2提问于2015-08-21得票数 3
回答已采纳
我正在尝试将我的附加路径列表拆分到fish配置中的多行中：
# Path additions
for i in \
~/Library/Haskell/ghc-7.0.2/lib/gtk2hs-buildtools-0.12.0/bin \
~/Library/Haskell/bin \
/Applications/MacVim.app/Contents/MacOS \
/opt/local/bin \
/usr/local/bin \
/usr/local/git/bin \
/U
浏览 2提问于2011-04-14得票数 6
回答已采纳
我想在参数中运行任意的“代码”，就像Python中的匿名函数一样。如何在一行中做到这一点？Lambdas似乎不起作用，因为它们只接受一个表达式。 def call_func(callback):
callback()
def f():
pkg_set_status(package_name, status)
print('ok')
call_func(f) 更新:添加一些上下文，因为在我看来这个问题并不完全清楚。 我想运行类似于多行lambda或匿名函数的东西。类似于： call_func(lambda:
# my multiline cod
浏览 23提问于2021-04-07得票数 0
1回答
我正在尝试 errorformat for ，它生成以下输出。
ghcide version: 0.0.4 (GHC: 8.6.5)
Ghcide setup tester in /opt/devel/haskell/haskell-vim-now.
Report bugs at https://github.com/digital-asset/ghcide/issues
Step 1/6: Finding files to test in /opt/devel/haskell/haskell-vim-now
Found 1 files
Step 2/6: Looking for hie.
浏览 3提问于2019-11-22得票数 2
回答已采纳
对于如何使用多行lambda表达式对列表进行排序，This question有一个答案： list.sort((o1, o2) -> {
int cmp = o1.getGroup().compareTo(o2.getGroup());
if (cmp == 0)
cmp = Integer.compare(o1.getAge(), o2.getAge());
if (cmp == 0)
cmp = o1.getName().compareTo(o2.getName());
return cmp;
}); 不幸的是，这似
浏览 28提问于2020-04-07得票数 0
是否有可能定义一个简单的相等语法概念(类似于GHC可能自动派生为Haskell 98类型的Eq实例)，而不显式地证明每个数据构造函数是内射的，或者执行类似的操作，例如定义每个构造函数的回缩和使用cong？
换句话说，是否有可能更直接地利用数据构造函数的内射性，而不是每个构造函数引入一个辅助函数？
下面以自然数为例。
module Eq where
open import Function
open import Relation.Binary
open import Relation.Binary.PropositionalEquality
open import R
浏览 3提问于2014-10-10得票数 11
回答已采纳
我目前正在修改Haskell中lambda (\)表达式的章节。只是想知道是否有人能帮我解释一下是怎么做到的：
const :: a → b → a
const x _ = x (this part)
将其定义为：
const :: a → (b → a)
const x = λ_ → x (how did it become like this?)
浏览 6提问于2022-04-19得票数 3
2回答
我希望这个问题适合这个站点，它只是关于Idris与Haskell相比的具体语法的选择，因为两者非常相似。我想这没那么重要，但我很好奇。在Haskell使用=>的某些情况下，Idris使用->。到目前为止，我已经看到Idris只在函数类型中使用->，对于其他事情，比如lambdas和case _ of，只使用=>。这种选择是因为认识到在实践中明确区分这些用例是有用的吗？这只是一个武断的化妆品选择，我想得太多了吗？
浏览 0提问于2018-02-14得票数 6
回答已采纳
1回答
当我试图在GHCi中定义多行函数时，我正在学习Haskell，并不断地获取这些缩进错误。下面是重新定义elem函数的尝试：
λ: :{
| let elem' x xs
| | null xs = False
| | x == head xs = True
| | otherwise = elem' x (tail xs)
| :}
<interactive>:15:5: error:
parse error (possibly incorrect indentation or mismatched brackets)
=符号是否需
浏览 2提问于2017-04-09得票数 0
回答已采纳
2回答
是否可以在包含多行字符串文字的Haskell代码上使用CPP扩展？Haskell还有其他条件编译技术吗？
例如，让我们以以下代码为例：
-- If the next line is uncommented, the program does not compile.
-- {-# LANGUAGE CPP #-}
msg = "Hello\
\ Wor\
\ld!"
main = putStrLn msg
如果我取消注释{-# LANGUAGE CPP #-}，那么GHC会用一个词法错误来反驳这段代码：
[1 of 1] Compiling Main
浏览 1提问于2010-03-30得票数 12
回答已采纳
2回答
在中，我发现第13章的大部分片段必须处理缺乏State构造函数的问题，例如原始的Haskell代码：
randomSt = State random
被改写为：
randomSt = do
gen <- State.get
let (x, newGen) = random gen
State.put newGen
return x
这当然有它自己的说教的优点！但是，我想知道是否有另一种方法来创建State实例。我知道，Frege和Haskell之间的这种差异来自于Frege的State s a模块中的Control.monad.State是一种抽象的数
浏览 5提问于2016-02-10得票数 3
回答已采纳
考虑以下多行字符串S
apple
banana berry
cantelope
我正在尝试编写/定位Haskell函数，我将在本文中调用这些函数，or-match和and-match。下面是一些他们应该做的事情的例子：
or-match S ("apple","berry")
{- should return the two line string:
apple
banana berry
-}
and-match S ("apple", "berry") --should return the empty string, or
浏览 0提问于2016-04-28得票数 0
2回答
GHCi的提示符可以设置如下，在我的.ghci中
:set prompt "λ> "
但是，在多行块中会出现一个不同的提示符，我不知道如何更改它。如果导入太多模块，则完全不可读：
λ> :{
Prelude Control.Arrow Control.Applicative Control.Monad Control.Concurrent Control.Concurrent.Async Control.Parallel Data.String Data.Char Data.List Data.Maybe Data.Monoid Control.Monad.IO.C
浏览 6提问于2014-03-29得票数 17
回答已采纳
我正在使用Shake，调用wget下载一个文件。如果我在命令行上这样做，我会看到一个一行进度条，但是当从Shake调用时，我会看到许多行点。例如：
shake shakeOptions $
action
(cmd "wget http://hackage.haskell.org/packages/index.tar.gz" :: Action ())
我想展示一下单线进度栏。
浏览 2提问于2014-07-27得票数 0
回答已采纳
我想学习C# (.NET 4)的“功能”部分。作为一名长期从事Haskell和Lisp编程的程序员，我不希望因为解释基本概念而分心。有没有我应该看的书/教程？
浏览 2提问于2011-09-27得票数 5
回答已采纳
5回答
我是Haskell编程的新手。现在我正在学习lambda函数和lambda抽象。我想，lambda函数的实践部分是什么。例如，我们有：
map(\x -> x * 2) [1,2,3,4,5]
[2,4,6,8,10]
这个练习部分是什么？我们可以创建normal函数，并在map函数参数中设置它。仅仅是为了减少代码？那么为什么会出现这个抽象概念。代码减少并不是重点。为什么？
谢谢。
浏览 0提问于2011-03-14得票数 1
回答已采纳
我一直在用Haskell做实验。我正在尝试编写一个web爬虫，我需要使用外部curl二进制(由于一些代理设置，curl需要一些特殊的参数，这些参数在haskell代码中似乎是不可能/很难设置的，所以我宁愿将它作为命令行选项传递。但那是另一个故事)
在底部的代码中，如果用curl而不是curl --help更改标记行，则输出将正确呈现并给出：
"curl: try 'curl --help' or 'curl --manual' for more information
"
否则，字符串是空的-因为‘`curl -帮助’响应是多行的。我怀疑在ha
浏览 1提问于2015-04-09得票数 0
回答已采纳
我有一个Haskell函数，它会报告一条很长的错误消息。虽然我可以把这条消息写成一行，但我想把它分成两行或更多行。
foo a b | a > b = a
| a == b = b
| otherwise = error "Blah blah blah blah in this line and
some more blah in this line also."
GHCi不会编译它。有什么建议吗？随便用谷歌搜索一下也没有得到任何答案。
浏览 1提问于2011-09-04得票数 4
回答已采纳
在代码中
toWidget [julius|
$(function() {
foo();
bar();
)
|]
我想评论一下打给bar的电话。但
toWidget [julius|
$(function() {
foo();
/* bar(); */
)
|]
跳过C预处理程序，而Haskell风格的注释，即
toWidget [julius|
$(function() {
foo();
{- bar(); -}
)
|]
进入浏览器。
浏览 4提问于2014-11-25得票数 1
回答已采纳
1回答
我有以下函数签名，并希望实现一个实现它的haskell函数。
method :: (a -> (a -> b)) -> (a -> b)
尽管我尝试了各种方法来做这件事，但我似乎错过了一个起点。我想我也许可以用(>>=)这样的壮举来做到这一点，但我真的不太确定。由于我是haskell的新手，我甚至不太确定如何输出一个函数，而不是像Int或Bool这样的值。
浏览 0提问于2013-06-22得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
