- 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/
- 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って、ｎ個前のタイミングのイベントの値を取ることはできんの？
たとえば、現在時刻を値として持つイベントがあって、
トリガーされる毎に前回のイベントとの差分値、つまり経過時間を得るとか。
|
 |
