[過去ログ]
関数型プログラミング言語Haskell Part4 (1001レス)
関数型プログラミング言語Haskell Part4 http://echo.5ch.net/test/read.cgi/tech/1140717775/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
502: デフォルトの名無しさん [sage] 2006/04/18(火) 21:26:26 一方ロシアはJavaを使った。 http://echo.5ch.net/test/read.cgi/tech/1140717775/502
503: デフォルトの名無しさん [sage] 2006/04/18(火) 21:40:07 >>492 型に慣れてないなんて時代遅れだね。 http://echo.5ch.net/test/read.cgi/tech/1140717775/503
504: デフォルトの名無しさん [sage] 2006/04/18(火) 21:42:15 型がないと、ある種のパラドックスに陥る。 それは容易にバグに結びつく。 強い型付きの言語というのは、そういう意味で安全なんだよ。 http://echo.5ch.net/test/read.cgi/tech/1140717775/504
505: デフォルトの名無しさん [俺ってオモスレーwwwsage] 2006/04/18(火) 21:43:46 型型うるせえな!! http://echo.5ch.net/test/read.cgi/tech/1140717775/505
506: デフォルトの名無しさん [] 2006/04/18(火) 22:12:10 >>497 reading A Gentle Introduction to Haskell Version 98 ... done reading Twe Dozen Short Lessons in Haskell ... (Interrupt) reading Yet Another Haskell Tutorial ... (Interrupt) error: unresolved keywords: class instance deriving monad '...' '>>=' ... やっと477が普通に見えてきたところです。 相互再帰は普通にできるんですね。 478のステップ2ではこういうかんじで使う関数を想像してました。 traverse Left2Right BreadthFirst InOrder node ちなみにC++で nodeGenFoldr を書くとどうなるんですか? 速すぎてついていけませんが解析中 reading 2ch/code321.txt ... http://echo.5ch.net/test/read.cgi/tech/1140717775/506
507: デフォルトの名無しさん [sage] 2006/04/18(火) 22:17:15 型推論はなるべく使わないほうが良い。初心者なら特に。 http://echo.5ch.net/test/read.cgi/tech/1140717775/507
508: デフォルトの名無しさん [] 2006/04/18(火) 22:23:04 >>497 そういえば以前MLでfoldを使わずに相互再帰で走査していくときに型推論が役に立ったことがあります。 http://echo.5ch.net/test/read.cgi/tech/1140717775/508
509: デフォルトの名無しさん [] 2006/04/18(火) 22:53:37 >>497 478はXML文書をPythonのElementTreeのように手軽に扱えるライブラリはないかと思って、Haskellに限らずいろいろ探しているときに考えていたことの一部です。 ElementTreeで日本語を読み込むにはかなり細工が必要で、またテキストをエレメントと対等に扱わないので検索がやりにくかったです。 http://haskell.org/hawiki/GhcUnicodeによるとGHC6.6からUnicodeがHaXmlでも普通に扱えるように読めるんですが、ご存知ありませんか? http://echo.5ch.net/test/read.cgi/tech/1140717775/509
510: デフォルトの名無しさん [sage] 2006/04/18(火) 23:23:12 >>509 現在のGHCは入出力の際にエンコーディングをiso-8859-1と仮定するので、 日本語を正しく扱うことは出来ません。 ただし、情報が失われる変換ではないので、文字列をブラックボックスとして操作する限りでは 問題は起こらないかも知れません。 実際、私はHaXmlを日本語を含む文書を操作するのに使っています。 上記の問題はGHC付属のIOライブラリの欠陥であって、プログラムからUnicodeの文字を扱うこと自体は正しく出来ます。 従って、入出力用の外部ライブラリとHaXmlを組み合わせることで正しい扱いが出来るかも知れません。 例えば、使ったことはないのですが、 http://www.repetae.net/john/recent/out/HsLocale.html に、ロケール依存の入出力をするライブラリがあります。 >http://haskell.org/hawiki/GhcUnicode リンク先の記述はUnicodeの文字クラスに関するもので、この問題には関係ないかと思います。 http://echo.5ch.net/test/read.cgi/tech/1140717775/510
511: デフォルトの名無しさん [] 2006/04/18(火) 23:24:16 >>492 関数を書いたあと推論を固定したいときはコピペして宣言、気にくわなければ型に手を加える、で十分だと思います。 http://echo.5ch.net/test/read.cgi/tech/1140717775/511
512: デフォルトの名無しさん [sage] 2006/04/18(火) 23:27:13 関数型言語、特にHaskellのようなpureな言語では、型を見るだけでどういう関数なのかほぼ解る。 a -> a 型の関数はまず間違いなく id だし、a -> b -> b 型は、第二引数をそのまま返すものであろう。 a -> Int とかなら、何を適用してもIntの定数を返す関数と推測される。 (a -> b) -> [a] -> [b] なんていう型の関数があったら、返値の要素は、第一引数である関数で もって第二引数の要素から作ったものである。 自分で書いた関数が (a -> b) -> a -> a とか推論されたら、第一引数の関数またはその返値を どこかで捨ててしまっている。 型推論を活用しながらコーディングってつまりこういうことだと思っているが、違う? http://echo.5ch.net/test/read.cgi/tech/1140717775/512
513: デフォルトの名無しさん [] 2006/04/19(水) 00:30:38 >>512 >自分で書いた関数が (a -> b) -> a -> a とか推論されたら、第一引数の関数またはその返値を >どこかで捨ててしまっている。 > 型推論を活用しながらコーディングってつまりこういうことだと思っているが、違う? だいたいそう。 1) 予想した型と推論された型が一致しなければ、実装か、そもそもアルゴリズが間違っていた 2) 予定の型を書いておいて型エラーが無くなるようにコーディグする 2a) 関数の型を修正するときに先に型を書き、型エラーが無くなるまで中身を修正する 2a') 関数を分割するときに部分的な型を抜き出し、コピペした実装と一緒に宣言して2a) 2c) 最初に型を宣言して頑張ってコーディングする 2c)はあまり記憶が無いけどこんなかんじかなあ。 予想とはいっても型が長いときはびっくりするような推論が帰ってくるから、それをもとに正確な型はこうだ、と決めてる気がします。 始めのころは推論にびっくりしてストップしていましたが、何かを書きかけている途中でそれが起こるとしょうがなく解析して理解しました。慣れていくと実は逆の活用ができるんだ、と感じるようになりました。 ありきたりだけど、型推論に慣れる・慣れないというのはそういう「driving application」があるかどうかの話だと思います。 結局464という話になりますが。 http://echo.5ch.net/test/read.cgi/tech/1140717775/513
514: デフォルトの名無しさん [sage] 2006/04/19(水) 01:04:24 >>506 ttp://hs.or.tp/php/uploader/up/code322.cpp C++版。 C++には関数的なリストが用意されていないので、vectorと副作用でごまかした。 もちろん、自分で定義すればいいんだけど、面倒だったので。 http://echo.5ch.net/test/read.cgi/tech/1140717775/514
515: デフォルトの名無しさん [] 2006/04/19(水) 01:07:25 >>510 参考になりました。ありがとう。 fptoolsでHaXmlをダウンロードしてあるのにghc6.4には何故かインストールされてませんでした。libraries/以下だけを再ビルドする方法も思い出せません。そもそもできたかどうか。トップからビルドし直すとまた信じられないような時間かかるし。 ghcはインストールがうっとうしいです。FFIもいっぱいあって、バージョン間の互換性も低いし。Makefileを書きかえてライブラリを追加したりとか。 インストールが成功したころには全然別の所に行ってしまってることが多いのでもうしばらくして試してみます。 reading 2ch/code321.txt(continued) Yet Another Haskell Tutorial(continued)... http://echo.5ch.net/test/read.cgi/tech/1140717775/515
516: デフォルトの名無しさん [sage] 2006/04/19(水) 01:16:07 >>514 わざわざありがとう。 これがHaskellと同じように読み書きできるんですね。恐れ入りました。 ちょっと頭のリソースが足りないので、今度Boostを試してみるときに参考にします。 http://echo.5ch.net/test/read.cgi/tech/1140717775/516
517: デフォルトの名無しさん [sage] 2006/04/19(水) 13:49:44 ghcのコンパイルに 100時間以上かかってるんですがこんなもんですか? 前は半日くらいでできてたはずなのに。 http://echo.5ch.net/test/read.cgi/tech/1140717775/517
518: デフォルトの名無しさん [sage] 2006/04/19(水) 17:33:13 いくらなんでも時間かかりすぎ どんなコンピュータだよ http://echo.5ch.net/test/read.cgi/tech/1140717775/518
519: デフォルトの名無しさん [sage] 2006/04/19(水) 20:58:50 GHC 6.4.2来たよ http://echo.5ch.net/test/read.cgi/tech/1140717775/519
520: デフォルトの名無しさん [sage] 2006/04/19(水) 22:22:00 いつもソースからビルドしてるんだけど、バイナリよりどれだけ速いか比べたことある人いませんか? http://echo.5ch.net/test/read.cgi/tech/1140717775/520
521: デフォルトの名無しさん [sage] 2006/04/19(水) 22:33:47 どう考えてもビルド時間を回収できるほどには速くなりません。 http://echo.5ch.net/test/read.cgi/tech/1140717775/521
522: デフォルトの名無しさん [sage] 2006/04/19(水) 22:48:02 じゃあバイナリにします。ありがとう。 http://echo.5ch.net/test/read.cgi/tech/1140717775/522
523: デフォルトの名無しさん [sage] 2006/04/20(木) 07:17:46 >>512 っ [ P. Wadler, Theorems for Free! ] http://echo.5ch.net/test/read.cgi/tech/1140717775/523
524: デフォルトの名無しさん [sage] 2006/04/20(木) 07:49:05 >>523 もちろん読んでる。Reynoldsも。 http://echo.5ch.net/test/read.cgi/tech/1140717775/524
525: デフォルトの名無しさん [] 2006/04/20(木) 21:16:08 もっと議論したまえ。 http://echo.5ch.net/test/read.cgi/tech/1140717775/525
526:  ̄ ̄\| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ [sage] 2006/04/20(木) 23:12:51 ミ 二__, --、r'"___、 ヾ ト、::ヽ ミレ'"~,-,、 ! ! ' '" ̄ .ノ \ヾ:、 K/ー'~^~_/ ヽミ:ー‐‐'" ヽ i. !〉 ー―'"( o ⊂! ' ヽ Y_ i ,.:::二二ニ:::.、. l i .! :r'エ┴┴'ーダ !Kl .i、 . ヾ=、__./ ト= ヽ. :、 ゙ -―- ,; ,! \. :. .: ノ ヽ ヽ . . . . . .イ http://echo.5ch.net/test/read.cgi/tech/1140717775/526
527: デフォルトの名無しさん [sage] 2006/04/21(金) 19:26:11 過去ログ読まずに質問するですがHaskellで言語処理系実装するのってどんなメリットありますか? Microsoft Researchの人が書いてた埋め込み言語のコンパイラHaskellで書くとこんなにスゲェぜ! 風なペーパーを見掛けて気になってたんですが、どこで見掛けたのかすらわからなくなって もう気になって気になって・・・ +compiler +"in haskell" とかでググってもそれっぽいの出てこないし。あぁ気になる。 http://echo.5ch.net/test/read.cgi/tech/1140717775/527
528: デフォルトの名無しさん [sage] 2006/04/21(金) 19:42:51 Haskellはあらゆる開発であらゆる言語を遥かに凌駕するのは周知の事実。 だから言語処理系の実装も例外ではないというだけの話。 特にI/Oが比較的単純でロジックの実装に集中できるから得意中の得意といっていい。 http://echo.5ch.net/test/read.cgi/tech/1140717775/528
529: デフォルトの名無しさん [sage] 2006/04/21(金) 20:21:19 Haskellと比べれば他の言語は子供だまし。 あらゆる分野で断トツ。 http://echo.5ch.net/test/read.cgi/tech/1140717775/529
530: デフォルトの名無しさん [sage] 2006/04/21(金) 20:35:17 学者もどきが礼賛してるただの 一風変わったオモチャだと思ってるけど違うの? http://echo.5ch.net/test/read.cgi/tech/1140717775/530
531: デフォルトの名無しさん [sage] 2006/04/21(金) 20:42:36 .NETに連携できればなぁ。グルーはC#でかくから。 http://echo.5ch.net/test/read.cgi/tech/1140717775/531
532: デフォルトの名無しさん [sage] 2006/04/21(金) 21:47:47 Haskell にも格好良い渾名がいるんじゃないだろうか。 http://echo.5ch.net/test/read.cgi/tech/1140717775/532
533: デフォルトの名無しさん [] 2006/04/21(金) 22:07:29 唯一Haskellに対抗できそうなのがC++ http://echo.5ch.net/test/read.cgi/tech/1140717775/533
534: デフォルトの名無しさん [] 2006/04/22(土) 09:47:58 「ふつうのHaskellプログラミング」マダー(AAry Racc本の青木峰郎さんに期待age http://echo.5ch.net/test/read.cgi/tech/1140717775/534
535: デフォルトの名無しさん [sage] 2006/04/22(土) 10:24:06 俺も入門Haskellが糞だったのでふつうのHaskellプログラミングに期待 http://echo.5ch.net/test/read.cgi/tech/1140717775/535
536: デフォルトの名無しさん [sage] 2006/04/22(土) 11:14:58 勝手にナイトメアHaskellにも期待 http://echo.5ch.net/test/read.cgi/tech/1140717775/536
537: デフォルトの名無しさん [sage] 2006/04/22(土) 16:41:51 haskellの悪夢か… プログラム中で定数として色々な計算に使っていた値(重力定数とか)を、 「コマンドラインの引数で値を指定できるようにして」といわれた時とか。 main以下のほぼすべての関数に、その値を表す引数を追加する (もしくはmonadを使ってその受け渡しをラップする)羽目に… こういう時だけは破壊的なMLが羨ましくなる。 http://echo.5ch.net/test/read.cgi/tech/1140717775/537
538: デフォルトの名無しさん [sage] 2006/04/22(土) 16:47:50 >>537 激しく同意。 パラメータつきモジュールみたいな言語要素が欲しい。 \(g :: Double) -> module Foo where ... http://echo.5ch.net/test/read.cgi/tech/1140717775/538
539: デフォルトの名無しさん [sage] 2006/04/22(土) 16:55:40 >>537→バグが増える http://echo.5ch.net/test/read.cgi/tech/1140717775/539
540: デフォルトの名無しさん [sage] 2006/04/22(土) 17:06:39 >>537 つ Implicit parameters http://echo.5ch.net/test/read.cgi/tech/1140717775/540
541: デフォルトの名無しさん [sage] 2006/04/22(土) 17:19:48 確かに他の言語ではあり得ないおぞましさがあるからな http://echo.5ch.net/test/read.cgi/tech/1140717775/541
542: デフォルトの名無しさん [sage] 2006/04/22(土) 17:54:26 実際 Haskell って「可変性」って観点からはどういう評価なん? http://echo.5ch.net/test/read.cgi/tech/1140717775/542
543: デフォルトの名無しさん [sage] 2006/04/22(土) 18:05:54 >>538 こういうのは? data Foo = Foo {f1 :: ..., f2 :: ..., f3 :: ...} ConstructFoo g = Foo f1 f2 f3 where f1 = ... f2 = ... f3 = ... http://echo.5ch.net/test/read.cgi/tech/1140717775/543
544: デフォルトの名無しさん [sage] 2006/04/22(土) 18:24:20 >>543 それもちょっと考えたけど、いちいち型を定義するのが面倒だし、 対話環境から使いにくいような気がした。 でも見直してみたら First-class Modules for Haskell http://research.microsoft.com/~simonpj/Papers/first-class-modules/index.htm もそんな感じで実装してあるな。 http://echo.5ch.net/test/read.cgi/tech/1140717775/544
545: デフォルトの名無しさん [sage] 2006/04/22(土) 19:15:38 まあ最初から可変になることがわかっていたら色々手もあるだろうが、 後から可変にするのはやっかいだね。 http://echo.5ch.net/test/read.cgi/tech/1140717775/545
546: 527 [sage] 2006/04/22(土) 21:49:47 >> 528, 529 マジですか。ちょっと勉強してみようかなとか思ってきた。 HaskellにLispのマクロみたいな機能ある?コレがないと暮らせないんだけども。 http://echo.5ch.net/test/read.cgi/tech/1140717775/546
547: デフォルトの名無しさん [sage] 2006/04/22(土) 22:14:18 >>546 勉強したいというなら止めないが、>>528-529を真に受けるなよ。 >HaskellにLispのマクロみたいな機能ある?コレがないと暮らせないんだけども。 標準じゃないけど、template haskellってのがある。 http://echo.5ch.net/test/read.cgi/tech/1140717775/547
548: デフォルトの名無しさん [sage] 2006/04/23(日) 07:16:21 >>543 538ではないが、もう少し詳しく教えてください http://echo.5ch.net/test/read.cgi/tech/1140717775/548
549: デフォルトの名無しさん [sage] 2006/04/23(日) 07:36:00 >>537, 541, 545 Haskell への憧れが一気に冷めました 時代の最先端をいく言語だと思ってたんですが http://echo.5ch.net/test/read.cgi/tech/1140717775/549
550: デフォルトの名無しさん [] 2006/04/23(日) 08:44:35 Hugsって死滅しちゃうの??? http://echo.5ch.net/test/read.cgi/tech/1140717775/550
551: デフォルトの名無しさん [sage] 2006/04/23(日) 09:23:49 ghciがあの遅さではhugsの代わりとしては使えない。 http://echo.5ch.net/test/read.cgi/tech/1140717775/551
552: デフォルトの名無しさん [sage] 2006/04/23(日) 13:31:37 まあいろいろ考えると結局LISP最強なんだな http://echo.5ch.net/test/read.cgi/tech/1140717775/552
553: デフォルトの名無しさん [&] 2006/04/23(日) 18:56:04 >537 cleanなら getEnvironmentVariable で環境変数を使う手があります。 worldが関係ないので。 http://echo.5ch.net/test/read.cgi/tech/1140717775/553
554: デフォルトの名無しさん [sage] 2006/04/23(日) 22:33:04 HaskellのIOが使いづらい理由の一つは、世界の状態に影響をあたえる動作と そうでない動作を区別しないことじゃないだろうか、とふと思った。 getHomeDirectoryとかreadArrayなんかの読み出し動作は 相対的な実行順序を指定せずに使うことができるべきだよな。 http://echo.5ch.net/test/read.cgi/tech/1140717775/554
555: デフォルトの名無しさん [sage] 2006/04/23(日) 23:25:54 >>554 読み出すだけの動作は、影響を与えないが、 「影響を受ける」から、やはり実行順序依存なのだが。 純関数的なものはモナドに入れずに、例えばdo構文の外で let, where束縛すりゃいいし。 http://echo.5ch.net/test/read.cgi/tech/1140717775/555
556: デフォルトの名無しさん [sage] 2006/04/24(月) 02:20:08 STとSTRefの使い方がやっと分かった。 こんな仕組み作るぐらいなら素直にimperative使えよ・・・。orz http://echo.5ch.net/test/read.cgi/tech/1140717775/556
557: デフォルトの名無しさん [sage] 2006/04/24(月) 08:11:10 >>555 いや、「世界に影響を与える」動作との相対的な実行順に依存するのは分かるんだが、 v[i] = v[i-1] + v[i+1]; みたいな操作でreadArray間の実行順を指定するのは馬鹿馬鹿しい。 厳密には違う話かも知れないけど、 home <- getHomeDirectory h <- openFile (home++"/.foorc") とか、 eof <- isEOF if eof ... とかも同様に馬鹿馬鹿しく感じる。 http://echo.5ch.net/test/read.cgi/tech/1140717775/557
558: デフォルトの名無しさん [sage] 2006/04/24(月) 08:14:55 おっと、openFileの第二引数を付け忘れた。まあ察してくれ。 http://echo.5ch.net/test/read.cgi/tech/1140717775/558
559: デフォルトの名無しさん [sage] 2006/04/24(月) 14:29:12 Audrey Tangが性転換してたとは知らなかった http://echo.5ch.net/test/read.cgi/tech/1140717775/559
560: デフォルトの名無しさん [sage] 2006/04/24(月) 18:48:07 >>559 Runtime Typecasting ね http://pugs.blogs.com/audrey/2005/12/runtime_typecas.html http://echo.5ch.net/test/read.cgi/tech/1140717775/560
561: デフォルトの名無しさん [sage] 2006/04/24(月) 22:03:25 入門Haskell結構売れてるみたいなのに、このスレが初心者質問で賑わわないのはなんでだろう。 http://echo.5ch.net/test/read.cgi/tech/1140717775/561
562: デフォルトの名無しさん [sage] 2006/04/24(月) 22:19:02 読者が理解できてないから。 http://echo.5ch.net/test/read.cgi/tech/1140717775/562
563: デフォルトの名無しさん [sage] 2006/04/24(月) 22:27:00 日経ソフトウェア読んだ人いる? あのDQN雑誌にHaskellの記事が載ったそうだけど。 http://echo.5ch.net/test/read.cgi/tech/1140717775/563
564: デフォルトの名無しさん [sage] 2006/04/24(月) 22:28:40 >>562は本物の馬鹿です。 http://echo.5ch.net/test/read.cgi/tech/1140717775/564
565: デフォルトの名無しさん [sage] 2006/04/25(火) 00:22:29 生産性ねぇ.経験からいうと静的型付け?と変数への代入がないことが間接的に生産性をあげてるとは思う. 手続き型言語とかオブジェクト指向言語でプログラム書いてると,つねにプログラム全体を意識してないと きちんとしたプログラムを書けないわけですよ.「この変数 hoge はこのループに入る前にこの関数でこういう処理を されたから値は A か B か C のはず.だから今書きかけのこの行で foo という処理をしても問題ない.」てな感じ. 最近集中力が落ちてきてるうえに日常的にプログラムを書くわけではない僕にはこれが辛い. ちなみに先日 elisp でプログラム書いてて,型をあわせるのに随分気を使ったです. でも Haskell だと *関数の定義を積み上げてプログラムを書く *プログラム中に現れる値は恒に同じ値(参照透過性) *型の間違いをコンパイラがチェックしてくれる などから,考える範囲を局所化してもちゃんとしたプログラムを書くことができる. つまり,頭は使うかもしれないけど神経は使わなくてよい.頭を使うと後で生かせるけども神経を使っても疲れるだけ. 神経が消耗しないだけ生産性はあがってると思うよ. http://echo.5ch.net/test/read.cgi/tech/1140717775/565
566: デフォルトの名無しさん [sage] 2006/04/25(火) 00:27:12 ま,Haskell で書いたプログラムの行数は合計しても三桁行程度の素人の意見だから 参考にならんかしらんけど. http://echo.5ch.net/test/read.cgi/tech/1140717775/566
567: デフォルトの名無しさん [sage] 2006/04/25(火) 00:50:12 プログラムの正当性とか考え始めると、C みたいな言語は使いにくいよね。 一応 C で書くときはHoare論理を意識してるけど、かなりめんどい。 http://echo.5ch.net/test/read.cgi/tech/1140717775/567
568: デフォルトの名無しさん [sage] 2006/04/25(火) 01:01:05 >>567 お前はHoare論理と書きたかっただけとちゃうんかと・・ http://echo.5ch.net/test/read.cgi/tech/1140717775/568
569: デフォルトの名無しさん [sage] 2006/04/25(火) 02:54:38 得意げな顔して何が、Hoare論理を、だ。 お前は本当にHoare論理を意識してるのかと問いたい。問い詰めたい。小1時間問い詰めたい。 お前、Hoare論理って書きたいだけちゃうんかと。 http://echo.5ch.net/test/read.cgi/tech/1140717775/569
570: デフォルトの名無しさん [sage] 2006/04/25(火) 10:57:51 ほ、ほーっ、ホアアーッ!! ホアーッ!! http://echo.5ch.net/test/read.cgi/tech/1140717775/570
571: デフォルトの名無しさん [sage] 2006/04/25(火) 13:36:34 声優オタは詩ね http://echo.5ch.net/test/read.cgi/tech/1140717775/571
572: デフォルトの名無しさん [sage] 2006/04/25(火) 15:43:07 >>565 >頭は使うかもしれないけど神経は使わなくてよい. >頭を使うと後で生かせるけども神経を使っても疲れるだけ. なるほどね。でも現状CやJavaがこれだけ使われてる時代において、 神経を使うことを嫌うっていうのは、もうプログラマとしての適性を 亡くしてしまったともいえるな。 もしかしてプログラマの適性を亡くしてしまった人、もしくは最初からない人が 関数型言語に興味を持ってたり。 http://echo.5ch.net/test/read.cgi/tech/1140717775/572
573: デフォルトの名無しさん [sage] 2006/04/25(火) 16:04:49 とりあえず紳士的にHaskellお勉強中だけどこのスレ読んでてつまらん。 もっとコードベースのお話してよ。 http://echo.5ch.net/test/read.cgi/tech/1140717775/573
574: デフォルトの名無しさん [sage] 2006/04/25(火) 16:25:52 >>573 同意。 しかし、ネタがない。 http://echo.5ch.net/test/read.cgi/tech/1140717775/574
575: デフォルトの名無しさん [sage] 2006/04/25(火) 16:36:44 くだすれHaskellなんてどうでしょう? http://echo.5ch.net/test/read.cgi/tech/1140717775/575
576: デフォルトの名無しさん [sage] 2006/04/25(火) 16:46:02 ここだと何か問題でもあるのか? http://echo.5ch.net/test/read.cgi/tech/1140717775/576
577: デフォルトの名無しさん [sage] 2006/04/25(火) 16:50:06 回答者のレベルが低い。口先だけ http://echo.5ch.net/test/read.cgi/tech/1140717775/577
578: デフォルトの名無しさん [sage] 2006/04/25(火) 16:51:27 それは新しくすれ建てて解決する問題じゃないと思うが。 http://echo.5ch.net/test/read.cgi/tech/1140717775/578
579: デフォルトの名無しさん [sage] 2006/04/25(火) 17:13:00 では ナイトメア言語Haskell Part1 で http://echo.5ch.net/test/read.cgi/tech/1140717775/579
580: デフォルトの名無しさん [sage] 2006/04/25(火) 18:04:34 数理論理学勉強してない人が、このタイプの言語使ってみたところで、言語の目的とかが見えないんじゃないかな・・と思う。 言語仕様を覚えるだけなら誰でもできるけど、本質的なことは本当に理解している人しか見えてこないよね。 http://echo.5ch.net/test/read.cgi/tech/1140717775/580
581: デフォルトの名無しさん [sage] 2006/04/25(火) 18:05:37 はいはい雑談雑談 http://echo.5ch.net/test/read.cgi/tech/1140717775/581
582: デフォルトの名無しさん [sage] 2006/04/25(火) 18:06:42 雑談以外に何をしろと? http://echo.5ch.net/test/read.cgi/tech/1140717775/582
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 419 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s