我是Haskell的初学者。假设Rat是整数或整数的分数类型。我想问,为什么要导出Rat的构造函数?
module RatNum(Rat,add1Rat,makeRat) where
infixl 5 :/
data Rat = Int :/ Int | Only Int deriving(Show)
add1Rat :: Rat -> Rat
add1Rat (a :/ b) = (a+b) :/ b
add1Rat (Only a) = Only (a+1)
makeRat :: Rat
makeRat = 1 :/ 1
makeORat :: Rat
makeORat = Only 1
在GHCI:
Prelude> :l RatNum
[1 of 1] Compiling RatNum ( RatNum.hs, interpreted )
Ok, modules loaded: RatNum.
*RatNum> Only 5
Only 5
*RatNum> add1Rat (1:/3)
4 :/ 3
*RatNum> 7:/5
7 :/ 5
模块还没有完成,我想隐藏Rat的构造函数。
这是因为您正在从ghci加载模块本身。在与RatNum.hs
:相同目录的文件Main.hs
中尝试此代码
module Main where
import RatNum
f = Only 1
现在尝试从ghci:加载Main
$ ghci Main.hs
GHCi, version 7.0.4: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
[1 of 2] Compiling RatNum ( RatNum.hs, interpreted )
[2 of 2] Compiling Main ( Main.hs, interpreted )
Main.hs:5:5: Not in scope: data constructor `Only'
Failed, modules loaded: RatNum.
解释
请参阅本ghci手册第2.4.5节。它解释了GHCI放入命令提示符的每个模块当前都在范围内;可见标识符正是那些在没有导入声明(cite)的Haskell源文件中可见的标识符。
您的命令提示符显示RatNum
,因为您告诉ghci加载它,所以该提示符在与该模块相同的范围内工作。在我的示例中,它只被我实际加载的模块Main
引用,因此我没有进入RatNum
的范围。
当您实际编译(或通过import
引用)您的代码时,导出声明将如您所期望的那样工作。