どのように：ghciのtはそのすべての内密情報にアクセスしますか？

Question

関数やデータ型などの型クラス制約をイントロスペクトすることは不可能です。しかし、ghciはそれを行うように見えます。

Prelude> :t show 
show :: (Show a) => a -> String 

だから、何とかそれはそれが印刷されているので、タイプクラスの制約を知っています。それはどうしていますか？

Answer 1

情報はインターフェイスファイル（module.hi）に保存されます。実行中のプログラムからそれを取得するには、.hiファイルを見つけて読む必要があります（HackageのHintパッケージがこれを実行します）。 ghciは、バイトコードにコンパイルする際にファイル.hiを読み込むので、その情報が便​​利に利用できます。

.hiファイルの内容はghc --show-iface module.hiです。

Answer 2

別にコンパイルされた「バイナリ」は、「.hi」ファイルです。これらにはすべての型情報が含まれているため、それらを使用するコードを記述でき、すべての型クラス定義とすべての型クラスインスタンスが含まれているため、コードで使用できるようになります。

したがって、ghciはソースを ".hi"にコンパイルし、すべての依存 ".hi"ファイルを読み込みます。これにより、すべてのタイプの完全な知識が得られます。 ghciが必要としないのは、インポートされたすべてのモジュールのソースに戻り、 ".hi"ファイルのみが必要です。