文字列として与えられた Haskell 式の型の表現を取得する (手早く汚い) 方法が必要です。
現在、3 つのオプションが表示されます。
- GHC API を使用してください -- しかし、ドキュメンテーションはすぐに私を失います。
- 他の型推論ツールを使用してください -- haskell-type-exts を試すように提案されましたが、最も単純な式以外は型付けできません。私は他にそのようなツールを知りません。
- 独自の HM 推論を展開する -- 絶対に必要でない限り、これは避ける
Haskell の合理的な基本サブセットを入力できるライブラリ/ツールで十分であるという意味で、完全なソリューションは必要ありません。
では、これを達成するための最も簡単な方法は何ですか?