Haskell:Where vs. Let
Haskell是一种函数式编程语言，它具有强大的静态类型系统和高度抽象的编程模型。在Haskell中，我们可以使用"where"和"let"关键字来定义局部变量和函数。
- Where: "where"关键字用于在函数定义的末尾引入局部变量或函数定义。它的语法如下：function x = expression where variable1 = value1 variable2 = value2 ... function1 arg1 = expression1 function2 arg2 = expression2 ...其中，"variable1"和"variable2"是局部变量的名称，"value1"和"value2"是它们的值。"function1"和"function2"是局部函数的名称，"arg1"和"arg2"是它们的参数，"expression1"和"expression2"是它们的定义。
"where"的优势：
- 可以将复杂的表达式分解为更小的部分，提高代码的可读性和可维护性。
- 可以避免重复计算，将计算结果存储在局部变量中，提高性能。
- 可以在函数定义的末尾集中管理局部变量和函数，使代码更加清晰。
"where"的应用场景：
- 在函数中使用局部变量或函数时，可以使用"where"来定义它们，以提高代码的可读性。
- 当需要在多个模式匹配中使用相同的局部变量时，可以使用"where"来定义它们，以避免重复计算。
腾讯云相关产品和产品介绍链接地址：
腾讯云提供了多种云计算产品和服务，包括计算、存储、数据库、人工智能等。以下是一些与Haskell开发相关的腾讯云产品：
- 云服务器（CVM）：提供了弹性、安全、可靠的云服务器实例，可用于部署和运行Haskell应用程序。详情请参考：云服务器产品介绍
- 云函数（SCF）：提供了无服务器的函数计算服务，可用于按需运行Haskell函数。详情请参考：云函数产品介绍
- 云数据库MySQL版（CMYSQL）：提供了高性能、可扩展的云数据库服务，可用于存储和管理Haskell应用程序的数据。详情请参考：云数据库MySQL版产品介绍
- 人工智能机器学习平台（AI Lab）：提供了丰富的人工智能开发工具和服务，可用于构建和训练Haskell中的机器学习模型。详情请参考：人工智能机器学习平台产品介绍
请注意，以上仅为腾讯云提供的一些相关产品，其他云计算品牌商也提供类似的产品和服务。
相关·内容
3回答
我已经用Visual Studio Code编写了我的第一个Haskell代码。我想实现列表的列表，所以我从简单列表开始。 module Main where
import System.Environment
import Data.List
import Data.Ord
main :: IO ()
main = do
let lostNumbers = [4,8,15,16,23,42] 当我尝试启动我的程序时，我得到： ? 如何在Haskell中声明列表列表？或者至少只是一个简单的列表？ 编辑:我已经找到了讨论在哪里寻找Haskell教程的主题：Getting
浏览 26提问于2021-03-28得票数 0
回答已采纳
1回答
快速计时器滞后
、、、
我知道Timer不能保证按您要求的速度运行。然而，我刚刚开始了一个全新的项目：
class ViewController: NSViewController {
var timer = Timer()
var count: Double = 0.0
var timeStamp: Date = Date()
override func viewDidLoad() {
super.viewDidLoad()
self.timer = Timer.scheduledTimer(timeInterval: 0.1,
浏览 1提问于2020-06-18得票数 0
回答已采纳
这不是在Haskell的fpcenter中定义函数的正确方法吗？：
-- | Main entry point to the application.
module Main where
-- | The main entry point.
main :: IO ()
main = do
putStrLn "Welcome to FP Haskell Center!"
putStrLn "Have a good day!"
let exp x n | n == 0 = 1
| n == 0 = 1
| n == 1 = x
| eve
浏览 1提问于2014-12-19得票数 0
回答已采纳
这是来自Odin项目的岩石，纸，剪刀任务。当我运行代码时，playerSelection和computerSelection变量是未定义的。为什么即使我定义了这些变量，它也会显示未定义的变量？
let playerScore = 0;
let computerScore = 0;
let playerSelection = 'scissors';
const choices = ['rock', 'paper', 'scissors'];
function computerPlay() {
let computer
浏览 5提问于2022-05-08得票数 0
回答已采纳
4回答
我可以在其他表达式中使用let。
foo n = (let a = True in (\x -> a)) 3
foo' n | n == 1 = let a = True in a
| n /= 1 = False
但我不能对where做同样的事
foo n = ((\x -> a) where a = True) 3
foo' n | n == 1 = a where a = True
| n /= 1 = False
1:20:分析输入‘`where’的错误
在haskell真的不可能，还是我的错？
浏览 3提问于2012-10-09得票数 4
回答已采纳
2回答
在编程方面，我是个新手，刚开始学习Swift。您的帮助将感谢以下数组的概念，我正在努力解决。
如何缩短下面的代码，以减少If语句的数量。因此，当选择"battlename = name“索引时，语句会自动在同一索引级别上选择相应的怪物，而不必使用那么多If语句。
希望我说得通。
var names = ["Lancelot", "Arthur", "Gawain", "Galahad"]
var monsters = ["Dragon", "Boar", "Giant", &
浏览 0提问于2016-03-17得票数 3
回答已采纳
3回答
我需要替换字符串中的多个缩写。
其结果应是：
One DUMMY_0 two DUMMY_0 three DUMMY_0 four profession
我做错了什么？
const abbr = ['vs.', 'p.o.'];
let str = 'One vs. two vs. three vs. four profession';
abbr.forEach((ab, index) => {
const regex = new RegExp('\b' + ab + '\b', 'g
浏览 10提问于2016-10-07得票数 0
回答已采纳
2回答
我两天前才开始使用Haskell，所以我还不确定如何优化我的代码。
作为练习，我重写了foldl和foldr (我将在这里提供foldl，但foldr是相同的，用head替换last，用tail替换init )。
代码是：
module Main where
myFoldl :: ( a -> ( b -> a ) ) -> a -> ( [b] -> a )
myFoldl func = ( \x -> (\theList
-> if (length theList == 0) then
x
浏览 0提问于2012-06-22得票数 7
回答已采纳
我只是在学习方案，但我希望能够少重复一些。
有没有一种方法可以在局部作用域中为子表达式指定名称？
根据评论：
Haskell where子句
x = s * t
where s = 10
t = 20
在这种情况下，x应该是200。
浏览 0提问于2009-09-20得票数 4
回答已采纳
我只是想看看WinGHCi是否适用于Haskell编程，但我不知道为什么会显示上面的错误。 我不知道这是否是在Haskell上工作的正确应用程序，如果您知道另一个可以实际工作的应用程序，我将不胜感激。 f (x:xs) = f ys ++ [x] ++ f zs
where
ys = [a | a ← xs, a ≤ x]
zs = [b | b ← xs, b > x] <interactive>:21:20: error:
parse error on input ‘=’
Perhaps you need a 'let' in a
浏览 158提问于2019-09-06得票数 0
我是Haskell的新手。我想问，我怎么做这样的事情：
where b = goo(a) a = foo()
提前谢谢。
浏览 30提问于2016-10-29得票数 -4
回答已采纳
1回答
我一直在和Haskell一起阅读思考功能来学习Haskell，我偶然发现了这一点。书中说，A where子句不限定表达式，而是定义的整个右手边。我不太明白这意味着什么。
浏览 2提问于2019-12-23得票数 0
2回答
Haskell似乎对我的主要功能中的空格非常挑剔。
下面的内容编译得很好
module Main where
import System.Environment
main :: IO()
main = do args <- getArgs
putStrLn ("Hello, " ++ args !! 0)
但是下面两个程序给出了一个解析错误
module Main where
import System.Environment
main :: IO()
main = do args <- getArgs
putStrLn
浏览 2提问于2014-05-16得票数 0
回答已采纳
我是Haskell的新手。
我有这段代码(我对九十九Haskell问题中的一个练习的解决方案)
data Structure a = Single a | Multiple (a, Int) deriving (Show)
encodeM ::(Eq a)=> [a]->[Structure a]
encodeM l = map(\x -> (let size = length x
--h = head x
in if size>1 then Multiple ( head x, size) else Single
浏览 0提问于2013-06-11得票数 1
这段代码有什么问题？尝试做一个基本的haskell hello world。
module Main
( hello )
where
hello :: [Char] -> [Char]
hello p = "Hello " ++ p ++ "!"
main =
let msg = hello "World"
putStrLn msg
浏览 0提问于2011-10-06得票数 0
回答已采纳
我有以下代码：
parseExpr :: [String] -> (Ast,[String])
parseExpr [] = error "Incorrect"
parseExpr (s:ss) | all isDigit s = (Tall (read s),ss)
| s == "-" = let (e,ss') = parseExpr ss in (Min e,ss')
| s == "+" = (Sum e e',ss'') where
浏览 5提问于2019-10-10得票数 3
回答已采纳
2回答
为什么这些Haskell代码在第9行(t = 1)产生Parse error on input '='？
module Main where
import System.IO
import Data.List.Split
main = do {
flag <- isEOF;
if flag then return 0
else do {
s <- getLine;
t = 1;
print s;
}
}
浏览 5提问于2016-09-08得票数 0
回答已采纳
'[]或':在Haskell代码中意味着什么？一些例子-
data OrderPacket replies where
NoOrders :: OrderPacket '[]
data Elem :: [a] -> a -> * where
EZ :: Elem (x ': xs) x
浏览 5提问于2015-08-03得票数 8
回答已采纳
当Haskell中有一个依赖类型时，如何使用函数中存储在该类型中的值？例如，我希望编写的Haskell程序(不编译，因为min和max类型绑定没有扩展到值级别)：
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
module CharRange (CharRange, ofChar, asChar) where
data CharRange :: Char -> Char -> * where
C :: Char -> CharRange min max
浏览 2提问于2019-10-03得票数 4
回答已采纳
3回答
我发现在Haskell中执行IO时，使用<-运算符赋值的变量仅在它们后面的语句范围内，而不是在where子句中。
例如：
main :: IO()
main = do
s <- getLine
putStr magic
where
magic = doMagic s
这是行不通的，因为s不在范围之内。我做了一些研究来证实这一点，并发现了的文章：
与let表达式中变量在所有定义上的作用域不同，<-定义的变量仅在以下语句中的作用域中。
那么，如何使s可用于where子句？
浏览 3提问于2011-10-17得票数 4
回答已采纳
1回答
我一直在学习Haskell，我做了一些统计函数，可以在Int或Float类型的列表上工作。
这里有两个例子：
mean :: (Real a, Floating b) => [a] -> b
mean xs = realToFrac (sum xs) / genericLength xs
sumOfSquares :: (Real a, Floating b) => [a] -> b
sumOfSquares xs = [(mean xs - realToFrac x) ^^ 2 | x <- xs]
然而，我现在想知道我是否可以通过以不同的方式编写sumOfS
浏览 0提问于2018-01-31得票数 2
1回答
我是一个函数式编程和清洁的新手。我想在空格上拆分一个字符串，就像Haskell中的words函数一样。
words :: String -> [String]
input: "my separated list "
output: ["my","separated","list"]
这是Haskell中的定义：
words :: String -> [String]
words s = case dropWhile {-partain:Char.-}isSpace s of
"&#
浏览 3提问于2014-10-14得票数 1
回答已采纳
由于C++元编程是函数式的:有什么方法可以与任何函数式编程语言(例如，Haskell的)的let或where结构相媲美吗？
我使用的是Boost::MPL，但是对于更长的元函数，我希望有更多的结构。拆分成几个函数很好，但在某些情况下，我更喜欢let/where。
浏览 2提问于2012-06-27得票数 9
回答已采纳
我正在学习Haskell，正在读这本书，Learn You a Haskell for Great Good!
当作者谈到where关键字时，他说：
在命令式编程语言中，可以通过将计算结果存储在变量中来解决这个问题。在本节中，您将了解如何使用Haskell的where关键字存储中间计算的结果，后者提供了类似的功能。
然而，我在模块声明的末尾也看到了where关键字，我怀疑这个场景中的“中间计算”解释，在模块声明的末尾后面的位置是什么意思？
浏览 2提问于2011-09-07得票数 5
回答已采纳
在Haskell，我正在尝试写这样的东西
function x = do
y <- get x
put y
let z = Map.lookup y
case y of
Nothing -> Nothing
Just y -> do... (something)
如果可能的话，我想将"let..case of“块替换为类似于"where..case of”块或"where“块的内容。我怎样才能做到呢？
浏览 7提问于2021-12-19得票数 1
1回答
是否可以使用guards在where是Haskell之后定义函数？
这样做很好：
myMax a b = a + b - myMin a b
where myMin a b = if a < b then a else b
但这是
myMax a b = a + b - myMin a b
where myMin a b
| a < b = a
| otherwise = b
将在ghci中抛出以下错误消息：
parse error (possibly incorrect indentation or mismatched bracket
浏览 1提问于2014-05-02得票数 4
回答已采纳
考虑到以下情况，
module Foo where
main = do
let foo = case 0 of
0 -> 4
return ()
GHC坚持认为我有一个语法错误：
Make.hs:5:5: parse error (possibly incorrect indentation)
为什么？我用了Haskell一段时间了，在我看来是对的。
浏览 0提问于2013-08-02得票数 16
回答已采纳
我编写了一个简单的Haskell程序，它从某个网站获取一些压缩数据，然后解压缩它，但是我总是收到一个错误，上面写着“不正确的标题检查”。
我用D写了同样的程序，效果很好。
现在，我可以在Haskell中获取原始压缩数据，唯一的问题似乎是DecompressParams中的窗口位和缓冲区大小。( Haskell中的DecompressParam不接受负值)
FYI:你可以通过“4750304”程序进行测试。
这是我的Haskell代码
module Main where
import Codec.Compression.Zlib
import Network.HTTP
import Syste
浏览 7提问于2016-02-28得票数 1
回答已采纳
1回答
我对Haskell和阅读很陌生。我不明白Haskell是如何计算这个loop函数的：
newtype Circuit a b = Circuit { unCircuit :: a -> (Circuit a b, b) }
instance ArrowLoop Circuit where
loop (Circuit cir) = Circuit $ \b ->
let (cir', (c,d)) = cir (b,d) -- line (A)
in (loop cir', c)
在line (A)，在初始化之前使用变量d。这
浏览 4提问于2014-07-21得票数 3
回答已采纳
我应该用下面的代码：
f x y z = x^3 - g (x + g (y - g z) + g (z^2))
where g x = 2*x^2 + 10*x + 1
并重写它，不带where (或let)。
他们打算用Lambda函数来编写它(\x ->...)
我正在尝试重用Haskell上的Lambda函数。有什么想法吗？
浏览 2提问于2011-11-20得票数 7
回答已采纳
1回答
压痕错误？
、、
我想我知道如何在Haskell中使用identantion，但是我在这段代码中有一个问题：
module TestTSPGA where
import TSPGA -- in this we have the type used on the second function
import Data.List
main :: IO ()
main = do
contents <- readFile "aaaa.txt"
let s = map words (lines contents)
let ci
浏览 3提问于2017-06-11得票数 0
回答已采纳
2回答
我试图理解以下代码：
def() ->commands
if(deferred_passive_abilities != [],
let [{ability: class passive_ability, creature: class creature}] items = [];
let found = false;
map(deferred_passive_abilities,
if(cmd = null, add(items, [value]), [cmd, set(
浏览 0提问于2018-05-21得票数 2
回答已采纳
我学习Haskell。我的代码：
main = do
args <- getArgs
if length args < 2 then
putStrLn invalidCallingSignature
else
dispatch fileName command commandArgs
where (fileName : command : commandArgs) = args -- But I get an Exception: src3.hs:22:48: Not in scope: `args'
我对最后一行代码的异常感到困惑。
浏览 2提问于2015-01-14得票数 2
回答已采纳
2回答
有人能告诉我这里出了什么问题吗？我不知道错误在哪里。我对haskell很陌生，所以我不知道atm语法的每一条规则。
parseS (s:xs) | all isDigit s = (xs, Lit (read s))
| s == " " = parseS xs
| s == "-" = let (remainder, e) = parseS xs in (remainder, Sub e)
| s == "+" = (xs'', Sum e e') where
浏览 3提问于2017-10-06得票数 2
回答已采纳
Haskell版本(1.03s)：
module Main where
import qualified Data.Text as T
import qualified Data.Text.IO as TIO
import Control.Monad
import Control.Applicative ((<$>))
import Data.Vector.Unboxed (Vector,(!))
import qualified Data.Vector.Unboxed as V
solve :: Vector Int -> Int
solv
浏览 49提问于2016-05-30得票数 51
回答已采纳
我正在编写使用绑定的hspec测试套件，如下所示：
it "should take the x component" $ do
(getX $ coord $ [1,0,2]) `shouldBe` 1
但是，对于更复杂的语句，单行语句的可读性不强，因此我尝试删除where表达式中的变量：
it "should take the x component" $ do
(getX c) `shouldBe` 1
where c = coord $ [1,0,2]
但在Haskell，这却是非法声明。使用let也不会成功。
it "
浏览 4提问于2016-01-26得票数 2
回答已采纳
我一直在阅读软件基础，并解决其中的问题。这是我试图定义的定义之一：
Fixpoint split {X Y : Type} (l : list (X*Y)) : (list X) * (list Y)
基本上它是unzip版本的haskell。
我是这样实现的：
Fixpoint split2 {X Y : Type} (l : list (X*Y)) (g :(list X) * (list Y))
: (list X) * (list Y) :=
match l with
| [] => g
| (x,y)::xs => spl
浏览 4提问于2017-03-20得票数 1
回答已采纳
实际上，我在Scheme中遇到了一个问题。我完全不知道如何解决这个问题。它很容易理解，我猜对于任何Scheme专家来说都很容易。我只需在定义宏"operation“的方案中使用defmac函数模拟haskell的where表达式。例如，执行如下所示的代码
> (operation (+ x y)
where ([x 1]
[y (+ x 32)]))
34
我对使用宏(defmac)表示方案中的简单对象的方法比较熟悉，但现在我真的被这个问题卡住了。
任何帮助或想法都是非常受欢迎的。提前谢谢你。
浏览 4提问于2013-08-23得票数 1
我试图将计算“a”的Adler-32散列的Haskell代码转换为Frege，但得到了6422626而不是300286872。
摘自的Haskell代码
adler32_try2 xs = helper (1,0) xs
where helper (a,b) (x:xs) =
let a' = (a + (ord x .&. 0xff)) `mod` base
b' = (a' + b) `mod` base
in helper (a',b') xs
help
浏览 4提问于2014-10-07得票数 1
回答已采纳
1回答
我试图通过String将Haskell源代码的STG表示形式通过Outputable提取出来，但看起来coreToStgArgs正在使用以下转储：
user@machine ~/Desktop/hue $ runhaskell test.hs
[foo :: forall a. Num a => a -> a
[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType] =
\r srt:SRT:[] [$dNum a1] + $dNum a1 a1;,
bar :: Int -> Int
[GblId,test.hs: test
浏览 3提问于2017-06-24得票数 6
回答已采纳
import Prelude hiding (Either (..))
data Tree a = Empty | Node a (Tree a) (Tree a)
instance Show a => Show (Tree a) where
show t = show ST t
data ShowableTree a = ST Int (Tree a)
instance Show a => Show (ShowableTree a) where
let
indent 0 = ""
indent n = "\t" +
浏览 30提问于2019-03-12得票数 1
回答已采纳
1回答
我对Haskell很陌生，我试图编写简单的函数以适应语法，我想编写自己的函数，将特定元素添加到特定索引的列表中。下面是我在Atom (我的文本编辑器)中所写的内容：
addElem :: a->[a]->Int->[a]
addElem elem list index
| index <= 0 = elem:list
| index < (length list) = a ++ (elem:b) where a = take index list; b = drop index list
| otherwise
浏览 2提问于2017-03-06得票数 4
回答已采纳
我在尝试运行一个简单的Haskell程序。
以下是代码：
{-# LANGUAGE OverloadedStrings #-}
module Lib
( someFunc
) where
import qualified Data.Text.IO as T
someFunc :: IO ()
someFunc = T.putStrLn "someFunc1"
lucky :: (Integral a) => a -> String
lucky 7 = "LUCKY NUMBER SEVEN!"
let a = lucky 7
浏览 3提问于2021-02-26得票数 2
回答已采纳
有没有办法在Scala中强制操作符优先，就像你在Haskell中用$做的那样？
例如，在Haskell中，您具有：
a b c = ((a b) c)
和
a $ b c = a (b c)
在Scala中有没有类似的方法呢？我知道Scala本身没有运算符，但有没有办法达到类似的效果？
浏览 0提问于2011-07-27得票数 20
回答已采纳
我对Haskell非常陌生，我需要返回一个“已修改”输入函数的函数。
我想您不能复制和修改原来的函数(基于某种条件)，所以您必须直接实现自己的行为，然后调用原始函数？
这是我的方法：
switchFirstEgg eggCarton = if eggCarton 1 == 0
then switchedCarton where switchedCarton position = if position == 1 then 2 else eggCarton position
浏览 3提问于2015-04-21得票数 1
回答已采纳
1回答
我的代码：
addConcat :: [Int] -> [Int]
addConcat [x,y] = z:(z + y) where (z = x + y)
我正在实现一个函数，不完全是上面的函数，但是它的格式是相同的，我总是得到：
Syntax error in input (unexpected symbol "y")
那么我的Haskell代码有什么问题？我真的需要用“where”这句话，但我想我做错了什么。
浏览 2提问于2016-04-24得票数 0
回答已采纳
1回答
请检查我的Haskell程序代码GHC说这是第9行输入'\‘的解析错误。我真的不知道如何纠正它。
import System.IO
import Data.Time.Clock
import Random
qsort [] = []
qsort (x:xs) = qsort1 elts_lt_x ++ [x] ++ qsort1 elts_greq_x
where
elts_lt_x = [y | y <- xs, y < x]
浏览 1提问于2014-03-09得票数 2
2回答
我正在编写一个代码生成器，它的输出依赖于存储在类实例中的数据类型字段描述。但是，我找不到如何使用TH生成的参数来运行函数。
{-# LANGUAGE TemplateHaskell, ScopedTypeVariables #-}
module Generator where
import Language.Haskell.TH
import Language.Haskell.TH.Syntax
data Description = Description String [Description] deriving Show
class HasDescription a where
g
浏览 0提问于2012-04-03得票数 9
回答已采纳
1回答
我需要在一个Haskell文件中导出两个模块。现在，我有
module name (important,functions) where
module nameForTesting where
-- the code is here
但是，它给了我这个错误：
filename.hs:5:1: error: parse error on input ‘module’
我该怎么解决这个问题？
浏览 2提问于2019-09-22得票数 1
回答已采纳
1回答
考虑下面的操作Haskell代码：
码A
describeList :: [a] -> String
describeList xs = "The list is " ++ what xs
where what [] = "empty."
what [x] = "a singleton list."
what xs = "a longer list."
这是从取来的片段。现在，假设我们从下面的缩进和非操作Haskell代码开始：
码B
describeList :: [a] -
浏览 2提问于2012-08-18得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
