関数型言語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/ 601 名前：デフォルトの名無しさん mailto:sage [2012/12/03(月) 17:08:25.93 .net] むしろ、 caml.inria.fr/pub/docs/manual-ocaml-4.00/libref/Pervasives.html > val (~+) : int -> int > Unary addition. You can also write + e instead of ~+ e. > Since 3.12.0 > val (~+.) : float -> float > Unary addition. You can also write +. e instead of ~+. e. > Since 3.12.0 言語拡張が間に合わなかった感じだねこれ Ad-hockぽいし 602 名前：デフォルトの名無しさん mailto:sage [2012/12/03(月) 17:48:39.20 .net] なるほど。+. が単項opとして機能するのは Since 3.12.0 からの拡張なのか。 で間に合ってないというのは 589 の環境のことか。最新の ocaml では通る。 色々ありがとうございました。 603 名前：デフォルトの名無しさん mailto:sage [2013/02/10(日) 19:42:11.39 .net] 最近、OCamlを勉強し始めたんだけど、標準関数で int listを印字する方法ってありますか？ REPLの出力みたいのを求めているんですが。 604 名前：デフォルトの名無しさん [2013/02/28(木) 00:26:28.39 .net] >>594 コンパイラ内部の関数をごにょごにょすれば別かもしれないけど基本的にない。 対象がint listって決まってるなら、自分で書いたほうが楽だと思う。 605 名前：デフォルトの名無しさん mailto:sage [2013/02/28(木) 01:13:07.87 .net] REPL環境に限定すれば実はREPLのプリティプリンタを使えたりするんだけど、 使ってしまうと単独の実行ファイルにできなくなる罠。 606 名前：デフォルトの名無しさん mailto:sage [2013/03/24(日) 17:14:56.10 .net] OCamlで、(=)等を渡す let check b f = if b then f 1 1 else f 1.0 1.0 みたいな関数を定義したいんですけど、こういったやり方は駄目ですか？ そのままだとfはintを取ると推論されて？エラーになるので、 型を(f: 'a -> 'a -> bool)と指定してみたんですが変わりませんでした。 607 名前：デフォルトの名無しさん mailto:sage [2013/04/20(土) 01:56:05.49 .net] >>597 よくわからないけど、型環境に intかつfloat みたいなのが積めないからだめなんじゃない？ 確かこういうときはヴァリアントを使えばよかったはず type intfloat = E | I of int | F of float let check b (f: intfloat -> intfloat -> bool) = if b then f (I 1) (I 1) else f (F 1.0) (F 1.0) 608 名前：デフォルトの名無しさん mailto:sage [2013/06/09(日) 21:47:36.26 .net] OCaml のはなしです。 module type IO = sig 　type 'a t 　val write: string -> unit t 　val read: string t 　val run: 'a t -> 'a 　val bind: 'a t -> ('a -> 'b t) -> 'b t end module MyIO : IO = struct 　type 'a t = unit -> 'a 　let read = read_line 　let write str = fun () -> print_string str 　let run m = m () 　let bind m f = fun () -> (run (f (run m))) end で Haskell の IO monad 風にできるのはわかったけど、 'a t を x -> b という関数の形じゃなくて、バリアント型で実現したい。 read に対応したアクションまたは write に対応したアクション、という感じで。 けど、どうやってもうまくいかない。誰か教えてくださいませ。 609 名前：デフォルトの名無しさん mailto:sage [2013/06/16(日) 21:34:59.42 .net] opamを導入して適当なモジュール（今回はextlib）をインストールして ソースコードにopen Extlibと書いたところExtlibが見つからないと言われてしまいました 何かパス通しのようなものが必要なのでしょうか OSはmacでhomebrewを使っています 610 名前：デフォルトの名無しさん mailto:sage [2013/06/16(日) 22:08:09.11 .net] よくわかりませんがOCamlFindを使えば良いのですね ocamlfind ocamlc -package extlib -linkpkg test.ml で通りました 611 名前：デフォルトの名無しさん mailto:sage [2013/06/16(日) 23:27:52.03 .net] あとopen ExtLibがタイポしてました 612 名前：デフォルトの名無しさん mailto:sage [2013/07/23(火) NY:AN:NY.AN .net] Coqもここでいいの？ 613 名前：デフォルトの名無しさん mailto:sage [2013/07/23(火) NY:AN:NY.AN .net] そういえば、Coqスレ昔あったけど今はないのか。 定理証明支援のスレのないのかな？ Coqスレ toro.2ch.net/test/read.cgi/tech/1300017923/ 614 名前：デフォルトの名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN .net] 活気が無いように見えるのはきっと皆コーディングに夢中なんだ。きっとそうだ。 615 名前：デフォルトの名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN .net] MLに限った事じゃないけど、関数型言語を学び始めて思ったのは、なんで一次元（線形）リストベースに作られてるのかなって。 一番シンプルな一次元から始めたとして、その先にn次元、までは行かなくても2次元･3次元にして言語体型を考えてみるとかやった人いないのかな。 既にトライして無意味と分かったとか、今まさに挑戦中とか、そう言う話はあるのかい？ メモリ空間が一次元空間だから、やるだけ無駄なんだろうか？ 616 名前：デフォルトの名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN .net] >>606 因果が逆。再帰がベースにあるのでリストが使いやすい。 特定のデータ構造をベースにした言語ってSQLくらいしか思いつかない。 617 名前：デフォルトの名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN .net] >>606 Linked List は一次元じゃないと思う。 618 名前：デフォルトの名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN .net] >>607 だったら再帰の考え方も拡張すればいい。別にデータ構造をベースにする意図ではない。 考え方の向きは相互に変わって良いし、そうする事で何が見えてくるか、こないとしたら何故なのかを考えるきっかけにすればよい。 619 名前：デフォルトの名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN .net] >>609 考え方の向きが一方向なのは、関数(写像)が集合間における一方向のn:1関係だから。 もし双方向やn:m関係を扱いたいのなら、述語論理をベースにした言語にすればいい。 論理型言語であれば、リストも順序性がある一方向関係として自然に扱える。 620 名前：デフォルトの名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN .net] そう言う話じゃなく、考えたかの向きってのは再帰→リストと発想する考え方の逆向き、と言う意味です。 これ以上の議論は無意味のようですね。終わり 621 名前：デフォルトの名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN .net] 消えてくれてありがとう 622 名前：デフォルトの名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN .net] >>609 関数型言語を学び始めてどれくらいだ。第一印象でリストベースなのかと感じても3日もすればそんなことないって分かるだろうに。 きっと俺と同じように慣れない酒で益体もないことを考えているんだろうけど。 n次元のリストを捉えるのに再帰が不十分なら拡張とか考えるけどさ、n-1次元のリストを再帰的に処理すればいいだけの話であって、拡張なんて必要ない。 再帰という概念の拡張に1次元->n次元の拡張は使えない。何の需要も喚起しない。 623 名前：デフォルトの名無しさん mailto:sage [2013/08/14(水) NY:AN:NY.AN .net] >>613 なれない酒で頭がいかれてるお馬鹿さんさようなら 624 名前：デフォルトの名無しさん mailto:sage [2013/08/21(水) NY:AN:NY.AN .net] ひどいなこりゃ。 625 名前：デフォルトの名無しさん mailto:sage [2013/08/21(水) NY:AN:NY.AN .net] 「ひどい」と不平を言うよりも、進んでネタを振りましょう。 626 名前：デフォルトの名無しさん mailto:sage [2013/08/27(火) NY:AN:NY.AN .net] 正直関数型言語がどんなところで優位を持っているのかわからん 627 名前：デフォルトの名無しさん [2013/08/31(土) NY:AN:NY.AN .net] リスト内包表記ってOCcamlでできるの？ 628 名前：デフォルトの名無しさん mailto:sage [2013/08/31(土) NY:AN:NY.AN .net] Camlp4でできる 629 名前：デフォルトの名無しさん mailto:sage [2013/09/02(月) 01:13:00.20 .net] OCaml でのゲームプログラミングに興味がわいて MLGame mlgame.sourceforge.net/ ってライブラリを導入しようと思ったのですが 準備段階であるSDL, OCamlSDL の cygwin への導入で もうよくわからなくなってしまいました。 sourceforge.net/projects/mlgame/files/mlgame/cross-platform%20devel%20util/ cygwin ごと入ってるらしいパックもためそうとしましたが cygwin コンソールの起動ができません。 あきらめてＣで初心者向けのDXLibrary でもつかって 適当にやってればいいのでしょうか？ 630 名前：デフォルトの名無しさん mailto:sage [2013/09/02(月) 01:55:09.13 .net] やる前から自分が興味を持ったことを投げ出すなよ やってみて、思っていたのと違ったらそのときに別の方法を考えればいい 要は関数型言語でゲームプログラミングをしたいんだろ？ ならF# + DirectXを試してみたら？ もしくはCygwinを捨ててLinux環境でMLGameに挑戦してみるとか MLGameなんて地雷臭がするから、いろいろと苦労しそう。その分、力は付くかもしれないけど。 どんな方法をとるにせよ、まずはある程度のところまで突き詰めたほうがいい 631 名前：デフォルトの名無しさん mailto:sage [2013/09/02(月) 01:59:44.29 .net] 「プログラミングする」という観点においては Windowsはウンコということを肝に命じた方が良い 632 名前：デフォルトの名無しさん mailto:sage [2013/09/02(月) 02:33:30.43 .net] なんで？.NETは便利だぞ 633 名前：デフォルトの名無しさん mailto:sage [2013/09/02(月) 02:47:12.09 .net] >>621-622 素早い返答ありがとうございます。 とりあえず OCaml + cygwin + へんなの は捨てて F# + DirectX をためしてみます。 windoes はプログラム書くのにうんこなのですね？ Ubuntu いちおう VMware でつかえるけど とりあえず win に F# インストールしてねます 明日 www.codeproject.com/Articles/121194/Managed-DirectX-via-F でもよもう 634 名前：デフォルトの名無しさん [2013/09/02(月) 09:36:30.13 .net] そっか F#だとAPIが叩けるんだな プログラム自体を関数型言語から入ると なかなかできない発想だなと思った 635 名前：デフォルトの名無しさん mailto:sage [2013/09/03(火) 01:42:29.15 .net] let foo () = let bar = baz () in begin (* fooを使ってunitを返すような処理がいくつか *) bar end 個人的にこれはダサいと思うんですけど他の書き方が思いつきません 何かありませんか？ 636 名前：デフォルトの名無しさん mailto:sage [2013/09/03(火) 08:33:35.63 .net] 何がダサいと感じるのかよくわからんので何も言えない 637 名前：デフォルトの名無しさん mailto:sage [2013/09/03(火) 10:22:05.74 .net] endの直前にbarをもう一度書かないといけないところがダサいと思うのです 638 名前：デフォルトの名無しさん mailto:sage [2013/09/03(火) 13:34:18.83 .net] tap や finally で書けない？ 639 名前：デフォルトの名無しさん mailto:sage [2013/09/04(水) 19:54:28.33 .net] #load "dynlink.cma";; #load "camlp4o.cma";; #load "Camlp4Parsers/Camlp4ListComprehension.cmo";; [x | x <- [1;2;3] ];; - : int list = [1; 2; 3] できた！　すげー感動 640 名前：デフォルトの名無しさん mailto:sage [2013/09/04(水) 20:04:23.38 .net] [(x,y,z)|x<-[1;2;3;4;5;6;7;8;9;10];y<-[1;2;3;4;5;6;7;8;9;10];z<-[1;2;3;4;5;6;7;8;9;10];x*x+y*y=z*z;x+y+z=24];; haskellの　すごHの問題もできた！　うおー俺は猛烈に感動している ところでhaskellの[1,2..10]って書いて[1;2;3;4;5;6;7;8;9;10]のリストを一瞬で作る機能は流石にないよな 641 名前：デフォルトの名無しさん mailto:sage [2013/09/04(水) 20:10:09.50 .net] >>631 残念ながら出来ない それにしても楽しそうだねｗ 642 名前：デフォルトの名無しさん mailto:sage [2013/09/04(水) 20:16:21.51 .net] うん　楽しい 関数型言語は最高やでぇぇ 643 名前：デフォルトの名無しさん mailto:sage [2013/09/04(水) 20:45:29.31 .net] detail.chiebukuro.yahoo.co.jp/qa/question_detail/q10103970335 こんな問題もサクっと4つの組 (85,71,59,50)が出てくる 凄いよぉぉぉ　マヂで小学生からプログラムやるべきだな 644 名前：デフォルトの名無しさん mailto:sage [2013/09/04(水) 21:02:36.14 .net] 日本語が理解できない 自然数の集合から無作為に選んだ4個の数が存在して、この４つの中から、さらに無作為に3個を選んで和を取り、それを4回試行したところ、 　180, 194, 206, 215 になった、ってことでいいの？ 645 名前：デフォルトの名無しさん mailto:sage [2013/09/04(水) 21:18:35.37 .net] こいつこの調子でずっと喋り続ける気？ 646 名前：デフォルトの名無しさん mailto:sage [2013/09/04(水) 22:22:27.90 .net] >>612==>>614==>>636 647 名前：デフォルトの名無しさん mailto:sage [2013/09/04(水) 22:47:24.97 .net] >>637 うむ 正しい == の使い方だ 648 名前：デフォルトの名無しさん mailto:sage [2013/09/05(木) 01:56:06.71 .net] camlp4で今ある文法を制限することって出来ますか？ 括弧無しのタプルを排除してリストの区切りをコロンにしたいのですが。 649 名前：デフォルトの名無しさん mailto:sage [2013/09/07(土) 03:15:14.14 .net] >>629 batteriesの関数ですよね？まさにそういうのを探していました batteriesは何となく名前が気に入らなくてスルーしてましたが食わず嫌いは良くないですね 650 名前：デフォルトの名無しさん mailto:sage [2013/09/07(土) 03:56:00.85 .net] OCamlのクロージャはそれなりにコストがあって、最適化もしてくれないので >>626ぐらいならそのままにするなあ 651 名前：デフォルトの名無しさん [2013/09/09(月) 15:49:15.59 .net] 初めての言語に関数型選んでしまったから Objectで詰んだ！ さっぱりわからん 652 名前：デフォルトの名無しさん mailto:sage [2013/09/09(月) 17:10:04.82 .net] OCamlのobjectは忘れるんだ、そうすればお前は強くなれる っていうかfirst class moduleが入って、ただでさえ継子扱いだったobject/classに存在価値は無くなった 653 名前：デフォルトの名無しさん [2013/09/09(月) 17:38:01.62 .net] おっとwikiみたらCoqの日本語版が登場してた 俺がCoqネタつぶやいたから誰か追加してくれたんだな 654 名前：デフォルトの名無しさん [2013/09/10(火) 10:39:57.58 .net] CoqIDEでCtrl+Alt+↓ってやると 画面が上下さかさまになってビビったｗ どんなバグなんだよｗｗｗ 655 名前：デフォルトの名無しさん mailto:sage [2013/09/10(火) 13:04:29.50 .net] coqideってのが何かしらんが俺のWindowsでもそうなる 656 名前：デフォルトの名無しさん [2013/09/10(火) 13:15:41.31 .net] >> 644 Coqのwikiってどこですか？私も気になります。 657 名前：デフォルトの名無しさん mailto:sage [2013/09/10(火) 23:47:36.91 .net] ディスプレイドライバの機能をCoqのせいにするなよ 658 名前：デフォルトの名無しさん mailto:sage [2013/09/11(水) 00:25:24.14 .net] CoqIDEの正当性はCoqで証明されておらんの？ 659 名前：デフォルトの名無しさん [2013/09/11(水) 18:00:49.24 .net] www.cis.upenn.edu/~bcpierce/sf/ proofcafe.org/sf/ Coq自身はしらんが Coqの元のOCamlの正しさは証明されてるっぽい 660 名前：デフォルトの名無しさん mailto:sage [2013/09/11(水) 19:05:49.78 .net] 型システム入門って読むべき？ 661 名前：デフォルトの名無しさん mailto:sage [2013/09/11(水) 19:35:45.08 .net] よみなさい 662 名前：デフォルトの名無しさん mailto:sage [2013/09/11(水) 19:54:09.22 .net] >>651 入門書なんて読まなくていいよ 663 名前：デフォルトの名無しさん [2013/09/11(水) 20:41:01.16 .net] 入門って書いてあるけど パラパラっと見たら全然入門じゃないんだけど・・・ 大学受験数学参考書の やさ理みたいな・・・全然優しく無いじゃんって 664 名前：デフォルトの名無しさん mailto:sage [2013/09/11(水) 21:34:52.86 .net] そもそも対象読者はどこを想定してるんだｗ 665 名前：デフォルトの名無しさん mailto:sage [2013/09/11(水) 21:50:49.86 .net] とりあえず英語できない人でしょ 666 名前：デフォルトの名無しさん mailto:sage [2013/09/12(木) 14:07:31.89 .net] スレ違いも甚だしいが、お前らの英語力ってどんくらい？今まで技術書は大体は読めるからいいもんと思っていたのだが、 ttp://www.readingsoft.com/ ここで測ったらwords per minuteが115とかいうとんでもない数値だった。 英語ネイティブの人間と同じ量の本を読むのに数倍の差をつけられてて、マジで不安になった。 同じ時間を費やして得られる知識が圧倒的に少ないのは如何なものか。全然読めないじゃないか。 667 名前：デフォルトの名無しさん [2013/09/12(木) 14:36:25.22 .net] www.zynas.co.jp/genius/sokudoku/sokutei.html 日本語でどのぐらいよ 俺で1400字/分　 英語だと20letter(s)/minぐらいだろなｗ　1ページ読む頃には熟睡モードだぜ 668 名前：657 mailto:sage [2013/09/12(木) 14:52:35.79 .net] 1025文字/分だった。日本語読むのは速い方だけどトップには及ばない。 自分は視力が矯正入れて0.7くらいだし、これ以上速くしようと思ったら怪しげな速読メソッドに手を出すしか無いのではと思っている。 というか1400って速すぎじゃね？すげーな。 669 名前：デフォルトの名無しさん mailto:sage [2013/09/12(木) 15:10:15.73 .net] 103wpmに1080文字/分だった。 www.readingsoft.com/ は英文が平易すぎて、英語の小説読むより数倍速く読めたが…… 670 名前：デフォルトの名無しさん mailto:sage [2013/09/12(木) 15:19:20.14 .net] >>657 73 wpm 理解優先で後戻りしまくったからな テストと見せかけて宣伝文句を熟読させる手口とすぐに分かったｗ 671 名前：デフォルトの名無しさん mailto:sage [2013/09/12(木) 15:29:49.44 .net] >>660 読み易いように心を砕いて書いた文章と思った 672 名前：デフォルトの名無しさん mailto:sage [2013/09/12(木) 16:23:13.27 .net] 146/wpm 100%だった もうちょっと早く読めそうだ 673 名前：デフォルトの名無しさん mailto:sage [2013/09/12(木) 18:20:09.98 .net] 思いきり話の腰を折ってすまないが、 日本語英語に関わらず、知識やイディオム仕入れておいて、 理解速度自体を上げる方のが遥かに重要だから、 ページ送りが遅くても気にするなよ。 674 名前：デフォルトの名無しさん mailto:sage [2013/09/12(木) 20:00:36.43 .net] いやいやその知識やイディオムを仕入れる速度にもかかってくるのよ。読み書きの速度ってさ。 これ以上はスレ違いだし荒らしになるからやめるけど、上で挙げられてたSoftware Foundationsの和訳をして公開したCoqスレの住人達には感謝してもしきれん。 675 名前：デフォルトの名無しさん mailto:sage [2013/09/13(金) 10:05:08.46 .net] ホントこんなに価値ある情報を無料で提供してくれるって凄いよね 676 名前：デフォルトの名無しさん mailto:sage [2013/09/13(金) 10:13:47.96 .net] let goukei = 720;; let aa = 100 and bb = 350 and cc = 620 and dd = 705 ;; List.concat (List.map (fun a -> List.concat (List.map (fun b -> List.concat (List.map (fun c -> List.concat (List.map (fun d -> if a+b+c+d = goukei then [(a,b,c,d)] else []) [0;aa])) [0;bb])) [0;cc])) [0;dd]);; こんな感じでaa商品100円　bb商品350円 cc商品620円 dd商品705円があって 720円になる組み合わせを考えてみました ネストすればアイテム数をいくらでも増やせそうですが もっとスッキリ書く方法はありませんか？ 677 名前：デフォルトの名無しさん mailto:sage [2013/09/13(金) 12:38:34.63 .net] batteriesありなら List.n_cartesian_product [[0;aa]; [0;bb]; [0;cc]; [0;dd]] |> List.filter (fun [a;b;c;d] -> a+b+c+d = goukei) 678 名前：デフォルトの名無しさん [2013/09/13(金) 14:05:17.63 .net] batteriesってどうやってつかうの？ 679 名前：デフォルトの名無しさん mailto:sage [2013/09/13(金) 15:13:13.02 .net] >>665 どういう意味？ 和訳してた人が速読を推奨してたの？ 680 名前：デフォルトの名無しさん mailto:sage [2013/09/13(金) 21:10:35.73 .net] >>669 opamやocamlfindの使い方分かる？ その辺の設定済んでれば、ソースの最初でopen Batteriesするだけ 681 名前：デフォルトの名無しさん [2013/09/14(土) 01:13:42.13 .net] >>671 わかんない ググったらlinuxならできそうだけど これwindowsで行けるの？cygwinってのが要る？ 682 名前：デフォルトの名無しさん [2013/09/14(土) 03:59:21.98 .net] batteries-2.1.tar.gz　をﾀﾞｳｿしてきて cygwinってのから $ tar zxvf batteries-2.1.tar.gzすればええんやな 683 名前：デフォルトの名無しさん mailto:sage [2013/09/14(土) 21:13:00.38 .net] >>622 んなわけねえだろ コンパイラ作ってる奴がクソなだけだ 684 名前：デフォルトの名無しさん [2013/09/14(土) 21:17:30.82 .net] やはりwindowsでOCamlならF＃行った方がいい？ 685 名前：デフォルトの名無しさん mailto:sage [2013/09/14(土) 21:21:47.50 .net] プラットフォームがWindowsに限定できるのなら、あえて茨の道を選ぶこともあるまい 686 名前：デフォルトの名無しさん mailto:sage [2013/09/15(日) 03:38:59.44 .net] F#ってべつにwindowsじゃなくても動くでしょ 687 名前：デフォルトの名無しさん mailto:sage [2013/09/15(日) 04:18:36.52 .net] 動くけど、monoを入れる羽目になるし、.NET Frameworkが無いから旨さ半減 688 名前：デフォルトの名無しさん mailto:sage [2013/09/15(日) 06:47:38.91 .net] F#とOcamlって実行速度ちがってくるものなの？ 689 名前：デフォルトの名無しさん mailto:sage [2013/09/15(日) 08:16:48.29 .net] OCamlはネイティブ 690 名前：デフォルトの名無しさん mailto:sage [2013/09/15(日) 09:50:20.17 .net] .NETはJITコンパイルされるし、OCamlのネイティブコンパイラの最適化は最低限だし 691 名前：デフォルトの名無しさん mailto:sage [2013/09/15(日) 10:45:01.28 .net] F#は.NETでも遅い方だろ 692 名前：デフォルトの名無しさん mailto:sage [2013/09/15(日) 10:52:12.02 .net] はいはい荒れるからこれで終わり benchmarksgame.alioth.debian.org/u64q/benchmark.php?test=all&lang=all&data=u64q 693 名前：デフォルトの名無しさん mailto:sage [2013/09/15(日) 22:25:53.10 .net] Real World OCaml読もうぜ！OCamlSpotterの人も評価してたがAppendix A: installationでopam + core + utopをいきなりインストールさせるのはびっくりした。 こいつらガチでOCamlを普段使いにしてやがる。 694 名前：デフォルトの名無しさん [2013/09/15(日) 22:30:57.96 .net] 日本語版早く 695 名前：デフォルトの名無しさん mailto:sage [2013/09/15(日) 23:00:17.64 .net] >>684 実際、実務でOCaml使っている人たちが書いてるからね 696 名前：デフォルトの名無しさん [2013/09/15(日) 23:02:44.61 .net] って英語版も12月発売な上に 日本語版ってそれから1年後ぐらいになるのか 697 名前：デフォルトの名無しさん [2013/09/15(日) 23:05:28.42 .net] 普段使いってどういうこと？ スクリプト言語みたいに ちょこちょこっとのコーディングもOCamlって事？ 698 名前：デフォルトの名無しさん [2013/09/15(日) 23:15:21.68 .net] あー　やっぱLinuxかぁ 699 名前：デフォルトの名無しさん mailto:sage [2013/09/16(月) 00:03:20.35 .net] プログラミング演習のようなの実装させるより Coreの拡張モジュールやp4使わせてるし 標準でやれることでもJane系にもっと便利なのあれば使ってる 700 名前：デフォルトの名無しさん [2013/09/16(月) 16:10:19.60 .net] opamってlinuxの64bit専用？！

---

---

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

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