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

1 名前：デフォルトの名無しさん mailto:sage [2008/05/17(土) 16:41:29 ] haskell.org www.haskell.org/ 日本語サイト www.sampou.org/cgi-bin/haskell.cgi www.shido.info/hs/ 過去ログ 関数型プログラミング言語Haskell Part1 pc.2ch.net/tech/kako/996/996131288.html Part2 pc2.2ch.net/test/read.cgi/tech/1013846140/ Part3 pc8.2ch.net/test/read.cgi/tech/1076418993/ Part4 pc8.2ch.net/test/read.cgi/tech/1140717775/ Part5 pc8.2ch.net/test/read.cgi/tech/1149263630/ Part6 pc11.2ch.net/test/read.cgi/tech/1162902266/ Part7 pc11.2ch.net/test/read.cgi/tech/1174211797/ Part8 pc11.2ch.net/test/read.cgi/tech/1193743693/ ・2chの仕様により、行頭の半角スペースは表示されません。 　コードをインデントしたいときは、代わりに または全角スペースを使うことができます。 338 名前：デフォルトの名無しさん mailto:sage [2008/07/26(土) 20:22:33 ] 狂犬に噛まれて狂犬が増えるって 怖くね？ 339 名前：デフォルトの名無しさん mailto:sage [2008/07/27(日) 01:34:24 ] あれは仲間じゃない 340 名前：デフォルトの名無しさん mailto:sage [2008/07/27(日) 02:01:40 ] そもそもスレタイからして興味ない話だし。 向こうで完結して。 341 名前：36 ◆K0BqlCB3.k mailto:sage [2008/07/27(日) 02:23:52 ] さて、この夏、何かおもしろいことでもしようかな。 342 名前：デフォルトの名無しさん mailto:sage [2008/07/27(日) 10:47:30 ] お前らの中にアホがいます 他のスレを荒らすならここを荒らしますよ？ 343 名前：デフォルトの名無しさん mailto:sage [2008/07/27(日) 12:10:53 ] >>342 ほー、やってみてください。本当にできるのですか？ 344 名前：デフォルトの名無しさん mailto:sage [2008/07/27(日) 13:11:28 ] 夏厨誕生物語 A　「この夏、何かおもしろいことでもしようかな。」 B　「ならスレ荒らししてみれば？」 A　「簡単にできるのですか？」 B　「こうやれば邯鄲」 A　「ネ申ｷﾀｰ！�d！ﾏｼﾞ面白いね。他スレ荒らしてｸﾙｰｗｋｔｋ」 345 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 05:48:39 ] 注目ワード“高階プログラミング”って何だ？ ttp://ascii.jp/elem/000/000/157/157495/ 346 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 06:00:24 ] >>345 面白かった。サンクス。 347 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 19:32:59 ] 仕事でHaskellできるなんて羨ましいなぁ。 348 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 20:30:02 ] >>345 nobsunだね。 349 名前：デフォルトの名無しさん [2008/08/06(水) 20:47:23 ] ハイカラなシャツ着てる 350 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 22:06:03 ] この会社ってホームページ見た感じ普通のSI会社に見えるけど、 山下さんなんかがいるってことは特殊な会社？ Haskellの開発コンサルということだけど、一般企業の業務システム なんかを対象にしてるのかな。金融系とか合ってそうだけど、 普通の土方システムには豚に真珠かな。 351 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 22:30:36 ] >>350 看板役みたいなものだよ。 よくあること。 SRAでも青木淳みたいなのを雇っているけど、青木は普通の仕事はしていないね。 金にならないことを自由にやっているって感じ。 ちなみに、青木の部下はかわいい女の子限定。 352 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 05:56:03 ] まあ、天才ならなんでも許されるってことだ。 353 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 07:30:34 ] >>351 青木はSRAやめたよ 354 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 08:39:56 ] >>345 nobsunのコードは以前からスゲーと思ってたけど、こんな会社のこんな人なんだ。知らなかった。 会社の事業だけ見ると、Haskell関係なさそうだね。Higher Order Programmingってなんだ？造語か？ もっと記事をよく見てみる。 355 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 08:55:02 ] >>354 ちょ、おまwww 356 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 09:12:13 ] Higher Order Programming: プログラミングを丸投げするためのプログラムを書くこと 357 名前：デフォルトの名無しさん [2008/08/07(木) 09:45:57 ] 継続ベースのWebフレームワークってHaskellにもありますでしょうか。 358 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 12:53:37 ] >>350 あそこって、gaucheかんけいなひとがおおそうなんだけど。 359 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 12:58:00 ] >>358 そりゃそうだ。普通のJaverやC++マが金を取ってこなきゃ、 みんなgaucheとかに走ったら誰が食い扶持を稼ぐんだって。 360 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 13:19:40 ] 二等兵には二等兵の仕事があるわな。 361 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 13:46:18 ] むしろ、パンダと飼育員。 362 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 13:54:11 ] 俺はまだ士官候補訓練兵だ 363 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 16:12:52 ] あの写真を見て 小野伸二を思い出したんだけど。nobsunはやっぱり天才なんですかね。 364 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 19:03:09 ] 俺は山田ルイ53世を思い出した。すまん＞nobsun ルネッサ〜ンス! 365 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 19:05:14 ] あの芸人、この前番組内であからさまにいじめられてたぞ。 最近テレビの前で普通にいじめる先輩芸人が多くないか？ 366 名前：デフォルトの名無しさん [2008/08/07(木) 19:55:17 ] そんなことより「Real World Haskell」の発売が10月に延びてる・・・ 367 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 20:41:53 ] book.realworldhaskell.org/beta/ にある最終章、「A concurrent RESTful web application」が読みたいんだけど、 これは本買わないとダメってこと？ 368 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 21:15:32 ] 最近少しずつ読み進めていたんだが そうか、本になるのか…買おうかな＞RealWorldHaskell 369 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 23:21:20 ] RealWorldHaskellってHaskellの批判本なのに なんでみんな買うの？ こんなにHaskellって腐ってます ゴミですって随所に書かれているのにw 370 名前：デフォルトの名無しさん mailto:sage [2008/08/07(木) 23:24:06 ] 買おうかなと言ったのが一人いるだけなわけだが 脳内カウンターが回りまくりですかな 371 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 00:09:00 ] ん？批判本なんだ？ 372 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 00:12:48 ] そう思っている人がいるかどうかは定かではないですが、 そう書き込んだ人間が一名いるようです。 また、買おうかなと書き込むことと買うことは別です。 プログラマたる者、このくらいの論理性は持って欲しいです。 部分と全体を混同するなんて、継承に毒されすぎです。 373 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 02:02:00 ] >>372 論理じゃなくて、揚げ足取りっていいませんか？ 買おうかなと書き込んだということは、買う意思が比較的強いということでしょう。 0か1かじゃないんですよ。 物事は確率的なのです。 374 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 02:42:06 ] >>373 > 買おうかなと書き込んだということは、買う意思が比較的強いということでしょう。 著作権者や出版社勤務者が宣伝のために書いたかも知れませんよ 375 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 02:42:51 ] >>374 そういう可能性もある。 確率の問題。 376 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 02:50:39 ] >>369 ソース >>370 君が一人しか見てないだけ 377 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 03:20:20 ] >369 >Throughout this book, we're going to show you how Haskell's alternatives to the features of traditional languages are more powerful, more flexible, and safer. Haskell is positively crammed full of cutting edge ideas about how to create great software. (chap1 power) と最初のところでかいてるけど、なぜ批判本と? どこをさしていってるの？ 378 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 03:22:29 ] なんとなくpractical common lispのhaskell版と言う印象なんだけどな。 オレイリーから関数型言語ぼんが出るのは初めてじゃ内科? 国内ではgauche本があるがね。 379 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 03:42:03 ] フランスではocamlの本が出てた 380 名前：デフォルトの名無しさん [2008/08/08(金) 11:58:00 ] washって継続ベースなの？ 381 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 14:34:11 ] >>379マジだ ttp://www.amazon.fr/dp/2841771210/ フランスでは流行ってるんだな 382 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 14:42:46 ] 感覚的には日本のRubyと同じ感じじゃないすかね。 383 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 16:16:02 ] >>381 いつの本の話してんだか。 この本の和訳プロジェクトはつぶれたね。 384 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 19:15:39 ] >>382 全然違う。Rubyは世界的にPythonを急追している。 385 名前：デフォルトの名無しさん mailto:sage [2008/08/08(金) 23:55:14 ] 急追して、、いたけど結局ダメだった、というのが現在のところだよ 俺も1.9がちゃんとしたモノになるまではrubyは使うべきではないと思う。 386 名前：デフォルトの名無しさん [2008/08/08(金) 23:59:16 ] そうか？ そもそも本当に10月に発売できるか分からんぞ。 387 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 00:21:55 ] コレすでに3回発売日伸びてる 年内出れば御の字 388 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 00:33:37 ] >>385 それがほんとかなぁ。とおもってgoogle trendsでruby,python,perlの検索数を比較させて みたけど、国によって微妙に違うね。 usaなら、2006ねんごろからperlが凋落しきって、python,rubyとならんで、2006中頃から、 rubyが一歩抜けて、perl,pythonが同等になっていた。 italyは、同じような時期にperlが落ちてきてるけど、pythonがかなり強くって、perlとruby が同等 japanが、perlの凋落が進んできてるけど、usaやitalyほどではなくて、一番ですね。2番め がrubyで徐々に増えてる。pythonは完全に横ばい。 chinaはpythonの伸びがかなり強い。そんなにrubyは使われてない。 indiaは日本と傾向が似てるな。 israelはrubyは絶滅ぎみ。 google全体ではrubyが一番強くなってきてるけど、これはusaでのruby人気が支えてる ような感じだな。europaとchinaではpythonが強く、それ以外の国ではperlが強いかな。 389 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 04:23:59 ] >>384 世界的にみても、わかって言語を選んでいる人よりも バズワード追ってるだけの人のほうが多いからね。 390 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 06:09:31 ] Haskellって本当にLLって言っていいのかな。 基本コンパイラだし、インタプリタも軽量とは言い堅いし。。。 391 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 06:13:31 ] LLじゃないだろw 392 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 08:06:03 ] > 基本コンパイラだし GHCばかり取り上げられてHugs涙目 393 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 08:07:11 ] >>392 そんなあなたをはぐはぐ。w　あーっ！ではないよ。 394 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 08:22:00 ] 初心者なんですが、Haskellが型については静的であることを選択した 理由って何かあるんでしょうか。純粋であることや遅延評価が、静的 型やコンパイル時の最適化を要請するということなんでしょうか？ 395 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 08:27:55 ] GHCはHaskell解釈系ランキング第一位！ 「やっぱりGHCだね」 396 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 09:06:49 ] >>394 静的なのは、最適化も大きいだろうけど、 むしろ安全性を狙ってるという要素が大きいんだろう。 遅延評価なのはコンパイル時の最適化にプラスなのかなぁ？ これは理論的に停止できる関数は必ず停止できるっていう、 これまたある種の安全性？が主な目的だと思うけど ( if true (answer foo) (nonStop baa) ) みたいな文を考えよう（Haskellの文法忘れたから適当）。 397 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 10:14:15 ] 別に"動的型付け-純粋-非正格-インタプリタ型"の関数型言語もあり得るよな 効率はどうなんだろう、"動的型付け-正格"の言語よりさらに遅いことは想像が付くが 398 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 10:28:23 ] >>394 Goferがそうだったから。 で、なんでGoferがそうだったのかというと、Mirandaがそうだったから。 399 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 10:37:45 ] >>396 遅延評価は最適化にマイナスだよ。少なくともメモリ空間の最適化には全く向かない。 400 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 10:44:26 ] 遅延評価なんて 今日はやらない 401 名前：396 mailto:sage [2008/08/09(土) 10:50:37 ] >>399 そうだよね。 コンパイル技術がすげー発達して高速になれば、話は変わるだろうけど。 （まぁ、コンパイル技術が「すげー発達」すれば、どのコンパイル言語でもマシン語と同じスピードが出るんだから、意味ない話） あと「理論的に停止できる関数は必ず停止できる」は意味不明だとか、 文じゃなくて式だとか、気づいたけど後の祭り、いわゆるアポステオリorz 402 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 11:02:51 ] >>395 Guarded Horn Clauses 403 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 11:31:02 ] 手続き型言語は、ノイマン型計算機を抽象化することで生まれてきたので、 評価方式としては、式、文の逐次的解釈が当然になる。 関数型言語は、ラムダ式から出て来たから、 その評価形式をどうするかというのが一つのポイントになる。 遅延評価は最左最外簡約の研究から出て来た。 効率がどうのこうのというより、 新しいプログラミングパラダイムを産み出したので、 (例えば無限リスト、無限木の積極的利用) 研究され続けているんだと思う。 404 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 11:32:55 ] >>402 GLOBAL HONORED CROWN www.noah.co.jp/ghc.php 405 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 11:37:31 ] 関数型とか意味がない言語だと思うけどねぇ 何ができるってわけでもないし HaskellでWindowsは作れないしLinuxも作れない Webサーバも作れないしDBも作れない 意味がない 406 名前：36 ◆K0BqlCB3.k mailto:sage [2008/08/09(土) 11:44:54 ] >>405 www.thenewsh.com/~hws/ 407 名前：36 ◆K0BqlCB3.k mailto:sage [2008/08/09(土) 11:45:52 ] ごめん、今からインディージョーンズ見に行くから急いでるから！ 408 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 11:47:37 ] まあ普通はモデルを現実に合わせるよな。 代入だらけのプログラムをSSAとかいう形式に変換するとか。 409 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 11:48:09 ] >>394 純粋関数型言語・遅延評価で、 型なし・インタプリタ言語ってあるよ。 変態言語 Lazy K がそれ。 ある意味では Make とかもそうかも。 少なくとも、 純粋関数型言語・遅延評価と、 コンパイル言語かインタプリタ言語か っていうのはあまり関係ない。 純粋関数型言語・遅延評価は、 シンプルな手続き型よりもインタプリタを書くのが難しい、 っていうのはあるかもしれないけど。 純粋関数型言語であることと静的型であることは、少し関係があるかも。 純粋関数型言語でかつ動的型というのは、概念的にあまり良い食い合わせではないとは思う。 動的型っていうのは、関数の世界では「型無し」ってことになると思うんだけど、 いずれにせよアドホックなエラー処理が必要になって、 純粋関数型的にアドホックなエラー処理というのは少なくとも美しくない。 410 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 12:17:29 ] >>409 遅延評価でインタプリタ。破壊的関数が作れないというものなら、R言語くらいしか知らない。 411 名前：394 mailto:sage [2008/08/09(土) 12:56:14 ] 皆さんレスありがとうございます。 論理的に組み合わせ悪いというよりは、静的型のメリットを選んだ ということなんでしょうか。 静的型VS動的型というのは、安全VS自由ということだと思うんですが、 Haskellは安全を選んだということなのかな。純粋関数型としては、 副作用に関連する不具合から自由なのが売りだと思うので、更に 静的型によって徹底的に信頼性を上げてるという感じなんでしょうか。 >>409 純粋関数型であること(参照透明であること)と動的型が食い合わせ 悪いというのがちょっと分かりませんでした。動的型は実行時不具合 の問題が付きものと思うのですが、参照透明との関係をよろしければ 少し詳しく教えていただけマスでしょうか。 412 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 13:08:18 ] そもそも関数型言語に意味が無い 413 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 13:13:08 ] >>411 動的型を使うと、アドホックなエラー処理が必要になるよね？ っていうか、それがないと動的型を使ううまみがないと思うんだけど。 ここでいうアドホックなエラー処理っていうのは、 対象オブジェクトの型をプログラムで認識して、 意図しないオブジェクトが来たときにエラー処理するってことだけど。 このエラー処理にIOを使わないなら、 それは多相型やクラスを使っても同じ結果が得られるよね。 だから、Haskellに動的型を組み込む必要性は、 意図しないオブジェクトが来たときIOを使ったエラー処理をしたいときに限られると思う。 で、純粋関数型言語は参照透明性ゆえにIO処理するの苦手。 まぁ、動的型っていうのはプログラム中で型を認識できないと意味ないよね？ っていう時点で、カリー・ハワード対応との関係で微妙っていう気にするけど。 僕が考えているのは、そんな感じ。 414 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 13:17:44 ] 上っ面を語り合って自己満足か Haskellに多いやつらの典型だなｗ 415 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 13:18:59 ] グリーンスパンの第10法則が発動すると、どんな言語で書こうと 動的でマルチパラダイムな言語で書いたのと同じになる。 416 名前：394 mailto:sage [2008/08/09(土) 13:33:07 ] >>413 なるほど、理解しました。ありがとうございます。 417 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 13:50:48 ] >>405 せいぜい生きる力を養ってください 418 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 13:54:52 ] >>416 implementationの本を読むといいよ Peyton Jonesのがpdfで読めるはず 419 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 14:11:34 ] >>418 俺はPJのが好きだな。 静的型付けとグラフ簡約が運命的な出会いであることがわかった。 420 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 14:19:55 ] >>413 なんか議論が無茶苦茶じゃないか？ 例えば「型エラー」を「0除算エラー」に置き換えても論理展開が変わらん >このエラー処理にIOを使わないなら、 >それは多相型やクラスを使っても同じ結果が得られるよね。 動的型の重要な利点は、型をいちいち書かなくてもいいという利便性だよな 多相型やクラスを使って動的型をシミュレートするのはすごく面倒だから、この利点を享受できない それから、GHCではerrorやundefinedで発生したエラーをIOモナド上で捕捉できる。念のため 421 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 14:26:59 ] だな。Haskellの例外処理で不足があることはそうそうないと思う。 あと、動的型のメリットを例外処理だけに限定するのは視野が狭すぎる。 LISPのメリットはアドホックな例外処理か？そうじゃないと思う。 422 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 14:39:32 ] >>420-421 納得できないのなら、それで良いです。 僕も、べつにそんなに優れた論拠だと思ってないから。 423 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 14:55:35 ] 俺も>>413はひどい文章で内容もないと思う。 >>416が理解したのが驚愕。 424 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 15:20:10 ] 本当だ、マジで何言ってるのかわからん すげえ 425 名前：394 mailto:sage [2008/08/09(土) 15:22:47 ] 動的型のメリットは型を単に書かなくて済むことだとは思えないんですが。 それだけであれば、コンパイルで発見する不具合をテスト時に見つけよう とする、つまり面倒なことを後回しにしてるだけ、ってことになりませんか？ 426 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 15:23:15 ] 別に動けばいい 427 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 15:30:45 ] 何でも指せるポインタってのはメチャ便利なんですよ。 S式なんて最たるもので、静的な型付けは不能あるいはワイルドカード的。 静的か動的かはトレードオフの問題。 428 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 15:42:04 ] >>425 不具合を見つけるタイミングが遅くなるという対価を払って、記述の利便性および変更の容易さという報酬を得る ちゃんと取引として成立してるじゃないか もちろん「型を書かなくて済む」こと以外にも利点はある 特定の静的型付け言語ではそもそも型を付けられないようなコードが許容されるとか 429 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 17:38:51 ] >>425 lispを使ってる限りの印象だが 都合のよい所だけ型宣言が出来るというのは柔軟性につながるかな。 プログラムの最適の仕方も静的/動的で違いがあると思うよ。 型なんで考えずにアルゴリズムだけ作っちゃえができるからね。 それでも型を意識したプログラミングをすることはあるが。 でも、haskellでもポリモつかえばある程度型無視ラピッドプログラミング は可能じゃないか? 430 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 17:41:42 ] じゃあOCamlでいいじゃん 431 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 17:44:14 ] >>430 haskellって参照透明性ってかなりのメリットだと思ってるけど。 432 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 17:49:41 ] 注意してかけばいいだけの話 Hashkellはメリットを殺すデメリットしかないだろ 433 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 17:56:37 ] 正直、exists型が標準になれば動的型付けは不要じゃね？ en.wikibooks.org/wiki/Haskell/Existentially_quantified_types 434 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 17:57:26 ] >>430 OCamlはstrictだから。残念。 435 名前：394 mailto:sage [2008/08/09(土) 19:55:26 ] >>428 コンパイル時に問題が抽出されることと、テストによって抽出されるのでは 質的な違いがあるんじゃないですか？テストは結局は人間がやるものだし、 不具合の可能性を低めるということにしかならないけど、コンパイルでの 不具合検査は対象となるプログラムの論理的正しさを証明していることに なるかと思います。 容易に変更ができたとして、不具合がどこに潜んでいるのか分かりにくい というのは非常に問題あると思いますよ。コンパイルで分かるのならば、 これは明白でしかも機械的に全てが晒されますから安心です。 436 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 20:20:59 ] Rubyは危険だしセキュリティリスクしか そんざいしないしな 437 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 20:23:09 ] >>435 確かに、バグがどの段階で発見されるかには質的な違いがある でも、静的な型検査だって全てのバグを検出できる訳じゃないから、 結局、動的検査との安全性の違いは程度問題 その上で、静的な型検査の利点がコストを上回るという判断は当然ありえるし、 そう判断したなら静的型言語を使えばいい 438 名前：デフォルトの名無しさん mailto:sage [2008/08/09(土) 20:28:12 ] >>435 静的型チェック馬鹿ですやん

---

---

[ 続きを読む ] / [ 携帯版 ]

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