Haskellにサブモジュールを置くことは可能ですか？

Question

私はこのコード

module M where 

a = 1 
b = 2 
x = 10 
y = 20 

を持っている...しかし、モジュールが大きくなるにつれて、それは名前の重複に対処することは困難です。

このような名前空間を使用することはできますか？

module M where 
    module A where 
    a = 1 
    b = 2 

    module X where 
    x = 10 
    y = 20 

..andその後、

... 
import M 

s = A.a + X.y 

Answer 1

あなたが提案すると、現在Haskellの私の知る限りではサポートされていません。つまり、名前空間のようなモジュールを作成することを止めるものはありません。たとえば：

module Top where 

myTopFunc :: a -> Int 
myTopFunc _ = 1 

、別のファイルに：これに加えて

module Top.Sub where 

mySubFunc :: a -> String 
mySubFunc _ = "Haskell" 

、あなたのモジュールを配置するあなたの袖をさらにいくつかのトリックを持っています。モジュールAをBにインポートすると、Aの表示されているエンティティをBのように独自のものとしてエクスポートすることができます。その後、Bをインポートすると、元々どこから来たのか分からない関数/データ型などを使用することができます。上からモジュールを使用して、この例は次のようになります。

module Top (
    myTopFunc, 
    TS.mySubFunc 
) where 

import qualified Top.Sub as TS 

myTopFunc :: a -> Int 
myTopFunc _ = 1 

今、あなただけのTopをインポートすることで、両方の機能を使用することができます。

import Top (myTopFunc, mySubFunc) 

Answer 2

は、階層モジュール名があります。 MとM.AとM.Xのモジュールをネストすることはできませんが、Mはその言語に関する限りM.Aとは無関係です。

あなたはMは、あなたが明示的にこれをしなければならないすべてのものM.AとM.X輸出、エクスポートする場合：

module M (module M.A, module M.X) where 
import M.A 
import M.X 
-- rest of M 

Answer 3

ありませんあなたはできませんが。しかし、あなたのコメントには、名前の衝突を避ける方法を探しているだけだと言われています。このために、{-# LANGUAGE DuplicateRecordFields #-}拡張子を使用すると、コンパイラは重複するレコードフィールド名を許可します。