haskell - 如何在 GHCi 中定义数据类型

Question

我正在读“Making Our Own Types and Typeclasses”的一部分，来自“为您学习 Haskell 大有裨益!”。

按照文本我在 GHCi 中编写代码并出现错误。

data Shape = Circle Float Float Float | Rectangle Float Float Float Float   
surface :: Shape -> Float

<interactive>:2:1: error:
    Variable not in scope: surface :: Shape -> Float

当我用文本编辑器编写代码并从 GHCi 加载时，它可以正常工作。

我应该如何在 GHCi 中定义数据类型？

Answer 1

你正确定义了数据类型，但是当你想在GHCi中输入多行语句时，你需要使用:{和:}，或者使用制作多行语句的另一种机制。因此，您可以输入:

Prelude> data Shape = Circle Float Float Float | Rectangle Float Float Float Float
Prelude> <b>:{</b>
Prelude| surface :: Shape -> Float
Prelude| surface (Circle _ _ r) = pi * r ^ 2
Prelude| surface (Rectangle x1 y1 x2 y2) = (abs $ x2 - x1) * (abs $ y2 - y1)
Prelude| <b>:}</b>