隱藏構造函數

Question

我是Haskell的初學者。讓我們假設鼠是整數的分數類型或整數。我想問一下，爲什麼出口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 

該模塊還沒有完成，我想隱藏鼠的構造函數。

Answer 1

這是因爲你正在從ghci加載模塊本身。在同一目錄中嘗試這個代碼，在一個文件Main.hs爲RatNum.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. 

說明

看一看this ghci manual page ，第2.4.5節。它解釋了每個模塊GHCI放入您的命令提示符當前處於範圍之內;可見標識符恰好是那些在Haskell源文件中可見的，沒有導入聲明（引用）。

您的命令提示符說RatNum，因爲您告訴ghci加載它，所以提示與該模塊內的作用域相同。 在我的例子中，它只被我實際加載的模塊Main引用，因此我沒有輸入RatNum的範圍。

當您實際編譯（或通過import s引用）您的代碼時，導出聲明將按預期工作。