- 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 ではどういう方法が一般的でしょうか？
|
 |
