#ちなみに、Yesod はテンプレートという黒魔術を使っているので、恐ろしく型を書くのが難しいです。
#僕が今作っている gitcab では、なんとか型を推測して書いたので、参考になるかもしれません。
##(PersistBackend m, Control.Monad.IO.Class.MonadIO m) => ...みたいなやつです
#m など、一般化しすぎているから大変なのではないですか？ 単に IO と書けば、心はやすまりませんか？
#いや私が一般化したわけではなく、たまたまリファクタリングで抽出した関数がそういう型になってて、単にIOではアウトなのです。
#使ってない変数を_でうければいいのはもちろんなんですが、
#全体のスタイルを統一しておいた方が分かりやすいのもあってちょっとどうしようかなーって思ってるところです。
#とりあえず後回しにしてますが
#とりあえず起動スクリプトを書かねば
##こいつを参考にすればよさげー
#だいぶ黙らせたんだけど意味がよくわからないやつもあったりしてorz
#Warning: orphan instance: instance Item User
#ってなにー？どうすればwarning消せるの？
#orphan instance は気にしなくていいじゃないかな。
#インスタンス宣言しても、それをそのモジュールで利用しなければ出るワーニングだったような。
#importしたモジュールで宣言されているインスタンスは問答無用でインポートされますので、インスタンスを利用しないモジュールを作るとそのようなwarningが出ます。モジュール化するなら、クラス宣言とはわけて、インスタンス宣言だけのモジュールを作っておけばリスクは回避しやすくなります。それでもwarningがでるでしょうけど。
#さんくす。
#このインスタンス宣言を使っているのはCrudライブラリの方なので私の書くコードでは使うことはなさげ。単に使ってもらうために書いている感じ。だと思う。ってことで、しょうがないのかしらん。
#そのorphan instanceは型クラスItemともデータ型Userの定義とも違うモジュールでinstance Item User whereが書いてあるために出ています。
#ここでは特に問題になってないでしょうから、単に無視するか-fno-warn-orphansをつけてwarningをoffにするのが良さそうです。
##あ、なるほど、じゃあUserの定義はこちらで書いているから(実際にはTH)そっちに移せばよいのかな
#お、消えたー。ありがとうございます。
#DefaultingのWariningはどうすべぇかな
#わたしのでふぉると : -Wall -fno-warn-type-defaults -fbreak-on-error -fprint-evld-with-show -fwarn-unused-do-bind -fwarn-wrong-do-bind
#-fwarn-unused-do-bindはやったんだけど、他はやってないな
#type-defaultsで黙らせるのってどうなんでしょう？
#丁度A Gentle Introduction...を読んでたんですが
#Defaultingは静的型の言語の旨みを捨てているのでWarningがついている
#ということは出しておく*べき*かとも思ったんですが
#wrong-do-bindって...
##わたしのでふぉると ghc/ghci フラグは、Cabal にかくものではないので、適当にしらべてくださいね…
#たとえば -fprint-evid-with-show は ghci で >:print foobar するためのものなので、関係ないとかそういうのです
#さんきゅー
#defaultingに関しては::Intとかそういう風に型を指定してやれば消せるんですよね？
#はい
#unused-do-bindについては _ <- ...で受けるなりすれば消せるんですが、
#これについてはさすがにオプション指定で黙らせていいかなーって思ったんですが
#cabalに書くのって一般的にどうなんでしょう？
####これもかな？Bryanの発言
#うーん。型指定で黙ったけど、逆に美しくない...
#(x, y, z) <- runFromPost' $ (,,) <$> ... <*> ... <*> (... :: FormInput s m Int)
#とか激しく萎える
#-fno-warn-type-defaultsにしようという結論
#default (Int, Double) ってファイルに書けばいいんじゃね
#-fno-warn-type-defaults はありだとおもいますはい
#じゃあアリアリな方向で。
#一応今のケースではdefault (Int)で黙ったけど、今度Ingeterとかを欲しがってる箇所が同じモジュールに出てきたら萎えるからね。
#これであとはナゾのDefinedしてっけど使ってねーよ警告のみになった。
#-f ではじまるのどうすっかなーとおもったら "fno-warn... site:hackage.haskell.org" と、f のまえのマイナスはずしてぐぐるのおすすめ
#名前が分ればいいんだけどテンプレート中のものでu[aDyj]とか出てて特定できず。
#テンプレートのほげは、ぼくもしりたいです、どうしたらいいの…
#束縛してるやつはどれも使ってるみたいだしなぁ。
#とりあえずかなり静かになったからひとまずcommit
haskell-ja > Archives > 2011/03/02