スマートコンストラクタのみを持つレコード構文フィールド型注釈

Question

スマートコンストラクタを使用しているため、フィールドの1つにエクスポートされない型があるレコードを作成しようとしています。型としてスマートコンストラクタを使用しても機能しません。

Not in scope: type variable `domain' 

多分、このようなことができる言語拡張がありますか？

コンストラクタをスマートコンストラクタとともにエクスポートすると、この問題を解決できますが、スマートコンストラクタが許可しない値を作成する可能性があります。

私が今持っている（非稼働）コード：ここ

import Domain (domain) -- Domain is not exported, and domain is a smart constructor for Domain 

data Rec = Rec 
    { dint :: domain Int -- what do I do here? I want it to be `Domain Int` but `Domain` isn't exported. 
    ... 
    } 

Answer 1

問題が型コンストラクタの概念とデータコンストラクタ間の混乱です。簡潔にするために、例との違いを説明します。上記式において

data Foo a = Bar [a] 

、Foo型コンストラクタとBarデータコンストラクタです。主な違いは、Fooはハスケル型空間の値であり、Barはデータ空間の値であることです。タイプスペースの値はデータスペースで使用できません。その逆もあります。たとえば、コンパイラは次の式でエラーになります。

someVariable :: Bar Int 
someVariable = Foo [15] 

ただし、次の式は完全に有効です。

someVariable :: Foo Int 
someVariable = Bar [15] 

また、すべてのタイプのコンストラクタは大文字で開始する必要があります。小文字で始まるすべての型は、型コンストラクタではなく型変数と見なされます（上の定義のaがこれの例です）。

スマートコンストラクタの導入により、この問題に別のレイヤが追加されましたが、重要なことは、スマートコンストラクタはデータコンストラクタであり、タイプコンストラクタではありませんです。 Recの定義では、スマートコンストラクタdomainを型宣言のdintフィールドに使用しようとしました。ただし、domainは型コンストラクタではないデータコンストラクタであり、小文字であるため、Haskellコンパイラはdomainを型変数の名前として解釈しようとしました。 Rec型の定義にdomainという名前の変数を指定したことがないため、コンパイラはエラーを発生させました。

Domainのデータコンストラクタをエクスポートして、問題を解決する必要はありません。タイプ自体のみです。これは次のようにして実現できます。エクスポート定義でDomain()含める

module Domain (
    Domain(), domain, 
    ... 
    ) where 

そのデータ構築のいずれかのDomain型コンストラクタをエクスポートしますが、しないようにHaskellのに指示します。これにより、安全なコンストラクタで必要とする安全性が保持され、型を正しく定義できます。新しくエクスポートされたタイプをRecの定義で使用できるようになりました。

import Domain (Domain(), domain) 

data Rec = Rec 
    { dint :: Domain Int 
    ... 
    } 

詳細については、私は強くあなたがconstructorsとsmart constructors上HaskellWikiの記事を読むことをお勧めします。