[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 2chのread.cgiへ]
Update time : 06/18 14:14 / Filesize : 205 KB / Number-of Response : 798
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

関数型プログラミング言語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/

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年?
中学3年、高校3年、大学4年英語勉強して
英語喋れない奴は腐るほどいるぞw

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 ]
この反応は図星ですっていってるようなもんだなw

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の天才ってなんだよw発想があきらかにオッサン

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
ないから作るしかない。
IOモナドから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 ]
つまりIPv6が悪さしてると

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わろたw マジレスするとそいつを展開すれば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 名前:793 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って、n個前のタイミングのイベントの値を取ることはできんの?

たとえば、現在時刻を値として持つイベントがあって、
トリガーされる毎に前回のイベントとの差分値、つまり経過時間を得るとか。







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

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<205KB

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