関数型言語ML (SML, OCaml, etc.), Part 6

1 名前：デフォルトの名無しさん mailto:sage [2009/06/15(月) 07:15:21 .net] 関数型言語MLについて語るスレッドです。 MLは、確固とした理論的背景を持つ言語でありながら、 現実的なソフトの開発にも使用できる実用性を備えた言語です。 また、プログラミングの初心者が最初に学習する言語としても優れています。 総本山 Standard ML www.smlnj.org/ Objective Caml caml.inria.fr/ocaml/ 前スレ 関数型言語ML(SML, OCaml, etc.), Part 5 pc12.2ch.net/test/read.cgi/tech/1186292994/ 368 名前：デフォルトの名無しさん mailto:sage [2010/11/11(木) 22:39:12 .net] >>357 根拠は、>>305が使った「スタイル」と言う言葉。 >>361 ＞単にmapの効率的な表現でしかないだろ……。 その通り。より正確には「写像の効率的な実装(コード化)」だね。 >>357で書いたのは、実装(コード化)で解決しようとせずに設計に立ち返りなさい、という話。 369 名前：デフォルトの名無しさん mailto:sage [2010/11/11(木) 22:44:09 .net] 正直「いちいちmap作るの効率悪い＆めんどくさいからちゃっちゃとUnsafe.castしてしまえ」ってだけの話なのに 設計どうこうの話で絡む理由がわからんな。 それこそ言語機能の問題でしか無いんだから、実装の詳細もいいとこだろうに。 370 名前：デフォルトの名無しさん mailto:sage [2010/11/11(木) 22:52:14 .net] そうだね。プログラミング言語なんて道具にすぎないんだから、本人がどう使おうが自由だし。 下流工程で延々とモガき続ける、いわゆる土方から抜け出せるよう助言したつもりだったが、 余計なお世話だったかもしれない。これで落ちるよ。 371 名前：デフォルトの名無しさん mailto:sage [2010/11/11(木) 22:57:51 .net] だから、その本人が今現在下流工程にいるという根拠はなんなの？ 372 名前：デフォルトの名無しさん mailto:sage [2010/11/11(木) 22:59:31 .net] 大体設計としてはインデックス値集合からのmap確定で、見直す要素なんて全く無いだろ。 余計なお世話どころか、勘違い甚だしすぎる。 SML使う土方現場なんて日本にあったら俺が行きてーよw 373 名前：365 mailto:sage [2010/11/11(木) 23:14:44 .net] 落ちたつもりだったけど、自分のカキコにアンカ間違いがあったから、そこだけ訂正。 >>366 スマン。>>363の 　>>>357 　>根拠は、>>305が使った「スタイル」と言う言葉。 という部分の>>357というアンカは間違いだった。>>360宛のレスとして読み直してくれ。 374 名前：デフォルトの名無しさん mailto:sage [2010/11/11(木) 23:22:16 .net] 今ひどい泥縄を見た。 375 名前：デフォルトの名無しさん mailto:sage [2010/11/11(木) 23:27:02 .net] こんなに人いたんだな 376 名前：デフォルトの名無しさん [2010/11/12(金) 00:43:43 .net] 305&356です。 私はただの数値計算屋なので、このような助言はありがたい。 型の設定は大切にしています。ただ、研究用のプログラムなの で、予想外の変更が生じるし、過剰に一般的に作ると使いにくく なるので、なかなか難しいところです。 いまの問題でゆうと、対象の要素数が100とか1000であれば、 ハッシュを使う選択をしますが、当面の問題では、10以下の 固定個なので、列挙子を使いたい訳です。これは、NJの対話型 環境で式を評価したときに、 列挙子名が表示されるためです。 ※NJのハッシュは組み込み型であるvectorほど使いやすくはない ので、ハッシュを避けがちになるという別の問題はある。 なおUnsafe.castは前にOcamlにはmagicがあるという話が出たの で、備忘録的に書いただけです。　　　　 377 名前：デフォルトの名無しさん [2010/11/13(土) 19:02:17 .net] SML# 0.60 は大堀先生からアナウンス 378 名前：デフォルトの名無しさん mailto:sage [2010/11/13(土) 21:11:23 .net] いらねー 379 名前：デフォルトの名無しさん mailto:sage [2010/11/16(火) 01:51:58 .net] ML が研究されているという情報。 それも国内で。 結構なことじゃないの。 380 名前：デフォルトの名無しさん [2010/11/17(水) 03:57:12 .net] ようやくMPIを使っての並列起動に成功した……。Intel MPIの32bit版 が使えることのに気付くのにも時間が掛かったが、まさか、.cm/への 書きこみで競合が起こるとは想像だにできなかった。 381 名前：デフォルトの名無しさん mailto:sage [2010/12/07(火) 20:39:56 .net] なにこれ? From: Julian Assange <proff@i...> Subject: call for ocaml volunteers caml.inria.fr/pub/ml-archives/caml-list/2000/08/6b8b195b3a25876e0789fe3db770db9f.en.html 382 名前：デフォルトの名無しさん [2010/12/17(金) 00:13:19 .net] windowsでグラフィックスを扱うライブラリ としてsml_tkがあるようだが、Posixストラクチャ とか使っててコンパイルできない。 383 名前：デフォルトの名無しさん mailto:sage [2011/02/11(金) 13:52:35 .net] standard MLとかって、もう終わった言語なの？ 384 名前：デフォルトの名無しさん [2011/02/16(水) 22:27:36 .net] NJのバージョンはときどき上がっているようだが、64bit版の開発が着手される 気配はないねぇ。 385 名前：デフォルトの名無しさん mailto:sage [2011/02/17(木) 00:06:39 .net] Objective SML とかあればなあ・・・ 386 名前：デフォルトの名無しさん mailto:sage [2011/02/17(木) 00:16:06 .net] ええ。 ocamlのobject的な機能って使ってる人いるのかね？ 387 名前：デフォルトの名無しさん mailto:sage [2011/02/17(木) 00:31:11 .net] Ocaml みたいな奴だったらイラン 388 名前：デフォルトの名無しさん mailto:sage [2011/02/27(日) 19:00:35.30 .net] なんでCoqのスレとかないの？ 389 名前：デフォルトの名無しさん mailto:sage [2011/02/28(月) 06:23:51.79 .net] >>384 あなたやその他の人が誰も立てないから。 390 名前：デフォルトの名無しさん mailto:sage [2011/03/02(水) 23:24:04.60 .net] >> 383 先日のRuby会議でCoqの話題が多かったようです。 ttp://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62 391 名前：デフォルトの名無しさん mailto:sage [2011/03/03(木) 07:11:19.47 .net] またITプランニングのやつらか! 392 名前：デフォルトの名無しさん mailto:sage [2011/03/11(金) 15:27:53.72 .net] 「最近、関数型言語が流行ってんだってね？」 私にそう言ったのは、大法螺吹きの異名で名高い営業マン。 もちろん、彼はプログラミングのことは全然知らない。 たぶん関数型言語のこともどっかのポルノ雑誌ででも読んだのだろう。やれやれだ。 「岡村ってのが新しいらしいね。」 なんだよ、その岡村って…。もしかして日本人の開発した関数型言語か？岡村って誰だよ。 「やねさんなら、当然、岡村、使ったことあるよね？」 使ったことあるどころか、名前すら知らんよ。なんだよ、岡村って…。 「あれー？やねさんともあろう御人が、岡村も知らないとは…」 いや、マジで知らんよ。なんなんだよ、それ。 「そうかー。知らないのかー。やねさんでも知らないのかー。」 そう言われて「なんだかなぁ」と思いながら帰ってきて、「関数型言語 岡村」でググって見たけど、そんなの出てこねーよ。 「なんだよ、また、いつもの大法螺かよ！」と思って、布団に入って寝てたら、深夜の三時に、「もしかして、岡村ってOCamlのことじゃね？」と夢のなかで気づいて、いま悔しくて壁を思いっきりグーパンチで殴ってるところ。 393 名前：デフォルトの名無しさん mailto:sage [2011/03/11(金) 19:43:34.45 .net] おいおい、岡村！アラン、見ランダ？ Yacc束してたのに、Matlab。 あだー。アラン、隙間フェチ、すから。 見つけるのは一苦労じゃろーね。Sque無い 嗚呼、くっ。一� 394 名前：盾ﾉエイダみる予定だったのに・・ 遅coqしたら理彩のレイジがMaximaになる メーリングリストで蓮家等に聞いてミルか Amigaとう。んじゃ,またAgda！ Orc、またAgdaな [] [ここ壊れてます] 395 名前：デフォルトの名無しさん mailto:sage [2011/03/11(金) 21:16:39.93 .net] おつかれ〜 396 名前：デフォルトの名無しさん mailto:sage [2011/03/13(日) 21:05:50.23 .net] たててやったぞ Coqスレ hibari.2ch.net/test/read.cgi/tech/1300017923/ 397 名前：デフォルトの名無しさん mailto:sage [2011/04/02(土) 19:12:41.89 .net] >>388 ワロタwww 398 名前：デフォルトの名無しさん [2011/04/04(月) 00:00:15.57 .net] NJのUnsafe.castのあまり意味のない使い道 (fn x => x (Unsafe.cast x)) (fn x => (Unsafe.cast x)) 399 名前：デフォルトの名無しさん mailto:sage [2011/04/04(月) 00:35:09.27 .net] type 'a safe = Safe of ('a safe -> 'a);; let safe (Safe x) = x;; print_char((fun x -> safe x x) (Safe (fun x -> safe x x)));; 400 名前：デフォルトの名無しさん [2011/04/05(火) 21:49:01.21 .net] >>392 OCamlならこんなかんじ？ (fun x -> x (Obj.magic x))(fun x -> x (Obj.magic x));; 401 名前：デフォルトの名無しさん mailto:sage [2011/04/14(木) 09:44:35.08 .net] OCamlに興味が湧いてとりあえず五十嵐某の書籍買ってみた。 で、技術書買って真っ先にやることと言えば正誤チェック。 つ・・つかえねぇ・・・この本 誤謬の嵐だぜこりゃｗ 量がハンパネェ 本として機能してない 残念だがゴミ箱へ 402 名前：デフォルトの名無しさん mailto:sage [2011/04/14(木) 21:22:48.50 .net] >>395 そんなにひどいの？ 403 名前：デフォルトの名無しさん mailto:sage [2011/04/15(金) 00:44:37.03 .net] >>395 うん？ 自分にとっては、haskellの学習に大きく寄与したぞ？ コラムの再帰に関する格言と、その本質に言及した言葉が無かったら、関数型言語を挫折してた (関数型言語の魅力が解らなかっただろう) 自分は、この人にhaskell版を書いて欲しいぞ 今なら言える 手続き型言語は全体的に(それをするには)「どうする」で作り、関数型言語は、全体的に(それは)「何か(あるいは、どんなものか)」で作る言語だと 404 名前：デフォルトの名無しさん mailto:sage [2011/04/16(土) 12:37:58.03 .net] >>395 俺も最近買ってしまって読んでるんだが、誤植の場所を教えてくれ。 素人でもわかるものなのか？ 405 名前：デフォルトの名無しさん mailto:sage [2011/04/16(土) 12:57:42.57 .net] あれってネット上で読めなかったか 406 名前：デフォルトの名無しさん mailto:sage [2011/04/16(土) 13:50:43.61 .net] >>395 > 誤謬の嵐だぜこりゃｗ >>398 > 俺も最近買ってしまって読んでるんだが、誤植の場所を教えてくれ。 「誤謬」のある本と「誤植」のある本の違いは大きい。 本当はどっち？ 407 名前：398 mailto:sage [2011/04/16(土) 17:02:39.70 .net] >>400 すまん。ちゃんと見てなかった。誤植じゃなくて誤謬か。 で、どこなんだろう。 408 名前：デフォルトの名無しさん mailto:sage [2011/04/17(日) 20:32:04.80 .net] >>401 両方。誤植も誤謬もある。 www.sato.kuis.kyoto-u.ac.jp/~igarashi/OCaml/ 技術書でこれだけの間違いがあったら、どうやって本として機能するんだろう？ 409 名前：デフォルトの名無しさん mailto:sage [2011/04/17(日) 21:40:45.30 .net] >>402 そのページ印刷して本に挟んどけよ 410 名前：デフォルトの名無しさん mailto:sage [2011/04/17(日) 22:50:12.49 .net] 間違いは無いに越したことはないけれど、 これぐらいの量の間違いは大したことないと思う。 411 名前：デフォルトの名無しさん mailto:sage [2011/04/17(日) 22:51:29.38 .net] 十分大した事あるな 412 名前：デフォルトの名無しさん mailto:sage [2011/04/18(月) 00:31:01.42 .net] 技術書読んだことあんのか？ 413 名前：デフォルトの名無しさん mailto:sage [2011/04/18(月) 08:22:14.27 .net] 技術書は静的型付けじゃないからな 414 名前：デフォルトの名無しさん mailto:sage [2011/04/18(月) 11:08:36.97 .net] コーダとベリファイヤの性能が低い 415 名前：デフォルトの名無しさん mailto:sage [2011/04/20(水) 18:55:51.89 .net] > 自分は、この人にhaskell版を書いて欲しいぞ アマゾンで下のレビュー書いた人かいｗ 416 名前：デフォルトの名無しさん [2011/04/20(水) 20:57:40.94 .net] ちょっと困っていることがあるので、助けてください。 ヨウ素がリストの参照になっているようなベクトルを用意して、各要素に データを追記していくような処理 417 名前：をさせると(具体的には、複数の時系列を記録 したファイルがあって、これを時間順に読む)、追記回数の自乗のオーダの 処理時間が掛る。リストの先頭に追加しているだけなので、線形時間でやって ほしい。 [] [ここ壊れてます] 418 名前：デフォルトの名無しさん [2011/04/20(水) 20:58:06.52 .net] (* コード例) val bigV = Vector.tabulate(1000000, fn _ => ref (nil:int list)) val dat = Vector.tabulate(1000000, fn i => i) val t0 = Time.now(); val tLast = ref (Time.-(t0,t0)); fun showTime() = let val tLast' = !tLast val () = tLast := Time.- (Time.now(), t0) val dt = Time.-(!tLast, tLast') in Time.toString (!tLast)^","^ Time.toString dt end fun append k = (print (Int.toString k ^ "," ^ showTime()^ "\n") ;Vector.app (fn box => box := k :: !box) bigV ) val () = Vector.app append dat 419 名前：デフォルトの名無しさん mailto:sage [2011/04/20(水) 21:15:18.30 .net] ヨウ素とかベクレルの話かとｵﾓﾀ 420 名前：sage [2011/04/20(水) 21:46:08.88 .net] 辞書(と見逃した自分も)がそっち方向に過学習してしまったらしい。すまん。 421 名前：デフォルトの名無しさん mailto:sage [2011/04/21(木) 00:19:44.70 .net] 自分の環境ではサンプルプログラムの実行に二乗オーダは見られなかった。 bigVの大きさを一桁下げると速度がぐっと変わるし、GCとかのせいな気がする。 422 名前：デフォルトの名無しさん mailto:sage [2011/04/26(火) 20:50:17.84 .net] SMLの勉強していて思ったけど、最初に学ぶ言語として関数型言語はやはり難しいかも知れない。 C言語だとHello Worldから始まって、リスト処理は構造体とポインタの応用問題という位置づけだった。 SMLはいきなりリストと再帰の話から始まるｗ BASICは、LISPよりも後から開発されて、しかも同じダートマス大学発祥だけど、 リスト処理が実装されていないのもそれなりの理由があったのかなと思う。 423 名前：デフォルトの名無しさん mailto:sage [2011/04/26(火) 21:56:29.55 .net] 奥さん、そこで Factorですよ。 424 名前：デフォルトの名無しさん mailto:sage [2011/04/26(火) 22:12:07.58 .net] >>415 > BASICは、LISPよりも後から開発されて、しかも同じダートマス大学発祥だけど、 > リスト処理が実装されていないのもそれなりの理由があったのかなと思う。 LISPとBASICじゃ作られた目的が全然違う それに当時の計算機の性能ではリスト処理は時間的にもメモリ的にも大変重い処理だった 今の感覚や価値観は60年代の計算機や言語・ソフトの評価や判断には全く通用しない 425 名前：デフォルトの名無しさん mailto:sage [2011/04/27(水) 00:17:49.66 .net] 最初は易しい言語で、ってことが重要に思えるところ、 その信念に基づいた妄想を長々と書きこむところ、 これはその人の性質をよく表していると思う。 こういうひとのためにも緩い言語は必要。 ML系はそういうのとは全然違う。 426 名前：デフォルトの名無しさん [2011/04/27(水) 14:00:52.81 .net] >> 415 ポインタ+構造体+慎重な操作を免除して、いきなりリストが使えるのが 売りだと思うのだけれど。 また、MLは破壊的代入+whileループが特別な儀式をしなくても使えるの で、再帰を学ばなくてもある程度は使える。 427 名前：デフォルトの名無しさん mailto:sage [2011/05/18(水) 01:03:29.10 .net] 眉間のτとλ皺が特徴。 　　　　　　　　　　　　　　　　　　　　　　　　　　　　やつを追う前に言っておくッ！ 　　　　　　　　　　　　　　　　　　　　おれは今やつのStateTをほんのちょっぴりだが体験した 　　　　　　　　　　　　　　　　　　い…いや…体験したというよりはまったく理解を超えていたのだが…… 　　　　　　　　 ,. -‐'''''""¨¨¨ヽ 　　　　 　 　 (.＿＿_,,,... -ｧァﾌ|　　　　　　　　　　あ…ありのまま 今　起こった事を話すぜ！ 　 　 　 　 　 |i i|　 　 }!　}} /／| 　　　　 　 　 |l､{　 　j}　/,,ｨ//｜　　　　　　　『おれは奴の前で階層を lift していたと 　　　　　　　 i|:!ヾ､_ﾉ／ u {:}//ﾍ　　　　　　　　思ったらいつのまにか lift が消えていた』 　　　　　　　 |ﾘ u' τ ,ﾉ　_,!V,ﾊ | 　　 　 　 ／´fト､_{λ{,ィ'ｅﾗ　, ﾀ人　　　　　　　　な…　何を言ってるのか　わからねーと思うが 　　　　 /' 　 ヾ|宀| {´,)⌒`/ |<ヽﾄiゝ　　　　　　　　おれも何をされたのかわからなかった… 　　　　,ﾞ　 ／ )ヽ iLﾚ 　u' |　| ヾｌﾄﾊ〉 　　 　 |／_／　 ﾊ !ニ⊇　'／:} 　∀:::ヽ　　　　　　　　頭がどうにかなりそうだった… 　　　 /／ 二二二7'T'' ／u'　__ /:::::::/｀ヽ 　　　/'´r　-―一ｧ‐ﾞＴ´　'"´ ／::::／-‐ 　＼　　　　キャストだとかサブタイピングだとか 　　 / // 　 广¨´ 　/'　　 ／:::::／´￣｀ヽ ⌒ヽ　　　　そんなチャチなもんじゃあ　断じてねえ 　　ﾉ ' /　 ノ:::::`ー-､___／:::::／/ 　 　 　 ヽ　　} _／｀丶　/::::::::::::::::::::::::::￣`ー-{:::...　　　 　　　ｲ　 もっと恐ろしいものの片鱗を味わったぜ… 428 名前：デフォルトの名無しさん mailto:sage [2011/06/08(水) 22:38:54.29 .net] 保守 429 名前：デフォルトの名無しさん [2011/06/20(月) 02:35:53.95 .net] Ocamlとか関数型言語とか難しいことはよくわからないが ターミナルでTwitterクライアントが動くらしいので Ocamltterに手を出してみる。 そういえば親父がLISP好きだったのを思い出す。 430 名前：デフォルトの名無しさん mailto:sage [2011/06/20(月) 02:43:18.06 .net] フランス人と日本人って意外に共通点があるよな 431 名前：デフォルトの名無しさん mailto:sage [2011/06/20(月) 02:48:34.90 .net] 皇女様をギロチンにかけたりな 432 名前：デフォルトの名無しさん [2011/06/20(月) 07:42:00.20 .net] OcamltterあきらめてOcaml入門やってるんだが再起呼び出しとかちょっと難しいな。 for文と違う。 数学者にやらせると面白いことになりそうな謎のワクワク感を感じる言語ではある。 433 名前：デフォルトの名無しさん mailto:sage [2011/06/30(木) 22:40:46.75 .net] みんな Haskell に移行してしまったんかいなぁ 434 名前：天使 ◆uL5esZLBSE mailto:sage [2011/07/05(火) 04:45:54.85 .net] ２０１１年、Ruby,Perl,PHP,Pythonって並べたときにさ ここで、Ruby以外を選ぶ奴ってマジでなんなんだろうな ゴミの分際でｗ 435 名前：デフォルトの名無しさん [2011/07/05(火) 11:37:20.29 .net] >>427 科学計算を主に念頭においてるものだったら、Python一択になってくるよ。 それだけライブラリが充実している。scipy,numpy,matplotlib,mayaviなんて のがあるからね。 >>415 手続き脳から見れば当然難しいけど、数学の漸化式を知ってれば再帰は 馴染みやすいし問題ないよ。難しくしてるのは頭の中で無理やり手続き型 に想定して理解しようとする癖があるからだよ。手続き型に染まった連中が 苦労するのはその悪癖が抜けないから。 リストとか関数の取り扱い（Cでいうと関数ポインタだな。）は手続きにとって みれば高嶺の花だけど、そこが一番簡単にさせている要因なんだよね。 手続きに染まった人ってただ頭が硬直しただけなんだよ。 436 名前：デフォルトの名無しさん mailto:sage [2011/07/05(火) 11:40:45.99 .net] ファーストクラスの関数を、関数ポインタのようなもの、とかいうのは、 誤解を招くだけでないかな。 437 名前：デフォルトの名無しさん mailto:sage [2011/07/05(火) 12:09:28.96 .net] >>429 じゃあどう簡潔に言えばいいか示してくれ。それだけでいいよ。 438 名前：デフォルトの名無しさん mailto:sage [2011/07/05(火) 12:14:26.97 .net] 「ファーストクラスの関数」 439 名前：デフォルトの名無しさん mailto:sage [2011/07/05(火) 12:20:26.45 .net] >>431 手続き脳の人相手に話をする場合、それで通じれば問題がないけど 彼らの試行の中で比較的近いものを取り上げて説明しようとしないと たぶん、言葉が通じないと思うよ。CS専攻の連中相手に話をするならば それで問題はないよ。もし知らなければ不勉強だってことだからさ。 440 名前：デフォルトの名無しさん [2011/07/05(火) 19:57:30.54 .net] 環境をキャプチャした関数ポインタのようなもの？ 441 名前：デフォルトの名無しさん mailto:sage [2011/07/05(火) 20:12:36.48 .net] それはもうポインタでも何でもねぇｗ クロージャは、下手にCの概念で説明するよりは、定義をしっかり伝えたほうが、 相手に伝わりやすい代表例じゃないかな。モナドとか継続とかと一緒で。 442 名前：デフォルトの名無しさん mailto:sage [2011/07/05(火) 20:37:31.44 .net] 一応Cでもgcc拡張ならクロージャはある C++ユーザならC++用語で言うファンクタ（関数オブジェクト）を結構使うはずなので、 ただの関数ポインタとの違いはわかっていると思う クロージャが近いのは勿論ファンクタのほうだけど、C++のようにいちいち classやstructでそれを記述する必要がない もっともC++のそれがあまりに面倒くさかったので、C++でも0xでついにlambdaが 導入されたわけだけど 443 名前：デフォルトの名無しさん mailto:sage [2011/07/07(木) 11:04:09.84 .net] 他のスレでやれ 444 名前：デフォルトの名無しさん mailto:sage [2011/07/07(木) 13:02:54.88 .net] >>427 誤爆？ 445 名前：デフォルトの名無しさん [2011/07/09(土) 19:06:45.30 .net] >>435 >一応Cでもgcc拡張ならクロージャはある nested function の事なら、内部関数から参照している変数のスコープの 外からは使えないのでクローズしているとは言えないんじゃないかな。 gcc.gnu.org/onlinedocs/gcc/Nested-Functions.html C なら Blocks を使う方が良さそう。 446 名前：デフォルトの名無しさん [2011/07/12(火) 19:45:27.51 .net] >>438 そこを読むとinner functionのアドレスを取れると書いてあるけど、 upward funarg problemを解決しているわけではないの? 447 名前：デフォルトの名無しさん mailto:sage [2011/07/12(火) 20:32:45.49 .net] >>439 環境を保存しておいてくれる訳じゃないからね 448 名前：デフォルトの名無しさん [2011/07/12(火) 22:06:56.99 .net] >>440 なるほど。危険ではあるが役に立つかも知れないから機能は提供する ということか。 449 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 19:06:44.85 .net] OCamlにしようか、それともHaskellにしようか迷ってます。 こういう用途ならこっちのほうがいいとか、なんかアドバイスお願いします。 450 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 19:45:47.15 .net] >>442 では、用途を教えてくだしあ 451 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 20:08:56.47 .net] >>443 こーいうやつはプログラミングの勉強自体が目的だろ。 452 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 20:16:25.35 .net] >>444 プログラミングの勉強自体が目的ならhaskell一択 453 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 20:42:08.59 .net] >>444 はい、その通りです。 PHPとJavaとJavaScriptはある程度書けますが、関数型言語をなにかひとつみにつけようと思います。 >>445 よろしければ理由を教えてください。 ぐぐった感じでは、haskellはモナドというのが難しくて多くの人が挫折しているようので、OCamlに傾いてます。 454 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 20:52:58.37 .net] >>446 勉強ってことだし、関数な考え方を得ようってなら純粋なHaskellの方を推奨 455 名前：デフォルトの名無しさん [2011/07/30(土) 20:54:22.93 .net] 勉強自体が目的ならなんで両方やらないのっていう 456 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 20:56:02.64 .net] あと入門用に、英語読めるなら、比較的平易な英文で書いてある learnyouahaskell.com/ を挙げておきます。下の方にあるonlineを選ぶと、売っているものに近い内容が読めますよ。 457 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 21:05:00.48 .net] OCamlの入門書が1冊、Haskellの入門書が数冊出てるからどれか1つ、 とりあえず借りるか買うかして、それぞれ第1章ぐらいやってみなさい。 458 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 21:05:33.97 .net] >>446 関数型言語の特徴が余す事なく取り入れられてる モナドは使う分には難しくない 使う分にはシンプル イズ ベストな書き方がやり易い言語 モナドを分からないと使えるようにならないと勘違いして脱落する人多いけど、モナドの理論的背景を理解する必要は無い 気になるなら気長に勉強しなされ OCamlはループも有るし、副作用対策諦めてるし、手続き型言語に限りなく近い関数型言語って感じ 速いコード吐けるけど、昨今の関数型言語の特徴取り入れた手続き型言語が多い時代に勉強する意味は薄い 459 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 21:07:10.73 .net] 手続きばっかだっし、古典のschemeでいいんじゃねーの？ 460 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 21:10:08.69 .net] Lisp族はLisp族で悪くないけど、関数型プログラミングを今時勉強するならその選択はない。 461 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 21:16:22.99 .net] >>452 カリー分と遅延評価がデフォルトで付いてない 自分で同じ事を再現とかは出来るけど、それじゃ関数型言語の学習とは違う 462 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 21:20:58.25 .net] >>449 haskellスレで翻訳中って聞いたぞ あと、kindleでサンプル読んだ限りじゃプログラミングhaskellの内容を砕けた言葉とイラストで書いてるだけに見える 内容的にはすでに翻訳されてるプログラミングhaskellで十分 463 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 21:28:52.08 .net] みなさん、ありがとうございます。 OCamlスレなのにHaskell勧める人ばかりなので、OCamlに未練はあるけど、思い切ってHaskellやってみようと思います。 464 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 21:34:22.91 .net] >>456 いや。。。 haskellもMLの子孫なんだが。。。 465 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 21:36:14.27 .net] >>456 俺はHaskell→OCamlと来た。 どっち先でもいいし、両方やればいいんじゃないだろうか。 片方しかやっちゃいけない決まりはないんだし。 面白いことは何でもやるべきだよ。 ミニ四駆だって、マグナムセイバーを買う傍ら、ソニックセイバーも買っただろ。それと同じ。 466 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 22:15:41.84 .net] そんなことはどうでもいい。OCamlのサイトが404だ。 caml.inria.fr/ocaml 467 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 23:17:43.26 .net] げ、ほんとだ 468 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 23:23:32.07 .net] すごいタイミング >>456にはOCamlと縁が無かったんだな。。。

---

---

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

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