Haskell中的“ let”和“ in”是什么意思？

问题描述

我觉得这看似简单和重要的事情对我来说完全是个谜。 “让”表达是什么意思？我已经尝试过使用google，但是结果充满了我不理解的概念。

这是我在一次演讲中编写的一些代码。它标识给定的字符串是否是回文。我不太明白return关键字在哪里。是“中”吗？此功能的范围是什么？我很茫然。

// app.module.ts

import { Module,MiddlewareConsumer,RequestMethod } from '@nestjs/common';
import { AppController } from './app.controller';
import { AppMiddleware } from './app.middleware';

@Module({
  imports: [],controllers: [AppController],providers: [],})
export class AppModule {
  configure(consumer: MiddlewareConsumer) {
    consumer
      .apply(AppMiddleware)
      .forRoutes({ path: '*',method: RequestMethod.ALL }); // apply on all routes
  }
}

当在“放任”之后出现时，“在……中”是什么意思？

我来自学习C＃，而函数编程对我来说是未知的。

谢谢。

解决方法

使用let块可以创建局部变量。通用格式为

let
  var1 = expression
  var2 = another expression
  var3 = stuff
in
  result expression

其结果是result expression的全部内容，但是您可以在var1（和{{1}内部）中使用var2，var3和result expression }，expression和another expression）。您可以将stuff和let视为要定义的一堆局部变量的方括号。是的，in之后的内容就是您要返回的内容。

让我们看一个使用IO的示例，因为它更像是您习惯的命令式语言：

main :: IO ()
main = do
   let n = 37
   print n

应该很容易，对吧？ let n = 37引入了一个名为n的局部变量，并为其赋予了值37。然后可以像使用任何全局定义一样使用该变量。这基本上与C＃中的var n = 37;或int n = 37;相同。

但是Haskell不是强制性语言，所以看起来“先做然后做那个”实际上只是纯语法语法。在此示例中，do阻止了看起来很相似的内容：

main = let n = 37
       in print n

区别和优点是，该变量不会在某些时候引入，这意味着您需要注意执行操作的确切顺序，但是而是将其引入具体的 scope 中。绑定变量let的范围包括in之后的所有内容，以及let块本身中的所有内容，这意味着您也可以拥有

main = let m = n + 2
           n = 37
       in print m

（请注意“反向控制流”）或递归定义

main = let l = 1 : m
           m = 2 : l
       in print $ take 15 l

（后者将打印[1,2,1,1]）

functional-programming haskell haskell let