タグ付けされた質問 「template-haskell」

テンプレートHaskellは、型クラスで宣言された関連する型の同義語の名前や宣言を見つけることができますか？私は期待reify私がやりたいだろうが、すべての必要な情報を提供していないようです。関数型シグネチャを取得するために機能します。 % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help ... Prelude> -- I'll be inserting line breaks and whitespace for clarity Prelude> -- in all GHCi output. Prelude> :set -XTemplateHaskell Prelude> import Language.Haskell.TH Prelude Language.Haskell.TH> class C a where f :: a -> Int Prelude Language.Haskell.TH> putStrLn $(stringE . …

257 haskell  template-haskell  type-families  reify  associated-types 

テンプレートHaskellは、Haskellコミュニティから不幸な便宜と見なされることが多いようです。これに関して私が観察したことを正確に言葉にするのは難しいですが、これらのいくつかの例を検討してください どのHaskell（GHC）拡張機能をユーザーが使用/回避すべきかという質問に答えて、「The Ugly（but required）」にリストされているテンプレートHaskell テンプレートHaskellは、ボックス化されていない新しい型の値のベクトルの一時的/劣った解決策を検討しましたスレッド（ライブラリメーリングリスト） イェソッドは、テンプレートハスケルに頼りすぎていると批判されることがよくあります（この感情に対するブログの投稿を参照してください）。 私は、人々がテンプレートHaskellでかなりきちんとしたことをするさまざまなブログ投稿を見てきました。では、なぜテンプレートHaskellがこのように軽視されているのでしょうか。何が望ましくないのですか？テンプレートHaskellはどのような状況で避けなければならないのですか、そしてその理由は何ですか？

252 haskell  template-haskell