- 推薦図書/必読書のためのスレッド 76©2ch.net
178 ：デフォルトの名無しさん[sage]：2015/04/05(日) 10:08:05.39 ID:6kmP5T9e - >>175
そのオープンソースを作る側ってカッコいいよね
憧れるよ
|
- 関数型プログラミング言語Haskell Part27＿©2ch.net
954 ：デフォルトの名無しさん[sage]：2015/04/05(日) 10:28:14.89 ID:6kmP5T9e - Yesod について質問です。
hamlet 準クォートと違い shamlet 準クォートは Type-safe URLs を扱え、
準クォートの記述の後にレンダラ関数を受け取ります。
この、レンダラ関数を受け取ることやレンダラ関数の型は
ライブラリドキュメントのどこを見れば分かるのでしょうか。
今回の件に限れば、入門書やWebの情報を見て分かったので問題ないのですが、
今後の学習のことを考えると、公式のドキュメントでも把握できる、
裏をとる能力が必要だと思い、質問しました。
|
- 関数型プログラミング言語Haskell Part27＿©2ch.net
956 ：デフォルトの名無しさん[sage]：2015/04/05(日) 21:00:54.28 ID:6kmP5T9e - >>955
一番良いのは、その問題のソースをどこかに公開することです。
大きすぎて難しいのならば、同じ問題が起きるより小さなソースを公開してはどうでしょうか。
例えばフィボナッチ数列（の動的計画法版）の出力でもその現象は起きますか。
実行時に <<loop>> と出力される現象をWebで検索して調べてみますと、
どうもごく単純な無限ループに陥っている場合に限るようです。
f = f + 1 などの引数のない再帰的な参照です（相互再帰も含む）。
話を聞く限りでは、array パッケージの方に問題があるようにしか思えませんが、
本当に「型を UArray から Array に変えただけ」で現象が治まるのでしょうか。
|
- 関数型プログラミング言語Haskell Part27＿©2ch.net
958 ：デフォルトの名無しさん[sage]：2015/04/05(日) 22:45:55.70 ID:6kmP5T9e - >>957
UArray の構築途中に自己参照すると無限ループに陥ります。
a :: UArray Int Int
a = listArray (0, 1) [0, a ! 0]
理由は・・・ base と array のパッケージをDLしてソースを見てみましたが、
決定的なこと（単純な自己参照になっている証拠）は分かりませんでした。
おそらく、非ボックスなので配列全体が確定しないと参照できないから、
という辺りだろうとは思いますが。
|