関数型言語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/ 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と縁が無かったんだな。。。 469 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 23:29:26.27 .net] ついにオワコンか 470 名前：デフォルトの名無しさん mailto:sage [2011/07/30(土) 23:50:18.39 .net] OCamlがOCamlとして生まれ変わった際のゴタゴタだそうだよ 471 名前：デフォルトの名無しさん mailto:sage [2011/07/31(日) 21:38:50.21 .net] twitter.com/#!/camlspotter/status/97519093602717696 >描いたのは俺！ >RT @y_echo >RT @kinaba: なにがあったのwww >RT @kikx これは変わりすぎだろ！ >RT @yoshihiro503 ちょ、 OCaml のサイトが激しくイメチェンしてる caml.inria.fr 472 名前：デフォルトの名無しさん mailto:sage [2011/08/01(月) 08:56:35.19 .net] OCamlってもう手に入らないん？ 473 名前：デフォルトの名無しさん mailto:sage [2011/08/01(月) 10:15:28.29 .net] >>465 twitter.com/#!/camlspotter/status/97683309177475073 >一つだけ皆さんに言っておきます。毎年この時期には OCaml には何かが起きます。 >それはリア充関係者がバカンスに行ってしまって連絡が取れなくなるからです。 > RT @ytomino ocamlがついに滅んだと聞いて(遅い twitter.com/#!/camlspotter/status/97685810127716353 >てか週末にサーバ不調になったら48時間止まるのあたりまえやろ？人間として。 twitter.com/#!/camlspotter/status/97686190618181632 >と haskell.org が落ちたときには wktk してた人が言っても説得力ありませんな とりあえずフランスの月曜日昼(日本時間21時ごろ)まで待ちましょう。 それまでに復旧しなければ長期化確定ですね。 474 名前：デフォルトの名無しさん mailto:sage [2011/08/01(月) 10:34:00.78 .net] つ proofcafe.co.cc/ocaml/ 475 名前：デフォルトの名無しさん [2011/08/01(月) 22:02:08.55 .net] >>466 直らんね。もうしばらく待つか。 476 名前：デフォルトの名無しさん mailto:sage [2011/08/01(月) 22:10:14.76 .net] 復活したね 477 名前：デフォルトの名無しさん mailto:sage [2011/08/02(火) 18:02:01.87 .net] Lisp族はいいぞ。でもclojureを触っているとhaskellの影響がかなり大きい。 ocamlも触ってみたいけど、いまHaskell勉強中なんだ。たぶん、来年くらいには やれればな。HaskellってLispと同じでプログラム作成までの抽象化も含めた 戦略を練るのに時間がかかる言語って感じがしました。Ocamlも同じなんだろうね。 478 名前：デフォルトの名無しさん mailto:sage [2011/08/02(火) 20:08:11.41 .net] haskellはデータ構造を作るプログラミングになるって、山本和彦さんが言ってた 479 名前：デフォルトの名無しさん mailto:sage [2011/08/02(火) 20:23:02.98 .net] >>470 Haskell影響は並列周りでしょ。 そもそもSTMはHaskell由来じゃないし。 他はもろLisp直系じゃん。 480 名前：デフォルトの名無しさん mailto:sage [2011/08/02(火) 21:58:52.67 .net] >>472 見た目だけで話してるでしょ？ 実際に触ってみればわかるけど、無限ストリーム近辺の関数はHaskellと かなり近いよ。takeとかその辺のことね。common lispでも自作する方法は あってもこの手の物は標準でないしね。 だから、リストの取り扱いってがhaskellに近くなってる。 >>471 なるほど 481 名前：デフォルトの名無しさん mailto:sage [2011/08/02(火) 23:33:03.74 .net] takeはHaskell以前からある。 482 名前：デフォルトの名無しさん mailto:sage [2011/08/03(水) 02:04:20.65 .net] >>472 > そもそもSTMはHaskell由来じゃないし。 でも中興の祖はHaskellの人(Tim Harris)じゃないっけ？ 483 名前：デフォルトの名無しさん mailto:sage [2011/08/03(水) 02:21:43.19 .net] それはそう。Monadの経験が役に立った。 484 名前：デフォルトの名無しさん mailto:sage [2011/08/03(水) 09:37:38.27 .net] >>474 ミランダとかなの？よくしらないけど(wikiでちょっと見たけど、 haskellの親玉っぽかった。） それはともかく、Clojureが関数型の大きな影響をかんじるのは イミュータブルなところかも。あれのお陰で、副作用をもたせようと 思ったら基本的にSTMの部分を活用しなきゃならない。（java固有の ライブラリは例外的なんだけど。）それと遅延評価言語だって ところがcommon lisp を触ってる時よりhaskellの影響を感じやすいのかも。 あとは内包表記かな。wikiにはlisp,ML, haskell erlangが影響を受けた言語 とかかれている。 485 名前：デフォルトの名無しさん [2011/08/19(金) 10:50:16.31 .net] R診たいなことが全部できるMLないのかよ。 486 名前：デフォルトの名無しさん mailto:sage [2011/09/19(月) 21:56:29.91 .net] 卒業研究でOCamlのライブラリ作ってます。 おもしろいことありますでしょうか？ 487 名前：デフォルトの名無しさん mailto:sage [2011/09/19(月) 23:59:49.52 .net] SML#の新verがひっそり出てた 488 名前：デフォルトの名無しさん mailto:sage [2011/09/24(土) 23:23:23.61 .net] >>479 どんなライブラリでしょうか？ 489 名前：デフォルトの名無しさん mailto:sage [2011/09/25(日) 11:44:54.04 .net] >>479 どんなライブラリをつくったら面白いでしょうか？ なのか ライブラリを作ることはテーマとして面白味があるでしょうか？ なのか。 490 名前：デフォルトの名無しさん mailto:sage [2011/09/27(火) 20:28:58.48 .net] ＾＾； 491 名前：デフォルトの名無しさん mailto:sage [2011/09/27(火) 20:52:03.96 .net] OpenFlow コントローラのライブラリなどはいかが？ 比較的、ホットなトピックだと思うけど。 www.google.co.jp/search?q=functional+reactive+programming+openflow 492 名前：デフォルトの名無しさん mailto:sage [2011/09/29(木) 14:23:07.44 .net] ＭＬの型推論の部分だけ「俺言語」の中に取り込みたい 型推論の部分だけ分かりやすくコンパクトにまとめられたコードどこかにないでしょうか 493 名前：デフォルトの名無しさん mailto:sage [2011/09/29(木) 15:11:00.44 .net] >>485 en.wikipedia.org/wiki/Hindley%E2%80%93Milner 494 名前：デフォルトの名無しさん mailto:sage [2011/09/29(木) 15:56:30.36 .net] >>485 このテキストの17章 www.scala-lang.org/docu/files/ScalaByExample.pdf タイガー本の16章 www.cs.princeton.edu/~appel/modern/ml/ 495 名前：365 mailto:sage [2011/09/29(木) 18:07:57.87 .net] >>485 Prolog で型チェック：Rainy Day Codings：So-net blog 　rainyday.blog.so-net.ne.jp/2008-06-16 題名は型チェックだけど、コードはまぎれもなく型推論 496 名前：デフォルトの名無しさん mailto:sage [2011/09/29(木) 19:09:02.35 .net] ああPrologだから単一化で型推論が起きるのか。 497 名前：デフォルトの名無しさん mailto:sage [2011/10/04(火) 18:43:07.61 .net] prologで型推定が一番楽にできそう しかし返値しか推定してないね 498 名前：デフォルトの名無しさん mailto:sage [2011/10/06(木) 15:33:53.10 .net] SMLやろうと思うんだけど、関数書いたファイルはどこ入れときゃいいの？ 499 名前：デフォルトの名無しさん mailto:sage [2011/10/06(木) 19:31:29.68 .net] WinにもOCaml3.12.1きてるー ttp://gallium.inria.fr/~protzenk/caml-installer.html 500 名前：sage [2011/10/06(木) 20:07:16.49 .net] >>492 SML/NJの場合だと、適当なファイル(例えばhoge.sml)に保存して、保存した フォルダでNJの対話環境を起動して、 use "hoge.sml" とすればよい。useはカレントディレクトリからソースを読み込む関数で、 カレントディレクトリの取得/変更は、 OS.FileSys.getDirとOS.FileSys.chDirでできる。 501 名前：デフォルトの名無しさん mailto:sage [2011/10/06(木) 21:24:34.13 .net] >>493 ありがとう！ 502 名前：デフォルトの名無しさん mailto:sage [2011/10/11(火) 22:10:01.73 .net] queue.acm.org/detail.cfm?id=2038036 これみるとC#とかやってられんな 503 名前：デフォルトの名無しさん mailto:sage [2011/10/13(木) 22:44:28.70 .net] 型推論があるから簡潔になるのか パターンマッチがあるから簡潔になるのか 504 名前：デフォルトの名無しさん mailto:sage [2011/10/13(木) 22:47:43.98 .net] 両方 505 名前：デフォルトの名無しさん mailto:sage [2011/10/13(木) 23:19:58.73 .net] 高階関数とカリー化も簡潔に書くのに一役買ってる 506 名前：デフォルトの名無しさん mailto:sage [2011/10/14(金) 07:40:42.96 .net] >>495 ひどいよな。C#じゃ複雑なデータ構造を扱おうなんてすると沼じゃないか！ 今Haskellの勉強をしててOcamlは読んだことはなかったんだけど 読めるもんだなとも思った。 507 名前：デフォルトの名無しさん mailto:sage [2011/10/14(金) 07:48:35.09 .net] The C# code, while functionally equivalent, looks cluttered, with the real structure obscured by syntactic noise. 事実だけど、辛辣だな。 508 名前：デフォルトの名無しさん mailto:sage [2011/10/14(金) 11:38:18.36 .net] >>499 関数型言語群はMLの影響が強いからね。 C言語系という言い方では、ML系と言ってしまってもいい。 509 名前：デフォルトの名無しさん mailto:sage [2011/10/14(金) 21:38:01.24 .net] >>501 なるほど、ML系かぁ。そういわれれば納得です。 510 名前：デフォルトの名無しさん mailto:sage [2011/10/14(金) 22:41:41.95 .net] C#とかJavaとかはジェネリックが狂ってるな 511 名前：デフォルトの名無しさん mailto:sage [2011/10/16(日) 05:15:33.48 .net] js_of_ocaml が面白そうだな 512 名前：デフォルトの名無しさん [2011/10/19(水) 21:52:08.21 .net] ocamlてmain関数的なエントリポイントって無いの？ Pythonみたいな泥臭い方法でもいいんだけど． 513 名前：デフォルトの名無しさん mailto:sage [2011/10/20(木) 12:56:49.09 .net] 具体的に OCaml で何をしたいのか、Python のどこがダサいのか 書いた方が答をもらいやすいよ 514 名前：デフォルトの名無しさん mailto:sage [2011/10/20(木) 14:05:46.81 .net] >>505 OCamlにエントリポイントはないです。__main__とかないです。 ocamlc -o a.out a.ml b.ml c.mlとしてコンパイルすると、 a.outの動きとしてはmodule A,B,Cの順番で評価されるイメージになります。 515 名前：デフォルトの名無しさん mailto:sage [2011/11/06(日) 03:27:50.02 .net] 最近HaskellからOCamlに興味を持って少し触り始めたんですが，OCamlの対話環境にはghciの「:i 」みたいなものは無いんでしょうか？ 516 名前：デフォルトの名無しさん mailto:sage [2011/11/06(日) 06:11:24.22 .net] 「なぜ次に学ぶ言語は関数型であるべきか」 d.hatena.ne.jp/ymotongpoo/20111105/1320506449 原文: queue.acm.org/detail.cfm?id=2038036 517 名前：デフォルトの名無しさん mailto:sage [2011/11/06(日) 22:31:50.25 .net] toplevel の pretty printer を普通のプログラム内で使う方法ってありますか。 518 名前：デフォルトの名無しさん mailto:sage [2011/11/07(月) 22:42:07.36 .net] >>509 どしょっぱつの，Sometimes, が訳されていないとか，いろいろと 気になるところはあるけれど，大意は伝わった。うむうむ。 519 名前：デフォルトの名無しさん mailto:sage [2011/11/12(土) 05:42:33.31 .net] >>510 #install_printer のやつ？ 520 名前：デフォルトの名無しさん mailto:sage [2011/11/12(土) 05:53:40.36 .net] >>510 言語は？ 521 名前：デフォルトの名無しさん mailto:sage [2011/11/19(土) 10:47:17.91 .net] scan.netsecurity.ne.jp/article/img/2011/11/13/27625/93.html tokuhirom、ma.la？っていう人の話だけ聞きたい 色々なスレで見かけるけどWEB業界で有名らしいね 動画ありませんか？ 522 名前：デフォルトの名無しさん mailto:sage [2011/11/23(水) 00:53:05.05 .net] The little MLerの情報って調べたけど少ないね。大学の図書館 とかなら有りそうに思うけど、今は大学と関係ないから探せんわ。 SML中心で書いてるようだ。Ocamlへの改変の仕方ものってる というのはgoogle booksでわかった。 使って学習した人っておらんの？ 523 名前：デフォルトの名無しさん mailto:sage [2011/11/23(水) 09:07:06.79 .net] NACSIS Webcatで検索するか買えば？ 面白いよ。 524 名前：デフォルトの名無しさん mailto:sage [2011/11/23(水) 14:49:34.72 .net] NACSIS Webcatか webcat.nii.ac.jp/cgi-bin/shsproc?id=BA3501073X 意外とおいてるところ少ないね。今学習してる本が片付いたら 購入検討するわ。 525 名前：デフォルトの名無しさん mailto:sage [2011/11/23(水) 15:07:11.14 .net] www.d12k.org/tso/intro.html 526 名前：デフォルトの名無しさん mailto:age [2011/12/10(土) 10:15:38.86 .net] age 527 名前：デフォルトの名無しさん mailto:sage [2011/12/18(日) 01:18:07.20 .net] MLってCACHEに使われてるんだっけ？ RDBでないDBに興味を持ったので調べ始めたんだけど、 ML、CACHEとも事例が中々見つからない... 528 名前：デフォルトの名無しさん [2012/01/02(月) 00:09:12.82 .net] OCaml のモジュールについて質問です． たとえば A.B A.C A.D みたいにネストしたモジュールをそれぞれ分割されたファイル（a/b.ml, a/c.ml, a/d.ml など階層化されたディレクトリに分けられる？）に書くには OCaml ではどういう方法が一般的でしょうか？ 529 名前：デフォルトの名無しさん mailto:sage [2012/01/19(木) 07:56:03.89 .net] ocamlc -pack 530 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/03/29(木) 00:44:48.75 .net] SML# partake.in/events/f04706e0-0eac-4751-901f-41707bdfb1ef 531 名前：デフォルトの名無しさん [2012/04/22(日) 14:29:24.78 .net] MLの無名関数 (fn x => x + 1　みたいなの)って再帰的な定義をする記法はないのですか？ fn n => n * (fn n-1) みたいな感じで。 532 名前：デフォルトの名無しさん mailto:sage [2012/04/22(日) 17:17:03.18 .net] >>524 どうしてもやりたいならY combinatorを定義して使うとか： let rec y f x = f (y f) x;; (y (fun f x -> match x with 0 -> 1 | n -> n * f (n-1))) 10;; 533 名前：デフォルトの名無しさん mailto:sage [2012/04/23(月) 08:12:58.62 .net] >>524 そのため（名前を付けて循環定義にするため）に let rec があるので let rec と組み合わせればいいと思うんだけど、let rec と組み合わせたくない 理由とかある？ 534 名前：デフォルトの名無しさん mailto:sage [2012/04/23(月) 20:37:41.35 .net] SML/NJでdatatype 'a tree = Empty | Node of 'a * 'a tree * 'a treeとかやっといて、適当な深い木を定義してやると 表示が"Node #"と出てきて省略されてしまうんだけど、略記せずに全部出力させる方法があれば教えて。 535 名前：デフォルトの名無しさん mailto:sage [2012/04/23(月) 21:20:09.21 .net] 自分でプリンタ書けよ 536 名前：デフォルトの名無しさん mailto:sage [2012/04/27(金) 00:54:20.88 .net] camlp4 使った奴でよくみる pa_* な名前の奴の pa って何の略なんだ？ 537 名前：デフォルトの名無しさん mailto:sage [2012/04/29(日) 02:59:34.92 .net] PArsing つ mjambon.com/extend-ocaml-syntax.html 538 名前：デフォルトの名無しさん mailto:sage [2012/04/30(月) 15:05:27.19 .net] >>530 おお、ありがとう! 539 名前：デフォルトの名無しさん [2012/05/08(火) 20:26:45.44 .net] >>527 以下2つに適当に大きな数字を書き込む。 Control.Print.printLength; Control.Print.printDepth; あと、 Control.Print.out も便利。何もしない関数に置き換えると、エコーバックを消せる。 540 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 13:35:08.25 .net] ttp://www.amazon.co.jp/Modern-Functional-Programming-Chris-Reade/dp/0201648644/ref=sr_1_2?s=english-books&ie=UTF8&qid=1339043582&sr=1-2 www 541 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 13:40:40.11 .net] どこからつっこめばいいの…w 542 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 17:40:09.00 .net] > 掲載画像とお届けする商品の表紙が異なる場合があります。ご了承ください。 とあるけど、どういうことだろう 543 名前：デフォルトの名無しさん mailto:sage [2012/06/07(木) 21:01:28.02 .net] オリンピックをもう一回 544 名前：デフォルトの名無しさん mailto:sage [2012/06/11(月) 15:25:00.19 .net] 300？ 545 名前：デフォルトの名無しさん mailto:sage [2012/07/25(水) 19:10:23.62 .net] >>534 >出版社: Addison-Wesley (2017/11/20) 2017年・・・ 546 名前：デフォルトの名無しさん [2012/07/25(水) 20:56:09.52 .net] OCamlで 　int_of_float -0.7;; がエラーになるんですが、どうして？ Error: This expression has type float -> int but an expression was expected of type int ちなみに、、 # int_of_float 0.7;; - : int = 0 # -0.7;; - : float = -0.7 -0.7はfloatじゃないの？何がダメなの？ 547 名前：デフォルトの名無しさん mailto:sage [2012/07/25(水) 21:13:02.20 .net] 中置関数 (-) : int -> int -> int ががっつり int_of_float を引数に取っているわけで。 int_of_float (-0.7) で使ってください。 548 名前：デフォルトの名無しさん mailto:sage [2012/07/25(水) 22:13:31.14 .net] >>540 そういうことでしたか！ ありがとうございます 549 名前：デフォルトの名無しさん mailto:sage [2012/07/28(土) 13:56:10.63 .net] >>541 ~-.0.7 と書いても良いね 550 名前：デフォルトの名無しさん mailto:sage [2012/07/29(日) 11:24:50.70 .net] いつの間にか OCaml4.00.0 551 名前：デフォルトの名無しさん mailto:sage [2012/07/29(日) 12:34:47.25 .net] 岡村4.00.0 552 名前：デフォルトの名無しさん mailto:sage [2012/07/30(月) 17:15:20.50 .net] OCaml コンパイルして、nativeなコード吐いて、不思議な実行のさせかたしてるのね 553 名前：デフォルトの名無しさん mailto:sage [2012/07/30(月) 22:50:31.73 .net] どのへんが不思議なんだ？ 554 名前：デフォルトの名無しさん [2012/08/12(日) 14:06:23.13 .net] わからない？ 555 名前：デフォルトの名無しさん mailto:sage [2012/08/12(日) 23:04:07.50 .net] わからない。教えて下さい。お願いします。 556 名前：デフォルトの名無しさん mailto:sage [2012/08/13(月) 00:04:10.53 .net] #!/usr/bin/ocamlrun 557 名前：デフォルトの名無しさん mailto:sage [2012/08/13(月) 01:29:14.36 .net] nativeの意味を取り違えてない？ 558 名前：デフォルトの名無しさん mailto:sage [2012/08/13(月) 03:03:42.64 .net] スクリプトじゃないのはdumpすればわかるでしょ 559 名前：デフォルトの名無しさん mailto:sage [2012/08/13(月) 11:53:42.11 .net] www002.upp.so-net.ne.jp/mamewo/ml.html#compile 560 名前：デフォルトの名無しさん mailto:sage [2012/08/29(水) 23:04:20.96 .net] ねんがんのLittle MLerをてにいれたぞ OCamlの場合の読み替え方法も載ってるけど、素直にSMLでやった方が良いのかな てか読んでる人はいるんだろうか・・・ 561 名前：デフォルトの名無しさん mailto:sage [2012/09/02(日) 03:59:59.39 .net] 以下の関� 562 名前：狽ﾅprint_int x という文を入れると構文エラーになってしまうのですが、何がいけないのでしょうか？ let hoge x = print_int x　←　これ if x=0 then 0 else x + 10 let test1 = hoge 0 = 0 let test2 = hoge 10 = 20 # #use "printtest.ml";; File "printtest.ml", line 3, characters 4-6: Error: Syntax error　←　原因は？ [] [ここ壊れてます] 563 名前：デフォルトの名無しさん mailto:sage [2012/09/02(日) 08:57:34.05 .net] print_int x; 564 名前：デフォルトの名無しさん mailto:sage [2012/09/02(日) 10:39:53.93 .net] >>555 Thx！出来ました セミコロンを使うのはインタプリタだけなのかと思っていました 調べてみたら、配列の区切りでも使われるんですね 565 名前：デフォルトの名無しさん mailto:sage [2012/09/02(日) 10:47:02.65 .net] ocamlか。おかのコードはごみごみしくて醜いな 566 名前：デフォルトの名無しさん mailto:sage [2012/09/02(日) 10:53:23.84 .net] print_string "あ、OCamlです。言ってませんでしたね。すいません¥n"; 567 名前：デフォルトの名無しさん mailto:sage [2012/09/02(日) 15:19:34.02 .net] >>556 インタプリタの文の区切りは ;; （セミコロンが2つ） 逐次実行は ; （この場合セミコロンの前の式の型が unit でない場合警告が出る） 配列の区切りも ; （これは配列の括弧 [ ] の中でのみ出現する） 568 名前：デフォルトの名無しさん mailto:sage [2012/09/28(金) 23:37:26.16 .net] .net におけるOcamlがF#ですが、 JVM上でのOcaml相当のものはないのでしょうか？ 569 名前：デフォルトの名無しさん mailto:sage [2012/09/29(土) 11:26:57.28 .net] OCaml-Javaは？ ocamljava.x9c.fr/ 570 名前：デフォルトの名無しさん mailto:sage [2012/09/30(日) 17:21:46.18 .net] >>561 おお、これってチラ見したときは単なるライブラリレベルでのサポートかと 思ってましたが、完全なJVM実装なんですね。 571 名前：デフォルトの名無しさん mailto:sage [2012/10/03(水) 00:49:32.12 .net] www.lexifi.com/ml2012/ 今年のMLワークショップでもocaml-javaの紹介してたみたい。 どのぐらい出来てるんだろう。 パフォーマンスの話も載ってた。 1/3ぐらい？ 572 名前：デフォルトの名無しさん mailto:sage [2012/10/12(金) 11:22:15.18 .net] # type t = int * t;; Error: The type abbreviation u is cyclic # type t = { x: int; y: t };; type t = { x : int; y : t; } # type u = u option;; Error: The type abbreviation u is cyclic # type u = Some of u | None;; type u = Some of u | None だれか解説してくれ。 573 名前：デフォルトの名無しさん mailto:sage [2012/10/12(金) 12:17:07.41 .net] >>563 shootout.alioth.debian.org/ の中くらいのサイズのやつを8つベンチマーク。 0.96倍から7.14倍の実行速度。 3倍内に収まったのが6つあるぜ。 intを扱うベンチが遅い。boxingされちゃうから。 そういうベンチを省くと平均で倍は遅くない。 574 名前：デフォルトの名無しさん mailto:sage [2012/10/12(金) 12:26:46.91 .net] >>564 最初のやつは値を作れないし、三番目の型パラメータとして渡すようなのもoptionの中身次第では同じ事になるからじゃね？ と思ったが二番目が通るのがよくわからん。 575 名前：デフォルトの名無しさん mailto:sage [2012/10/12(金) 17:55:16.91 .net] >>564 (**** スマンがOCamlは久しく触っていないので、SMLで解説してみる -- 処理系は SML/NJ ****) - type t = int * t; Error: unbound type constructor: t 　　(* まだ束縛されていない型構成子 t を右辺の型式内で参照しているからエラー *) - type t = { x: int, y: t}; Error: unbound type constructor: t 　　(* 最初の例と同様に、型構成子 t はまだ束縛されていないのでエラー *) - type u = u option; Error: unbound type constructor: u 　　(* これも同じ理由でエラー *) - datatype u = Some of u | None; datatype u = None | Some of u 　　(* 上記のtype宣言文とは異なり、datatype宣言文であれば再帰的なデータ型定義が許されている *) (**** 以上だけど、SMLなら不可解な振る舞いは無く、現象を明解に説明できるよ.... ****) 576 名前：デフォルトの名無しさん mailto:sage [2012/10/12(金) 18:44:39.63 .net] >>564 abbreviationではない新しい型がcyclicかどうかは仕様を決める人が自由に決める 一方、タプルとoptionがcyclicではないという仕様は既に決まっているので タプルのabbreviationとoptionのabbreviationはcyclicではないはず 577 名前：デフォルトの名無しさん mailto:sage [2012/10/12(金) 19:52:28.31 .net] >>565 おお、ちゃんと動くもんなんだね！ 578 名前：デフォルトの名無しさん mailto:sage [2012/10/13(土) 10:18:23.39 .net] おお。皆さん回答ありがとう。 >> 566 値を作れないわけではなかったりする。 # type t = { x: int; y: t };; type t = { x : int; y : t; } # let rec loop () = loop ();; val loop : unit -> 'a = <fun> # { x = 0; y = { x = 1; y = loop () } };; いや、作れてはいないんだけど、型は付く。 CPS っぽい感じのプログラムで最後に exit するような場合、こういう型が出現することもある…気がする。 tuple で許されず、 record で許されるのに何か理由があるのかと思ったけど、 >>567 さんの通り、 SML ではどちらも許されないそうだし、あんまり深い意味はないのかな。 >>568 人（言語仕様）が自由に決めるとして、なんでこんなチグハグに（素人目には）見える仕様に なってるのかなーという。 record が通るってことは、どっちの仕様でも型安全性は保証されるのだよね? それぞれの仕様の pros/cons が知りたい。 あと、 option の方は、処理系が option の内容を辿るように頑張って実装すればイケるのか、 型理論的になにか問題があるのかよく分からない。 579 名前：デフォルトの名無しさん mailto:sage [2012/10/13(土) 10:30:56.43 .net] ああ書いていて気づいた。 record は mutable なフィールドを許すから、 # type t = { x: int; mutable y: t };; type t = { x : int; mutable y : t; } # let rec v = { x = 0; y = v };; こういう循環している値を使うことが普通にあるわけで、 cyclic な型を認めておいた方が便利なのだ。 一方で tuple は常に immutable だから、無限ループになるような通常は起こりにくい状況でしか cyclic な型が出てこない。 たぶん。 580 名前：デフォルトの名無しさん mailto:sage [2012/11/03(土) 17:26:40.17 .net] 久々にtuareg-mode使ったけど、インデントが変わったのな。 昔のはletをネストするとだんだん右に行って見づらかった 581 名前：デフォルトの名無しさん [2012/11/07(水) 04:55:27.01 .net] Ocaml関数引数の省略説明って簡単に嵌ってしまた let plus x y = x + y let incr = plus 1 incr 1 2 let minus x y = x - y let decr = minus 1 decr 2 -1 ???? let decr = plus -1 error let decr = plus (-1) decr 2 1 let decr x = minus x 1 decr 2 1 こんな感じｗｗ 途中で val incr : int -> int = <fun> こんな説明出てくるけど、何それ？ってｗ 582 名前：デフォルトの名無しさん mailto:sage [2012/11/07(水) 19:10:06.18 .net] そうですね。 583 名前：デフォルトの名無しさん [2012/11/08(木) 20:48:16.69 .net] 例えばこの例は間際らしい let capitalize = function | 'a' .. 'z' as letter -> Char.uppercase letter | 'A' .. 'Z' as letter -> letter | _ -> failwith "Not a valid letter" これを、こう書き換えても問題ない let capitalize = function | 'a' .. 'z' as lett -> Char.uppercase lett | 'A' .. 'Z' as lette -> lette | _ -> failwith "Not a valid letter" 何が言いたいかと言うと、初見の場合as letter が何か特別な予約語に思えて混乱する（letterの綴りが省略されていないため） で、下のように書き換えて動作を確認した 584 名前：デフォルトの名無しさん [2012/11/11(日) 07:45:41.63 .net] これ let head_head = function | [] -> failwith "the list is empty" | []::_ -> failwith "the head is the empty list" | (h::_)::_ -> h head_head [[1;2;3];[4;5;6]] 1 とか、listのlistから、頭のlistの頭を取り出す関数なんだけど head_head [] head_head [[];[1]] とかはエラーを返すけど head_head [1;2;3] とかするとlistの要素がlistじゃないってエラーが出てくる この場合を検出してエラーを返す書き方が思いつかない 検出する意味も必要もないのかどうかも 585 名前：分からない [] [ここ壊れてます] 586 名前：デフォルトの名無しさん mailto:sage [2012/11/11(日) 08:04:45.04 .net] head_headの型を理解してるか？ 587 名前：デフォルトの名無しさん [2012/11/11(日) 09:47:55.90 .net] はい、たぶん 基本[[];[]]な形式、list のlist構造 でも、なんか色々自由がありそうと感じる分、制約とか制限についての認識が欠落してしまう 制約制限がないと意味不明のバクが爆発するから必須なんだけど なのに、魂が叫ぶ、もっと自由にやらせろ 間違って[1;2;3]な通常のlistを渡したときなんとか出来そうな思い込みをしてしまう。 []要素のないlist [[];[1;]]　listの最初のlistが[]なlist [[];[]] 　　同上 [1;2;3] 必要な要件を全然満たさないlist構造 588 名前：デフォルトの名無しさん mailto:sage [2012/11/11(日) 14:45:44.54 .net] 型が違えば処理系に弾かれてお終い 589 名前：デフォルトの名無しさん mailto:sage [2012/11/11(日) 18:10:18.79 .net] 考え方が動的型付けに染まってる印象。 590 名前：デフォルトの名無しさん [2012/11/12(月) 02:30:05.37 .net] >>579,580 すいません その通りで御座います。 591 名前：デフォルトの名無しさん [2012/11/17(土) 14:20:04.43 .net] let f = function | [] -> failwith "empty list" | [| _; (_, x) |]::_ -> x | _ -> failwith "the first array should be of size two" に ｆ　[[|(1,2);(3,4)|];[|(5,6);(7,8)|]];; でint = 4の結果が得られる でも、 エラー"the first array should be of size two"が表示される引数が上手く作れない システムが先にエラーを吐き出す。 592 名前：デフォルトの名無しさん mailto:sage [2012/11/17(土) 18:42:30.31 .net] # f [[|(1,2)|];[|(5,6);(7,8)|]];; Exception: Failure "the first array should be of size two". いかんのか？ 593 名前：デフォルトの名無しさん [2012/11/17(土) 19:34:18.32 .net] >>583 ありがとうございます。 出来ました。 関数ｆの受け付ける ('a * 'b) array list　-> 'b = <fun> の形式がどの様な表現なのか直感的に理解できなかったので助かりました。 ('a * 'b) array list形式の引数が与えられると 2番目の条件にマッチングできなくて、3つ目の条件で"the first ~~ two"が表示されるんですね。 [[|(1,2)|]]　の様に表現するとタイプミスマッチとか処理系がエラーを出すと思っていました。 でも、('a * 'b) array list形式なので引数としては間違っていない。 594 名前：デフォルトの名無しさん [2012/11/19(月) 03:26:09.19 .net] 結局、[1,2]と入力すると[(1,2)]と返ってくるのでlistの要素構造を勘違いしてた（この部分"[(1,2)]"を見落とし） [1;2]は整数1と2によるlist、これと[(1,2)]の省略した入力[1,2]と混同してた だから、[1;(2,3)]とか入力してエラー出されて？？な感じ。 正しくは、[(1,4);(2,3)]と表現しないといけない。 [1,4;2,3]とタイプしても正しく[(1,4);(2,3)]と返ってくる こんな初歩的な部分で躓くとは、これではソースが読めないわけだ。 595 名前：デフォルトの名無しさん mailto:sage [2012/12/02(日) 17:11:41.64 .net] caml.inria.fr/pub/docs/manual-ocaml-4.00/expr.html には書いてないけど、+ や +. って - -. と同じく二項演算子かつ単項演算子じゃないのか？ +. (1.0 + 2.0);; とか通るし。 596 名前：デフォルトの名無しさん mailto:sage [2012/12/02(日) 17:46:32.55 .net] Characters 4-7: +. (1.0 + 2.0);; ^^^ Error: This expression has type float but an expression was expected of type int 597 名前：デフォルトの名無しさん mailto:sage [2012/12/02(日) 17:57:04.40 .net] +. (1.0 +. 2.0);; 598 名前：デフォルトの名無しさん mailto:sage [2012/12/03(月) 01:35:54.04 .net] Characters 0-2: +. (1.0 +. 2.0);; ^^ Error: Syntax error 599 名前：デフォルトの名無しさん mailto:sage [2012/12/03(月) 01:37:54.28 .net] parsing/parser.mliを見ると確かにそうらしい | subtractive expr %prec prec_unary_minus { mkuminus $1 $2 } | additive expr %prec prec_unary_plus { mkuplus $1 $2 } 600 名前：デフォルトの名無しさん [2012/12/03(月) 16:07:32.97 .net] pervasives.mliにこんなん書かれてた 147 external ( ~- ) : int -> int = "%negint" 148 (** Unary negation. You can also write [- e] instead of [~- e]. *) 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専用？！ 701 名前：デフォルトの名無しさん mailto:sage [2013/09/17(火) 01:27:30.95 .net] あー　opam installで途中で止まるー もう寝る　 702 名前：デフォルトの名無しさん mailto:sage [2013/09/17(火) 03:26:52.06 .net] アパーム！！ 703 名前：デフォルトの名無しさん mailto:sage [2013/09/17(火) 09:53:15.37 .net] >>692 エラーメッセージはなんて出てますか？ #opam 704 名前：デフォルトの名無しさん [2013/09/17(火) 12:09:35.38 .net] >>694 寝て起きたら終わってた エラーメッセージらしきものが出てたら まだググればなんとなく解決の糸口を探せるんだけど 止まったように見えるのは勘弁してほしい・・・ 705 名前：デフォルトの名無しさん mailto:sage [2013/09/17(火) 12:15:30.59 .net] Ubuntuだと入ってるのかもしらんが Lubuntu入れたからm4ってのが足りなくて進まないのに難儀したわぁ 706 名前：デフォルトの名無しさん mailto:sage [2013/09/17(火) 12:36:12.34 .net] とりあえず opamからutopとcore入れたけど 他に入れといた方がいいってのある？ 707 名前：デフォルトの名無しさん mailto:sage [2013/09/17(火) 14:31:45.87 .net] asyncとか？ 708 名前：デフォルトの名無しさん [2013/09/17(火) 20:04:07.17 .net] open Core.Std　しても ウンともスンとも言わないのはどうして？ 709 名前：デフォルトの名無しさん mailto:sage [2013/09/17(火) 20:37:23.49 .net] toplevelなら最後に;;付けないと評価されないぞ。 710 名前：デフォルトの名無しさん mailto:sage [2013/09/17(火) 21:34:31.77 .net] 付けてもダメ 711 名前：デフォルトの名無しさん [2013/09/18(水) 10:24:04.40 .net] OSの問題か？ UbuntuでbatteriesとかCore使えてる人いますか？ 712 名前：デフォルトの名無しさん mailto:sage [2013/09/18(水) 10:42:31.06 .net] 違うと思うけど 標準のモジュールは使える？ open List;;とか 713 名前：デフォルトの名無しさん mailto:sage [2013/09/18(水) 11:54:58.58 .net] open List;;も #load "nums.cma";; も行ける 714 名前：デフォルトの名無しさん [2013/09/18(水) 17:03:13.40 .net] #use "topfind";; #require "batteries";; open Batteries;; でバッテリーつかえたぁぁぁ 疲れた でもCoreはスーパーユーザーやないと使えないんだけど emacsからスーパーユーザーってどうするんだ？ 715 名前：デフォルトの名無しさん mailto:sage [2013/09/18(水) 17:09:49.70 .net] su emacs # ? 716 名前：デフォルトの名無しさん mailto:sage [2013/09/18(水) 17:22:01.73 .net] ってかここで聞く事じゃないけど .emacsなんてなんだよ・・意味不明 717 名前：デフォルトの名無しさん mailto:sage [2013/09/19(木) 02:32:35.94 .net] 可能性1. Coreライブラリのパーミション指定がおかしいため、通常ユーザーでは読めない。(あまり現実的じゃない) 可能性2. opamをsudoで実行した。 可能性3. Ubuntuリポジトリにあるcoreパッケージをインストールした一方で、opam+findlibを個人権限で導入し、 　　　　　　そのため/usr/lib/ocaml/以下をfindlibが探していない。 可能性3なら、~/.opam/system/lib/findlib.confを編集することで解決する。 718 名前：デフォルトの名無しさん [2013/09/19(木) 09:33:14.80 .net] できた！ありがトン 端末たちあげたら先ず初めになんでも sudo -iしてたのがダメだったのかなぁ utopだと出来るけどemacsだと Error: Reference to undefined global Conditionsってでる うーん　emacsの勉強が必要だなぁ core_kernelだと大丈夫なのはなぜなんだぜ？ coreとcore_kernelって同じもの？だよね 719 名前：デフォルトの名無しさん mailto:sage [2013/09/19(木) 16:09:42.28 .net] >>709 /home/fuga/.opam/system/lib/findlib.conf ------------------------------------ destdir="/home/fuga/.opam/system/lib" path="/usr/lib/ocaml:/home/fuga/.opam/system/lib" ocamlc="ocamlc.opt" ocamlopt="ocamlopt.opt" ocamldep="ocamldep.opt" ------------------------------------ pathをちゃんとしてれば、Linuxディストリビューションが提供するocamlライブラリとopamで個人利用のライブラリが併用できる。 普通にopam導入したら/usr/lib/ocaml以下を無視して全部~/.opam以下に入れようとしてくる。 面倒だから俺もちゃんとしてない(findlibがシステムとユーザー両方にあって気持ち悪い)が、 OCAMLFIND_CONFを指定したり何だりすればいいらしい。気が向いたら試してみてください。 720 名前：デフォルトの名無しさん mailto:sage [2013/09/20(金) 02:37:57.07 .net] >>707 emacsの設定ファイルだよ。弄ってる間に学生生活が終わった。 721 名前：デフォルトの名無しさん mailto:sage [2013/09/21(土) 18:47:36.60 .net] opamの1.1.0betaが出てるね 722 名前：デフォルトの名無しさん mailto:sage [2013/09/25(水) 00:38:24.09 .net] https://twitter.com/cliffordbeshers/status/382505685084160001 ICFPの季節か 723 名前：デフォルトの名無しさん [2013/09/28(土) 08:17:20.19 .net] SML#の話題ってここでいいの？ 724 名前：デフォルトの名無しさん mailto:sage [2013/09/28(土) 09:00:06.71 .net] いいよ 725 名前：デフォルトの名無しさん mailto:sage [2013/09/28(土) 18:49:36.94 .net] SML#のページにあったスライドより: SML# は，Cやデータベースとの連携を備えた「ふつうの言語」を目指すML系関数型言語です． SQLをそのまま使える「ふつうの言語」...こいつ頭がお詳しいぜ！ C、SQL、MLっていうのは欲張りだな。polyglotは楽しめるのかもしれんが。 726 名前：667 [2013/09/30(月) 10:28:11.89 .net] let rec add_h a = function [] -> [] | h::t -> (a::h) :: add_h a t;; let rec powerset = function [] -> [[]] | h::t -> let pt = powerset t in pt @ add_h h pt;; let nedan_list list goukei = List.filter (fun xs -> List.fold_left (+) 0 xs = goukei) (powerset list);; nedan_list [100;350;620;705] 720;; 過去スレにいいヒントがあったのでそれを使って やりたい事を実現できました。 OCamlの素晴らしさを実感するとともに もっと良い方法があれば教えてください。 727 名前：667 [2013/09/30(月) 10:36:53.22 .net] あー　数がちょっと増えるとすぐオーバーフローしちゃう これはダメだぁ・・・ 728 名前：667 mailto:sage [2013/09/30(月) 11:26:09.48 .net] let rec powerset = function | [] -> [[]] | h::t -> List.fold_left (fun xs t -> (h::t)::t::xs) [] (powerset t);; あ、自己解決 こうすれば２０数個行ける 729 名前：デフォルトの名無しさん mailto:sage [2013/10/01(火) 17:56:59.75 .net] ごっちゃになってたけど print_string "hello"; print_newline ();; と print_endline "hello" が同じ意味なんだな print_string "hello\n"　が普通の書き方？ 730 名前：デフォルトの名無しさん mailto:sage [2013/10/04(金) 23:18:06.53 .net] その程度ならどれも意味がすぐ分かるから、特に伝統は無い。 改行コードはOS毎にLF+CRだったりLFだったりするけど、そこら辺はどう考慮されているんだろう。 Linuxだと\nで改行、\rで現在の行を消して先頭からやり直し、みたいだけど。他のOSでも統一 731 名前：されてんのかね？ [] [ここ壊れてます] 732 名前：デフォルトの名無しさん [2013/10/05(土) 09:27:34.70 .net] 副作用にも色々表現方法があって迷うなぁ まぁOCamlはそれがいいんだろうけど 733 名前：デフォルトの名無しさん mailto:sage [2013/10/05(土) 14:18:01.03 .net] 文字列だけなら print_string とか print_endline とかでいいだろうけど、 数値とか含むのを出力するときはどうするのがスマートなんだろう？ 俺はだいたい Printf.printf を使ってしまうのだけど。 734 名前：デフォルトの名無しさん mailto:sage [2013/10/05(土) 14:42:49.03 .net] >>721 間違ってる Windows は CR+LF すなわち現在行を消して先頭に戻してから改行するのだッ 735 名前：デフォルトの名無しさん mailto:sage [2013/10/05(土) 14:51:34.09 .net] > Linuxだと\nで改行、\rで現在の行を消して先頭からやり直し、 OSのアプリが, 慣習的に "\n" を論理改行文字として扱ってる(tty ドライバーも このように扱いやすく作ってある)だけで, 端末制御として使う CR だとか LF とは 分けて考えるべきだと思うよ. 実際に tty を raw モードに設定すると, CR - LF("\r\n") を "\n" にマップする 作業はアプリの仕事になる. 端末から見た, 各制御文字の役割は以下であってそれ以外の何者でもない CR: カーソルを行の先頭に戻す, LF: カーソルを次の行に移動する(カラムは移動しない) 736 名前：デフォルトの名無しさん [2013/10/05(土) 17:25:39.93 .net] ocamlのcryptokit使おうとしたら、エラーになるんだがなんでなんだぜ。 Fatal error: cannot load shared library dllcryptokit_stubs Reason: dllcryptokit_stubs.so: cannot open shared object file: No such file or directory 737 名前：デフォルトの名無しさん [2013/10/06(日) 08:19:42.15 .net] #ocaml #opam 自己解決したっす dllcryptokit_stubs.so はopamゆーざーなら以下の環境変数の設定が必要っぽい export CAML_LD_LIBRARY_PATH=~/.opam/system/lib/stublibs/ 738 名前：デフォルトの名無しさん [2013/10/09(水) 00:18:05.42 .net] なんかopamも便利なんだか不便なんだかわからんな 739 名前：デフォルトの名無しさん [2013/10/10(木) 12:26:47.83 .net] フィボナッチ計算させるときに メモ化するのもアキュムレータ使うのも 同じ振る舞いな気がするんだが 何か違うのかな？ 740 名前：デフォルトの名無しさん mailto:sage [2013/10/10(木) 13:44:52.77 .net] 複数回呼び出したら違うんじゃないの 741 名前：デフォルトの名無しさん [2013/10/10(木) 14:11:03.39 .net] それぞれの f(n)までの値をそれぞれ1回ずつ計算して テーブルに入れるかレコードに入れるかの違いだから 計算回数は同じじゃね？ 742 名前：デフォルトの名無しさん mailto:sage [2013/10/10(木) 18:11:17.89 .net] fibを何回か呼ぶことを言ってるんじゃねぇの 743 名前：デフォルトの名無しさん [2013/10/10(木) 18:49:43.04 .net] 呼ぶ回数＝計算回数じゃないの？ どっちもO（n）っぽいんだけど 744 名前：デフォルトの名無しさん mailto:sage [2013/10/10(木) 19:24:41.41 .net] fib(n) = fib(n-1) + fib(n-2) fib(n-2)は呼ばれるが、計算済みだから新に計算はしないってことでしょ。 745 名前：デフォルトの名無しさん [2013/10/10(木) 21:27:14.82 .net] そういう二重再帰じゃない方のフィボナッチだよ 746 名前：デフォルトの名無しさん [2013/10/10(木) 21:50:36.16 .net] let fib x = let rec fib_sub (x, accumulator1, accumulator2) = if x = 0 then accumulator1 else fib_sub (x - 1, accumulator1 + accumulator2, accumulator1) in fib_sub (x, 1, 0) こういう感じでアキュムレータ使うようなフィボナッチ 747 名前：デフォルトの名無しさん mailto:sage [2013/10/10(木) 23:36:42.55 .net] 何が言いたいのかわからん 末尾再帰のアキュムレータだろうが、 fib nをm回呼び出す場合メモ化ならO(m+n)だろ 748 名前：デフォルトの名無しさん [2013/10/11(金) 01:37:05.82 .net] >>734この 二重再帰の計算オーダーはそうじゃないだろ？？ 749 名前：デフォルトの名無しさん mailto:sage [2013/10/11(金) 02:57:20.14 .net] >>735 >>738 メモ化のコード書いてくれないとわからない。 あと計算オーダーはそうじゃないのそうって何？ 750 名前：デフォルトの名無しさん mailto:sage [2013/10/11(金) 03:24:27.66 .net] >>738 >>734の場合でも、f(n)はf(n-1), f(n-2)がメモ化されている場合常にO(1) メモ化していない場合(最初の一回目)は再帰計算だからO(n) これはわかるな？ その後 再帰メモ化版のfib(n)は、 それまでn以上の値が呼び出されていたならO(1)であり、 fib nをm回呼び出すならO(m)、2つ合わせて O(m+n) アキュムレータだけの場合、fib(n)は "常に" O(n) つまりfib nをm回呼び出すならO(nm) わかったか？ 751 名前：デフォルトの名無しさん mailto:sage [2013/10/11(金) 04:17:04.97 .net] HaMLet がまさかのニューバージョン。 www.mpi-sws.org/~rossberg/hamlet/ 752 名前：デフォルトの名無しさん [2013/10/11(金) 10:20:41.62 .net] >>740 あー　>>734はメモ化の再帰ﾊﾞｰｼﾞｮﾝの話ね 理解した とすると >>729この違いは 使い捨てならアキュムバージョンは 簡潔に書けて早く 使いまわすならメモ化した方が 再呼び出しは早くていいって感じか 753 名前：デフォルトの名無しさん [2013/10/11(金) 19:30:47.32 .net] SMLも開発すすんでるんだな 754 名前：デフォルトの名無しさん mailto:sage [2013/10/14(月) 18:44:12.10 .net] www.pllab.riec.tohoku.ac.jp/smlsharp/docs/1.0/ja/Ch1.S1.xhtml SMLの開発って、もしかしてSML#のこと？ 755 名前：デフォルトの名無しさん mailto:sage [2013/10/14(月) 18:45:23.58 .net] あ、上のhamletのことか。 756 名前：デフォルトの名無しさん [2013/10/14(月) 18:54:06.65 .net] SML#は64ビット対応せんのかな。結構期待してるんだけど。 757 名前：デフォルトの名無しさん [2013/10/15(火) 01:40:51.77 .net] SML/NJとかも 758 名前：デフォルトの名無しさん [2013/10/15(火) 01:52:43.43 .net] Standard SMLってなんだろ？ 759 名前：デフォルトの名無しさん [2013/10/15(火) 15:17:19.69 .net] int型のmaxって1073741823ですよね これを超えたらBig_intに切り替えたいんですが int型の計算でmax_intを超えたかどうかの判定って どうやったらいいですか？ 760 名前：デフォルトの名無しさん mailto:sage [2013/10/15(火) 17:14:51.41 .net] 無理じゃね 最初からBig_int使えばいいんじゃね 761 名前：デフォルトの名無しさん mailto:sage [2013/10/15(火) 18:42:26.56 .net] 大学の研究室のプロジェクトだと、パワーのある院生がいる時にどかっと 進んだりするんだよなぁ。 762 名前：デフォルトの名無しさん [2013/10/15(火) 22:18:09.71 .net] キャリーフラグを無視しない高級言語ってごくわずかしかないよね。 763 名前：デフォルトの名無しさん mailto:sage [2013/10/15(火) 23:25:06.01 .net] そもそも1bit分フラグに使ってるからキャリーフラグなんて役に立たんでしょ SML#はどうか知らんけど 764 名前：デフォルトの名無しさん mailto:sage [2013/10/16(水) 22:57:21.15 .net] C++ blog.regehr.org/archives/593 ocaml batteriesには、SafeIntというのがあるらしい。参考になるかもよ。 dutherenverseauborddelatable.wordpress.com/2008/08/27/whats-up-with-batteries/ 765 名前：デフォルトの名無しさん [2013/10/18(金) 10:52:33.25 .net] オブジェクトがさっぱりわからん レコードと何が違うんだ・・・ 766 名前：デフォルトの名無しさん [2013/10/18(金) 12:04:36.71 .net] Obj.magic使えば 型なんて関係無くなる？ 767 名前：デフォルトの名無しさん [2013/10/18(金) 12:12:18.87 .net] [Obj.magic 'a'; Obj.magic "abc"; Obj.magic 123];; すげー　リストに型が違っても入るぞ 何に使えるんだろ？ 768 名前：デフォルトの名無しさん [2013/10/18(金) 12:52:31.16 .net] Obj.magic 'a' + 1 ;; すげー　こんなのもできるんだｗｗｗｗ 関数型言語界のgotoやで 769 名前：デフォルトの名無しさん mailto:sage [2013/10/18(金) 14:08:58.82 .net] 奇跡も魔法もあるんだよ。 770 名前：デフォルトの名無しさん mailto:sage [2013/10/18(金) 18:35:29.49 .net] ただしよくわからんで使うと死ぬ 771 名前：デフォルトの名無しさん [2013/10/18(金) 18:46:15.03 .net] OCamlって最強の言語じゃね？ なんでみんなやらないんだろ 772 名前：デフォルトの名無しさん mailto:sage [2013/10/18(金) 18:49:32.53 .net] 変なライセンスだから 773 名前：デフォルトの名無しさん mailto:sage [2013/10/18(金) 18:53:24.02 .net] intが1ビット少ないとか、モジュールの仕様上スマートリンクができないとか ファーストクラスモジュールでOCamlのOたるオブジェクトがゴミになりましたとか そのファーストクラスモジュールは後付けで構文がカオスですとか、あと+.(笑)とかGC遅いとか ケチを付けようと思ったらいくらでも付けられるからなあ 774 名前：デフォルトの名無しさん mailto:sage [2013/10/18(金) 19:13:13.78 .net] Windows版の更新サボってるのが一番の原因だな 775 名前：デフォルトの名無しさん mailto:sage [2013/10/18(金) 19:31:42.10 .net] みんなって誰だよ 776 名前：デフォルトの名無しさん mailto:sage [2013/10/18(金) 19:33:25.20 .net] 研究室ではよく使ってる 777 名前：デフォルトの名無しさん [2013/10/18(金) 20:02:22.74 .net] >>765 健常者の集合 778 名前：デフォルトの名無しさん mailto:sage [2013/10/18(金) 22:46:49.64 .net] 言語の素性はともかくマンパワーは全然足りてないしな 779 名前：デフォルトの名無しさん [2013/10/18(金) 23:43:15.36 .net] スマートリンクってなんぞ？ 780 名前：デフォルトの名無しさん mailto:sage [2013/10/18(金) 23:50:11.98 .net] sageたら教えてやる 781 名前：sage [2013/10/18(金) 23:56:08.97 .net] 教えてください 782 名前：sega [2013/10/19(土) 19:03:49.62 .net] 俺にも教えて 783 名前：デフォルトの名無しさん mailto:sage [2013/10/19(土) 22:25:27.91 .net] じゃあおれも 784 名前：デフォルトの名無しさん [2013/10/28(月) 11:48:04.04 .net] 汎関数と高階関数って同じ意味ですか？ 785 名前：デフォルトの名無しさん [2013/10/28(月) 13:22:54.90 .net] ちがいます 786 名前：デフォルトの名無しさん mailto:sage [2013/10/28(月) 13:38:38.58 .net] おなじです 787 名前：デフォルトの名無しさん [2013/10/28(月) 13:43:33.45 .net] どっちだよ・・・ 788 名前：デフォルトの名無しさん mailto:sage [2013/10/28(月) 13:58:52.58 .net] >>774 関数を計算の対象とすること、いいかえると、関数を引数として受け付けたり 関数を返す関数のことを「高階の関数」または「高階関数」という さらに、高階関数の中で計算の対象が関数だけなものを「汎関数」という つまり高階関数は広い概念で、汎関数は狭い概念 たとえば関数 map や filter は高階関数であるけれど、リストも計算対象だから汎関数ではない それに対して、合成関数 o は高階関数であるし汎関数でもある 789 名前：デフォルトの名無しさん [2013/10/28(月) 14:26:11.39 .net] let foo f g x = g (f x) ;; val foo : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c = <fun> って合成関数があったとして 'aの引数は計算対象外になるの？ 790 名前：デフォルトの名無しさん mailto:sage [2013/10/28(月) 15:17:35.72 .net] >>779 記法のせいでわかりにくいけど ('a -> 'b) -> ('b -> 'c) -> ('a -> 'c) って考えればいい 791 名前：デフォルトの名無しさん mailto:sage [2013/10/28(月) 15:25:02.71 .net] あと汎関数は量を返す物をいうはず。 だから合成関数は汎関数でなく、高階関数。 792 名前：デフォルトの名無しさん mailto:sage [2013/10/28(月) 15:27:39.31 .net] 間違えた 合成関数を"返す" 関数は汎関数でなく、高階関数。 793 名前：デフォルトの名無しさん mailto:sage [2013/10/28(月) 15:32:51.19 .net] >>779 まず 'a は型変数だから、「'a の引数は...」という用法は日本語として不適切 で、もし質問の意図が「関数 foo の定義における第三引数 x は、関数 foo の計算対象外か？」 であるならば、答えは Yes 引数 x は関数 f の計算対象であるけれど、汎関数 foo の計算対象ではない 汎関数を定義する場合、>>779 も決して間違いではないが、以下のように書いたほうが、 「x は(fooの引数ではなく)無名関数の引数である」という意図が理解しやすいだろう(言語はSML) - fun foo f g = fn x => g (f x); > val ('a, 'b, 'c) foo = fn : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c >>781 では、その量を返すという汎関数の具体例を挙げてみてくれないか？ 794 名前：デフォルトの名無しさん [2013/10/28(月) 16:06:23.87 .net] 例えばmapをばらしたときに let rec map f ls = match ls with [] -> [] | x::xs -> f x :: map f xs ;; val : ('a -> 'b) -> 'a list -> 'b list = <fun> たぶんこんな感じで再帰になってるけど 無名関数は再帰で書けないから 無名関数で書けたら汎関数でよい？ 795 名前：デフォルトの名無しさん mailto:sage [2013/10/28(月) 16:10:19.68 .net] >>783 >では、その量を返すという汎関数の具体例を挙げてみてくれないか？ なんで？ とりあえず、定義っぽいのは見つけたよ。 www.encyclopediaofmath.org/index.php/Functional 796 名前：デフォルトの名無しさん [2013/10/28(月) 16:41:42.96 .net] ん？schemeはYコンビネータを使って Y = (λf . (λx . f (x x)) (λx . f (x x))) 無名再帰ができると書いてあるな 何が違うんだろ？動的言語だと出来るとか？ 797 名前：デフォルトの名無しさん mailto:sage [2013/10/28(月) 17:26:32.96 .net] >>784 汎関数の定義に無名関数を使うことは多いけど、 だからといって、すべての無名関数を用いた定義が汎関数となる訳ではない だから「無名関数で書けたら汎関数でよい？」という質問については No だ ただし「引数としてある関数を渡すとmapと同等な無名関数を返す」汎用的な関数が 定義できるのであれば、その関数は汎関数であるといえるだろう なお、再帰と汎関数は直交するから再帰を伴わない汎関数も存在する(たとえば合成関数 o) したがって「再帰で書けたら汎関数でよい？」という質問についても No となる >>785 数学における用語「汎関数」と計算機科学における「汎関数」をごっちゃにしているのでは？ で、ここは(数学板ではなく)プログラム板だ 798 名前：デフォルトの名無しさん mailto:sage [2013/10/28(月) 17:37:07.70 .net] >>787 ＞数学における用語「汎関数」と計算機科学における「汎関数」をごっちゃにしているのでは？ えええー！初耳だよそんなの。 計算機科学の汎関数の定義は？ 799 名前：デフォルトの名無しさん [2013/10/28(月) 19:17:55.24 .net] 同値再帰型なんてのもあるんだね OCamlって最強言語じゃね？ 800 名前：デフォルトの名無しさん [2013/10/30(水) 09:26:41.50 .net] 高階関数のままと 簡約した形と 評価までの速度に違いがあるのかな？ 見やすさで選ばれてるだけ？ 801 名前：デフォルトの名無しさん mailto:sage [2013/10/30(水) 13:20:56.16 .net] cygwin64bitにもOCaml登場 802 名前：デフォルトの名無しさん mailto:sage [2013/10/30(水) 19:40:53.15 .net] 簡約した形とは 803 名前：デフォルトの名無しさん mailto:sage [2013/10/31(木) 18:52:31.73 .net] ゴルフに出てくる;;の後の 1@0 って何ですか？？ 804 名前：デフォルトの名無しさん mailto:sage [2013/11/01(金) 12:27:52.67 .net] kwsk >>793 #ゴルフ 805 名前：デフォルトの名無しさん mailto:sage [2013/11/01(金) 21:39:55.79 .net] コードゴルフか？ 'a list -> 'a list -> 'a list じゃなさそうだし自分で定義してるんじゃね？ 806 名前：デフォルトの名無しさん [2013/11/02(土) 18:53:12.88 .net] Ｓ式みたいに (< 1 2 3 4 5 6 7 8 9) でtrue みたいに一発で計算ってできますか？ 807 名前：デフォルトの名無しさん [2013/11/02(土) 19:14:43.17 .net] そういうの書けばできるでしょ 808 名前：デフォルトの名無しさん [2013/11/03(日) 00:39:10.77 .net] let rec less_than lst = match lst with [] -> None | x :: [] -> Some true | x :: y :: xs -> if x < y then less_than (y :: xs) else Some false ;; なんか一行ですっきり書きたい 809 名前：デフォルトの名無しさん mailto:sage [2013/11/03(日) 09:57:51.24 .net] f op xs = and $ zipWith op xs (tail xs) 810 名前：デフォルトの名無しさん [2013/11/03(日) 11:18:30.19 .net] ん？それHaskellじゃね？ 811 名前：デフォルトの名無しさん [2013/11/03(日) 11:27:32.82 .net] こうかな。 fun lessThanForAll l = ListPair.all (op <) (l, tl l); 812 名前：デフォルトの名無しさん mailto:sage [2013/11/03(日) 21:33:04.10 .net] ocamlだとむずい 813 名前：デフォルトの名無しさん [2013/11/21(木) 06:02:11.85 .net] 盛り上がってるね。 814 名前：デフォルトの名無しさん mailto:sage [2013/11/25(月) 19:28:29.05 .net] camlp4の入手先を教えて下さい 815 名前：デフォルトの名無しさん mailto:sage [2013/11/25(月) 20:49:45.57 .net] ttps://github.com/ocaml/camlp4 816 名前：デフォルトの名無しさん [2013/11/25(月) 23:43:19.04 .net] camlp4ってなんか開発側のよくわからない方針により大幅に変更されてもともと乏しかったドキュメントが一層整備されてない状態になってから使う気なくした。 817 名前：デフォルトの名無しさん mailto:sage [2013/12/13(金) 08:01:15.59 .net] ああ、ハームが強いとか言ってたキルハイエナさんか 818 名前：デフォルトの名無しさん mailto:sage [2013/12/13(金) 08:02:13.53 .net] 誤爆 819 名前：デフォルトの名無しさん mailto:sage [2013/12/14(土) 16:52:12.01 .net] fezにお帰りください 820 名前：デフォルトの名無しさん [2013/12/19(木) 13:30:02.87 .net] ABC予想をOCamlで書いて 821 名前：デフォルトの名無しさん mailto:sage [2014/01/16(木) 19:03:28.13 .net] row polymorphism(< method_foo : foo -> bar ; .. >の"..")が何か泥臭い感じがしてOCamlのOが好きじゃないのですが、 row polymorphismとexact typeを区別するべき理由ってあるのでしょうか。 822 名前：デフォルトの名無しさん mailto:sage [2014/01/20(月) 01:16:23.89 .net] こんな本でた JavaScriptで学ぶ関数型プログラミング www.amazon.co.jp/dp/4873116600/ なんか面白そう 823 名前：デフォルトの名無しさん [2014/01/25(土) 20:39:37.59 .net] みんなどこいったんや 824 名前：デフォルトの名無しさん mailto:sage [2014/01/27(月) 00:37:41.63 .net] VBAを捨てて関数型言語がデフォルトでサポートされるのは、いつだろうか 825 名前：デフォルトの名無しさん mailto:sage [2014/01/27(月) 01:45:51.79 .net] そんな日は来なくていい 826 名前：デフォルトの名無しさん mailto:sage [2014/01/28(火) 03:59:19.18 .net] ExcelマクロにVBAとF#の選択肢が標準だったなら、関数型は主流になれる 827 名前：デフォルトの名無しさん mailto:sage [2014/01/28(火) 04:04:55.48 .net] >>813 クオンツやアクチュアリーもどきの個体数が増えすぎて、 市場価値が下がらないように口を紡ぎだしたとみた 828 名前：デフォルトの名無しさん mailto:sage [2014/01/29(水) 01:01:52.05 .net] 口を・・・つむぐ？ 829 名前：デフォルトの名無しさん mailto:sage [2014/01/29(水) 01:04:27.44 .net] 口をつぐんだ人ならいるかもね 830 名前：デフォルトの名無しさん [2014/01/29(水) 21:56:44.82 .net] あれでしょ、世の中に不満があるなら自分を変えろ、それが嫌なら耳と目を閉じ、口を紡いで…あれ？ 831 名前：デフォルトの名無しさん mailto:sage [2014/01/29(水) 21:58:26.24 .net] お口にチャックノリス 832 名前：デフォルトの名無しさん mailto:sage [2014/02/12(水) 23:38:39.41 .net] Batteriesを使用しているコードをjs_of_ocamlで変換するとMissing primitivesという警告？が出て JavaScriptの実行時エラーが出てしまいます これはどうしたら解消できるのでしょうか コマンド ocamlfind ocamlc -syntax camlp4o -package lwt,js_of_ocaml.syntax,batteries -g -c foo.ml ocamlfind ocamlc -package lwt,js_of_ocaml,batteries -linkpkg -o foo.byte foo.cmo js_of_ocaml foo.byte 出ているメッセージ Missing primitives: caml_ba_init caml_sys_const_big_endian caml_sys_const_ostype_cygwin caml_sys_const_ostype_unix caml_sys_const_ostype_win32 caml_sys_const_word_size create_nat incr_nat initialize_nat mult_digit_nat set_digit_nat set_to_zero_nat unix_inet_addr_of_string 833 名前：デフォルトの名無しさん mailto:sage [2014/02/13(木) 19:52:50.09 .net] いくつかはjs_of_ocamlを更新すれば定義されてる nat関係のは提供されてないのでダミーの関数を funciton create_nat(){}のように自分で追加するか batteriesのサブセットを切り出して使うか core_kernel使ってる人もいるらしい 834 名前：デフォルトの名無しさん mailto:sage [2014/02/13(木) 23:42:09.86 .net] js_of_ocaml 1.4.0を使っていますがこれではダメなのでしょうか？ nat関係は適当にスクリプトを書いて対応しようと思います unix_inet_addr_of_stringはbatteries関係なく出てしまうようですね 835 名前：デフォルトの名無しさん mailto:sage [2014/02/13(木) 23:59:27.54 .net] bigarrayサポートがまだgit版にしかない unix_inet_addr_of_stringはruntime/unix.jsをリンクすれば大丈夫だけど opamで入れたなら多分入ってない 836 名前：デフォルトの名無しさん mailto:sage [2014/02/14(金) 00:28:20.76 .net] bigarrayサポートはnat関係のことですよね？ もしそうだとするとcaml_XXXは一体何が原因なのでしょう それとunix_inet_addr_of_stringはopamで入れている以上直る？ことはないということなのでしょうか 837 名前：デフォルトの名無しさん mailto:sage [2014/02/14(金) 00:35:30.75 .net] 調べてから書くべきでした caml_XXXがbitarrayの関数ですね 838 名前：デフォルトの名無しさん mailto:sage [2014/02/14(金) 00:36:59.24 .net] big・・・ 839 名前：デフォルトの名無しさん mailto:sage [2014/02/14(金) 00:45:48.03 .net] > それとunix_inet_addr_of_stringはopamで入れている以上直る？ことはないということなのでしょうか 公式のも唯の空の関数なんで自分で定義しても一緒だし 開発版では修正済みだから1.99だか2.0が出てopamパッケージになれば大丈夫 840 名前：デフォルトの名無しさん mailto:sage [2014/02/14(金) 01:06:19.10 .net] なるほど いずれ修正されることと今でも少し手を入れれば動くことがわかったので良かったです 親切にありがとうございました 841 名前：デフォルトの名無しさん mailto:sage [2014/02/16(日) 20:02:36.51 .net] www.reddit.com/r/programming/comments/1xtohg/ocaml_replacing_python_what_you_gain/ 842 名前：デフォルトの名無しさん mailto:sage [2014/02/24(月) 14:22:45.10 .net] toplevelで、コンパイルした自作のライブラリを使いたいとき、 #load "/foo/bar/my.cmo";; とやったのですが、モジュールMyが無いと怒られたため、試行錯誤した結果、toplevelで #directory "/foo/bar";; #load "my.cmo";; と2段階に分けるか、コマンドラインで -I /foo/bar としなければならなかったのですが、こんな不便な仕様が存在しているはずがないと感じました。 別ディレクトリにあるファイルを読み込む正しいやり方ではどうすればいいのでしょうか。誰か教えていただけたらと思います。 my.cmoは/foo/bar内で:`ocamlfind ocamlc -pkg batteries my.ml`とやって生成しています。 843 名前：832 mailto:sage [2014/02/24(月) 14:28:40.75 .net] >>832 あ、使用しているOSはLinuxで、OCamlのバージョンは4.01.0です。 844 名前：832 mailto:sage [2014/02/24(月) 21:13:12.02 .net] findlibのソースを読み、ocamlのソースを読んだ結果、不便な仕様は不便な仕様のようです。 諦めます。 845 名前：デフォルトの名無しさん [2014/04/20(日) 10:33:29.81 ID:Ar2j+hn/.net] ∀x. P(x) とかλx. x のドットと同じなんじゃない。 846 名前：デフォルトの名無しさん mailto:sage [2014/04/20(日) 15:50:34.61 ID:jkTnuZFL.net] structureのドットじゃないのか 847 名前：デフォルトの名無しさん mailto:sage [2014/04/23(水) 20:07:50.69 ID:yuYA7aLZ.net] >>835 型hogeは('a -> 'a) -> 'a -> 'aという関数tを持つものだよ、というだけなんだが、 まずその'a.っていう表記が無いとエラーが出る。 エラーメッセージに脊髄反射してtype 'a hoge = { t : ('a -> 'a) -> 'a -> 'a }と定義すると、 hoge型の値を作ったときint hogeとかstring hogeとかになって、 ｔも(int -> int) -> int -> intとかになっちゃう。 いや違う、オレはhoge型の値にidentity:'a -> 'aや(=): 'a -> 'a -> boolのように、多相性を持った関数tが欲しいんだって時に 'a.っていう表記を使う。 用途は何と問われるとちょっと困る程度にはマイナー。 848 名前：デフォルトの名無しさん mailto:sage [2014/04/23(水) 20:47:43.26 ID:Rx5WvURy.net] 何言ってるか分からないですね 849 名前：デフォルトの名無しさん mailto:sage [2014/04/23(水) 22:11:28.21 ID:fVb21MOO.net] aはずっと自由変数ですよ、特殊化されませんよ、ってのを明示するのに使うのか 850 名前：デフォルトの名無しさん mailto:sage [2014/04/23(水) 22:41:15.05 ID:OJl2bhdr.net] 基本的に、変数は（もし多相性を持っていても）初期化された時点で単相型になる 関数は呼び出されると引数が初期化されるのでその時点で単相型になる 関数自身を変数に入れると、呼び出してなくても変数を初期化しただけで単相型になる >>835のhoge型の変数は基本とは違って、初期化しただけでは単相型にならないっぽい 851 名前：デフォルトの名無しさん [2014/04/23(水) 23:18:57.87 ID:ddVBuvib.net] ためになるわー。 852 名前：835 mailto:sage [2014/04/24(木) 21:17:13.51 ID:4Y8KSBKa.net] 回答ありがとうございます。与えられたチャーチ数の定義がこれだったのですが、周りに聞いてもあまり良い回答を得られなかったので、とても助かりました。 確かにチャーチ数であれば、多相性が維持されなければ駄目ですね。 853 名前：デフォルトの名無しさん mailto:sage [2014/05/09(金) 06:41:29.78 ID:gmFOA17u.net] 最近JITが高速と聞くのですが MLtonよりもJITが高速になる場合も あったりするのでしょうか 854 名前：デフォルトの名無しさん mailto:sage [2014/05/09(金) 11:29:52.70 ID:88BxxZ+X.net] 早くなるケースもあるけど 大抵のケースは、工夫しないと遅いので作り込みが大変 なので、大体が学生の研究で作って、終わっちゃうんじゃないかな。 速さというより、F#みたいにVM環境向けにbytecodeに落とし込むケースは、あるかも。 C言語の例だと、CERNで、HPのGotoさんが作ってたCINTというCインタプリタがインターラクティブ環境が必要ということで採用されてた。 現在は、規格に追従&共通基盤の恩恵を受けられるllvmベースのclingを開発中。 855 名前：デフォルトの名無しさん mailto:sage [2014/05/09(金) 12:50:13.67 ID:viF1oq7i.net] 10年以上前だがJavaのShuJITとかあったけど、その作者のプロジェクトを終えるに あたってのまとめが、少々の理論的な優位点なんて、カネとヒトがたくさんある奴 （よーするにS 856 名前：un（当時）やIBMやHPの作ってるJVM）のパワーの前には吹き飛ぶ、 だった。 [] [ここ壊れてます] 857 名前：デフォルトの名無しさん mailto:sage [2014/05/09(金) 23:01:59.86 ID:2uUNFhKi.net] いまは、LLVM使うと巨人の肩に乗れるね。 JVMはHotSpotVMベースになってOpenJDKがオープンソースになってるからその上でいじれるように JSのVMは激戦だけど、IEの実装以外はオープンソースという。 LuaJITは、個人でつくってるのでオーパーツ。 858 名前：デフォルトの名無しさん mailto:sage [2014/05/10(土) 22:51:43.07 ID:SJ0/UQRG.net] 言語処理系の最適化はマンパワーが必要なので……今はトレンドがLLVMに色々集まる方向性かな 859 名前：デフォルトの名無しさん mailto:sage [2014/05/12(月) 21:26:19.65 ID:dnbz3Cdj.net] C++11という巨人の肩に乗ろう 860 名前：デフォルトの名無しさん mailto:sage [2014/05/12(月) 22:10:36.00 ID:xvKPpHt2.net] コンパイラは、MLで作ると楽という話もあるが、、、 そこらへんはジレンマ？ 861 名前：デフォルトの名無しさん [2014/05/13(火) 09:28:41.53 ID:34BaoroY.net] >>847 js_of_ocaml ってJavaScriptで書くより最適化で高速になるからそういう方向もあるかも。 ttp://jsperf.com/js-of-ocaml 862 名前：デフォルトの名無しさん mailto:sage [2014/05/13(火) 20:13:34.93 ID:5OIUPatf.net] Excelのセル中で、F#で定義した関数が使えたら面白いかもと思った。 863 名前：デフォルトの名無しさん [2014/05/16(金) 08:18:12.70 ID:72NRi/gE.net] altJS としては最適化手法が数学的に議論されていて論文も出ている js_of_ocaml が最強なのでは: ttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.224.7457&rep=rep1&type=pdf 864 名前：デフォルトの名無しさん mailto:sage [2014/05/16(金) 16:19:49.33 ID:PtE4FBA8.net] LuaJITって個人のなの？ブラジル生まれだとは知ってたが。 あとllvmってコンパイラ基盤としては楽だけど、インタプリタとしてはちょっと難ありじゃないかしら。 適当に使うと最初の起動時間がかなり遅い。 865 名前：デフォルトの名無しさん mailto:sage [2014/05/17(土) 03:51:33.29 ID:RMSyflwZ.net] Luaは、ブラジル、リオデジャネイロの大学の研究グループから LuaJIT作ってるのはドイツ、ミュンヘンの人 866 名前：デフォルトの名無しさん mailto:sage [2014/06/01(日) 17:00:19.03 ID:3NiYSkpU.net] TAPLのexercise 3.2.5が分からん。なんで3.2.3の定義で S_i ⊆ S_{i+1} になるんだ？ 各S_iは最初のS_1とかを除いて、disjointになるように思える。 本持ってる人教えて 867 名前：デフォルトの名無しさん mailto:sage [2014/06/01(日) 20:16:49.72 ID:dwNATPFa.net] https://bitbucket.org/camlspotter/ocaml-zippy-tutorial-in-japanese/src/434b26af16405ba8aaae0d89ba12bd2275eac9d3/4.02.md?at=default 868 名前：デフォルトの名無しさん mailto:sage [2014/06/09(月) 23:28:07.14 ID:g6XVfS4Z.net] ocamlの演算子、**より~-.の方が優先順位が高いのはなぜ？ 869 名前：デフォルトの名無しさん mailto:sage [2014/06/22(日) 23:27:34.81 ID:kfNNTRTT.net] 単項だからでは 870 名前：デフォルトの名無しさん [2014/07/05(土) 07:26:50.37 ID:uomUGxMD.net] OCamlの日本語の文字列扱うのて 上手く行かないものですか？ 871 名前：デフォルトの名無しさん mailto:sage [2014/08/01(金) 09:24:52.78 ID:Z/VI2an6.net] どの程度のレベルで上手くやろうとしているのか分からないけど、単純にstring型に代入、表示は何も無しでも動作するが、Stringモジュールは多言語に対応しているわけではない。String.lengthなどは狙い通りには動かない。 ライブラリ(Batteries, Camomile)等を使えば日本語できる。 と思ってBatUTF8を弄ってみたが、containsとかiterとかでBatUChar.tを取り扱う必要があるくせに、 BatUChar.t型を作る方法が面倒だなあ。of_digitしか無い。BatUTF8.get "あ" 0で誤魔化せるが、迂遠。 872 名前：デフォルトの名無しさん [2014/08/28(木) 00:17:52.33 ID:KKzfTscW.net] SML/NJ version 110.77 リリース! バージョン番号を4.0にリセットする前に、数回のリリースがあって、その中に64bitサポート が含まれるらしいが、今回はbugfixのマイナー・リリースらしい。 外部関数の32bitコンパイルがそろそろサポートされなくなりつつあるので、64bitサポートが はやくリリースされてほしい。 873 名前：デフォルトの名無しさん mailto:sage [2014/08/28(木) 00:31:14.45 ID:3eVJnuNA.net] まだやってるんだな NJ 874 名前：デフォルトの名無しさん mailto:sage [2014/08/28(木) 22:23:43.51 ID:fRdOqM0/.net] camomileの使い方が全然わからないんですがどこを読めばいいんでしょうか 主に文字コード変換と正規表現について知りたいです 875 名前：デフォルトの名無しさん mailto:sage [2014/08/29(金) 22:52:22.51 ID:LjCjaXt3.net] いつの間にかOCaml4.02.0 876 名前：デフォルトの名無しさん [2014/08/30(土) 19:35:20.64 ID:8G53+yskN] age 877 名前：デフォルトの名無しさん [2014/08/30(土) 23:41:43.96 ID://K1VbLN.net] test 878 名前：デフォルトの名無しさん mailto:sage [2014/09/02(火) 08:32:32.40 ID:3nEDqgz+.net] OCamlのマニュアルにocamlbrowserがまだあるのはバグっすな ocamldoc/trunk/manual/cmds/Makefile line#2 remove "browser.tex " 879 名前：デフォルトの名無しさん [2014/09/02(火) 22:57:08.51 ID:h4iRRc1G.net] ocaml標準のlexでは日本語が扱えないのでulexに差し替えたらparserが死んだでござる。 ダメだこりゃ 880 名前：デフォルトの名無しさん mailto:sage [2014/09/16(火) 16:34:15.58 ID:smkPtKEd.net] >>868 ttps://github.com/darioteixeira/ccss/blob/master/src/ccss.ml#L25 menhirとulexを一緒に使う方法。 881 名前：デフォルトの名無しさん mailto:sage [2014/09/24(水) 22:11:44.77 ID:ChDiOOXp.net] ocaml 4.01.0で # Obj.size @@ Obj.repr 1 がバグるんだけど、理由わかる？ 882 名前：デフォルトの名無しさん mailto:sage [2014/09/24(水) 23:08:38.11 ID:wtmzOZEz.net] 仕様です。 ソースはおろかドキュメントすら読まずにObjを使うとはアホの極みです。 Chapter "Interfacing C with OCaml", Section 2..3 883 名前：デフォルトの名無しさん mailto:age [2014/09/26(金) 02:16:11.74 ID:63HfXufw.net] OCamlのすごさはもっと知られるべき #オブジェクト指向 や #関数型 は「敗者の道具」である itpro.nikkeibp.co.jp/atcl/watcher/14/334361/092200062/?ST=develop&amp;P=3 884 名前：デフォルトの名無しさん mailto:sage [2014/09/26(金) 11:58:16.90 ID:p4JSIuT/.net] >>872 これタイトルで損してる記事だろ 885 名前：デフォルトの名無しさん mailto:sage [2014/09/26(金) 11:59:36.06 ID:LJo7FzMV.net] みかかデータ、マンセー記事っぽかったけど 886 名前：デフォルトの名無しさん mailto:sage [2014/09/26(金) 12:42:39.46 ID:/S6uCtFc.net] 関数型とかマルチパラ代務とかドカタには無理。オブジェクトだって散々語られてようやく、いや未だ、か 一部の突出した集団以外は、ほかにどうしようもない人が沈殿する職業になってるイメージ 887 名前：デフォルトの名無しさん [2014/09/26(金) 20:12:51.02 ID:+dkMIegW.net] do構文の使用禁止の規約って全部>>=で書くってことなのだろうか。理由も含めて気になる。 888 名前：デフォルトの名無しさん mailto:sage [2014/09/26(金) 20:54:07.13 ID:mU/FSdzC.net] >>872 前半で散々オブジェクト指向をこきおろしておきながら、 中盤でOCamlを推すという意味不明な文章の論理の展開がある ML族を推すのなら Caml か SML にしないと一貫性が無いし、 Caml にオブジェクト指向を後付けした "O"Caml 開発時の判断は 今となっては流行に踊らされた大きな失敗であったと断罪すべき おまけに「個人的にOCamlがすごいと思う」とあるから何かと読んでみたら、 単なるパラメタ型多相の話でしかないことに笑ってしまった 「とがった」とか「すごい」とか、小学生の感想文とレベルは変わらない こんなポエム記事で給料をもらえるのだから、日経ITproの記者とは楽な職業だね >>873 タイトル以前の問題で、記事に中身が無くて話にならん >>876 ソースコード解析ツールなら言語処理系と似た構造になるから、 (一般的には副作用を模倣するために使われる)do記法を使う必要性は無いと思われ 889 名前：デフォルトの名無しさん [2014/09/26(金) 21:11:21.88 ID:+dkMIegW.net] ちょっとぐぐってみたらこういうページがあった。 www.haskell.org/haskellwiki/Do_notation_considered_harmful 890 名前：デフォルトの名無しさん mailto:sage [2014/09/26(金) 21:24:18.32 ID:rzI+KhbO.net] たしかにタイトルで損したみたいだな 891 名前：デフォルトの名無しさん mailto:sage [2014/09/27(土) 09:02:30.03 ID:aRJ76A2x.net] ああいう煽り記事読んでドキドキするのは思春期の子供だけ もっと大人向けの真面目に面白い記事は無いのか？ 892 名前：デフォルトの名無しさん mailto:sage [2014/09/27(土) 09:08:36.15 ID:V9AoMXji.net] 　もし完全無欠のプログラマが存在するのであれば、そうした方法論に頼らなくても、 完全に意図通りに動作するプログラムを頭から書き下していけばいいのです。 オブジェクト指向プログラミングや関数型プログラミングは、不完全な人間のために用意されたもの、 いわば「敗者の道具」といえます。 　もちろん、これは極端すぎる表現です。例えば、人は空を飛べないので飛行機に乗ります。 このことをもって「飛行機は敗者の道具である」と言う人はいません。 そうした意味では、オブジェクト指向プログラミングや関数型プログラミングを敗者の道具と呼ぶのは、 単なる言葉遊びにすぎません。人間が全知全能でないのは当たり前ですから。 完全に朝日脳だな 893 名前：デフォルトの名無しさん mailto:sage [2014/09/27(土) 17:11:59.10 ID:lJpImKEe.net] 産経信者も一緒に死ねカス 894 名前：デフォルトの名無しさん mailto:sage [2014/09/28(日) 11:09:58.25 ID:yTX/1oq/.net] 今回朝日がしでかしたことを誰かまとめてくれ 895 名前：デフォルトの名無しさん mailto:sage [2014/09/28(日) 12:21:46.09 ID:MFWVwvB9.net] スレ違いカスはお引き取り下さい 896 名前：デフォルトの名無しさん mailto:sage [2014/09/28(日) 12:22:16.97 ID:/z7vQ2zP.net] >>883 どいたかこ死亡 897 名前：デフォルトの名無しさん mailto:sage [2014/09/28(日) 12:38:21.08 ID:3fm9b2hk.net] 土井たか子がリアルに退いた過去になったのか 898 名前：デフォルトの名無しさん mailto:sage [2014/09/28(日) 12:39:24.70 ID:/z7vQ2zP.net] 土井がどいた過去 899 名前：デフォルトの名無しさん mailto:sage [2014/09/28(日) 12:40:25.54 ID:/z7vQ2zP.net] おんたけさんが噴火して おたけさんが逝った 900 名前：デフォルトの名無しさん mailto:sage [2014/10/07(火) 01:19:25.02 ID:RDe60glL.net] 対話環境を再起動せずに、リコンパイルしたライブラリをロードし直す方法ってありますか？ #load でもう一度ロードすると、シグニチャが異なると怒られてしまいます 901 名前：デフォルトの名無しさん mailto:sage [2014/11/07(金) 22:47:28.24 ID:jjvVlXlA.net] OCamlで型クラスを実現する方法ある？ あとカインドも 902 名前：デフォルトの名無しさん mailto:sage [2014/12/28(日) 01:38:33.30 ID:t9XFY33G.net] モジュールで型クラス的なものを作ることができる。便利とは言いがたいが 903 名前：デフォルトの名無しさん mailto:sage [2015/02/05(木) 08:14:28.48 ID:0RN82SQI.net] Haskell より OCaml の方が部分部分で好みなんだけど、 OCaml は最近何か進展とか発展とか無いのかな。 904 名前：デフォルトの名無しさん mailto:sage [2015/02/05(木) 13:15:20.83 ID:tkrhoEGU.net] 4.0出たばっかじゃなかったっけ 905 名前：デフォルトの名無しさん mailto:sage [2015/02/05(木) 14:50:21.24 ID:j+EW35P1.net] 岡村はソース醜いのがなあ 906 名前：デフォルトの名無しさん mailto:sage [2015/02/05(木) 19:17:09.87 ID:Omd6cUWA.net] >>894 たとえば？ 907 名前：デフォルトの名無しさん mailto:sage [2015/02/05(木) 20:40:25.53 ID:SFYHhnYx.net] 上から読んでいけば何しているのか分かるOCamlのソースは読みやすい部類 batteriesとかcoreといった大きいライブラリでも、モジュールと同名のファイル見ればいいだけなので、 どこに何があるのか探しやすい 基本的に手続き脳なので、haskellはどこから読めばいいのか分からない 悪名高いimport文のおかげでもっと読めない 908 名前：デフォルトの名無しさん [2015/02/05(木) 21:27:52.95 ID:uGoWQo5h.net] OCamlなんとなくソースの見た目のバランスが悪いっていうのはなんかわかるわ。 909 名前：894 mailto:sage [2015/02/06(金) 00:00:17.76 ID:mrZTa4bi.net] >>897 まさにそんなとこ。ぱっと見よくない 910 名前：デフォルトの名無しさん mailto:sage [2015/02/06(金) 11:46:04.54 ID:qvKWViHE.net] ソースが読みにくい言語は致命的に生産＆保守効率が悪い。 911 名前：デフォルトの名無しさん mailto:sage [2015/02/06(金) 11:56:15.06 ID:uqQOSJHn.net] >>898 ？ SMLならいいの？ 912 名前：デフォルトの名無しさん [2015/02/19(木) 21:32:44.77 ID:VWBqr6Q7.net] レコード型ある言語、多相レコードある言語、フィールドがファーストクラスにできる言語 おしえて。 ぜんぶもってるのがいい。 913 名前：デフォルトの名無しさん mailto:sage [2015/02/19(木) 22:31:13.58 ID:/rXoqLFu.net] >>901 SML# という Standard ML の処理系は「ぜんぶもってる」よ 　　# fun get_x {X = x, ...} = x; 　　val get_x = fn : ['a#{X: 'b}, 'b. 'a -> 'b] 　　# val point_2d = {X=1.0, Y=2.0}; 　　val point_2d = {X = 1, Y = 2} : {X: real, Y: real} 　　# val point_3d = {X=10.0, Y=20.0, Z=15.0}; 　　val point_3d = {X = 10, Y = 20, Z = 15} : {X: real, Y: real, Z: real} 　　# get_x point_2d; 　　val it = 1 : real 　　# get_x point_3d; 　　val it = 10 : real Standard ML の場合、前２つは言語仕様で規定されているからすべての処理系で利用できるけど、 最後の「フィールドがファーストクラス」であることは仕様では要求されていない たとえば SML/NJ という処理系だと、上記のコードはエラーになる 　　- fun get_x {X = x, ...} = x; 　　stdIn:1.2-1.28 Error: unresolved flex record 　　(can't tell what fields there are besides #X) SML# が独自に拡張したレコード型に関しては、SML# プロジェクトのホームページに 日本語の解説があるから、まず最初に読んでみるのがいいと思う ・SML#の拡張機能：レコード多相性 in プログラミング言語SML#解説 　www.pllab.riec.tohoku.ac.jp/smlsharp/docs/2.0/ja/Ch7.xhtml 914 名前：デフォルトの名無しさん [2015/02/19(木) 22:34:08.05 ID:VWBqr6Q7.net] ↑ありがと。 ほんとにぜんぶ！？　フィールドファーストクラスなのその言語？ 915 名前：デフォルトの名無しさん [2015/02/19(木) 22:35:11.19 ID:VWBqr6Q7.net] あ、かいてあった、ごめん。 916 名前：デフォルトの名無しさん [2015/02/19(木) 22:37:49.31 ID:VWBqr6Q7.net] SML/NJってやつは、フィールドがファーストじゃないとして、 SML#ってやつはファーストなの？ ほかにも>>900 全部持ってる言語とかあればおしえて。みんな。 917 名前：デフォルトの名無しさん [2015/02/20(金) 03:39:21.83 ID:V63A/fo0.net] １．レコード型、あるいは、それに類する型を持つ ２．レコード型（or それに類する型）の構造的部分型関係を扱える ３．できれば、多相レコード型とかそれと同様なのを持つ ４．できれば、レコードのフィールド名がファーストクラス ( x = [name = 3] : [name : int] なら　nameがファーストクラス） これカバーできる言語ない？ うえでおしえてもらったのしらべてみたけど SML/NJってのは１，２を満たしてそう SML#ってのが1,2,3を満たしてそう、 あと scalaが無名オブジェクトみたいなやつで1,2,3を満たしてそう？ 　　　型を一部か書かないとダメだけど ほかにこの辺でなんかいい言語ない？ clojure? ってのが4みたして相だけどコンパイル時に型ちぇっくしてくれないよねそれ？ 　　うーんなんかない？ 918 名前：デフォルトの名無しさん [2015/02/20(金) 09:34:49.39 ID:vrO8Sxqb.net] 1 919 名前：デフォルトの名無しさん mailto:sage [2015/02/20(金) 10:31:17.89 ID:N6pKHonh.net] じゃあ俺は2 920 名前：デフォルトの名無しさん mailto:sage [2015/02/20(金) 10:55:47.88 ID:sOgXDRpH.net] 宿題は自力でやれw 921 名前：デフォルトの名無しさん mailto:sage [2015/02/21(土) 00:55:59.35 ID:KgB/c0aN.net] >>906 Standard ML のレコード型は構造的部分型関係を持たないよ 構造的部分型関係を持つレコード型に類する型を持つのは OCaml や Java いわゆるオブジェクト指向におけるクラスとそれらの間の継承関係のこと また「多相レコード型」という用語の意味が「パラメタ型多相なレコード型」 であるならば、Standard ML は多相レコード型を持つことになる ここでパラメタ型多相は、Java だとジェネリクス(総称型)と呼ばれている 結論として、Standard ML(とその処理系 SML/NL および SML#)は１と３を満たす 次にファーストクラスについて、>>902 のコードにおける関数 get_x の定義だけど、 　「フィールドとはレコード値からフィールド値への写像(関数)である」 という関係に気付けば、その定義は以下のように簡潔になる 　　# val get_x = #X; 　　val get_x = fn : ['a#{X: 'b}, 'b. 'a -> 'b]　　(* SML/# *) つまりフィールド #X は(val宣言で)識別子に束縛したり、他の関数へ適用したり。 ある関数の評価結果として返すことができる こうした数値や文字列といった値と同等に扱える性質を指してファーストクラスと呼ぶ さらに上記の例は SML# だけど、SML/NJ も型システムが単純たから型推論に失敗するだけで、 データ型を明示的に宣言すれば関数 get_x を定義できる 　　- val get_x = #X : {X: real, Y: 'a} -> real; 　　val get_x = fn : {X:real, Y:'a} -> real　　　(* SML/NJ *) 型システムの制約とファーストクラスという性質をごっちゃにすべきではない まとめると、Standard ML(とそのすべての処理系)のフィールドはファーストクラスである 922 名前：デフォルトの名無しさん mailto:sage [2015/02/21(土) 01:03:27.14 ID:KaIHMFIz.net] > 　　- val get_x = #X : {X: real, Y: 'a} -> real; でもこの get_x って、>>902 の point_3d には使えないよね。 923 名前：デフォルトの名無しさん mailto:sage [2015/02/21(土) 01:45:43.43 ID:KgB/c0aN.net] うん、使えない それが >>910 で書いた(Standard ML言語仕様における)「型システム」の制約だね その制約を無くした SML# が特異なだけで、SML/NJ 以外の大半の SML 処理系に同じ制約がある 924 名前：デフォルトの名無しさん [2015/02/21(土) 06:39:28.04 ID:QYKbOsyjA] SML＃はstructual subtype関係　もつんじゃないの？↑のリンク先見る限りさ {l1:a, l2:b} < {l1:a} みたいに扱われないの？ javaの部分型関係は明示的にクラス名に順序関係付けただけのものだけじゃないの？ フィールドをファーストクラスとして扱えるような技があるのはうえの説明で理解した。Thanks. 思ってたより使えるなsml。 一方で、フィールドリテラル自体を、関数経由でなく、ファーストクラスとしてあつかう必要がある/そっちのほうが好ましい かもしれない 上のリンク先にある論文見るかぎり（例えば↓）そういういみでのファーストクラスフィールドは現状は扱ってないと書いてある。 SML# in Industry: A Practical ERP System Developmentn, # val get_x = #X; のXに実行時中に得られる文字列の値を使いたい String str = "myfld"; Rec rec = {str:"yaaa"}; みたいにさ。 うーんsmlでかくか、sml#つかうか、それともJava,Scala,でかくかまような。 型推論は必要ないかもしれないし、sml#ってどこまでメンテされるのか解らないし、SML/NJがいいかな、、しかし>>911がきになるな。 scalaのオブジェクトでレコードをシミュレートするか、、 ファーストクラスのフィールドを持つ、 レコードで構造的な部分型関係をもっているようなのがほしい。 925 名前：デフォルトの名無しさん [2015/02/21(土) 06:49:52.82 ID:QYKbOsyjA] というかここMLのすれだったのか、関数型言語全般かと思った。 926 名前：デフォルトの名無しさん mailto:sage [2015/02/21(土) 20:03:59.94 ID:KgB/c0aN.net] >>910 >Standard ML のレコード型は構造的部分型関係を持たないよ >構造的部分型関係を持つレコード型に類する型を持つのは OCaml や Java >いわゆるオブジェクト指向におけるクラスとそれらの間の継承関係のこと 自己レスだけど、この段落は間違いが含まれていたので訂正する まず： >Standard ML のレコード型は構造的部分型関係を持たないよ この文章は正しいけど、SML# は「構造的」部分型関係に類する型を持つ だから >>902 の関数 get_x は point_2d とpoint_3d のどちらにも適用できる(>>911) そして SML# だと、point_2d と point_3d のそれぞれの型について、 {X: real, Y:real} >= {X: real, Y:real, Z: real} という部分型関係を持ち、 ここで 関係 a >= b は「a の部分型が b である」ことを意味する 次に： >構造的部分型関係を持つレコード型に類する型を持つのは OCaml や Java >いわゆるオブジェクト指向におけるクラスとそれらの間の継承関係のこと この文章は完全な間違いで、正しくは 「「非構造的」部分型関係を持つレコード型に類する型を持つのは OCaml や Java (...後略)」になる たとえば(架空言語で)二次元座標上の点として 抽象クラス {} を定義し、その具象クラスとして {X軸: real, Y軸: real} および(原点からの相対的な) {角度: real, 距離: real} を定義できる ここで、２つの具象クラスのフィールド構成(=内部的構造)は全く異なるけれど、 {} >= {X軸: real, Y軸: real} および {} >= {角度: real, 距離: real} という部分型関係を持つ 927 名前：片山博文MZ ◆T6xkBnTXz7B0 mailto:sage [2015/03/06(金) 00:20:10.28 ID:Utx2vhNJ.net] MLで株取引してるヤツおる？ 928 名前：デフォルトの名無しさん mailto:sage [2015/03/06(金) 19:18:02.97 ID:z8rf25M9.net] >>916 https://www.janestreet.com/ 929 名前：デフォルトの名無しさん mailto:sage [2015/04/11(土) 09:23:04.09 ID:4MGH5loU.net] 『関数型プログラミングに目覚めた! IQ145の女子高校生の先輩から受けた特訓5日間』 www.amazon.co.jp/dp/4798043761/ なんか面白そう。 ベストセラー１位だし。 930 名前：デフォルトの名無しさん mailto:sage [2015/04/11(土) 11:09:33.39 ID:6e+Pm3/z.net] 著者名みてどん引き 931 名前：デフォルトの名無しさん mailto:sage [2015/04/11(土) 14:52:19.95 ID:kM0sKeAC.net] >>918 まーたハゲの人バカやってるのか 932 名前：デフォルトの名無しさん mailto:sage [2015/04/30(木) 22:13:28.21 ID:CyAc4DaC.net] これあわせで、qiitaで何ヶ月か前に宣伝始めたんだよな。 今回のMSの開発者向けイベントで、マルチプラットフォームアピールしてたから、F#にもチャンスが増えるかも。 933 名前：デフォルトの名無しさん mailto:sage [2015/06/21(日) 14:35:56.40 ID:jZdgW1bu.net] ML系でマルチスレッドプログラミングってどうやるの？ できれば、プリエンプティブで。 ノンプリなら、バインディングさえ準備できればpthreadとか使うだけで出来る? あと、マルチコアで動く処理系ってどんなのがありますか？ 934 名前：デフォルトの名無しさん [2015/06/21(日) 15:56:19.44 ID:h+2IwqsQ.net] ノンプリエンプティブな並行のフレームワークとしてはConcurrent ML、 マルチコアでプリエンプティブで動く処理系は…MultiMLton？使ったことないけど 935 名前：デフォルトの名無しさん mailto:sage [2015/06/21(日) 21:09:48.45 ID:jZdgW1bu.net] >>923 ありがとう！参考にしてみます。 936 名前：デフォルトの名無しさん mailto:sage [2015/06/22(月) 21:17:40.35 ID:NI+fH6po.net] SML/NJにCMLが入ってるみたいだけど 呼び出しかた自体が良く分かりませんでした,,, 937 名前：デフォルトの名無しさん mailto:sage [2015/06/22(月) 22:19:01.14 ID:OHI7eLtz.net] まだバイトコードだけなんで処理速度的にはメリット薄いがocaml-multicoreも開発中 https://github.com/ocamllabs/ocaml-multicore 諦めてF#が一番楽そう 938 名前：デフォルトの名無しさん mailto:sage [2015/07/04(土) 11:48:28.89 ID:D//5Uocc.net] 新潮10月号(9/7発売)に最新長編『モナドの領域』330枚一挙掲載 939 名前：デフォルトの名無しさん mailto:sage [2015/07/19(日) 15:49:50.98 ID:1yK25cK1.net] Haskell　ガチムチいい男 F# タマもサオも取ったニューハーフ OCaml タマは摘出、サオは残したオカマ Java ノン気の一般人 C　古風な一般人 C++ 団塊の世代の一般人 C#　ゆとり世代 940 名前：デフォルトの名無しさん mailto:sage [2015/08/01(土) 08:14:56.43 ID:keSdeN9Q.net] Ocamlってschemeのvaluesに相当するのないのですか？ 941 名前：デフォルトの名無しさん mailto:sage [2015/08/02(日) 05:19:00.73 ID:OeY6iFU6.net] + と+. って絶対に区別しないといけないのです？浮動小数と整数でコードわけるのめんどくさい 942 名前：デフォルトの名無しさん [2015/11/01(日) 12:21:17.11 ID:FL14q5P6.net] min-camlを読み解こうと思ってできれば小さく分けてコンパイルして確かめたいです parser.mly/lexer.mll/id.ml/syntax.ml/type.ml ここまでが最初の塊のようなのでocamlyacc/ocamllexしたあとインタプリタで #use "type.ml" #use "id.ml" #use "syntax.ml" #use "parser.ml" #use "lexer.ml" までやるとlexer.mlを読み込んでいるのにlexer.mllでエラーがでます どうやってインタプリタに読み込めばいいのでしょうか 943 名前：デフォルトの名無しさん mailto:sage [2016/03/06(日) 17:23:06.30 ID:LFfI8YF2.net] C++11とboostでmlと等価なこと出来るようになってない？ 944 名前：デフォルトの名無しさん mailto:sage [2016/03/07(月) 12:29:48.85 ID:IQOnvxBL.net] 楽にはなっても等価にはなってない 945 名前：デフォルトの名無しさん [2016/06/16(木) 23:45:45.68 ID:ogi8+DdB.net] OCaml覚えてHaxeのターゲット自分で書けるようになったらなあって思ったけど パット見何が書いてあるのか良くわからない 946 名前：デフォルトの名無しさん mailto:sage [2016/07/09(土) 07:50:35.12 ID:lXAilHyr.net] >>928 JavaScript 苦労人 947 名前：デフォルトの名無しさん mailto:sage [2016/07/22(金) 00:00:06.57 ID:Zm57F0sF.net] OCaml インストールしてたら �� が出てきた。 絵文字がこんなところにも進出してるとは…… 948 名前：デフォルトの名無しさん mailto:sage [2016/07/23(土) 20:35:22.56 ID:K/hEThar.net] F#はいまいち盛り上がらんのでOCamlに戻るか 949 名前：デフォルトの名無しさん mailto:sage [2016/07/31(日) 08:26:29.15 ID:FitcqrL7.net] OCamlには関数合成がないと訊くんですが、@@は合成ではないのですか 950 名前：デフォルトの名無しさん mailto:sage [2016/09/02(金) 10:19:54.63 ID:75SbB3DN.net] OCaml勉強しはじめの初心者の質問なんですが、どなたか教えてください https://ocaml.org/learn/tutorials/modules.ja.html ここの説明によると、行末の;;を避けるためみんなこう書く open Amodule let () = hello () ってあるんですが、これがまず理解できない ()ってunitの定数値というかリテラルみたいなものなのではないですか？ letで束縛する的なコードが書けることが腑に落ちないのですが・・・ 951 名前：デフォルトの名無しさん mailto:sage [2016/09/02(金) 13:34:30.13 ID:xfbClL/y.net] () って C の void みたいなもんやろ。 hello() の戻り値が void で両辺 void = void で OK みたいな。 952 名前：デフォルトの名無しさん mailto:sage [2016/09/02(金) 18:21:07.36 ID:anKFyHj7.net] =が等号ならそんな感じってするのですが、 let 変数名 = 値　って形に当てはまると unitの()って変数名であり値でもあるってこと？ とか考え出すと混乱して� 953 名前：ｵまいます･･･ [] [ここ壊れてます] 954 名前：デフォルトの名無しさん mailto:sage [2016/09/02(金) 18:22:47.76 ID:h+44ee0t.net] >>939 その用途の場合単なるエントリポイントなので()にそんなに意味はない。 let _ =〜でも動作するよ。 955 名前：デフォルトの名無しさん mailto:sage [2016/09/02(金) 19:39:25.71 ID:MnPjnRyk.net] >>941 letは代入ではなくパターンマッチ 普段は let パターン = 式 のパターンのところに新規の束縛(変数名)を一個置いてるだけ let 1 =2 とか書けてMatch_failureになるよ 956 名前：デフォルトの名無しさん mailto:sage [2016/09/02(金) 21:44:32.31 ID:TuW8Vb/N.net] 皆さんありがとう、何となく分かりました 実際に｢let x::xs = [1;2;3;4];;｣とかやるとx=1、xs=[2;3;4]とかなりますね letってのはmatchの単独パターンバージョンみたいな感じなんですね、きっと 957 名前：デフォルトの名無しさん mailto:sage [2016/09/03(土) 14:38:27.01 ID:xDozGH3Q.net] OCamlも捨てがたい qiita.com/HirofumiYashima/items/98d35b40dde12bbb5d6d 958 名前：デフォルトの名無しさん mailto:sage [2016/09/04(日) 01:00:38.68 ID:m/Nfzz4G.net] たびたび初心者的質問ですいません OCamlにはListやArrayに対するgroup by関数って無いんでしょうか？ 標準ライブラリ(ideoneやyukicoderで利用可能)の範囲内で存在すれば嬉しいんですが･･･ 959 名前：デフォルトの名無しさん mailto:sage [2016/09/04(日) 21:14:26.78 ID:ZFd7dRv3.net] List.filter : ('a -> bool) -> 'a list -> 'a list ならある。 Arrayにはないから自力で実装するかExtLibでも使おう。 っていうか標準ライブラリだったら自分で検索しようね。 馬鹿なの？ 960 名前：デフォルトの名無しさん mailto:sage [2016/09/04(日) 21:40:33.19 ID:m/Nfzz4G.net] >>947 標準ライブラリは探したけど、無かったから自作したよ 最近だとF#にしろscalaにしろgroupbyがあるのが当たり前だから、確認のため聞いてみた その程度の事情も察せないお前が馬鹿じゃねｗ 961 名前：デフォルトの名無しさん mailto:sage [2016/09/05(月) 20:50:26.74 ID:uZnwqH5s.net] 宿題や競プロでもやるんじゃなきゃCoreかBatteries入れないとやってられない 962 名前：デフォルトの名無しさん mailto:sage [2016/09/10(土) 11:17:54.65 ID:hxR4/XV4.net] 標準ライブラリゴミすぎ 963 名前：デフォルトの名無しさん mailto:sage [2016/09/10(土) 20:27:19.82 ID:vL431mpn.net] map reduceに相当するもんがあればいけるんじゃね 964 名前：デフォルトの名無しさん mailto:sage [2017/02/27(月) 20:54:32.60 ID:nBcs47LL.net] 「プログラミングの基礎」を買ってきてOcamlを始めようとしたのですがインタプリタが日本語を表示してくれません。ぐぐっても知識が足らず解決法がわからなくて途方に暮れています。誰か助けて… 965 名前：デフォルトの名無しさん mailto:sage [2017/02/27(月) 21:06:38.41 ID:nBcs47LL.net] 使ってる環境はubuntu16.10です。 966 名前：デフォルトの名無しさん mailto:sage [2017/02/28(火) 21:46:08.53 ID:hBxDt9/3.net] >>952解決しました 967 名前：デフォルトの名無しさん mailto:sage [2017/03/01(水) 12:55:25.91 ID:jLbNtrZK.net] どのようにして解決したのか書いてもらえると 同じ状況に陥った人の助けになるかも知れないわけだが… 968 名前：デフォルトの名無しさん mailto:sage [2017/03/01(水) 16:07:29.52 ID:ZtKy2rs9.net] >>955 解決策を2つ試しました まず、著者のサポートサイト（pllab.is.ocha.ac.jp/~asai/book/Linux.html）を見て、 　�@端末起動→上部メニューバーの端末タブ→文字コードの設定→日本語（EUC-JP）に設定してから 　�ALANG=en_US.ISO88591 ocamlを実行しましたが解決しませんでした。 次に、qiita.com/KenjiYamauchi/items/40aaab56b65777950877を参考にして、 　�@任意テキストエディタで~/（ホームディレクトリ配下の意味）に.ocamlinitというファイルを作り、 　�A「let printer ppf = Format.fprintf ppf "\"%s\"";; 　　 #install_printer printer」と記述した所、解決しました。 コンピュータやプログラミングに詳しい方にはかなりくどいと思いますが、多分自分のようなプログラミング初心者が読む本だと思うので念入りに書いておきます。 969 名前：デフォルトの名無しさん mailto:sage [2017/03/01(水) 16:10:35.17 ID:ZtKy2rs9.net] というか、誰も見てないと思ってた・・・ 970 名前：デフォルトの名無しさん mailto:sage [2017/03/01(水) 16:46:02.21 ID:8oSlLlXA.net] 乙 971 名前：デフォルトの名無しさん [2017/05/01(月) 06:16:47.63 ID:Cn5FkhjE.net] 純粋関数型データ構造が発売されたってのに盛り上がってないな 972 名前：デフォルトの名無しさん mailto:sage [2017/05/01(月) 08:26:08.29 ID:X5RvQ3AI.net] >>959 あれを読むような層は、既に原書で読んでるから気にもしないのでは。 973 名前：デフォルトの名無しさん mailto:sage [2017/05/30(火) 11:59:51.61 ID:heN7Y+lD.net] Real World OCaml で OCaml入門中です。 https://realworldocaml.org/v1/en/html/variables-and-functions.html ... As a result, when passing labeled functions as arguments, you need to take care to be consistent in your ordering of labeled arguments. 要は、ラベル付引数持ちの関数 は 引数の順序気にしなくて良くなるので便利だねって話だったのに、 そういう関数を 他の関数に引数として渡す時は 順序気にしないと型エラーになるかもよ、と。 現 (OCaml ver. 4.04.1) にそうなってるのはしょうがないとして、ユーザーは不満だったりしないんですかね？ 仕様変えてどこでも順序気にしなくてよくなるようにするのは何か不都合があるんでしょうか？ 974 名前：デフォルトの名無しさん mailto:sage [2017/05/31(水) 12:35:03.09 ID:nyiBm3r5.net] はい 975 名前：デフォルトの名無しさん mailto:sage [2017/06/02(金) 14:10:54.16 ID:v4wV8DId.net] >>959 書店で立ち読みしてみたんだけど微妙に扱っているデータ構造少なくね？ サンプルコードがStandard MLというのは驚いたが。 976 名前：デフォルトの名無しさん mailto:sage [2017/06/09(金) 03:43:45.31 ID:Z/PWf/cV.net] 末尾再帰がイメージできないんだけど 977 名前：デフォルトの名無しさん mailto:sage [2017/06/09(金) 10:56:43.72 ID:jgO9PNm3.net] 「なんでも再帰」や「なんでも継続」を読んでみたら？例はSchemeだが 978 名前：デフォルトの名無しさん [2017/06/09(金) 13:37:56.60 ID:3OdcZ+id.net] fact 0 = 1 fact n = n * (fact (n-1)) だと，fact (n-1)の再帰呼出の後で nとの掛け算を しなければならない．計算の最後（＝末尾）が再帰では なく乗算となる． fact2 0 n = n fact2 n k = fact2 (n-1) (n*x) として fact1 n = fact2 n 1 としておけば，fact2の計算の最後はfact2の 再帰呼出で，callをgotoに変えたループで実行できる． こんな感じでイメージできる？ 979 名前：デフォルトの名無しさん mailto:sage [2017/06/09(金) 14:50:46.84 ID:rw1qC18c.net] f_outer(n){ f_inner(n, accumulator){ if 1 == n accumulator else f_inner(n - 1, n * accumulator) } } accumulator に蓄積すれば？ 980 名前：965 mailto:sage [2017/06/09(金) 14:56:24.07 ID:rw1qC18c.net] f_outer(n){ f_inner(n, accumulator){ if 1 == n accumulator else f_inner(n - 1, n * accumulator) } return f_inner(n, 0) } 修正。 内部関数を、return するのが抜けていた 981 名前：デフォルトの名無しさん mailto:sage [2017/06/09(金) 16:51:44.77 ID:VCuqCK40.net] おおおわかった気がする ありがとう！ なんでも再起とやらも読んで見ることにする 982 名前：デフォルトの名無しさん [2017/06/09(金) 17:05:35.04 ID:3Dqy8l+L.net] >>968 return f_inner(n, 1) じゃない？ 983 名前：デフォルトの名無しさん mailto:sage [2017/06/25(日) 18:30:26.47 ID:v1ZjLLZV.net] OcamlとかCoqって名古屋以外でも大学での授業とか研究に使われているの？ 一時期のブームは去ったみたいだけど。 大学の情報学部とかの現状にはちょっとだけ興味がある。 そして流行に後れて今頃勉強している40代のオレ。 984 名前：デフォルトの名無しさん mailto:sage [2017/07/03(月) 09:21:46.88 ID:ipQv+IYB.net] 東大東北大お茶の水では使ってた 985 名前：デフォルトの名無しさん mailto:sage [2017/07/03(月) 17:44:24.93 ID:/M1wO8+Z.net] 授業で使ったのに広まらなかったということか。 つまり啓蒙に失敗したと。 986 名前：デフォルトの名無しさん mailto:sage [2017/07/04(火) 13:46:26.44 ID:VgVQ93XC.net] Occamなら知っとるぞよ？ 987 名前：デフォルトの名無しさん mailto:sage [2017/07/12(水) 14:21:04.56 ID:06OhWRFP.net] >973 広まらなかったというかキラーアプリがなかったというか… 結局Ocamlで作られたアプリで唯一プログラマ間で流行ったのがCoqなんじゃね？ 988 名前：デフォルトの名無しさん mailto:sage [2017/07/12(水) 14:33:02.68 ID:bLDjTsNM.net] OCaml は金融とかで使われてるんじゃ無かったか。 そういや Rust も最初は OCaml でコンパイラー書かれてたんだよな。 989 名前：デフォルトの名無しさん mailto:sage [2017/07/14(金) 23:08:50.92 ID:UJz0OWoz.net] 俺がocaml覚えたきっかけはとあるエロゲーのチートツールなんだが あれの作者がなぜそれを採用したかにはずごい興味ある 990 名前：デフォルトの名無しさん mailto:sage [2017/07/15(土) 12:06:36.80 ID:03i9G/wL.net] >>977 どっかの学生だったんじゃないの？兄妹ものエロゲだけに京大とか。 991 名前：デフォルトの名無しさん mailto:sage [2017/08/16(水) 21:00:55.34 ID:H/HIEf+2.net] (*´・ω・`*) 992 名前：デフォルトの名無しさん mailto:sage [2017/08/17(木) 13:02:39.82 ID:5mQoD0+b.net] (´・ω・｀) 993 名前：デフォルトの名無しさん mailto:sage [2017/09/01(金) 18:43:59.45 ID:RxXe6GrD.net] 8月はちょっと纏まった時間がとれたので、 「ソフトウェアの基礎」日本語訳の練習問題を解きすすめてみた。 まだPoly.vが終わった序盤だけどだいぶCoqに慣れてきた。 星三つrecommendedでもたまに難しい問題があるなー、というのが感想。 論理学の命題というのは高校・大学教育で慣れているだけで 見直してみると思ったよりも複雑な構造をしていたのだと今更ながらに感じた。 実務でCoqが要求されることは当分ないと思うけど、 逆変換の関数は少なからず実装することがあるので ときどき「Coｑ使って証明したい」という気分にはなるんだよなー。 994 名前：デフォルトの名無しさん mailto:sage [2017/09/05(火) 11:03:28.55 ID:a/Cb1ZW9.net] ocaml.jp/ 死んでるな…… > ( ! ) Parse error: syntax error, unexpected 'new' (T_NEW) in /virtual/osiire/public_html/lib/func.php on line 531 995 名前：デフォルトの名無しさん mailto:sage [2017/09/08(金) 14:02:07.35 ID:swD2wqBn.net] ocaml.jpは息してる？ 996 名前：デフォルトの名無しさん mailto:sage [2017/09/24(日) 12:35:45.27 ID:VL5Szw+L.net] いつまで死んでるんだよ 997 名前：デフォルトの名無しさん mailto:sage [2017/10/03(火) 00:31:09.35 ID:JZnIdnEQ.net] 復活した 998 名前：デフォルトの名無しさん mailto:sage [2017/10/03(火) 02:20:47.65 ID:upqeSfz9.net] 復活したのは良いけど、一言何か無いのかよ。誰が管理してるんだ。 999 名前：979 mailto:sage [2017/10/05(木) 12:08:08.18 ID:SZzrAZT5.net] 日本語訳の古さに苦戦しつつLogic.vまで進めていたところ…… 久しぶりに英語の本家を見たら、 なんかVol.1 〜 Vol.3に増えてるー！？ あまりの道のりの遠さに絶望しつつ内容を見ると、 旧版からホーア理論まわりをVol..2に分離し、 Vol.3は赤黒木等の少し高度なデータ構造について色々とCoqで証明して感じらしい（新規）。 ……く、面白そうじゃないか。 1000 名前：デフォルトの名無しさん mailto:sage [2017/10/05(木) 19:45:51.56 ID:72rIdNeW.net] >>981 リンクpls 1001 名前：デフォルトの名無しさん mailto:sage [2017/10/07(土) 12:06:25.63 ID:689sKi0/.net] >>988 https://softwarefoundations.cis.upenn.edu/ 1002 名前：979 mailto:sage [2017/10/30(月) 19:39:25.32 ID:asGH9s/c.net] ここ一ヶ月、旧くなった日本語版を捨て英語版に再挑戦してみた。 以前は出来るだけ写経していたが時間がかかり過ぎるので、 付属の.vファイルを直接書き換える方針に変更。 結構章立てと共に内容変わってるなぁ……追加された良問も多いし。 英語の非形式的証明は書く機会もなさそうだし、パスするか。 しかし、答えがWeb上に転がってないのは自習者には正直辛い。 どうもSICPみたいな標準教科書を目指してるっぽい？ こーゆうの(coq)を国立研究所で作れる国はやっぱり凄いと思う今日この頃。 1003 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:27:01.78 ID:wuKEf1Sh.net] a 1004 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:27:36.60 ID:wuKEf1Sh.net] sit 1005 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:27:56.41 ID:wuKEf1Sh.net] dot 1006 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:28:13.79 ID:wuKEf1Sh.net] egg 1007 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:28:31.25 ID:wuKEf1Sh.net] nø 1008 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:28:48.81 ID:wuKEf1Sh.net] this 1009 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:29:26.33 ID:wuKEf1Sh.net] combi 1010 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:30:08.09 ID:wuKEf1Sh.net] it 1011 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:30:42.85 ID:wuKEf1Sh.net] 2 1012 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:31:16.98 ID:wuKEf1Sh.net] ping 1013 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:32:05.81 ID:wuKEf1Sh.net] pong 1014 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 07:32:32.73 ID:wuKEf1Sh.net] wild 1015 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 3061日 0時間 17分 11秒 1016 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

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

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