Qモナドからの価値環境の抽出

Question

テンプレートハスケルでは、Qモナドはすべての魔法が起こる場所です。ただし、Qにはかなり限定されたAPIがあります。私は基本的にはlookupValueName :: String -> Q (Maybe Name)の機能を取り込むタイプvalueNameStore :: Q (String -> Maybe Name)の値を持っていますが、その時点で使用可能な変数のストアがバインドされています。

これは理論的には音だと思います。最初にvalueNameStoreでバインドを呼び出すと、状態のスナップショットである共有の定数状態に関して実行する場合、ルックアップをシーケンスする必要はありません。

---

このが可能でない場合は、危険な方法でそれを通じ強制する方法はありますか？ unsafePerformIO ... unsafePerformIO ...

Answer 1

答えは基本的にはありません。スコープ内の名前を何らかの形で列挙できる場合は、これを行うには不合理な方法があるかもしれません。あなたが提案した型とセマンティクスを持つ操作が完全に分かりやすいというのは間違いありませんが、それはunsafePerformIOであっても、提供されたインターフェイスから（合理的に）実装可能であるということを意味しません。

基本的に、文字列からNameへのマッピングは変更可能です。あなたがしたいことは、その変更可能な辞書のスナップショットを取る必要があります。 APIはそのような機能を提供せず、あなたが手動でデータをコピーするためのツールをあなたに提供していないこともわかります。 unsafePerformIOを使用しようとすると、ちょうどあなたがスコープを変更した場合は、Qアクションを呼び出したときに、ものとは異なるものになります、式が評価される時、にマッピングしているものは何でもバインディングを取得します。