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

1 名前：デフォルトの名無しさん [2012/03/16(金) 21:54:23.92 ] haskell.org ttp://www.haskell.org/ 日本語サイト ttp://www.sampou.org/cgi-bin/haskell.cgi ttp://www.shido.info/hs/ 過去ログ 関数型プログラミング言語Haskell Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/ Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/ Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/ Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/ Part6 ttp://pc11.2ch.net/test/read.cgi/tech/1162902266/ Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/ Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/ Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/ Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/ Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/ Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/ Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/ Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/ Part15 ttp://hibari.2ch.net/test/read.cgi/tech/1310199414/ Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/ Part17 ttp://toro.2ch.net/test/read.cgi/tech/1325510368/ 511 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:01:16.68 ] >>510 いやいや、(a, b)はタプルで[(a, b)]は　「タプルのリスト」だよ 512 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:02:58.60 ] そもそもタプルとリストをひとつにして使っていますが、 >>タプルのリスト p18のタプルの説明で タプルにはリストと似ている点がいくつかありますが、 リストとタプルには根本的な違いがありますと。 別のものとして説明しているのに なぜタプルのリストという言葉が出てくるのですか？ 513 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:05:27.09 ] p19の 先ほどのベクトル角括弧を丸括弧に変えて、 ［(1,2),(8,11),(4,5)］ のようにすれば、タプルになります。 と書いてあります。 514 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:07:02.52 ] 本の訳が正しいのか、 >>511さんが正しいのか。 さてどっちだ？ 515 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:13:15.41 ] >>505 p19 この方法の問題点は、[[1,2],[8,11,5],[4,5]]のようなリストが作れて、 これを2次元ベクトルのリストが〜 を受けての >>501 p19の下側 両方を含むリストは作れません。 と作れると書いてしまっては矛盾します。 GHCiで Prelude> [[1,2],[8,11,5],[4,5]] [[1,2],[8,11,5],[4,5]] Prelude> [(1,2),(8,11,5),(4,5)] <interactive>:137:8: Couldn't match expected type `(t0, t1)' with actual type `(t2, t3, t4)' In the expression: (8, 11, 5) In the expression: [(1, 2), (8, 11, 5), (4, 5)] In an equation for `it': it = [(1, 2), (8, 11, 5), (4, 5)] ghci> リストだと通るが、 タプルだと作れません。 516 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:14:45.79 ] ここのサイトは 書き込み毎にtwitter上に流れるような仕組みになっているよ。 517 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:15:48.47 ] >>513 「ベクトルの角カッコを丸括弧に変えて」 　：　つまりベクトルを表すときにリストを使うのではなくタプルを使うように変更して、という事です。 つまり「座標（ベクトル）のリスト」　のデータ型を [ [Int] ] から [ (Int, Int) ] に変更したわけです。 各種の言語で配列的なものを「ベクトル」と呼ぶ事がありますがこの箇所ではそのような 言葉使いはしていません。「ベクトル」は幾何的な座標を指した言葉です。 [Int] は　「整数のリスト」　ですね。 [ [Int] ] は　「「整数のリスト」のリスト」　です。 (Int, Int) は「サイズ２の整数タプル」　ですね。 そして　[ (Int, Int) ] は　「「サイズ２の整数タプル」のリスト」　です。 518 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:16:09.52 ] Functional 2ch (functional2ch) は Twitter を利用しています https://twitter.com/#!/functional2ch 519 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:18:37.00 ] 原書19ページから引用 > We can change our vectors to tuples by surrounding them with parentheses > instead of square brackets, like this: [(1,2),(8,11),(4,5)]. 日本版の正確な引用文がないとなんとも言えないけど 訳すときに複数形がどっかに行ってしまったということじゃないか 520 名前：518 mailto:sage [2012/05/31(木) 13:20:13.73 ] Hideyuki Tanaka ? @tanakh PFIで働く社員。妹わんこ系Haskeller。今すぐフォローすべき競技プログラミング界のスーパーエンジニア。 ttp://tanakh.jp/ d.hatena.ne.jp/tanakh が Functional 2ch (functional2ch) は Twitter を利用しています ttps://twitter.com/#!/functional2ch のフォロワーにいるから、まず間違い無く見ているね。 521 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:23:38.99 ] >>517さんが言いたいことは、 本の方は省略して書いていて、 タプルのリストと書くほうが正しいということかな？ 本ではただのタプルだけど。 522 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:29:04.34 ] [...] の中の各ベクタについて言ってるんだよ 523 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:34:06.19 ] ある数以上フォローしてたら、TwitterのTLを全部チェックするなんて無理だから 524 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 13:40:39.78 ] >>521 そういうことになりますかね。 紙の本の原文で見ると We can change our vectors to tuples by surrounding them with parentheses instead of square brackets, like this: [(1,2), (8,11),(4,5)]. となっているので （拙訳）ベクトルの角括弧を丸括弧に変更してタプルに変えられます： [(1,2), (8,11),(4,5)]． ってな調子なので原文でも「ベクトル．．．」で始めた文脈のスコープがベクトルに維持されている 事を前提とした説明ですね。 525 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 15:26:18.20 ] なんでこのレベルの奴がこの板にいんだよ年々レベル下がってるじゃねーか死ね 526 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 15:53:45.08 ] ユーザーが増えると必然的にそうなる 527 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 15:59:29.72 ] あちこちのスレで同じこと書いてる荒しだぞ 相手にするな 528 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 16:16:11.40 ] Haskellの板ってここ以外あったっけ？ｗ 529 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 16:27:13.25 ] >>525 >>なんでこのレベルの奴がこの板にいんだよ年々レベル下がってるじゃねーか死ね 感情丸出しで書き込んでいて、自分が一番食物連鎖の最下層にいるって気付かないのかな？ 530 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 17:30:12.27 ] >>528 Haskell以外の言語や他ジャンルのスレに無差別に投稿してるみたい。 531 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 17:54:01.83 ] >>525 だったらHaskell初心者質問スレ立てろって日頃言ってるだろ 立てないなら黙って初心者の斜め上の発言の諫め役に甘んじてろや 532 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 18:57:17.51 ] >>501,502はHaskell関係なしに読解力の問題だから 初心者スレなんていらんよ 533 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 19:00:45.29 ] >>530 相手をしてくれるところに来るんだよな 534 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 19:07:41.09 ] >>532 >>501,502が読解力の問題というのなら、 お前は本を買っていない貧乏人だろ。 本文を読めばおかしいと分かる。 535 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 19:22:06.41 ] おかしくないよって丁寧に説明してくれてる人が既に現れてるだろ ていうか・・・ 自分の読解力は問題ない、きっと相手が本を買っていないに違いないって すごい考え方をする人がいるんだな 536 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 19:25:42.58 ] しかも貧乏人ときた 何かにつけて相手を貶さないと死んでしまう病気でも持ってるのだろうか 537 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 19:38:40.60 ] >>513みたいにごく断片的に引用するとおかしいように見えるけど それより前の文章を含めて読むと別におかしくないとわかるよ >>524が文脈のスコープって言ってるのはそういうこと 538 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 19:59:54.59 ] 福沢諭吉が「天は人の上に人を作らず、人の下に人を作らず」 と言ったのを、スコープ無視して だから結果を平等にしろと言い出す頓珍漢が定期的に生まれるらしい 539 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 20:02:11.38 ] 勝手な文脈をくっつけて我田引水する頓珍漢も定期的に見るけどなw 540 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 20:02:57.16 ] またスコープがおそろし飛んだな 541 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 10:01:04.38 ] >>538 日教組の悪口はそこまで。 542 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 10:22:22.35 ] ν速に帰れ 543 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 10:50:20.80 ] >>507 あんなパラノイアがここにもいると思うとゾッとするからな。 544 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 17:51:34.23 ] >>537 該当箇所を引用してくれない？ 545 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 17:55:46.34 ] なんか盛り上がってると思ったら、なんだ読解力の問題じゃん 546 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 18:04:30.79 ] 原文よりも読解力が必要になるのは悪役だわな。 547 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 19:21:51.64 ] Haskell の処理系が遅延評価を実現するための技術や歴史を 基礎的なことから学びたいのですが、どこから手を付けるのが良いでしょうか。 メモリ関係、特にガベージコレクタとの関係を主軸にして学びたいです。 "遅延評価" や "Haskell" "実装方法" "メモリ" などの辺りのキーワードを色々組み合わせてググってみましたが、 学べそうなページは見つかりませんでした。 （他言語で遅延評価をエミュレートする方法は沢山ありました） マイナーで1万超えるよな値が付いている洋書でも構いませんが、 なにか参考になりそうな資料はないでしょうか。 548 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 20:11:52.60 ] >>546 普通に読んで分かること。読解力なんて言い出すまでも無いレベルだよ 549 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 20:32:40.66 ] 歴史的、基礎的というのがどこまで指すのかよくわからないけど、思いついたまま。 遅延評価が名前呼び出しほどはコスト高じゃないと世の中に知れたのが、LandinのSECDマシンを使ったLispKit Lispでの実装。 en.wikipedia.org/wiki/SECD_machine en.wikipedia.org/wiki/Lispkit_Lisp この辺はAlgolの名前呼び出しのための実装技術thunkが源泉の一つ。 グラフ簡約を使ったsimonpjの "The Implementation of Functional Programming Languages" 遅延評価は扱ってないけど実装モデルの解説として素晴らしい。 www.cs.unm.edu/~williams/cs491/three-imp.pdf (Schemeの実装モデル３つを解説しています。通称3imp) 抽象度の高いサブセットの実装として。haskell.orgにもいくつかある。 https://github.com/johang88/haskellinjavascript/blob/master/rapport/kapitel/abstract.tex GCは手に入りやすい専門の本が二つあるのでそれを読めばいいと思う。実装上独立性が高いので、GCだけを独立して書いたものが多い。絡めて学ぶのはおすすめではない。 550 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 20:50:49.50 ] >>546 原文を読むのに必要な読解力と変わらない程度に訳されてると思うのですが。 551 名前：デフォルトの名無しさん mailto:sage [2012/06/01(金) 21:02:13.19 ] 本人乙！ 552 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 00:06:58.73 ] >>547 ガベージコレクションならこれ 徹底解剖「G1GC」 アルゴリズム編 - 達人出版会 ttp://tatsu-zine.com/books/g1gc 553 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 00:08:28.86 ] 本人は俺だ！ 554 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 00:15:49.03 ] 諸君、議論したまえ 555 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 00:40:22.16 ] >>500,501,502,503 このうちどれが間違いで、どれが勘違い？ 556 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 08:36:20.41 ] まぁ正直わざわざ買うまでもないものだ。 557 名前：デフォルトの名無しさん [2012/06/02(土) 08:47:27.61 ] ghciで日本語が数値に変換されるのですが、何が悪いのでしょう？ Prelude> zip [1..] ["りんご","みかん"] [(1,"\12426\12435\12372"),(2,"\12415\12363\12435")] ターミナル、LANGともにUTF-8。utf8-stringも入れて見ましたが変わりませんでした。 Mac Lion ＆ ghc 7.0.3 558 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 10:14:51.22 ] >>556 ネットで全文（英語）読めるしな。そういう意味では要らない。 559 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 10:21:22.33 ] そうなんだよなあ。Webでだいたい読んじゃったから今さら買う気がしない。 訳が気になるだろうしね。 560 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 10:53:30.66 ] 読んじゃった人は買わなくていいじゃん。付録がちょっとあったけど、自分で英文読み通す勢いのある人は、 自己解決しちゃうだろうし悩む事もないって 561 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 11:39:40.83 ] MLやircで詳しい兄貴達に質問できるぐらいの英語力が欲しい 562 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 11:42:25.55 ] >>561 目標もちゃんと定まってて欲しているのなら、あとは勉強するだけだろ なんでしんないの？ 563 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 11:49:56.39 ] お前はまず日本語を勉強しろｗ 564 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 11:52:49.19 ] ごめんごめん ちょっと日本語忘りかけてるから 565 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 12:04:21.25 ] 英語を勉強すると日本語が馬鹿になって死ぬ twitpic.com/9j2u1m > 「トムはこれからカムバックというところを、交通事故で亡くなってしまった。」 566 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 12:05:46.42 ] #haskellでがんばって質問する → 懇切丁寧な説明が返ってくる → 読解するのがやっとで返事が出せず焦ってわけわかな英語を吐く → なにかまずいことを言ったらしくフレームウォー開始 → ログオフして枕を濡らす → 数日後、自分の痴態がIRCログとしてWebで公開されていることを知り鬱になる 一部フィクション 567 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 12:17:29.81 ] >>558 「英語読める人は出来の悪い邦訳書なんか読まずに原文当たれば良い」 というのがこの問題の正しい解決方法とは思えない。 折角Haskellに興味を持ってくれたCS入門者の悪書によって出端を挫かれ、 他の言語へ移ってしまうことこそ大きな損失だと考えなくてはならない。 568 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 12:21:50.78 ] 二位じゃダメなんですか？ 569 名前：558 mailto:sage [2012/06/02(土) 12:49:04.42 ] >>567 ぼかぁ翻訳の出来が悪いとは言ってないんだけどな。 英語全文がネットでタダで公開されてるんだから英語をスラスラ読める様な人には 要らないという普通に当たり前の事を書いただけだ。 自分はまだ11章ぐらいまでしか読んでないけど訳の質が悪いとは思わなかったなぁ。 ７章ぐらいからは内容の難易度も少しずつ上がってるのでペースダウンしてる。 570 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 12:55:08.15 ] >>557 別に何も悪くないよ。ghciの仕様。 (ghciは出力にshowを使うからshowの仕様でもある) 571 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 12:58:56.57 ] >>570 多分質問者は対処方法を尋ねているのだと思われる 僕も知らないので教えてにゃん 572 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:04:40.35 ] 何がしたいのか微妙に分からんから対処法を考えるのも難しいけど、 エスケープされるのが嫌ならshowを使わなきゃいい。 自分で format :: [(Integer, String)] -> String みたいなのを書いて、putStrLn $ format $ zip [1..] ["りんご","みかん"] するとか。 いちいちそんなことするのが馬鹿らしいと思うなら、showの仕様を変えるように提案するしかないね… 573 名前：デフォルトの名無しさん [2012/06/02(土) 13:12:53.72 ] >>572 ありがとう！ 574 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:17:06.20 ] tanakhHideyuki Tanaka 35分前 あえー。そんなに翻訳ひどくなってますかね… > 某スレ 575 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:19:50.70 ] 翻訳はかなりマシの方だけど。 バランスが悪いな、全体真面目な文章なのに、突然ギャグが入ってくるところとか。 最高クラスの翻訳は日本人が書いたのと全く見分けがつかないけど。 これはところどころ、英文臭が漂うね。 576 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:23:06.25 ] 技術書ではむしろ、元の英文が想像できたほうがいい場合すらあるから、 それは問題ないと思う。 577 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:25:10.70 ] >>567 日本の製本技術の素晴らしさを知らないとは… 578 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:29:33.39 ] >>496,497,498 で誰も問題だとは言っていない。 普通の翻訳だよねって話。 もうちょっというと、本は素晴らしいただ訳者のレベルがまぁ○○だよね。 579 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:31:07.00 ] あからさまな燃料投下はやめてください 580 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:40:45.28 ] 伏字にして気を使っているのに、あからさまとはどこを見ての判断なの？ 581 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:40:51.82 ] >>575 突然ギャグが入るのは原文もそうだし、ナンセンスギャグなんかもあって 完全にニュアンスを伝える翻訳は難しいだろうな。 関数を評価してる間に犬が誘拐されて家に火が付けられるとか日本語で言われると このナンセンスさのノリが伝わりにくい。 582 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:49:28.57 ] >>581 それ、ギリシア神話で似たようなのなかったっけ？ 583 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:50:48.46 ] >>582 イソップ物語 584 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:52:44.53 ] >>580 直訳がまずいところを具体的に示すことなく 訳者のレベルを否定的な表現を交じえて伏せ字で示すあたり燃料以外になにがあるのかと 585 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:54:25.86 ] 翻訳がマズい箇所を1ページ目から列挙するの？ 586 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:54:32.87 ] >>584 ttp://blog-imgs-42.fc2.com/k/i/r/kira47/20120410171046c16.jpg 587 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:56:41.62 ] >>584 ttp://30.media.tumblr.com/tumblr_l658t8RQIh1qz7zoso1_500.gif 588 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 13:56:49.19 ] >>585 全部挙げろとは言わないが例示ぐらいあってもいいんじゃない 589 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 14:03:20.91 ] >>588 読む人のレベルがバラバラなんだから学生同士が話しているのとはわけが違うぞ。 それなのに例示をしめした所で単にこじれるだけだっつーの。 590 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 14:05:37.10 ] 2chがこじれたところでどうということはない。 591 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 14:10:43.81 ] >>589 著者のレベルも読む人のレベルによって左右されるものだよね それを伏せ字を交じえて断じた時点でこじれるには十分だしこうして実際にこじれてる 592 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 14:31:32.85 ] スレで査読がはじまると聞いて 593 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 15:29:52.31 ] 本当にまずい訳が多いならかいつまんで例示くらいできるでしょ 594 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 16:17:24.06 ] >>593 >>578 595 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 16:25:46.66 ] >>594 アホなのか？ 訳者のレベルがまずいってんなら訳文で示せって言ってんだけど。 さっきからテメー苦し紛れに雑魚いレスつけやがってうざいんだよ 596 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 16:33:57.60 ] >>595 　┏━━━━━━┓ 　┃　　　Λ＿Λ　　┃ 　┃　　 ( ;@Д@) 　┃ 　∧＿∧ (m9　 つ ┃ （　　　)人　Ｙ　 　　　┃ （ Ｏ　つ　(＿)　　　 ┃ `ノ　 イ━━━━━┛ し-"(＿) 597 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 16:35:26.86 ] 今、全部列挙してるから、スレをサスペンドして待っててください 598 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 16:38:11.10 ] オートリロード・オートスクロール便利ね。 599 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 17:39:24.51 ] Haskellやるような知的レベルの高い人は暴言なんて吐かない(ρ＿；) 600 名前：デフォルトの名無しさん [2012/06/02(土) 18:36:04.29 ] どこだったか忘れたけど、「いくら〜しても〜しすぎることはない」っていう文を見たときは、ちょっと中学英語っぽ過ぎると思ったかな でも全体としてはよく訳せてると思うよ… 601 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 18:54:21.55 ] haskellスレがsicpスレ化しだしたね。しばらくはここも終ったと割りきるしか無いかも。 粘着さんが一番怖い。パール忍者が１０人いるような状態が一番まずい。 602 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 19:22:15.27 ] 最初から訳は問題だとは誰も言っていないのに。 >>595 のようにまずいってどこがだとか なかった問題をさもあるように作り上げて楽しむ愉快犯がいるからなぁ。 603 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 20:24:26.29 ] 英語の勉強しすぎると 和訳に使う日本語に慣れてしまうよね 無生物主語を日本語でも普通に使うようになったり 604 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 21:09:51.24 ] そもそもSICPスレの基地外みたいな、日本語が怪しいクズ野郎が翻訳を語るとか 605 名前： ◆QZaw55cn4c mailto:sage [2012/06/02(土) 21:28:38.35 ] >>603 無生物主語は立派なひとつの文体。つ村上春樹 606 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 22:08:05.30 ] 訳書を買った時、この本くらいのレベルで訳されてたら感謝感激する。 それくらい質が高い、と思う。 エキスパートプログラミングに匹敵するんじゃない？ 607 名前：デフォルトの名無しさん mailto:sage [2012/06/02(土) 22:49:31.03 ] Windows7でLeksah 0.12を使っているのですが、 Altキーを押しても普通のWindowsアプリケーションのようにメニューにフォーカスが移動しません。 フォーカスをメニューに移動させるキーって用意されていないのでしょうか？ 608 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 00:04:05.61 ] 訳者のレベルって何が言いたかったんだろう 訳が上質であれば私はそれでいいです 609 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 00:20:13.68 ] >>603 それはある。俺の文章は既にその傾向にあるし、２ちゃんで翻訳文章みたいと 言われたことがあった。 610 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 00:30:56.98 ] それはある。 611 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 00:48:46.14 ] >>603 いくらか度を越した英語学習は私が和訳に用いる日本語の語彙にも影響を及ぼしていた 612 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 04:10:47.88 ] 修辞学の授業はっじまっるよ〜 613 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 07:02:53.46 ] さあ諸君、議論したまえ 614 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 10:17:36.62 ] >>529 > >>525　 > >>なんでこのレベルの奴がこの板にいんだよ年々レベル下がってるじゃねーか死ね > 感情丸出しで書き込んでいて、自分が一番食物連鎖の最下層にいるって気付かないのかな？ 俺食われちゃうのかな？ 615 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 11:41:42.15 ] >>607 他の人も問題にしています。 code.google.com/p/leksah/issues/detail?id=119 例えばこの人は [Alt + F] が効かないと言っていますが、 本質的に貴方と同じ問題を提起しています。 ただ、この人の問題提起は2009年9月で、 その現象の再現が確認できたのでどうにかしたいと、 プロジェクトメンバーが返事していますね。 にもかかわらず、未だに直っていないのなら、直す気がないのでしょう。 616 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 22:01:01.17 ] 結局訳に関する具体的な指摘はどうなったんだ 617 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 23:14:58.91 ] 結局、取り立てて言うほどのものはないという結論になったような。 訳者のレベル云々言っておきながら「訳に問題があるなんて誰が言った」という論理はよく分からんが、 まぁなんか一言言いたかったんだろう。あまり蒸し返さない方がいい。 618 名前：デフォルトの名無しさん mailto:sage [2012/06/03(日) 23:18:38.10 ] 日本語とか偉そうなフリができるところで、権威を叩くと相対的に自分が賢くみえるの!! 他人のレベルが低い…俺のレベルは高い…俺輝いてるッ 気持イイッ 619 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 00:16:04.93 ] 昔からある基本的な手法だしな。そのおかげでいろんなマナー本やビジネス本が売れる。 620 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 00:17:22.83 ] ああ、つまり「やってはいけません」系の本ね。 お買い上げありがとうございます。 621 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 06:34:45.23 ] 蛇足な上に正しいとは言い難い訳注の詳細ﾏﾀﾞｰ？ 622 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 07:17:43.18 ] 訳者に難癖付けたい人が居るようですね^^ 623 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 08:15:42.96 ] (誤りの指摘==難癖)な厨房思考が透けてみえるレスあざーす 624 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 08:49:18.45 ] 具体的な指摘をできない限り、「蛇足な上に正しいとは言い難い訳注」と言うだけの奴こそ 誰がどう見ても厨房。>>623 はさらにそれ以下の消防。 625 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 09:20:11.41 ] 訳者のマッチポンプだろ。 ネットで調べてみたら胡散臭いやつだったしな 626 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 09:21:26.82 ] 三段論法を使えるがレッテルを貼る程度の能力 627 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 09:35:52.41 ] 三段論法も使えていなかったような 628 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 11:19:01.24 ] 　　　　　　　　　　　　　　　　　　　 ／j 　　　　　　　　　　　　　　　　　　　／__/　‘， 　　　　　　　　　　　　　　　　　 ／／　 ヽ　 ', 、 　　　　　　　　　 　 　 　 　 　 /／　　　　‘　 ! ヽ　　　　　　　　　　　　　…わかった　この話はやめよう 　　　　　　　　　　　　　　　　/ｲ　　　　　　 ', l　 ’ 　　　　　　　　　　　　　　　iヘﾍ,　　　　　　 l |　　’ 　　　　　　　　　　　　　　　| ｎﾍﾍ　_　 　 　 | |　　 l　　　　　　　　　　　 ハイ！！　やめやめ 　　　　　　　　　　　　　　　| l_| | |　ゝ￣`ヽ | |〈￣ﾉ 　　　　　　　　　　　　　　　ゝｿﾉﾉ 　 `ー‐'　l !　¨/ 　　　　　　　　　　　 ｎ/7./7　∧　　　 　 　 j/　/　　　　　iヽiヽｎ 　　　 　 　 　 　 　 ｜! |///7/:::ゝ　　　ｒ=＝=ｵ　 　 　 　 |　!　| |/~7 　　　　 　 　 　 　 i~| | | ,'　'/:::::::::::ゝ、　l_こ./ヾ.． 　 　 ｎl　l　.|｜/ 　　　　 　 　 　 　 | | | | l　{':j`i::::::::::::::::`ーｒ ' 　 　 　 　 |｜ー---{ 　 　 　 　 　 　 　 | '"￣￣iﾉ .l::::::::::::::::::::::∧　　　　　　 |　ゝ　　　 ', 　　　　　 , 一 ｒ‐‐l　　　γ　/、::::::::::::::::::::::::〉ー=　___　 ﾍ　 ヽ　　　} 　　　　／ o　 |!:::::}　　　　 / o` ー ､::::::::::::i　o　,':::::::{`ヽ ﾍ　 　 　ﾉ 　　　/ o　 　 ﾉ:::::∧　　　/ヽ　　o　 ヽ::::::::|　o　i::::::::ヽ、　/　　　/ 　　 /　　　 ノ::::::/　　　 /::::::::ヽ　　o 　ヽ:::|　o　{::::::::::::::Υ　　　/ 629 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 11:37:58.59 ] >>621 p.57 O(NlogN)で抑えるなんて言い方は無い。上に抑えられていることをO(NlogN)程度と言う。 訳者はOの定義もΩやΘとの違いも知らないんだろうな。 所要時間の期待値の件も変。普通は所要時間の期待値と言ったら全ての可能な入力に対する期待値の事だが、この意味ではピボットをどう選ぼうが(選択に定数時間しかかけない限り)クイックソートの計算量の期待値はO(NlogN)だ。 ある特定の入力に対する確率的アルゴリズムの計算量の期待値のことを言いたいんだろうが、本文中には決定的アルゴリズムの話しか出て来てないのにいきなりそっちを持ち出すのは変。 p.150 正格評価でも、yesResultとnoResultの両方を評価するなら実装は遅延評価とほとんど変わらないので、この訳注は完全に嘘。片方しか評価したくない場合なら遅延評価の方が手軽に実装できるのは分かるが、二文目で自分で否定してる。 630 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 12:04:49.79 ] そんなことよりお前らついにリリースしたぜ Haskell Platform 2012.2.0.0 hackage.haskell.org/platform/ 真っ赤かだな 631 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 12:38:14.93 ] やっと普通の批判がでてきたのはよろこばしいぞ p.57脚注は慣用的にアリだという気もしなくはないけど、確かに厳密な言葉を使わないかんね p.150脚注は「二文目で否定して」はいないと思うのだがどうか。 で、多くて萎えた、という割には2つしかない（というか実質1つ?）なん？ 632 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 12:42:05.03 ] 批評に必要な範囲で引用しておくか。 > p.160訳注： yesnoIfがこのように手軽に実装できたのは、 Haskellが遅延評価を基本とする言語だからこそ です。一方、 正格評価では、 yesnoIf を呼び出す前に、 yesResult と noResult の両方を評価し終える必要があります! 違和感ないけどなぁ。まあ私なら「必要があります」というより、「yesnoIfの前に両方が評価されてしまいます」と書くかも 633 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 13:06:13.22 ] >>632 それだと実装の手軽さは変わらないから、第一文も直さないとだめだな p.160脚注は「正格評価だと事前に両方評価しないといけないから実装が面倒！」と読めるし、 嘘もしくは酷いミスリーディングと言われても仕方ない 634 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 15:56:19.49 ] Haskellを理解する気は無いがdisりたくて仕方ないので 門外漢でも分かるところに噛み付いてるのがミエミエで微笑ましいw >>633 お前、正格評価でyesnoIf実装してみろよ まあ100%逃げるだろうけど 635 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 16:34:49.17 ] Haskell手習い中って文脈考えると、訳注に厳密な評価器論を書くのはやり過ぎになるだろうな。 かと言って「手軽に実装できる」じゃ曖昧すぎる気もするが。 せいぜい「yesnoIfが通常の関数と同じように記述できるのは、 Haskellでは引数の評価に遅延評価を採用しているからです」と注意を促すくらいがいいところか。 訳本は持ってないが、元のテキストでは評価器の話はほとんどなくて、 lazinessに対する直感的な理解に留まってたんじゃないかな。 636 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 16:35:54.20 ] >>634 >>632の前提なら、遅延評価版と一字一句変わらないな 話の流れ読めてる？ 637 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 16:36:52.63 ] 「正格評価」は、先行する訳注で既に解説済みなのかな。 638 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 16:41:35.03 ] yesResultもnoResultも副作用ないコード例しかないし、 本文でもlazinessには触れてない。 ここで遅延評価の訳注は本文の趣旨からいくとややミスリード気味だと思われる。 盛り込みたくなる気持ちはわかるが。 639 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 16:46:50.87 ] yesResultとnoResultが両方評価されるとマズいのかどうかとか本文中に全く書いてないのに、 訳注でいきなりマズいこと前提にしてるのもおかしな話 640 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 18:33:18.04 ] >>630 目玉は？ 641 名前：547 mailto:sage [2012/06/04(月) 19:10:50.82 ] >>549 分りにくい質問ですいませんでした。 歴史というのは、Haskell の遅延評価の実装が 初期に比べてどんどん効率的になってきた発展の歴史のことでした。 と言うのも、私は正直なところ既にかなり洗練されたものの仕組みを調べても、 なかなか頭に入らない類の人間なもので、原始的なところから 少しずつ調べていこうと思った次第です。 まずは教えていただいた資料を読み、さらに参考資料を辿って学んでみたいと思います。 GC と遅延評価は密接に絡んでいると思ったのですが、そうでもないのですね。 それでしたら、とりあえず GC は後回しにします。 >>552 ということで、興味自体はあるのですが、またの機会に読んでみようと思います。 お二人とも、ありがとうございました。 642 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 19:49:51.35 ] GCないと遅延評価はやりづらい。 Thunkの回収を明示的にやるのは難しいから。 けどGCの研究がずっと先行してる。 独立に勉強して。 それからHaskellの処理系開発で遅延評価が劇的に向上したことはない。 むしろライブラリ実装の方で起きてる。 643 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 20:00:36.96 ] あるいはHaskell的な関数型言語の実装についての基礎なら、 SimonさんのImplementing functional languages: a tutorialあたりをとっかかりに。 644 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 20:36:06.66 ] もう何年も前の話だが、小説家で言語学者でもあるユーシュル・モリナーロ氏 と筆者は、同氏によるヘルマン・ヘッセ著『知と愛』の翻訳について話し合った ことがある。モリナーロ氏はほぼ1年にわたり、その本のドイツ語版を抱えて 自宅と作業場となっていたカフェを行き来した。 あるとき、好奇心を抑えきれなくなったクリーニング店の店主がついに、 同氏が分厚い本を抱えている理由を聞いた。「翻訳しているんです」と モリナーロ氏が説明すると、驚いて目を見開いた店主が聞き返した。 「一語残らずですか」 （略） 　筆者の友人のクリーニング屋が想像したように、一語一語を厳密に訳し ていく翻訳など存在しない。うまい翻訳をするには、奇術師でもあるべき だろう。本文の一部を手品師の鳩のように跡形もなく消し、 自らの感覚で部分的に手直しして全く違う場所に復活させる。 これはすべての生き生きとした魅力あふれる翻訳の決まりの悪い事実である。 本文が描写していることが自分たちの文化では非現実的に思えるとき、 翻訳者たちはときに自らの見解を差し挟む。たとえば、パリの住人が平日に 3時間かけて取る昼食を退屈で日常的なこととして描かなければならない という現実に直面することがある。そんなときはどうするか。 とにかくそのまま進み、読者の大半がフランスの文化に十分精通していて、 そのきわめて日常的なことをひどく非現実的とは思わないことを願うばかり である。 文化的な違いが最も露骨に表れるのは、翻訳の破たんとも考えられている 言語学的難題、だじゃれである。 （略） jp.wsj.com/Life-Style/node_451636 645 名前：547 mailto:sage [2012/06/04(月) 20:48:07.98 ] >>642 >>643 わかりました。 同時にはできないので、まずは遅延評価の根幹から学びます。 > それからHaskellの処理系開発で遅延評価が劇的に向上したことはない。 これから学ぼうとする私にとっては大変有難い事実です。 646 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 21:27:15.02 ] >>633 >>635 >>639 いやいや、流れで言えばこの訳注はわりと適切な位置にあるし、第一文も完全に正しいでしょ この遅延評価の話が出てくるのは7章も後半で、Haskellの多くの部分が説明された後だ。 「正格評価」という言葉こそないが、正格さについては遅延評価とあわせてpp.80-100あたりでfoldl'の話と一緒に長い議論があるし、 そんな一部分だけ取り出してミスリーディングとか騒がれてもナァ 647 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 21:28:53.20 ] あと >>636 一字一句変わらないのかよｗ お前は「はじめに」を100回読み直すべき 648 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 21:37:07.50 ] >>646 ＞第一文も完全に正しいでしょ 何の根拠も書かずに主張されてもな じゃあ「遅延評価を基本とする言語だから」yesnoIfが「手軽に実装できる」ことを実例付きで説明してくれ >>647 もう一回聞くが、話の流れ読めてる？ 649 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 21:53:41.23 ] 632にあるようにyesnoIfの前に両方が評価されてしまってもいいなら、正格評価でもコードは変わらんでしょ 647はなにが言いたいのかさっぱり分からん 650 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 22:22:36.54 ] >>648 副作用が絡まなくて意味がある例なら、たとえばこんなのとか。 sinc x = yesnoIf (x == 0) 1.0 (sin x / x) 正格評価だとクロージャにつつまなければいけないから、 yesnoIfの定義も呼び出し側もちょっとめんどくさくなる。 651 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 22:27:21.62 ] このネタは、等式推論を使ってよいのであれば yesResult /= ⊥ → yesno p = True → yesnoIf (yesno p) yesResult ⊥ /= ⊥ を使って説明するのが簡単なのだけど、あの本は等式推論について触れてないから 正直lispでifをdefunを使って実装した場合とdefmacroを使って実装した場合の違いを説明するよう泥臭い説明しかできないだろうな 原著でも⊥になる値を突っ込んだものを例に含めてないのはこの辺の厄介を回避する為なのだろうかと思ってしまう 652 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 22:33:27.08 ] そんなムズカシイことかんがえなくても yesResult と noResult がコスト重い計算だったらどうなると想像すればいい 「はじめに」から順に読めばまあ多分普通にわかること 653 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 22:40:32.12 ] >>650 だからそれは「yesnoIfの前に両方が評価されて欲しくない」という前提の場合だろ yesnoIfの要件が本文中に全く書かれていないのに、 訳注で勝手にそんな前提を置いているのはおかしい、というのが今の話なんだが むしろ脚注の第二文を見ると、「正格評価のyesnoIfではyesnoIfの前に両方が評価される」と読める これは>>650で言っていること(そしておそらく脚注の第一文で言いたいこと)と真逆だ 654 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 22:44:16.38 ] めんどくさいこと考えてる奴だなー要件もなにもHaskellのifなんだから遅延評価にきまってるだろ 655 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 22:48:13.67 ] s/Haskellの// 656 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 22:51:24.19 ] それだと脚注の第二文が意味不明だな だって、クロージャに包んでyesResultとnoResultが先に評価されないようにする/できるんでしょ？ 657 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 22:54:37.59 ] もういいよ 658 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 23:04:41.57 ] 仮にifが遅延評価なのが常識だとしても、遅延評価を基本とする言語で遅延評価のものが手軽に実装できるのは当たり前 逆に正格評価のものを実装するなら正格評価を基本とする言語の方が手軽に実装できるだろう それをまるで遅延評価の利点であるかのように書いてるp.160(p.150?)訳注はミスリーディングだと思うな 659 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 23:11:21.77 ] いわゆるif文やif式を遅延評価だなんて言うのは適切でないと思うし、あまり聞いたこともない ifは(thenとelseについて)非正格というならまだしも 660 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 23:13:56.48 ] >>653 思うに脚注一文目で言いたいことはまさにそれ。 正格評価だと、引数を先に評価しないようにするためにクロージャやマクロ等を使わなければならないのがめんどくさいということ。 脚注二文目で言いたいことは多分、正格評価は引数を先に評価するという意味と思ってよいから、めんどくさくなるのは正格評価である以上仕方ないということ。 たしかに簡約だとか式の変換とかなしでのこの訳注は、Haskell初心者にとっては意味不明な気もする。 661 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 23:27:51.68 ] まあ脚注二文目は変だね。ここは正格評価では簡単に書けない、という主張がこないと 話がつながらない。筆が滑ったんでしょ。 しかし、こんな全体としてこんなに出来のいい訳本に文句つけるなんて、Haskellerは贅沢すぎる。 「プログラミングの壺」の訳本をみせてやりたい。 662 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 23:40:58.96 ] >>661 俺はこの議論には参加せずずっとROMってたんだが、 文句つけてくれたお陰で見識を得た むしろ、ありがとうと言いたい 663 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 23:54:20.59 ] >>631 しつこく聞いてくるから例を挙げただけだよ。全部書くのは面倒なので勘弁。 664 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 23:55:40.46 ] いや、↑でありがとうって言ってる人いるし、先生続きをお願いします（あるなら）！ 665 名前：デフォルトの名無しさん mailto:sage [2012/06/04(月) 23:58:38.39 ] >>661 なんでもそうだけど、声のデカいアホをコミュニティの代表扱いするのは辞めてほしい 666 名前：662 mailto:sage [2012/06/05(火) 00:01:11.27 ] >>664 いや、俺は「文句つけるなんて、Haskellerは贅沢すぎる」に対して、 そう悪い面ばかりでもないよという意味で言ったまでだ 他のHaskellerには迷惑かもしれんし、そもそも訳の質についてはスレチだから、 ほどほどにしておいた方が良いと思うよ 667 名前：デフォルトの名無しさん mailto:sage [2012/06/05(火) 00:06:59.51 ] 訳はともかく訳注に間違いがあるのなら指摘は有意義なことだと思うが． 668 名前：デフォルトの名無しさん mailto:sage [2012/06/05(火) 00:07:43.42 ] 単に荒れるだけかと思ってウルトラマンを貼ってみたが、意外に議論がされたんだな。さすが。 669 名前：デフォルトの名無しさん mailto:sage [2012/06/05(火) 00:15:16.32 ] 結局まともな指摘は>>629だけか 670 名前：デフォルトの名無しさん mailto:sage [2012/06/05(火) 01:57:46.05 ] >>646 > 正格さについては遅延評価とあわせてpp.80-100あたりでfoldl'の話と一緒に長い議論があるし、 Data.Listの紹介でfoldl'ってstricterなバージョンがありますって紹介してるだけじゃないの? 671 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 08:26:06.90 ] こう書くと、どこが正格でどこが非正格で 落とし穴がこうで云々詳しく扱ったサイトありませんか？ 672 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 12:43:25.09 ] Haskell って、あるライブラリの関数の引数が 正格評価なのか非正格評価なのかって、 シグネチャ見るだけじゃ分らないんだよね。 ライブラリユーザーにこれを伝えるには、 関数名で分るようにしておくか、 ドキュメントに注意書きするくらいしか方法はないの？ 673 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 14:48:32.13 ] >>661 翻訳の技量は普通だけど Haskellの技術者としては指導できるレベルじゃないってことでしょ。 平たくいえば、外国でHaskellの天才が書いた本を 自分もそのおこぼれを与ろうと低レベル者が翻訳してみせたのがこのすごいH本。 翻訳者もHaskellの天才だったら良かったのに、 単に金儲けがしたい、英語力はそこそこだが、 Haskellはちょっとかじった程度のやつに目をつけられて 金儲けの道具にされてしまった。 原作者は散々だったな、可哀想だって思ったのが この騒動の発端だろう。 674 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 15:08:07.89 ] 　　　　　　　　*'``・* 。 　　　　　　　　|　　　　 `*。 　　　　 　　,｡∩　　　　 　* 　　　もなど 　　　　　　+　(´･ω･`)　*｡+ﾟ 　　　　　　`*｡ ヽ、　 つ *ﾟ* 　　　　　　　`・+｡*・' ﾟ⊃ +ﾟ 　　　　　　　☆　　 ∪~ ｡*ﾟ 　 　　　　　　`・+｡*・ ﾟ 675 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 15:12:08.66 ] 10年触ってる人がニワカ扱いとか2ch凄いですね 676 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 15:52:45.14 ] 10年？ 中学３年、高校３年、大学４年英語勉強して 英語喋れない奴は腐るほどいるぞｗ 677 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 16:00:05.43 ] 英語は使わなければ使えるようにならないというのがあるな 同様にHaskellもそれで食ってるぐらいじゃないと実用性を啓蒙できる立場では無いとか 本や講演で儲けるだけの段階ではマルチとかあやしいビジネスセミナーとか宗教とかと同レベルだと 確かに近年の○○勉強会みたいな類はそういう妙な空気があるように思える 678 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 16:29:01.30 ] 10年触っている人だから天才ってことはないな。 679 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 16:35:30.25 ] 最近SICPスレで暴れても誰も相手にしてくれないのでこっちに来ました！ なんかしんないけど言いがかりみたいないちゃもんつけて翻訳の悪口 を言って盛り上がるスレですよね？ 正直「すごいハスケル」って本は買ってないし読んでないし読むつもりもないんですが 翻訳の質にガンガン文句言って盛り上げていきますんでヨロシク！　(^з^)-☆ 680 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 16:56:11.29 ] >>501,502みたいな日本語不自由レベルの人間が叩いているかと思うと頭が痛くなるな 681 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 17:09:29.22 ] >>680 十分意味が通じるけど？ 682 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 17:11:21.36 ] 蒸し返し禁止 683 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 17:13:22.44 ] >>680 2chならそれで十分だろ。 684 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 17:46:11.31 ] >>680 どこの学士様ですか？ 685 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 18:34:20.52 ] この反応は図星ですっていってるようなもんだなｗ 686 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 19:23:26.40 ] 原書読めないから翻訳本買ってるんでしょ。 そんな英語力で偉そうに文句言って恥ずかしくないんかな？ 687 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 19:31:38.77 ] >>686 恥ずかしいとか、そんなのどうでもいい 良くない部分、おかしい部分、曖昧な部分は 気づいた者が躊躇なく指摘すべき 恥ずかしがる理由なんて微塵もない 688 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 19:37:39.12 ] そんなことよりバンドやろうぜ www.bigbasstabs.com/ 俺タンバリンな 689 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 20:05:27.72 ] QT 今月の誕生日に彼女からすごいH本プレゼントされたらどうしよう。。。準備しておくべきだろうか。。。 [うさみみ＊´×｀＊エンジニア] 690 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 20:10:11.96 ] お前にはまだ早い はじめてのCをお返しとけ 691 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 20:40:40.78 ] ttps://twitter.com/AoiMoe/status/210614093273497600 > 「すごいC楽しく学ぼう」という保健体育本はまだですか 692 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 20:50:35.36 ] H本ネタはいい加減飽きた ム板てネタに対してちょっとしつこいな 693 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 21:58:42.33 ] 粘着力ないやつはプログラマー向かないだろ。 コンピュータは適当にこなしといてくれないし。 694 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 22:28:40.23 ] 終わった後で蒸し返せばいいやと思うと、終わる前に粘ることができなくなる 695 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 22:30:46.90 ] 同じネタを入れると常に同じ返しがくる …さすがHaskellスレ 696 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 07:39:22.11 ] コンプ丸出しで訳者の印象だけを語るってのがどうにもね。。。 説得力ないし、もっとHaskellの内容で勝負しようぜ 697 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 07:41:28.68 ] 第一Haskellの天才ってなんだよｗ発想があきらかにオッサン 698 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 08:13:12.11 ] >>696 >>646, 647, 652辺りで一人頓珍漢な指摘してた人？ 699 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 08:45:52.89 ] ↑こいつ病気だろ 700 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 09:41:25.54 ] 図星だったのか 701 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 10:15:30.48 ] >>673 突っ込まれてる内容を見る限り、 Haskellの技術者としては、と言うよりエンジニアとしては、だな 702 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 13:58:27.24 ] まず「叩く」という関数を呼ぶが引数である「叩く理由」は遅延評価というか何も考えてない。 さすがHaskellerやで。 703 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 14:56:27.48 ] 一般論として、訳があるのはいいこと。よっぽどの悪訳でない限り。 チュートリアルなんだから、沢山の人に読まれるのがよい。 誤訳等の指摘があるのいいこと。度を越さない限り。 チュートリアルなんだから、よりよい訳になれば、なおいい。 叩きすぎるのも、容認しすぎるのも思考停止に陥りやすい。 704 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 16:46:43.04 ] このスレどこに向かうの？ 705 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 16:52:46.55 ] 斜に向かってます 706 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 19:47:00.73 ] reactive ってバージョンと更新日の新旧がテレコってるのがあるんだけど。 reactive-0.5.0.1 　　Sat Sep 10 21:41:20 UTC 2011 　　Uploaded by RussellOConnor 　　Built on ghc-7.2 reactive-0.11.5 　　Upload date Sat Sep 10 21:41:20 UTC 2011 　　Uploaded by ConalElliott 　　Built on ghc-6.12 これって、ConalElliott に代わって RussellOConnor が 昔のバージョン 0.5.0.1 を ghc-7.2 で焼き直したから、 こっちを使ってくれってこと？ あと、ConalElliott って reactive も自身のブログも全然更新しないんだけど、 ひょっとしてもう死んだ？　まだ生きてるよね 707 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 21:59:17.26 ] とりあえずどんなものか試すなら0.5.0.1を使ってチョ、 くらいの意味じゃないかなぁ。学生の講義で使ったとか？まったくの憶測だけど RussellOConnorのサイトを探したら r6.ca/code.html にあったけど、 特にこのパッケージについて言及ないっぽい 708 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 22:39:37.86 ] Parsec の　st の意味が分かりません どこを見ればいいでしょうか？ 709 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 23:13:24.34 ] stって何だっけ。 どこで出てくるstなのか書いてもらえないと答えようがないよー 710 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 23:25:43.90 ] >>709 ↓　みたいな感じで関数の型に出てくる st です GenParser Char st [String] 711 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 23:29:23.43 ] STate(状態)って意味の仮引数名でしょ。 parsecがstate monadなのは理解できてるの？ 712 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 23:34:29.64 ] >>711 そもそもParsecってStateMonadなの？ 713 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 23:36:06.48 ] 使わないから知らないけど、hackage見る限りそのParsecは古いんじゃない？最新だとそんな型ないよ さておき、 hackage.haskell.org/packages/archive/parsec/2.1.0.1/doc/html/src/Text-ParserCombinators-Parsec-Prim.html#line-126 を読むと newtype GenParser tok st a = Parser (State tok st -> Consumed (Reply tok st a)) となっており、 つまり State型に渡す型引数だ。 (Replyの引数も最終的にState型に渡っている) パーサーにユーザ定義の状態を持たせたいときに、このst型に具体的な型を代入して使う。 状態は getState :: GenParser tok st st で得られ setState :: st -> GenParser tok st () で更新できる。 こんなところかな？ 本当はソースでなくParsecのマニュアルを読むのがいいと思うけどとりあえず 714 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 23:37:33.72 ] でこのソース読むと OkのときStateが帰るからStateモナドといってよいと思う。 あるいはErrorTとStateを組み合わせて同じものを作ってみるのも良いかも 715 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 23:41:09.72 ] というか仮引数のままでいいのか… 716 名前：デフォルトの名無しさん [2012/06/08(金) 23:43:06.83 ] それが多相性なのでしょう 717 名前：デフォルトの名無しさん mailto:sage [2012/06/08(金) 23:47:17.97 ] >>714 ErrorTとStateでは作れないなー StateTとEitherかな？ 718 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 01:19:41.25 ] >>716 パーサのstの部分って、パーサを作ってる段階じゃ何が入るか分からないの？ 719 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 13:48:13.74 ] たとえば f :: GenParser tok st () という関数があったら、st の部分に何が入っても f を使える、ということ（多相性） 逆にいえば、 f 自身は、 st に何が入ってるか知らない(中身を触れない) 720 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 14:02:28.81 ] >>719 パーサがパースしてる最中に f を何度もいろんな使い方するってことか 721 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 15:44:48.67 ] reactive-banana って reactive のラッパーかと思ってて ずっと手を付けなかった自分を殴りたい 722 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 16:30:44.77 ] >>720 というより「stの型にかかわらずどんなパーサーでfを使える」という感じ 一つのパーサーの実行途中でstの型が変わることはない。 1+1+1 という式が → 2+1 → 3 と計算される途中でString型に変わったりしないのと同じ 723 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 19:32:42.81 ] さらにreactive-banana-baconというのもありまして これもreactive-bananaの単なる追加パッケージかと思いきやreactive-bananaに依存しないまったく別の実装だったりする 724 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 20:14:18.18 ] banaan とか bacon とか名前適当すぎワロタ 725 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 20:21:25.86 ] ばなーん じゃなくて ばなな 726 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 20:22:18.09 ] 商標とかぶるとめんどくさいから適当な名前が増えるのかも 727 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 20:43:29.82 ] 俺もなんかつくって reactive-chikuwa とか名前付けようかな 728 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 21:26:25.15 ] あぁ、あれですね ゲーム作る前に名前から決める奴 729 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 21:41:08.79 ] あるあるー 730 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 22:03:24.18 ] 作業用ディレクトリにhogeとかunkoとか適当な名前のプロジェクトが沢山ある 731 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 22:03:40.31 ] ここってこんなにまったり雑談スレだったっけ 732 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 22:12:23.17 ] >>731 爆弾でもいいから Haskell 関連の話題を投下してくれ 733 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 22:33:37.62 ] happyで生成したGLRパーサコードがコンパイルエラーになる件はいつ解消されますか？ 734 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 22:39:55.15 ] >>733 きみが作者にバグフィクスを送ったら改善される 735 名前：デフォルトの名無しさん mailto:sage [2012/06/09(土) 23:57:31.71 ] ということで雑談スレに戻るぜ 736 名前：デフォルトの名無しさん mailto:sage [2012/06/10(日) 00:37:05.38 ] RecordWildCards壊れた？ 737 名前：デフォルトの名無しさん mailto:sage [2012/06/10(日) 05:58:46.12 ] >>736 きみが作者にバグフィクスを送ったら改善される 738 名前：デフォルトの名無しさん mailto:sage [2012/06/10(日) 10:13:28.94 ] 同じギャグを2度続けられるとウザイ 739 名前：デフォルトの名無しさん mailto:sage [2012/06/10(日) 13:13:07.99 ] >>736 ghc7.4でも使えると思うけど、何か問題があった？ 740 名前：デフォルトの名無しさん mailto:sage [2012/06/10(日) 15:48:54.30 ] >>739 時々こんなメッセージでコンパイラが落ちる *** Exception: compiler\rename\RnPat.lhs:535:39-79: Irrefutable pattern failed for pattern gres@(gre : _) まあぐぐってみたら普通に既知みたいだが・・・ 741 名前：デフォルトの名無しさん mailto:sage [2012/06/10(日) 16:04:16.67 ] これか… hackage.haskell.org/trac/ghc/ticket/5892 742 名前：デフォルトの名無しさん [2012/06/11(月) 20:38:55.48 ] 上でSICPが話題になってたから 読んでみたら本当に糞訳すぎて噴いたわw 743 名前：デフォルトの名無しさん [2012/06/11(月) 20:39:56.97 ] しかしこれは本当に酷い訳だわ 擁護しているの関係者としか思えん 744 名前：デフォルトの名無しさん mailto:sage [2012/06/11(月) 21:21:11.52 ] reactive-banana のチュートリアルって HaskellWiki のしかないですか？ サンプルじゃなくてチュートリアルです 745 名前：デフォルトの名無しさん mailto:sage [2012/06/11(月) 21:35:14.31 ] >>744 stackoverflowより stackoverflow.com/questions/9210412/recommended-reading-tutorials-to-understand-reactive-banana-frp-library 746 名前：デフォルトの名無しさん mailto:sage [2012/06/12(火) 07:35:26.82 ] >>745 ありがとうございます。 なるほど、まだ変動的だからちゃんとしたチュートリアルは作れないのですね。 作者のブログやstackoverflowの記事を参考にてみます。 747 名前：uy mailto:sage [2012/06/12(火) 13:27:06.82 ] HaskellってEsoteric programming language じゃなければただのバカだよね 748 名前：デフォルトの名無しさん mailto:sage [2012/06/12(火) 20:41:36.15 ] Erotic Programming Language に見えた。 749 名前：デフォルトの名無しさん mailto:sage [2012/06/12(火) 21:16:42.69 ] アポカリプティブ・ファンクター 750 名前：デフォルトの名無しさん mailto:sage [2012/06/12(火) 21:18:38.03 ] catastrophic morphism 751 名前：デフォルトの名無しさん mailto:sage [2012/06/13(水) 12:41:17.14 ] 質問 reactive-banana って、時間の概念は直接表には出てこないんだよね。 同時に発生したイベントの union はどちらが先に起こったことにするかとか、 その程度の間接的な扱いしかできない。 例えば、sin(アプリ開始からのt秒) という値を持つビヘイビアが作りたいなら、 現在時間を値に持つイベントを作り、それを自分のイベントループの中で毎回発火させ、 そのイベントからビヘイビアに変換させるのが普通なのかな。 reactive パッケージの time みたいに、時間のビヘイビアを直接得る方法はないの？ 752 名前：デフォルトの名無しさん mailto:sage [2012/06/13(水) 19:43:49.70 ] >>751 ないから作るしかない。 ＩＯモナドからBehavior作るfromPollって関数があるからそれ使えばいいと思う。 753 名前：デフォルトの名無しさん mailto:sage [2012/06/13(水) 20:31:56.94 ] >>752 やっぱり、そういうことなのね。 FRP と一言で言っても、いろいろな設計思想があって面白いな。 754 名前：デフォルトの名無しさん mailto:sage [2012/06/14(木) 17:47:08.09 ] お前らなんでも知ってるなぁ 一日中Haskellでもやってんの？ 755 名前：デフォルトの名無しさん mailto:sage [2012/06/14(木) 17:54:59.06 ] Haskellで何か作っていたり、Haskellの応用を身につけようとすると むしろHaskell以外の方がやること多くないか。 756 名前：デフォルトの名無しさん mailto:sage [2012/06/14(木) 22:02:09.61 ] 入門書買ったので、早速ダウンロードして使おうと　hackage.haskell.org/platform/　に アクセスしたのですが繋がりません。ひょっとしてうちだけ？ 757 名前：デフォルトの名無しさん mailto:sage [2012/06/14(木) 22:05:48.05 ] www.haskell.org/haskellwiki/Mailing_lists#Archives　とかで最近の 投稿見てもサイトダウンとか何も触れてないし…… 758 名前：デフォルトの名無しさん [2012/06/14(木) 22:06:37.28 ] 俺はつながるぞ ところで入門書は何買ったん？ 759 名前：デフォルトの名無しさん mailto:sage [2012/06/14(木) 23:03:05.31 ] 前もいた、気がするな。 ネットワークの設定の影響だと思うが。 d.hatena.ne.jp/sirocco/touch/20110905/1315255573 760 名前：デフォルトの名無しさん mailto:sage [2012/06/14(木) 23:19:43.98 ] つまりIPｖ6が悪さしてると 761 名前：756 mailto:sage [2012/06/15(金) 00:29:58.76 ] 入門書はオーム社の「すごいHaskell たのしく学ぼう！」です。 hackage.haskell.orgはDNSは引けてるみたいなんですが(69.30.63.204) pingが通らないです。traceroute すると10hop目位から先行けないようです。 端末はMac OS X LionでIPv6も有効になっちゃってますがv4アドレス直指定でも ping/tracerouteが通らないので、ネットワーク側の問題と思われたのですが…… と、これ以上は板違いなので控えます。今度くる時はHaskellの話題で。 762 名前：デフォルトの名無しさん [2012/06/15(金) 00:49:53.85 ] macだったらbrewでGHCをインストールすればいいyp 763 名前：デフォルトの名無しさん mailto:sage [2012/06/15(金) 00:55:54.91 ] はい、MacPortsでインストール中です。 764 名前：デフォルトの名無しさん mailto:sage [2012/06/15(金) 07:43:46.13 ] >>761 以前、つながらないと言っていた者です。 プライベートアドレスを割り振ってるところではつながらない可能性があるみたい。 ルーターの問題なのかな？（IPv6に対応していない？）　詳しくはわかりません。 自分のマンションも、プライベートアドレスが割り当てられてて、つながらないです。 自分の場合は、適当なプロキシを指せばつながります。 765 名前：デフォルトの名無しさん mailto:sage [2012/06/15(金) 16:10:08.91 ] (接続しているISPも含めて)IPv6使える環境じゃないのに、 IPv6を有効にしている/有効になっているクライアントが悪い。 766 名前：デフォルトの名無しさん mailto:sage [2012/06/15(金) 16:49:05.30 ] ネットワーク系のプログラムは全部IPv6無効にしてコンパイルし直してるわ 767 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 16:11:25.13 ] 文字列が数字として読み取れるならその数値を返す f :: String -> Maybe Integer のような関数は標準ライブラリにありましたっけ？ 768 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 16:59:24.76 ] reads だね。効率は非常に悪いけどとりあえず使える 769 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 19:20:54.00 ] リワハ読んだ後に進むべき書籍を教えて 770 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 19:26:51.24 ] >>769 Real World Haskell の次は、実際にプログラムを書くとかソースを読むとかすればいいと思う。 771 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 19:27:56.57 ] ハロワ行った後に進むべき書籍を教えて 772 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 19:43:24.68 ] >>768 Maybe ではないけど、指定した型の数値に変換できなければ 空リストが返ってくるってことね ありがと 773 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 19:46:55.65 ] リワハ読んだ後に読むべきソース教えて 774 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 20:43:35.03 ] >>773 目的は何？ 775 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 21:37:29.24 ] >>774 揺るぎなき基礎力です 776 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 22:44:49.44 ] >>769 規格書読めば？ 777 名前：デフォルトの名無しさん mailto:sage [2012/06/16(土) 23:46:34.01 ] >>775 揺るがなくなるまで再帰的にリワハ読んでろ 不動点だ 778 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 01:58:40.62 ] >>777 ﾜﾛﾀ 779 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 16:28:05.35 ] >>773 RWHに練習問題や研究課題が載ってるからそれを解いてみればいかがでしょうか 780 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 20:01:54.89 ] ハスプラバージョンアップの度に 自分で入れてたライブラリ再ビルド・インストール(´･ω｀･)ﾒﾝﾄﾞｸｾ 781 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 20:05:54.82 ] >>780 ようこそデビアンへ！ 782 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 21:51:22.26 ] ブルームフィルタ用ライブラリはどこですか？ 783 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 22:24:24.58 ] リワハって何か思った。ハロワを皮肉ったのかと思ってたよ。 784 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 22:50:35.17 ] >>782 君の環境からは HackageDB のページは見れないのですか？ 785 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 22:56:47.89 ] × 見れない ○ 見られない 786 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 23:03:27.35 ] >>785 ご指摘ありがとうございます。 787 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 23:04:22.65 ] >>784 ネカフェでダウンロードしてきたArchive.tarならあります 788 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 23:12:04.96 ] >>787 それがどういう状況なのか今ひとつ分りませんが、 要するに君の今の環境では HackageDB にアクセスできないのですね。 それは残念です。 せっかく HackageDB に bloomfilter パッケージがあるのに使えませんね。 789 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 23:18:52.02 ] ネカフェでArchive.tarわろたｗ マジレスするとそいつを展開すればbloomfilter出てくるのでは 790 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 23:19:26.92 ] >>788 そこに飛んで下の方にあるarchive(238MB)をダウンロードして帰ってきました ここに全部入ってるわけではないのですか？ 791 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 23:33:50.72 ] >>790 私は >>788 のレスの通り Archive.tar の意味するところが分っていません。 私に分っているのは HackageDB に bloomfilter パッケージがあるという事だけです。 私よりも >>789 の方が詳しそうです。 792 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 23:34:17.37 ] オープン2chにもHaskellスレあったね。 793 名前：デフォルトの名無しさん mailto:sage [2012/06/17(日) 23:35:16.07 ] むむむ 794 名前：７９３ mailto:sage [2012/06/17(日) 23:55:34.53 ] 自己解決しました bloomfilter-1.2.6.8.tarですね 7-ZIPにファイル名検索機能があれば見落とさなかったんですが 795 名前：デフォルトの名無しさん mailto:sage [2012/06/18(月) 07:48:44.23 ] 誰か794にインターネット接続環境をあげてください；＿； 796 名前：デフォルトの名無しさん mailto:sage [2012/06/18(月) 12:08:53.25 ] 鳩をプレゼントしたいです。 797 名前：デフォルトの名無しさん mailto:sage [2012/06/18(月) 12:37:28.05 ] reactive-banamaって、ｎ個前のタイミングのイベントの値を取ることはできんの？ たとえば、現在時刻を値として持つイベントがあって、 トリガーされる毎に前回のイベントとの差分値、つまり経過時間を得るとか。

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef