関数型プログラミング言語Haskell Part27＿

1 ：デフォルトの名無しさん：2015/01/08(木) 21:02:35.67 ID:IQPOX3u7.net

関数型プログラミング言語 Haskell について語るスレです。

haskell.org (公式サイト)
http://www.haskell.org/

前スレ
関数型プログラミング言語Haskell Part26
http://peace.2ch.net/test/read.cgi/tech/1406436392/

970 ：デフォルトの名無しさん：2015/04/05(日) 17:03:09.12 ID:/p4ZvisL.net

動的計画法のメモ用配列として使うArrayに関して
Data.Arrayだと動くのにData.Array.UnboxedのUArrayにしてアクセスするとa.exe: <<loop>>になる
Arrayの方で全要素にアクセスしても正しく結果を返す
どういう原因が考えられるだろうか

971 ：デフォルトの名無しさん：2015/04/05(日) 21:00:54.28 ID:6kmP5T9e.net

>>970
一番良いのは、その問題のソースをどこかに公開することです。

大きすぎて難しいのならば、同じ問題が起きるより小さなソースを公開してはどうでしょうか。
例えばフィボナッチ数列（の動的計画法版）の出力でもその現象は起きますか。


実行時に <<loop>> と出力される現象をWebで検索して調べてみますと、
どうもごく単純な無限ループに陥っている場合に限るようです。
f = f + 1 などの引数のない再帰的な参照です（相互再帰も含む）。

話を聞く限りでは、array パッケージの方に問題があるようにしか思えませんが、
本当に「型を UArray から Array に変えただけ」で現象が治まるのでしょうか。

972 ：デフォルトの名無しさん：2015/04/05(日) 21:37:06.88 ID:/p4ZvisL.net

すみません、確かにソースを示すべきでした

ideoneにてフィボナッチ数で試してみたところ、同様の現象が起きました
Array：http://ideone.com/hM6dzT
UArray：http://ideone.com/Yp01Xb
ソース上の差分は型名に"U"があるかないかの1byteの差ですが
実行するとUArrayの方は<<loop>>のランタイムエラーになってしまいます
ソースに問題がありそうでしょうか、見ていただきたいです

973 ：デフォルトの名無しさん：2015/04/05(日) 22:45:55.70 ID:6kmP5T9e.net

>>972
UArray の構築途中に自己参照すると無限ループに陥ります。

a :: UArray Int Int
a = listArray (0, 1) [0, a ! 0]

理由は・・・　base と array のパッケージをDLしてソースを見てみましたが、
決定的なこと（単純な自己参照になっている証拠）は分かりませんでした。

おそらく、非ボックスなので配列全体が確定しないと参照できないから、
という辺りだろうとは思いますが。

974 ：デフォルトの名無しさん：2015/04/05(日) 23:24:00.02 ID:/p4ZvisL.net

>>973
ありがとうございます
なるほどboxだと自己参照しても式を保持してるだけだから順にたどって評価できるけど
Unboxだと要素参照時に一気に全体を構築しようとするから構築中に参照すると再度全体を構築しようとして無限ループするってことですね
そういわれるとそうだなあとなんとなく想像できました

自分でもパッケージのソースを理解できるようになるよう勉強します。。

975 ：デフォルトの名無しさん：2015/04/05(日) 23:28:49.66 ID:/p4ZvisL.net

書き忘れ
ということは動的計画法のメモもUArrayで高速化！と単純に使うことはできなさそうですね

976 ：デフォルトの名無しさん：2015/04/06(月) 10:07:06.75 ID:z61IB+9E.net

へーはーほーん、ためになるわー

977 ：デフォルトの名無しさん：2015/04/06(月) 21:52:51.93 ID:G/X3auvA.net

Linux に ghc-7.10.1 と cabal-install-1.22.2.0 をインストールして、
適当なパッケージも入れてみたんだが、
これ、ドキュメントのリンクが壊れてないか？

.cabal/share/doc/x86_64-linux-ghc-7.10.1/index.html
ここから辿れるはずのリンクが全て壊れてる。
たとえば Data.List のリンクは相対パス Data-List.html になってる。
つまり、.cabal/share/doc/x86_64-linux-ghc-7.10.1/Data-List.html になってしまっている。

.cabal/share/doc/x86_64-linux-ghc-7.10.1/doc-index.html
このインデックス（索引）ページから個々の関数へは何も問題なく辿れるが、
全然別の場所だ。
たとえば、Data.List.head 関数は
/usr/share/doc/ghc/html/libraries/base-4.8.0.0/Data-List.html#v:head
になっている。

これはどう言うことだろう。
.cabal/config の install-dirs user のセクションの項目は何も弄っていないんだが。

978 ：デフォルトの名無しさん：2015/04/07(火) 21:21:56.30 ID:Dr0ZnCU/.net

そういうのはstackoverflowで聞いた方がいいんじゃないかな

979 ：デフォルトの名無しさん：2015/04/07(火) 22:12:38.31 ID:5+CxwFaH.net

>>978
それならあっちで訊いてみようかと思ったが、もしやと思って以下のことを試したら、
問題なくドキュメントが見れるようになったから、もういいや。

/usr/share/doc/ghc/html/libraries にある各パッケージ内のファイルを
~/.cabal/share/doc/x86_64-linux-ghc-7.10.1 にコピー

.cabal/config の install-dirs user セクションの docdir の末尾 /$pkgid を削除
同セクションの htmldir の末尾 /html を削除
もちろん、両者ともコメントアウトを解除

適当なパッケージをインストール

980 ：デフォルトの名無しさん：2015/04/08(水) 06:40:38.53 ID:lUVNN4o/.net

毛の壁、起訴されたらしいぞ

981 ：デフォルトの名無しさん：2015/04/08(水) 12:14:11.41 ID:cDkL0Wby.net

２ちゃんねるの「なんちゃって関数型クラスタ」ども、これ読んで学び直せ

悔しかったらおまえらも本を出してみな？


http://www.amazon.co.jp/dp/4798043761

982 ：デフォルトの名無しさん：2015/04/08(水) 12:44:09.59 ID:hSF7OcZsZ

宣伝すんな

983 ：デフォルトの名無しさん：2015/04/08(水) 14:18:25.17 ID:teBP6D43.net

今日まで生きていて秀和システムの本に金を出したことがないことをこれほど誇らしく思った日はないかもしれない

984 ：デフォルトの名無しさん：2015/04/08(水) 14:56:31.55 ID:z4/H7LA9.net

>>981 ちょwww レビューが楽しいことになりそうだwww

985 ：デフォルトの名無しさん：2015/04/08(水) 15:12:02.18 ID:hSF7OcZsZ

てか、2chはいつからamazonのURLが書けるようになったんだ？

986 ：デフォルトの名無しさん：2015/04/08(水) 15:16:10.18 ID:2BNKspCq.net

秀和システムはあかん出版社だったか

987 ：デフォルトの名無しさん：2015/04/08(水) 15:45:29.02 ID:tGwp3RJc.net

リンクを踏む前に予想した通りの著者名だった

988 ：デフォルトの名無しさん：2015/04/08(水) 16:40:32.61 ID:YQenyVPn.net

このスレで爆笑したのは初めてかも知れない
スレチなのに

989 ：デフォルトの名無しさん：2015/04/08(水) 16:51:12.44 ID:wxj4ghaM.net

刑事告訴されてて、まだ終わってないのに出版させるのも、どうなんだろう・・

990 ：デフォルトの名無しさん：2015/04/08(水) 16:59:43.02 ID:hSF7OcZsZ

裁判と出版は別問題では。
いずれにせよ、2chで商売すんなや

991 ：デフォルトの名無しさん：2015/04/08(水) 18:43:33.29 ID:TrrKWYIM.net

レアアイテム間違いない、買っとけ

992 ：デフォルトの名無しさん：2015/04/08(水) 19:19:20.20 ID:mlk25XLU.net

(この物語はフィクションであり、実在の言語・技術・定理等とは関係がありません)

993 ：デフォルトの名無しさん：2015/04/08(水) 20:09:43.19 ID:8XU2VIBh.net

kenokabeさん、出版おめでとうございます。これからも笑顔で楽しませてもらいます。
でも、誹謗中傷は良くないよー
今年の目標は、誤字脱字を無くすことかな？

994 ：デフォルトの名無しさん：2015/04/08(水) 20:22:02.04 ID:2PDo66DT.net

騒動で名を売ったから結構売れそうだな

995 ：デフォルトの名無しさん：2015/04/08(水) 20:51:44.99 ID:LkUjDtd8.net

この本平積みしてるかで書店の質が測れるリトマス試験本

996 ：デフォルトの名無しさん：2015/04/08(水) 21:17:15.22 ID:teBP6D43.net

なぜお前らはリンク付きでこいつに言及しツイートしはてブすることで検索順位を押し上げようとするのか理解に苦しむ

997 ：デフォルトの名無しさん：2015/04/08(水) 21:33:36.08 ID:5ufJn9r/.net

誰だよこのbot立てたのｗ
カイマイさんか？

ttps://twitter.com/_kenron_

998 ：デフォルトの名無しさん：2015/04/08(水) 23:55:32.38 ID:myz0YUCE.net

もともとプログラミングの邦書はにわかが書いたような奴ばっかなのであまり驚かない

999 ：デフォルトの名無しさん：2015/04/09(木) 03:23:41.65 ID:Ix9YNMr3.net

秀和がなんで刑事告訴されてるような奴の本を出す気になったのかが謎
http://d.hatena.ne.jp/hirono2011/touch/20140404/1397908870

1000 ：デフォルトの名無しさん：2015/04/09(木) 03:25:26.77 ID:Ix9YNMr3.net

検索してる人多そうなので、これ誰かリツイートしてよ

https://twitter.com/motoken_tw/status/452009450313097216

1001 ：デフォルトの名無しさん：2015/04/09(木) 03:29:53.42 ID:a98Ue6sT.net

