10

文字列として与えられた Haskell 式の型の表現を取得する (手早く汚い) 方法が必要です。

現在、3 つのオプションが表示されます。

  • GHC API を使用してください -- しかし、ドキュメンテーションはすぐに私を失います。
  • 他の型推論ツールを使用してください -- haskell-type-exts を試すように提案されましたが、最も単純な式以外は型付けできません。私は他にそのようなツールを知りません。
  • 独自の HM 推論を展開する -- 絶対に必要でない限り、これは避ける

Haskell の合理的な基本サブセットを入力できるライブラリ/ツールで十分であるという意味で、完全なソリューションは必要ありません。

では、これを達成するための最も簡単な方法は何ですか?

4

1 に答える 1