関数型プログラミング言語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/ 331 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 16:13:00.23 ] わざわざドメイン定義するならMaybeで返そう 332 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 16:36:37.12 ] check p f n = if p n then return (f n) else Nothing ドメインて何？ 333 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 16:57:47.03 ] factSafe = 1 : zipWith (*) [1..] factSafe fact n = factSafe !! n 334 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 17:33:59.09 ] >>332 定義域 例えば浮動小数点や有理数を渡した時に、 コンパイルエラーも含めて健全な定義になっているかということを言っていると思う。 335 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 17:39:05.80 ] fact = (map snd (iterate (succ . fst &&& uncurry (*)) (1, 1)) !!) 336 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 17:59:32.33 ] >>333>>335 初心者の私に解説してplz 337 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 20:24:45.91 ] >>334 それscanlでできるよ！ fact = (!! n) $ scanl (*) 1 [1..] あと(!!)使ったらSafeじゃないだろ… 338 名前：337 mailto:sage [2012/05/11(金) 20:25:54.90 ] すまん >>333 宛だった。 339 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 20:42:03.98 ] 負数入れたらエラーになるけど停止はするな 340 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 21:31:34.77 ] 意味論の上ではどちらも⊥という扱い 341 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 22:47:56.84 ] それにしても335は酷いポイントフリー症候群だな…。 342 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 22:59:19.96 ] ポイントフリーは酷くないが(1,1)がマジックナンバーになってるのが気になる 343 名前：デフォルトの名無しさん mailto:sage [2012/05/11(金) 23:45:33.49 ] 初心者レベルの質問かもしれませんが、 Haskellの組み込み関数と同等の機能を 練習のために実装してみると、組み込み のものより桁違いに遅い事があります。 組み込みの方の実装を見るためには どうしたらいいでしょうか？ 344 名前：デフォルトの名無しさん mailto:sage [2012/05/12(土) 01:17:34.23 ] hsファイルをそのままインタプリタで実行して遅いなら、hiファイルにした後で実行してみてはどうか 345 名前：デフォルトの名無しさん mailto:sage [2012/05/12(土) 01:47:10.63 ] >>343 Hackageのリファレンスからソース落とせる。 baseパッケージなら↓の一番下 hackage.haskell.org/package/base-4.5.0.0 大抵は各関数の横にsourceってリンクが付いててＨＴＭＬ化されたソースを見ることができる。（全てのコードが辿れるとは限らないけど） ただまぁ、融合変換とか正格性評価とかアンボックス型とか、かなり上級な内容もてんこ盛り。 他の言語でもそうだけど、基本ライブラリほど難しいっていう…。 346 名前：デフォルトの名無しさん mailto:sage [2012/05/12(土) 03:31:29.92 ] >>345 有難うございます！ hackage.haskell.org/packages/archive/pkg-list.html パッケーリスト（↑）には何に使うのか想像もつかないもの（Conduitとか）が 沢山有りますね。 取り敢えず、ヤル気が持続しそうなもの（Animationなど）を見てみます。 347 名前：デフォルトの名無しさん mailto:sage [2012/05/12(土) 13:41:30.61 ] だれか顔文字だけで動くソースを書いてくれ。 348 名前：デフォルトの名無しさん mailto:sage [2012/05/12(土) 13:47:08.27 ] brainf*ck、Lazy-K亜種にしかならない 349 名前：デフォルトの名無しさん mailto:sage [2012/05/12(土) 19:38:57.18 ] みんな >=> は使ってるかい？ 350 名前：デフォルトの名無しさん mailto:sage [2012/05/12(土) 19:40:08.85 ] くｺ:彡 351 名前：デフォルトの名無しさん mailto:sage [2012/05/12(土) 22:43:14.15 ] haskell入れようとしたが、重すぎて繋がらない… ttp://www.haskell.org/ 352 名前：デフォルトの名無しさん mailto:sage [2012/05/13(日) 00:31:44.86 ] >>351 今は全く問題なく開くが・・・ まぁ、HaskellPlatform-2011.4.0.0-setup.exe のダウンロードは 確かに遅いと思うけど、繋がらないことはないだろ haskell.org はたまにクソ重いときあるから、 時間をおいて何度か試してみなよ 353 名前：デフォルトの名無しさん mailto:sage [2012/05/13(日) 00:40:54.91 ] 遅ければtorrent使えばいい 354 名前：デフォルトの名無しさん mailto:sage [2012/05/13(日) 00:50:09.29 ] exeファイルを落とせない場合は、セキュリティソフトがexeファイルのダウンロードを邪魔してる可能性あり 355 名前：351 mailto:sage [2012/05/13(日) 01:03:27.63 ] アドバイスありがとう ダウンロードどうこうというか、サイトに全く繋がらない状態が続いてる サイトが落ちてるわけじゃないようなので、時間をおいて再試行してみる 356 名前：デフォルトの名無しさん mailto:sage [2012/05/13(日) 01:22:13.54 ] 今現在、遅くもなんともありません。 357 名前：デフォルトの名無しさん mailto:sage [2012/05/13(日) 01:29:11.16 ] >>355 たしかに繋がらない www.haskell.org/ ↑を開くと、↓になる Temporary Redirect The document has moved here. Apache/2.2.9 (Debian) PHP/5.2.6-1+lenny13 with Suhosin-Patch Server at www.haskell.org Port 80 で、hereをクリックすると↓に飛ぶ こっちはちゃんと見れる www.haskell.org/haskellwiki/Haskell ブラウザのセキュリティでリダイレクトを許可するか、haskellwiki を直接開けばいいと思う 358 名前：デフォルトの名無しさん mailto:sage [2012/05/13(日) 11:58:28.57 ] hackage.haskell.org/platform/ ここに移動したんじゃねぇの？ 359 名前：351 mailto:sage [2012/05/13(日) 20:13:03.61 ] 解決した。ありがとう しばらくこれで遊ぶわ 360 名前：デフォルトの名無しさん mailto:sage [2012/05/19(土) 04:49:47.87 ] >>328 ec2.images-amazon.com/images/I/513ipzNg22L._SS500_.jpg スシやらタワーについて許可は取ったのだろうか 361 名前：デフォルトの名無しさん mailto:sage [2012/05/19(土) 07:56:41.29 ] どう許可が必要なんだ？ 362 名前：デフォルトの名無しさん mailto:sage [2012/05/19(土) 13:27:18.60 ] オスケル 酢に溶かしたハスケル 363 名前：デフォルトの名無しさん mailto:sage [2012/05/19(土) 13:34:52.41 ] あンた、背中がHaskeてllぜ 364 名前：デフォルトの名無しさん mailto:sage [2012/05/19(土) 14:42:34.01 ] >>360 原作者にはウケてたらしいぞ 365 名前：デフォルトの名無しさん mailto:sage [2012/05/19(土) 19:04:09.46 ] >>364 ほんと？そういう話でもないかと思ってぐぐったんだけど見つからなくて 原書と日本語版のタイトルについての話なら見つかった groups.google.com/group/haskell-cafe/browse_thread/thread/29274a7b6a4fddd4/45fbde1d2d1d0322 366 名前：デフォルトの名無しさん mailto:sage [2012/05/19(土) 19:06:45.10 ] Haskell全然関係ないけど旬のスカイツリーより東京タワーのが昭和感溢れててよかった気がする…。 367 名前：デフォルトの名無しさん mailto:sage [2012/05/19(土) 20:02:20.48 ] でも昭和時代はHaskellはまだ生まれてない 368 名前：デフォルトの名無しさん mailto:sage [2012/05/20(日) 00:44:00.62 ] Haskellはギリギリ昭和じゃなかったっけ？ 369 名前：デフォルトの名無しさん mailto:sage [2012/05/20(日) 12:07:52.76 ] Haskell Report Version 1,0 は1990年の4月1日に発行された。 （1.0未満のバージョンは少なくとも公には無かったと思う） A History of Haskell research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/ ちなみに、それに先立ち、委員会で言語の名前をあれこれ考えるんだが、 Haskell に決まった後、旦那さんの名前を使っていいかと奥さんに訪ねに行くんだ。 その心遣いが暖かくて、上記pdfのこのくだりは結構好きだ。 370 名前：デフォルトの名無しさん mailto:sage [2012/05/20(日) 13:41:28.71 ] Mirandaは誰なの? 371 名前：デフォルトの名無しさん [2012/05/20(日) 13:51:57.71 ] スペインか何処かの著名な寿司職人じゃなかったっけ？ 372 名前：デフォルトの名無しさん mailto:sage [2012/05/20(日) 14:23:19.93 ] 天王星の衛星 373 名前：デフォルトの名無しさん mailto:sage [2012/05/20(日) 16:31:59.27 ] コカコーラ社のスプライトに対抗して出されたペプシ社の商品 374 名前：デフォルトの名無しさん [2012/05/21(月) 08:24:16.49 ] bsフジの番組で日本手ぬぐいだっけか作るのに すかいつりーのデザイン使うのはダメとか言われたらしいよ 375 名前：デフォルトの名無しさん mailto:sage [2012/05/21(月) 08:34:21.97 ] デザインが商品の最も主要な一部だからでしょ。 376 名前：デフォルトの名無しさん mailto:sage [2012/05/21(月) 09:08:20.97 ] スーパードライホールみたいにとりあえず上にうんこでも載せとけばいいんじゃね？ 377 名前：デフォルトの名無しさん mailto:sage [2012/05/21(月) 09:21:15.13 ] スカイツリーにはいいイメージ全然ないわ 378 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 07:21:03.78 ] 東京ハスカイケリー 379 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 07:22:12.91 ] >>376 あのうんこビルすごいよな。でもトーキョー近辺に住んでる連中しか知らんのでは？ 東京はすごいよな。 うんこビルに新宿の座薬ビル なんでもありだ 380 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 08:24:28.93 ] 何スレだよ 381 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 10:19:44.11 ] では君達、議論に戻りたまえ 382 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 11:08:16.00 ] ksks 383 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 13:11:48.56 ] 東京スカイツリー 東京使いすぎー 384 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 13:22:52.22 ] だよなー さいたまタワーの方がよかったよなー 土地まで用意したのによー 385 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 17:01:44.09 ] 最近Haskell勉強しようか、と自習中です。 Haskellでwindowsのcomを使う、具体的にはHaskellからExcelを 使いたいのですが、サンプル等はありませんか？ haskellscriptやhdirectは公式からもページが見れず、 com-1.2.3はインストールができてもあまりexcelを操作するような サンプルが発見できませんでした。 386 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 21:19:18.78 ] CSVをいじったり、VBAのコードを自動生成するくらいしかやったことない 387 名前：デフォルトの名無しさん mailto:sage [2012/05/22(火) 22:42:49.91 ] >>385 com パッケージの公式サンプル haskell.forkio.com/com-examples ここに WMI にアクセスするサンプルがある。 （完全なソースも zip になってる） COM のインターフェースを取得する方法も、 そのメソッドを呼ぶ方法も、必要な情報はほぼ入ってないか？ COM の基礎が分っていれば簡単に Excel に応用できると思うんだが・・・ このサンプル見てピンとこないのなら、とりあえず Haskell は置いておいて、 VBスクリプトとかから COM にアクセスする方法を調べてみると良い。 COM に対するアクセスの要領はほとんど同じだと気づくはずだ。 （オートメーションを扱える言語なら何でも良いが VBS が一番イメージが近いと思う） 厳しいことを言うようで悪いが、Haskell に限らず、 自分がやりたいことをピンポイントで例示するサンプルなんてまず無いぞ。 サンプルを弄ったり、自分で極簡単なCOMを作ってアクセスしてみたりして、 少しずつ理解していくことを勧める（「勉強」をしているのならの話だが）。 388 名前：デフォルトの名無しさん mailto:sage [2012/05/23(水) 06:58:19.48 ] >>386 >>387 ありがとうございます。確かに、そのサンプル見てもよくわからず・・・ 基本がなっていないみたいです。 まずはCOMの基本的な部分からゆっくり勉強していきます！ 389 名前：デフォルトの名無しさん mailto:sage [2012/05/23(水) 13:49:05.42 ] 　　　　　　☆ ﾁﾝ　　　　　ﾏﾁｸﾀﾋﾞﾚﾀ〜 　　　　　　　　　　　　　　　　　　　　　　　　ﾏﾁｸﾀﾋﾞﾚﾀ〜 　　 　 　 ☆　ﾁﾝ　　〃　 ∧＿∧　　　／￣￣￣￣￣￣￣￣ 　 　 　 　　ヽ　＿＿_＼（＼・∀・）　＜　Haskell Platform の stable release まだ〜？ 　 　 　 　 　 　 ＼＿／⊂　⊂＿ )　　 ＼＿＿＿＿＿＿＿＿ 　 　 　 　 　 ／￣￣￣￣￣￣ ／| 　　　　　　　|￣￣￣￣￣￣￣|　 | 　　　　　　　|　　愛媛みかん　 |／ 390 名前：デフォルトの名無しさん mailto:sage [2012/05/23(水) 22:08:37.74 ] あの絵本とりあえず発売したのか？ 391 名前：デフォルトの名無しさん [2012/05/23(水) 22:13:49.97 ] え！絵本なん！？ 392 名前：デフォルトの名無しさん mailto:sage [2012/05/23(水) 22:18:58.27 ] すごいH本、今日本屋行ったけど置いてなかったわ これだから地方は 393 名前：デフォルトの名無しさん mailto:sage [2012/05/23(水) 22:22:22.73 ] iteratee に関するその周辺技術や考え方 メモ化に関するその周辺技術や考え方 FRP に関するその周辺技術や考え方 ジェネリックなデータ型や関数などの考え方 スペースリークに関するメカニズムや対策 Stream Fusion などを含む最適化の考え方や仕組み というような辺りの話はなんで書籍にならないんだろ どれでも、それ単体で本が書けてしまえるほど豊富な内容を含んでいるのに 394 名前：デフォルトの名無しさん mailto:sage [2012/05/23(水) 23:21:06.12 ] >>392 PDFでも販売してるよ estore.ohmsha.co.jp/titles/978427406885P 395 名前：デフォルトの名無しさん mailto:sage [2012/05/24(木) 07:46:46.57 ] 略しかたがすごいな すごいH本。。。 巨乳や万筋だらけかと思うぞｗ 396 名前：デフォルトの名無しさん mailto:sage [2012/05/24(木) 07:51:57.42 ] プログラミングHaskell --> プロH ふつうのHaskellプログラミング --> ふつうのH Real World Haskell --> 実践H 入門Haskell --> 入門H 397 名前：デフォルトの名無しさん mailto:sage [2012/05/24(木) 08:01:07.46 ] むらむらしてきた Little Schemerでも写経して心を鎮めるとしよう 398 名前：デフォルトの名無しさん mailto:sage [2012/05/24(木) 08:50:42.90 ] >>395 まあ、twitterのネタだからな 399 名前：デフォルトの名無しさん mailto:sage [2012/05/24(木) 12:39:35.57 ] 無理して素人受け狙うのはみっともないと思う 400 名前：デフォルトの名無しさん mailto:sage [2012/05/24(木) 13:15:48.66 ] 素人受けwww 401 名前：デフォルトの名無しさん mailto:sage [2012/05/24(木) 15:04:50.83 ] はじめてのC 並だよね。 402 名前：デフォルトの名無しさん mailto:sage [2012/05/24(木) 21:00:22.24 ] はじめてのC みんなのPython やさしいRuby すごいHaskell ← new! 403 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 07:02:59.99 ] なんの括りだ？ 404 名前：デフォルトの名無しさん [2012/05/25(金) 07:53:50.13 ] みんなのパイソンとか物騒だろ 405 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 07:56:30.09 ] で、内容はどうなのよ? プログラミングHaskellかどっち買うのが正解? 406 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 08:29:14.46 ] だれか出せよ Oh!Python って本を。Oh!Xがあったんだから。 407 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 08:29:58.56 ] Oops!Pythonでおっぱい本のほうがいいか 408 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 08:35:30.56 ] https://github.com/lazyatom/kintama >>405 Learn Youの原著は編集前のがWebで読める プログラミングHaskellは薄くて簡潔で練習問題付き お好みに合わせてどうぞ 409 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 12:59:37.97 ] Haskell Platform 2012.1.0.0 マダー 410 名前：デフォルトの名無しさん [2012/05/25(金) 13:37:19.64 ] >>402 さつばつScala 411 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 14:14:28.87 ] >>405 Learnは内容はいいけど、訳がどうかが問題。これだけは見てみないとわからない。 山本さんみたいに訳せてるかどうか 412 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 14:57:09.79 ] Data.Vector.Primitiveはとても特殊な場合を除いて推奨されないとありますが とても特殊な場合とはどんな場合なんでしょうか？ 413 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 18:04:21.99 ] 配列ライブラリを書くときとか？ 414 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 18:10:07.54 ] 将来、Vector の実装がPrimitiveのレベルで変更されるということだったら困る 415 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 18:26:23.52 ] >>406 その筋の人だ！ 416 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 18:53:57.14 ] 考えてみれば98糞食らえからwindows糞食らえで  裏街道ばかり来てるな。 417 名前：デフォルトの名無しさん [2012/05/25(金) 19:32:56.19 ] >>405 >>411 元々のお二人の訳も素晴らしいのですが、さらにかなりレビューされていて とてもわかりやすくて良いと思います。 ただ、原文のブロークンな調子を踏襲して訳されているので、 そういうのが嫌いな方には不向きかも知れません。 内容的には、すごいＨ本の方が、関数型言語の初心者には 分かりやすいと思います。 418 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 19:41:28.34 ] cabalを利用していて、依存性が原因でパッケージのインストールに失敗する場合、通常どのように対処すればいいのでしょうか？ 大まかで良いので教えていただけるとありがたいです 419 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 19:50:41.63 ] 普通の人は諦めて、バージョンアップするまで待つ。 普通でない人は、*.cabal ファイルをテキストエディタで修正する。 私は普通でない人なんで、どんどん書き換える。 もちろん異常が無いかどうかはできるだけ検証するが。 420 名前：デフォルトの名無しさん [2012/05/25(金) 22:05:05.22 ] すごいHaskell買おうかな…… フリー版+3000円の価値があるかが問題… 421 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 22:22:11.53 ] >>420 もし主目的が、Haskell の関する他人の文章を楽しむことではなく、 あくまで Haskell を学ぶことであるまなら、 フリー版でよく分らない部分をここで訊いて、 それでも納得できなければ買う、というのはどうだろうか 422 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 23:00:34.35 ] >>417 オーム社でやってるレビュー方式には参加したことがあるからだいたい雰囲気分かるわ。藁 訳は期待してるわ。by 411 423 名前：デフォルトの名無しさん mailto:sage [2012/05/25(金) 23:02:51.97 ] >>420 英語の洋書に一度は手を出したい→原著サイトでしばらく格闘してみる。 オンラインで読むのは嫌目がしょぼしょぼするし、頭に入るきがしない。英語は好き→原著でどうぞ 英語は苦手。→強烈なH本をどうぞ。 424 名前：デフォルトの名無しさん mailto:sage [2012/05/26(土) 18:43:17.15 ] 紙のよりpdf版が少しやすい estore.ohmsha.co.jp/titles/978427406885P 425 名前：デフォルトの名無しさん mailto:sage [2012/05/26(土) 22:19:42.13 ] しかもカラーらしいな、pdf版 426 名前：デフォルトの名無しさん mailto:sage [2012/05/26(土) 23:21:27.87 ] 加筆とかはないのか、結局。 427 名前：デフォルトの名無しさん mailto:sage [2012/05/26(土) 23:46:47.63 ] 「すごいHaskellたのしく学ぼう！」は気配りと楽しさがすごい ttp://d.hatena.ne.jp/keigoi/20120526/sugoih 428 名前：デフォルトの名無しさん [2012/05/27(日) 15:53:38.46 ] Linuxで*.cabalってどこにあるんでしょう。 探せど探せど見つからなくて困ってます。 429 名前：デフォルトの名無しさん mailto:sage [2012/05/27(日) 16:04:40.54 ] >>428 意味が分らん。 cabal ファイルは Linux も Windows も関係ないだろ。 自分でパッケージを作りたいのなら cabal ファイルも自分で書くし、 Hackage から落としてきたパッケージなら展開したディレクトリ内に入ってる。 430 名前：デフォルトの名無しさん mailto:sage [2012/05/27(日) 18:58:41.69 ] >>428 ディストリのパッケージになってる奴の*.cabalファイルならソースパッケージを展開すると入ってると思います。 431 名前：418 mailto:sage [2012/05/27(日) 20:08:53.91 ] >>419 ありがとうございます しかしなかなか上手いこと通すのは難しいですね・・・ 432 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 02:19:34.53 ] .ghciを設定したら警告が出たんだが *** WARNING: /home/hi/Haskell is writable by someone else, IGNORING! *** WARNING: /home/hi/Haskell/.ghci is writable by someone else, IGNORING! .ghci :set prompt "ghci> " 設定も反映されないし、よくわからん。 433 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 02:57:35.46 ] 英語読めないのか？ 434 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 07:48:02.06 ] すごいHaskellのやつか。 ワーニングの英語には、これと似た内容が書いてある。 www.google.co.jp/search?hl=ja&q=.ssh+%E3%83%91%E3%83%BC%E3%83%9F%E3%83%83%E3%82%B7%E3%83%A7%E3%83%B3 それでも分からなかったら、ワーニングの一部コピペしてググってみよう。 435 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 11:53:23.62 ] ワーニングワーニングワーニングワーニング 436 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 20:58:20.92 ] >>435 ボスキャラでも登場するのか 437 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 21:11:31.73 ] ウォーニングって言いたいんだろ 438 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 21:18:48.90 ] ワーニングのバッグスバニー 439 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 21:20:36.83 ] >>435,436 へいおまち www.youtube.com/watch?v=lySjinT6f0A#t=1m55s 440 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 21:22:04.36 ] 某書籍に「だったら、おまえはStar Warsをスターワーズと読むのか」とあって、 そりゃもっともだと思うと同時に、そういう話じゃねぇだろと思ったな。 441 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 21:33:48.96 ] 『宇宙戦艦ヤマト』が、「ワープ」を「ウォープ」に修正する最後の機会だったんじゃないか、 とか今では言われているが 442 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 21:42:05.41 ] 「ワープ」は1億人が意味を共有できる立派な日本語 修正の必要はない 443 名前：ぬるぽ mailto:sage [2012/05/28(月) 22:03:46.93 ] バレーボールもボレーボールらしいな nativeの発音聞いたことないけど 444 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 22:16:32.09 ] 「グッドマーニング云々」とか言ってたヘミ猫を思い出す。 445 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 22:28:44.29 ] ラウターの調子が悪い 446 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 22:44:59.51 ] むかし、猫でもわかるプログラミングで、 エディットコントロールをエジットコントロールと言っていて、 もの凄く違和感を覚えた記憶がある。 でもよく考えてみれば、エジソンと同じなんだよな。 447 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 22:46:22.72 ] >>443 アメリカ人は普通にバーリボーだったけどなぁ。 448 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 23:34:37.10 ] ♪こわれかけのレディオ 449 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 23:38:13.93 ] gtk2hs や wx などの GUI ライブラリのラッパーを作りたい。 下記のことがラッパーでは実現不可能なら一から作ることになる。 例えば、ボタンを押すとラベルの文字が変わる処理を記述したい場合、 素の gtk2hs や wx なら、ボタンのイベントハンドラに登録した関数内で、 ラベルのプロパティに対して set 関数を使って値を書き換える感じだと思う。 これはあまりに手続き的でムカムカしてくる。 こうではなく、ボタンのイベントに反応するプロパティ型を作り、 それをラベルのプロパティに最初に設定した後は変更（再設定）しない。 イベントが起きなくても、起きても、自動的に文字が設定される。 プログラマはイベント時に何が起きるかを時系列にそって設定するのではなく、 プロパティが何に対してどう反応し、どう変化するかを定義する。 これができれば、いくぶん宣言的で心地よい。 私みたいな者が考える事なんて既にいろんな人が考えていると思うんだが、 このような仕組みを作る上で、参考になりそうな資料はないだろうか。 450 名前：デフォルトの名無しさん mailto:sage [2012/05/28(月) 23:48:03.50 ] wxPython と decorator 451 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 08:41:21.13 ] まさにそれがFRP 452 名前：432 mailto:sage [2012/05/29(火) 09:40:44.70 ] chmod 700 .ghci chmod 700 Haskell/ で解決した。 Haskell/もパーミッションいじらないといけなかった。 なんで設定ファイルがない時は普通に動くのに、 設定ファイルを置くと警告が出るのか意味がわからない。 453 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 09:44:25.92 ] 俺は「***** is writable by someone else, IGNORING!」という警告を読むことが できない文盲です、って大声で自分で言いふらして嬉しいのか？ 454 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 10:09:31.31 ] >>453 初心者でごめんね。 455 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 10:15:28.14 ] いや初心者とかじゃなくて、英語読めればその警告が何故出たのかわかるだろってことだろ 456 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 10:48:28.72 ] 日本語でお説教する事に何のメリットがあるか、わかるだろ 457 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 11:32:31.62 ] なでしこで記述する事に何のメリットがあるか、わかるだろ 458 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 12:02:42.50 ] 英語の初心者ということだろう。 459 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 12:48:14.86 ] というか Unix は一つのマシンを複数のユーザーが使うことが前提だから、 初期化スクリプトみたいなファイルを誰でも編集可能だと、たとえば自分の ファイルを全部消す、みたいな悪意ある記述を追加されるかもしれない、 という前提を知らないと、英語が読めてもわからないかもしれない。 ていうか >>434 を華麗にスルーしちゃダメだろ。 460 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 12:52:44.84 ] >>450 まだ調べ始めたばかりだけど、求めているモノとは何となく違う感じがする。 decorator の機能を使ってイベント処理している例をいくつか見てみたけど、 結局イベントハンドラの中で描画関数を呼んだり、計算したりしている。 つまり、>>449 の「素の gtk2hs や wx なら」の部分と 本質的に何も変わらないのではないだろうか。 もちろん、自分でももう少し詳しく調べてはみるが。 >>451 言葉が足りず申し訳ない。 これが FRP の一つの形態になっている事は分ってた。 （リアクティブシステムの構築を関数型っぽく記述する事） Haskell で使えるFRPライブラリにも色々あって、 たとえば Yampa の仕組みや実装をいくら調べたところで >>499 のような事の実現に直接役立つわけではない（実際色々調べた）。 >>499 に繋がるような何かキーワードはないだろうか。 461 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 15:16:16.96 ] バグ? Prelude> succ 1.000022342 2.0000223420000003 462 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 15:27:06.59 ] xamlのデータ・バインディングとか？ 463 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 15:36:37.09 ] XAMLファミリは、Bindingに加えてViewModelのプロパティ間で リアクティブプログラミングする仕組みを導入すると 正に>>449のような書き方になるね。 しかし、あれをHaskellでどうやったら再現できるのかはさっぱりわからん。 やってる事は、依存関係のあるキャッシュの管理と似てるので キャッシュを持つサーバの仕組みなんかが参考になりそうだが・・・ 464 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 16:02:10.76 ] >>460 色々調べてたのなら既知かもしれんが プロパティを設定するというのはwxパッケージの提供するインタフェースに似てるな このプロパティは実質IO aとa -> IO ()のペアにすぎんのだけど、それなりに>>449で述べてるようなのに近いように思う これとFRPの組み合わせはreactive-banana-wxパッケージでプロパティやイベントをEventやBehaviorとして リアクティブシステム内で扱えるような補助関数を提供してる 参考になる記事としてはreactive-bananaの作者のblogとか 465 名前：449, 460 mailto:sage [2012/05/29(火) 19:46:57.92 ] みんな、ありがとう。 知ってるものも、知らなかったものも、色々キーワードが出てきた。 それぞれの関連も含めて調べてみる。 本棚の肥やしになってる "Pro WPF in C# 2008" もやっと役立つ日が来たかも。 アドバイスを受けて、Heinrich Apfelmus のブログをちょっと見てみたけど、かなり面白い。 まとまった時間が取れる休日にでも本格的に読んでみるよ。 （Conal Elliott のブログより読みやすい英語だ） wx のプロパティは gtk2hs のそれや OpenGL の StateVar と似たようなモノで、 やはり「値」を設定したり取得したりするものという以上のモノではないのでは。 その値はあくまでそのプロパティの意味する値そのもので、 例えば text プロパティなら String 型しか受け付けない。 そこに「ユーザーが何かした時にはある文字になる」という IO String の値を 設定することはできない。 一応繰り返しておくと、次のような考え方が wx や gtk2hs などのものと思う。 ボタンが押されたイベントでは何を処理するのか？ 　・初めにラベルの文字を変え 　・次にテキストボックスの背景色を変え 　・最後にボタンを不活性にする このような手続き的なものを、次のように宣言的にしたい。 ラベルの text プロパティとは何か？ 　・ボタンプッシュイベントで文字を変えるものだ テキストボックスの bgclolor プロパティとは何か？ 　・ボタンプッシュイベントで色を変えるものだ ボタンの enable プロパティとは何か？ 　・ボタンプッシュイベントで False になるものだ 466 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 22:36:50.20 ] >>465 w :: Frame b :: Button t :: TextBox l :: Label pushEvent :: Button -> Event () text :: Prop w String bgcolor :: Prop w Color enable :: Prop w Bool w <- frame [text := const "hoge", show := const () <$> createEvent w] t <- textbox [bgcolor := changeColor <$> pushEvent b] l <- label w [text := changeString <$> pushEvent b] b <- button w [enable := const False <$> pushEvent b] こういうのが思い浮かんだ wxのプロパティやイベントの型をEventなりBahaviorの形式にしただけだが >>465の最後の記述のような捉え方は自然に出来る書き方にはなってると思う 今のreactive-bananaでDoRecが使えるなら 頑張ってwx-coreパッケージ直接叩いてこういうインターフェースの高水準ライブラリ書くのは可能な筈 467 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 22:42:05.22 ] 部品単位でイベントハンドラを書きたいってこと？ 468 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 23:08:01.19 ] *Main> [1,3..6] [1,3,5] *Main> ['1','3'..'6'] "135" *Main> [1.0,3.0..6.0] [1.0,3.0,5.0,7.0] なんでFloatのリストでやったときだけこうなるの? 469 名前：449, 460 mailto:sage [2012/05/29(火) 23:21:17.86 ] >>466 text :: Prop w String これらは Prop ではなく Attr なのでは？ それはともかく、具体的なアイデアありがとう。 イメージとしてはかなり近いと思う。 参考にして考えてみる。 470 名前：449, 460 mailto:sage [2012/05/29(火) 23:22:12.75 ] >>467 それも一部に含まれているが、ちょっと違う。 手続き型と宣言型の違いが明確に現れるようにイベントハンドラを例にしたが、 あるプロパティの値が依存する先（ソース）はイベントハンドラだけではなく、 別のウィジェットのプロパティという可能性もある。 例えば、何か絵をプレビューするウィジェットの enable プロパティが、 複数のチェックボックスのプロパティに依存していたり。 この場合、手続き型なら、両方のチェックボックスの check プロパティを調べ、 両方 True ならプレビューウィジェットの enable プロパティを True にする、 という処理を両方のチェックボックスのイベントハンドラに記述する。 （当然実際は、同じひとつのイベントハンドラを両方に設定するなど省力化するが） これを、例えば次のように記述できたら宣言的で分りやすいと思う。 （擬似的に wx っぽく書くと） p <- image w [ enable := checked c1 <&> checked c2 ] 本質的には、イベントの発生やプロパティの変化を「伝搬」させたい。 それができれば部品単位でイベントハンドラを書くこともできる、という事。 471 名前：デフォルトの名無しさん mailto:sage [2012/05/29(火) 23:42:10.94 ] 手続き型ならobserverパターンでやるんじゃないかな。 きっと難しくなる要因は純粋言語だというところにありそう。 472 名前：449, 460 mailto:sage [2012/05/29(火) 23:52:06.14 ] >>471 すまん例が悪かったか。 べつに手続きっぽく書くのが難しい訳ではない。 observerパターンの様に書くこともできる。 私が単に関数型言語で手続きっぽく書くのをキモイと感じるから、 なんとか宣言的に書けないかと、そっちの方で苦心してるだけだ。 私がもし純粋でない OCaml にはまっていても、 きっと同じように宣言的に書けないか考えていたと思う。 473 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 00:10:30.62 ] >>446 editはエディットです 474 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 04:38:33.68 ] Stateモナドで２４時間経っても答え出ない処理をMutable Vectorに替えたら20分で答え出したワロタｗｗｗ 475 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 05:55:52.99 ] (24 * 60) / 20 = 72 72倍の高速化ならよく聞く話。 476 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 05:57:49.10 ] さっそくGTAでDPの練習 #Haskell - Qiita qiita.com/items/a372458d171e373285b1 これとか当社比400倍とか 477 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 07:00:18.28 ] (/ 20 (* 24 60)) 478 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 13:39:02.03 ] (/ (* 24 60) 20)でしょ 479 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 14:15:16.61 ] くそう、みんな雲の上に居るようだ DPが動的計画法のことだと知るまで５分も費やしてしまった GTAに至ってはグランドセフトオート (ry 480 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 14:28:51.43 ] すごいHaskell たのしく学ぼう！ || 　　　　　人　＿　 |-| 　　　　　旦／○＼日 　　　　　目 ｧイリ　|-| 　　／￣￣￣￣￣＼ 　 　 □-□　U　　　　　　| 　　| .|ι　　　　 　　　| 旦ノノ｜｜ ￣￣ ｜｜ AAなんてあったのね 481 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 15:27:23.39 ] >>480 さっき本屋で見てきたんだけど、B5大型本を想像していたので文庫本＋αのサイズが意外だった。電車の中でも読めるね。 中身も読みやすく編集されているようで、これからHaskellやって見ようという人にはお勧めだと思う。 ステマでした 482 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 16:13:11.04 ] これなら手続き脳の私でもらくらく最後まで読んでしまえそう！ でも...お高いんでしょう？ 483 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 16:19:47.25 ] Amazonで出店者が定価3、4割り増しにしてるけど、情弱は買うんだろうかあれ。 484 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 17:21:21.37 ] 少し高くしている奴は海外へ送ってもらえるってことでしょ？ あと今すごいH本第一章読み終わったけど 結構誤植があった。 485 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 17:51:41.91 ] やっぱりか 486 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 18:14:21.05 ] 重力は存在しない　といってる学者がいるみたいだな やめとけよ そこの場所のリファクタリング始めたら「引力」だって存在しねーし 熱エネルギーも存在しねーから その部分は俺が研究してきた事と酷似する 俺はアルゴリズムの中から、変数を抹消し、 ソースコードは再帰で圧縮 そして残ったものは、何もなかった １が残ると思ってたが、予想を超えて、「それ」は0になった 重力がいらないとかいっちゃうと、0に近づくんだよ わかるか いらなくないんだよ 元々、何もないところに｢重力｣ってものを「わざわざ」冗長させて定義したんだよ 何もわかってねーな科学者 リファクタリングし続けた後に、宇宙に存在する最後の1とは、時空のねじれによって出来る固体のみで その時空のねじれを解けば1であった存在は0になり、文字通りなにもなくなる　世界の終わり 487 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 18:16:30.43 ] コテが抜けてるよ 488 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 18:35:37.43 ] 躁病患った友人が似たような事言ってた 489 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 19:26:23.54 ] ニュートラリーノがダークマターの正体なのか？ 490 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 20:12:32.98 ] beautiful codeであったな。 コードがなくなる話。 491 名前：449, 460 mailto:sage [2012/05/30(水) 20:38:17.19 ] >>468 Float と Double の Enum インスタンスにおいて enumFromThenTo 関数は次のように定義されている。 enumFromThenTo = numericEnumFromThenTo numericEnumFromThenTo n n' m = takeWhile p (numericEnumFromThen n n')   where     p | n' >= n = (<= m + (n'-n)/2)   -- <-- 注目       | otherwise = (>= m + (n'-n)/2) numericEnumFromThen n m = iterate (+(m-n)) n 例えば [1.0,3.0..6.0] とやったら、6.0 以下の間は差分ずつ増やすのではなく、 「6.0 + 差分の半分」以下の間は差分ずつ増やす計算になってる。 つまり、7.0 以下の間は差分ずつ増やすので、最後は 6.0 ではなく 7.0 で終わる。 こういう仕様になっている理由は、本当のところは正直よく分らない。 一応理由として思いつくのは、浮動小数点による誤差の蓄積の問題を回避するため ではないかという事。 492 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 20:57:45.88 ] >>490 最後は唯の数式になるって話でしたよね バグ０で何よりも高速に動作し使用メモリも０ 493 名前：デフォルトの名無しさん mailto:sage [2012/05/30(水) 21:28:17.18 ] 欧州ではコンピューターにプログラミングさせるのが今研究されてるとか そんな話題があったな。 494 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 01:03:20.68 ] (==) 1 1 1 == 1 上と下が同じなのは面白いなぁ。 495 名前：337 mailto:sage [2012/05/31(木) 02:37:13.13 ] (1 ==) 1 (== 1) 1 全部同じ (^^) 496 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 07:43:22.77 ] すごいH、全部読んだ。 誤植が多少あったけど、日本語訳に違和感はなかった。 PerlとJavaScriptで自サイトを作ってる趣味プログラマーだけど、プログラミングの幅を広げようと 思い、プログラミングHaskell -> Real World Haskellの半分までを読んでから、すごいHを読んだ。 後半は全くの初心者には、やっぱりちょっと難しいかなと思った。 これから、Real World Haskellの残り半分を読みます。 497 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 08:34:14.43 ] 違和感ないけど、 直訳のままじゃねーの？って所が所々あったよ。 498 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 09:23:22.24 ] 蛇足な上に正しいとは言い難い訳注が多くて萎えた 499 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 11:03:03.47 ] 誤訳誤植は具体的に書いてくれるとたすかるにゃん 500 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 11:11:02.75 ] ．．．とか言って具体的に自分も書かないとアレなので一つ見つけたやつ： p.385 誤：VirePatterns 　正：ViewPatterns 501 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 12:12:22.41 ] p19の下側 両方を含むリストは作れません。 ここはタプルだろ？ 502 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 12:13:09.98 ] p20 最下段 ジッパーみたいに一つのリストにします。 ここはタプルだろ？ 503 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 12:15:22.87 ] p22 bが斜辺より長いような不要なトリプルを調べないような ここはaだろ？ 504 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 12:21:40.86 ] ここに書いてもフィードバックされる保証はないけどな 505 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 12:26:11.65 ] >>501 "…ペアとトリプル両方を含むリストは作れません。このため、 ベクトルを表すにはタプルを使ったほうがはるかに有利です。" 何もおかしいことは言ってないと思うよ。 p.19上の方では図形を表すのに頂点のリストとして図形を表す試みとして [[Int]] なんかを考えようとしてる。つまりベクトルをリストとして与えようとしてる。 この方式について検討するとベクトルの表現に使われてるリストは長さ 固定ではないので2次元と3次元のベクトル（頂点データ）が混在したリストが 出来てしまうという難点があることが指摘されている。 一方、頂点の表現としてリストの代わりにタプルを使うならば標準のリストは homogeneousでなければならないという縛りのおかげで2次元と3次元の 頂点データが混在したリストは作れない事になり、コンパイラがはねてくれる。 [(Int,Int)] か [(Int,Int,Int)]のどっちかになるはずだからな。 そんなわけで "…ペアとトリプル両方を含むリストは作れません。このため、 ベクトルを表すにはタプルを使ったほうがはるかに有利です。" という事になる。 506 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 12:30:42.06 ] >>502 タプルのリストにしてくれるという意味で「一つのリストにしてくれます」と言ってると思うんだけど。 んーあれだな、本気でわからないのか些細な説明省略を鬼首で騒いでるのかわからん。 前者なら真面目に相手するけど後者ならあんま相手にしたくないなぁ。 後者ならSICPの日本語訳がクソすぎる和田は日本語がわかってない とか該当スレで騒いでるほうが賛同者多くて楽しいと思うよ。 507 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 12:36:10.34 ] > 後者ならSICPの日本語訳がクソすぎる和田は日本語がわかってない > とか該当スレで騒いでるほうが賛同者多くて楽しいと思うよ。 YA・ME・TE SICPスレが機能停止しっぱなしでげんなりしてるんだから 508 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 12:46:06.63 ] 諸君、ホットなライブラリは何かね？ 509 名前：デフォルトの名無しさん mailto:sage [2012/05/31(木) 12:55:15.84 ] > 正しいとは言い難い訳注 むしろこっちの詳細はよ 510 名前：502 mailto:sage [2012/05/31(木) 12:59:07.14 ] >>506 p21の zipの使用例で作成されているのはタプルだから 一つのタプルにしますという意味のほうが 日本語として自然なのではないですか？ :t zip zip :: [a] -> [b] -> [(a, b)] と:tで見ると2つのリストを受け取って、返り値がタプルになってます。 表現方法で、 (a, b)はタプルで [(a, b)]もタプルですよね。 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