　　　　　　　　　,.-―:￣｀ー::::::::::､
　　　　　　　／::::::::::::.::::::::::::::::::::::::::::｀::､､
　　　　　　/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
　　　　　 ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
　　　 　 l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
　　　　 l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
　　　 　l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
　　　　 ヽ::::　´､ひ> ;: 　l .<ひ>'　 ､::::::::/
　　　　ヽ:::::　　 ￣ .)::;　 l　￣　　　ｌ::::/ 　　　＜　次のスレではもう岡部の話は禁止な
　　　　　､:::::..　　 /:::;　.,-､　　　　 l:::/、
　　　　,―::::::::　　ゝヽ- ｰ' ､　　　 l::/,､ヽ
　　 　 l,､,､,,:､::　/ ,--､,-.､_ l　 　 /::::::,､,､l
　　　ｌ,､,､,､,､,､::､　｀ー￣-'　　　/:::::::::::,､,､l
　　　ｌ,､,､,､,､,､,､::ヽ　　　　　 ／::::::::､,､,､,､,ﾉ:＼

1002 ：デフォルトの名無しさん：2015/04/09(木) 05:07:06.30 ID:QTbR1h7B.net

おまえら単に、岡部技師の才に嫉妬してるだけで、正当な反論もできないから、論点とは関係のないところから責め立ててるだけだろ？
下劣で品性の欠片も無いんだよ、下痢糞以下のゲロボケ野郎

1003 ：デフォルトの名無しさん：2015/04/09(木) 05:08:21.11 ID:QTbR1h7B.net

延々とコソコソ隠れて岡部技師を貶めてるのは下痢便駱駝だろ？クズが

1004 ：デフォルトの名無しさん：2015/04/09(木) 08:29:01.75 ID:4yjREsCN.net

https://twitter.com/tanakh/statuses/585756985750122496

1005 ：デフォルトの名無しさん：2015/04/09(木) 12:28:33.03 ID:SXMrA4Vi.net

関数型言語ってうさんくせーな
要するに現実の問題に対処できねーんだろ？

1006 ：デフォルトの名無しさん：2015/04/09(木) 12:31:34.64 ID:SXMrA4Vi.net

岡部技士ってなんだよ
典型的な意識高い系のクズじゃん

1007 ：デフォルトの名無しさん：2015/04/09(木) 12:35:27.62 ID:SXMrA4Vi.net

もしドラの作者もあんだけバカにされてたのに
同じ芸風でやるの？w

1008 ：デフォルトの名無しさん：2015/04/09(木) 17:34:56.45 ID:hKndZDCY.net

>>980
裁判費用は IQ145で美少女JKな先輩で稼ぐのか

1009 ：デフォルトの名無しさん：2015/04/09(木) 17:38:20.52 ID:hKndZDCY.net

アプリカティブ完全に理解した

1010 ：デフォルトの名無しさん：2015/04/09(木) 19:45:58.73 ID:4yjREsCN.net

http://web.archive.org/web/20130628214033/http://netbmari.seesaa.net/article/81337651.html

誰かこれ教えてやれよ

1011 ：デフォルトの名無しさん：2015/04/09(木) 19:54:35.43 ID:SXMrA4Vi.net

データ処理に向いてる気がするんだけど
レガシーシステムをなんとか救済してほしい

1012 ：デフォルトの名無しさん：2015/04/09(木) 22:38:50.14 ID:dWjcstD4.net

Stateモナドって状態を構造化したものじゃなくて状態付き「計算」(であるかのように見えるラムダ式のネストとbind)を構造化したもの
っていう認識であってる？

1013 ：デフォルトの名無しさん：2015/04/09(木) 23:01:23.83 ID:G0037DPx.net

その両者にどんな差があるというのだろう。

1014 ：デフォルトの名無しさん：2015/04/09(木) 23:18:03.23 ID:nCfbCjTA.net

>>1012
どちらかが正しいと考えるのではなく、
様々な見方・考え方があることを受け入れることが大事だ。

片方しかないと思っていると、そちらの考え方で得られたかもしれないアイデア、
切り開かれたかもしれない新たな世界をみすみす逃すことになる。

あなたは、誰かからそれは計算の構造化の方が正しいと言われたら、
やっぱり思ってたとおりだ、と合点するのだろうか。
状態の構造化という考え方を捨て去るのだろうか。

1015 ：デフォルトの名無しさん：2015/04/09(木) 23:24:57.75 ID:G0037DPx.net

つうか表示意味論のレベルでは区別つかないだろ。

1016 ：デフォルトの名無しさん：2015/04/09(木) 23:29:36.04 ID:dWjcstD4.net

言葉足らずですまん
状態=変更可能なデータ構造の一種
で読み替えて貰えると

1017 ：デフォルトの名無しさん：2015/04/09(木) 23:34:38.52 ID:HP7+XEL9.net

変更可能なデータ構造の一種のように見える計算

1018 ：デフォルトの名無しさん：2015/04/09(木) 23:40:47.32 ID:c5VDj6mj.net

　
Gun　＝　Kata

1019 ：2ch.net投稿限界：Over 1000 Thread

2ch.netからのレス数が1000に到達しました。