私は Yesod についてすべてを学ぶ使命を帯びてきましたが、ルーティング システムとサブサイトおよびクロスルート リンク全般との関係について (ある程度) 行き詰っています。最初に対処したいことはResourceR
、ルート定義と Hamlet リンク全体で見られる " " パターンです。
「タイプ」自体 ( ResourceR
) は、Yesod の TH DSL の外部でアドレス指定または参照されることはありません。これは、Yesod リンクを参照する際に Haskell の型安全性を活用するためだけに、実際にはダミー型としてのみ使用されているということですか? 関数getResourceR
などpostResourceR
はアプリが機能するために不可欠ですが、それらの定義がボイラープレート アプリ コードのどこで使用されているかは明示されていません。Yesod は単に@{ResourceR}
適切な関数への呼び出しを減らすだけですか?
私は自分自身をデータ型として定義すべきだとResourceR
常に感じていますが、実際には Yesod によって内部的に生成および縮小されています。
私の質問は、Hamlet と Route コードで参照されている「リソース タイプ」は、Yesod の DSL によって自動的に生成および削減されるのでしょうか?
前もって感謝します!