Haskell 程序的基本结构

Question

我浏览过的许多 Haskell 教程几乎完全集中在语法上，很少涉及如何构建程序。

例如...

以下是 C++ 应用程序的简要概述：

#include <iostream>
using namespace std;

int addition (int a, int b)
{
  int r;
  r=a+b;
  return (r);
}

int main ()
{
  int z;
  z = addition (5,3);
  cout << "The result is " << z;
  return 0;
}

当我第一次开始学习 C++ 时，此类示例极大地帮助我学习如何将各个部分组装成工作程序。也许我找错了地方，但我还没有找到任何对 Haskell 来说如此直接和简单的例子。

我已经了解很多 Haskell 语法。我可以编写递归列表推导式，操作字符串、整数，并列出 wazoo。

简而言之：我只想知道 Haskell 中的两个子例程和变量传递是什么样的。如果我能对如何构建 Haskell 程序有一些基本的了解，我最终可能能够将我学到的所有语法派上用场。

Answer 1

Haskell 程序的结构出奇的简单。您有一个执行 IO 操作的 main 函数，仅此而已。基础知识：

module Main where

addition a b = a + b

main :: IO ()
main = do let z = addition 5 3
          putStrLn $ "The result is: " ++ show z

现在您可以使用类似以下内容将其编译为一个简单的程序：

ghc --make Main.hs -o program

并且它应该生成一个名为program的可执行文件。

一般来说，程序的结构主要是进行实际计算的纯函数以及处理 IO 的代码的离散部分。 （当然也有例外，但是编写尽可能多的纯代码的总体思想是相当普遍的。）

由于几乎所有内容都表示为一堆纯函数，因此您不会在它们之间传递变量 - 函数进行通信通过传递参数。

执行 IO 的代码部分固定在 main 中。在大多数情况下，所有 IO 都会通过 main；即使你单独编写IO操作并给它们命名，它们最终也会从main开始执行。

Haskell 中的“函数组”称为“模块”。您可以有多个模块，每个模块都在自己的文件中：

module Blarg (exportedFunction) where

helper a b = ... -- this will *not* be exported
exportedFunction a b = helper a b -- this *will* be exported

只有括号中的标识符才会真正被导出；其余的都是隐藏的。如果您根本不包含括号，则默认情况下将导出所有内容。

将此文件另存为 Blarg.hs。现在您可以在 Main 中导入它：

import Blarg

对函数进行分组的另一种有用方法是 where：

complicatedFunction a b c = helper 0
  where helper count = ...

这样 helper 仅在 complicatedFunction 的范围内 并且还可以从 complicatedFunction 访问 a、b 和 c。