文字列として与えられたHaskell式の型の表現を取得するには、(素早く汚い)方法が必要です。しかし、ドキュメントはかなり迅速に私を失う -Haskell式を含む文字列の推定型
- 使用GHCのAPI:
は、私は現在、3つのオプションを参照してください。
- 他のタイプの推論ツールを使用する - 私はhaskell-type-extsを試してみることを提案されていますが、最も単純な表現以外のすべてのタイプを入力することはできません。私は他のどのようなツールも知らない。
- ロール自分のHMのinferer - 私は私もの合理的な基本的なサブセットを入力することができ、ライブラリ/ツールという意味で、完全なソリューションを必要としない、絶対に必要
なければ、これを回避したいですハスケルは私のために十分です。
これを達成する最も簡単な方法は何ですか?
を印刷しますが([他のHaskellの実装]を見てくださいhttp://www.haskell.org/haskellwiki/Implementationsは、 ) - それらのうちのいくつかは、GHCよりも使いやすくすることができます。 –
あなたが自分自身を書く場合、Mark P. Jonesの[THIH](http://web.cecs.pdx.edu/~mpj/thih/)が良いスタートかもしれません。 –