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

関数型言語MLについて語るスレッドです。

MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても
優れています。

過去スレ
ＭＬ！！！！！！ http://pc.2ch.net/tech/kako/1002/10021/1002111468.html
関数型プログラミング言語ML http://pc5.2ch.net/tech/kako/1012/10124/1012445015.html
let t = 関数型プログラミング言語ML 2 http://pc5.2ch.net/test/read.cgi/tech/1058630709/

リンク集 http://www.summa.jp/lang/func/ml/

総本山
Standard ML http://www.smlnj.org/
Objective Caml http://caml.inria.fr/ocaml/

チュートリアル
Standard ML
http://www-2.cs.cmu.edu/afs/cs/usr/rwh/public/www/introsml/
http://www.dcs.napier.ac.uk/course-notes/sml/manual.html
http://www.dcs.ed.ac.uk/home/stg/NOTES/
http://yk.i.hosei.ac.jp/smlbook/smlbook.pdf
http://www.summa.jp/tutorial/plain/mlkouza.txt
Objective Caml
http://www.csc.vill.edu/~dmatusze/resources/ocaml/ocaml.html
http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml.html
http://www.biocaml.org/~bannai/ocaml-intro/
http://www.ocaml.jp/archive/document/

　　　_,ヾゝ'"'" " '"､,;
　　　,ﾗ　　　､_　　　〃,､
　　 ｲ　 r-'ｰﾞ　"ー‐､, ﾐ
　　 i!　 ,!　／ 　 　 ＼　|ﾐ
　　 ,j　i 　　 - 　 　 -　｜
　　 ,,(6 　　　 ,,.. ↓..,, 　| 　　＜モ２ワが２げっと！
　　　 メ,　　　　 ー　 　/ 　　　　　　
　　　　,.-'＼ ...,, ｰｰ､,／､ 　　　　　
　　　//:::;;:::::::::::::::::::::▽:::::::ヽ
　　　|||::::|::::E N E O S::|::::::|　
　　　|||::::|:::::::::::::::２:::::::::::|:::::|

おいおいいくらなんでもこのままだとdat落ちするぞ

んーじゃそれはちょっと悲しいので提議をしてみます。

ML 系言語だと SML/NJ と OCaml が有名だという認識なんですが、他の処理系
を使ってる人っていますか？　どう違うとかどう嬉しいとか、そもそもどうい
うのがあるかとか(Moscow ML くらいしか知らないんですが)。

>>4 LML(Lazy-ML)

>>1乙！…………と言いたいところだが、


このスレには消えて貰うわけにはいかないのですよ。
ちょっと立てるの早かったかな。でも乙。

MLってオブジェクト指向？
ってそんな話じゃない？

関数型言語だと書いてあるでしょうに

OCaml はオブジェクト指向もあり。

>現実的なソフトの開発にも使用できる実用性を備えた言語です。
使用できるじゃなくて、使用して開発「された」ソフトは
あるのでしょうか？

今の時代、関数型であろうと手続き型であろうと、
オブジェクト指向、STLとかないと非常に開発効率・保守が悪くて
使い物にならないわけだが。。。

>>11
STL って何？　C++ の Standard Template Library くらいしか思いつかない
んですけれど……。

説明するのも面倒だが
ただの用語聞きかじり厨だからほっとけ
STLが何の略なのかもわからなかったんだろ

>>4
知ってると思うが

http://www.faqs.org/faqs/meta-lang-faq/

正直、実装としてはSML/NJがもっとも汚いような気がするんだがどうよ？
Shaoのせいだと思うが。

SMLの中間語はCPS？
そのせいもあったりして。

きれいさだけで言えば、むしろCPSのほうが見やすいコンパイラにならないか？
効率を気にし始めると、CPSは妙な最適化が要るようになって汚くなるのかもしれんが。

mltonそこそこ速いみたいだけど
cygwin/gcc依存しまくってんなorz
単体実行ではOCamlかねえ

使ってる奴いないの？

というかMLで何すんの？

C++じゃいかんの？

使ってる奴いるよ？

というか聞いてどうすんの？

そもそも1行ずつあける必要あんの？

行間よめってことじゃない？

でもこの話題に行間もくそもありゃしない！

残念！

VMになってからのML Kitはどうなの？
regionには魅かれる

どうなの？
って自分で確かめろよ
そして報告しろ自作自演しろ！
ひといないんだから！

残念！

Haskellみたいな関数の合成ってMLにあるの？

>>23
>>22

>> 23
fun f x = x + 1;
fun g x = x * 2;
val h = f o g;

deforestationします。

>オブジェクト指向、STLとかないと非常に開発効率・保守が悪くて
>使い物にならないわけだが。。。
CとかCobolなんかそんなものが無くても
結構実用的な開発に利用されています。
ＭＬはどうなんでしょう？

http://www.npc.de/ocaml/linkdb/list.cgi?type=classification&frames=true

っていうかあ、もうちょっとレベルの高い話しよーぜー

ML KitっていつからVMになったの？　知らなかったorz

ここで Aransk 降臨！とかあるとおもしろんだが。

どうせ厨しか集まりませんからぁー！　残念！

>>27
>>29 orz

ttp://web.yl.is.s.u-tokyo.ac.jp/kobalab/kadai98/kadai3.html
より引用：
>通常のMLのプログラムに、Cでいうところのmalloc や
> free を自動的に挿入することにより、ガベージコレクション
>なしでもプログラムを走らせることができます。
これって正しくは：
「Cでいうところのmallocやfreeを自動的に挿入することに
よりガベージコレクション機能を実現しております。」
ではないでしょうか？

一時期研究したことがあるけれど、Region Inference は微妙です。
たとえば、tail call が tail call じゃなくなったりする。
let f x y =
letregion r in
...
f x' y'
end (* f の後で region 開放命令が必要 *)

はっきり言ってそのままでは使えないよ。Linear Type とかを使ってばしばし
destructive update するとかは最低必要。(もちろんコンパイラがやるんですけど。)

あと、GC と言ってよいのかもしれないけど、GC が動的に回収するのに対して、
region inference は静的にメモリを回収するコードを埋め込む違いがある。
(i.e. コンパイル時に malloc/free を埋め込む)
あと、リージョンはスタックで取るので、スタックの下のほうにゴミがあっても、
上の方が使われていたりすると破壊されない。リージョン推論がちゃんと出来てれば
防げるのかもしれんが、もう半分忘れた。

ここはおまえのメモ帳じゃねえんだ

ttp://www.ps.uni-sb.de/alice/
ついにalice1.0がリリースされましたが
これなんか専門家の皆さんの評価は
どうなんでしょう？

region関係は一時期D. Walker達が盛んにやっていたようだが、今はどうしてるんだろうね。

>>35
MorrisettとかのCycloneあたりにシフトした…のか？
WalkerもMorrisettも発表はよくきくけど、
L^3とかは複雑すぎてわけわかんなかったなあ。
コンパイラが推論するにしても、プログラマが挙動を理解できなさそう。

ところでML Kitって今はx86ネイティブコードを出すんだよね？
昔はHPだったが。VMって何？と思ってよく見たら、
3.9.0からバイトコードもあったんだ。へーへーへー。

http://www.itu.dk/research/mlkit/dist/NEWS-4.1.4

最近ＶＭ付きでない言語を探すほうが
難しい。それほどＶＭ技術が一般化した
ってことじゃないでしょうか。
上記のAliceもしかりです。
その内ハードディスクがＶＭだらけに
なって、バッティングを起こしたりしてね？W

さびれてんなあ。しょうがないなあ、つっこみ入れるよ…
>>37
・ML Kitは「言語」じゃねえだろ！
・「VM技術」ってなんだよ。VMにすること自体は技術なんてもんじゃねーよ。
・「ついに」とか言われたってAliceなんてしらねえよ（作者の一人は知ってたけど）。ざっと見たが何もオリジナリティないじゃん。
・JVM同士とかならともかく、違うバイトコードのVMがどうバッティングするんだよ！

>>38
>・ML Kitは「言語」じゃねえだろ！
誰が「言語」と発言されたのでしょうか？
>・「VM技術」ってなんだよ。VMにすること自体は技術なんてもんじゃねーよ。
RubyはVM化したいらしいけど、まだ出来ませんが…。
>・「ついに」とか言われたってAliceなんてしらねえよ
>（作者の一人は知ってたけど）。ざっと見たが何もオリジナリティないじゃん。
少なくともML Kitよりは活発にプロジェクトは動いているようです。
>・JVM同士とかならともかく、違うバイトコードのVMがどうバッティングするんだよ！
「バッティングを起こしたりしてね？W」貴女は最後のWを見落としましたね？
ジョークです。Ｗ　さすがにdllを組みこんだVMは存在しないでしょう。Ｗ
（Ｗを全角にしましたから…）

アホを相手にすんなよ。

>>40
黒田さん並におっとりしておりますんで…。

すまん
Aransk ＝ アホ

WWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW

畏れ多いことを発言してはいけません。
黒田さんは＝内親王の夫君となられるお方です。
黒田さん＝おっとり＝Aranskですからして、
おっとりー＞アホは黒田さんにも関数適用
されます。W

Aransk = アホ は真であるが
Aransk = おっとり は偽だな。

　ま　た　A　r　a　n　s　k　か

Aransk関係は↓でやれ

Aransk自身も↓から出てくるな

超準関数型言語Aransk
http://pc5.2ch.net/test/read.cgi/tech/1082176723/

Aranskに項と関数の区別がつけられないのはよくわかった。

>>25
ocaml だと、

let (^.^) f g = function x -> g (f x);
let h = f ^.^ g;;

みたいに定義しないとダメ? 標準装備じゃないの?

>>49
書き方はともかく、その通り。自分で定義しないといけない。

調べてみたが、missinglib で、そのような用途の演算子
% : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
%%: ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c
$ : ('a -> 'b) -> 'a -> 'b
が定義されていた。
http://gopher.quux.org:70/devel/missinglib/html/Composeoper.html
うーむ、しかし他はともかく $ は左結合だから使いづらい気がするが……。

>>50
Thanks!

ところで、話題になってる「VM」って抽象機械の事?
ocaml だと ZINC とか聞いたことあるけど、対応表キボン。

Java -> JavaVM
ocaml -> ZINC?
SML -> ???

>話題になってる「VM」って抽象機械の事?
１．中間コードを生成することにより
　　インタプリターの速度をアップする。
２．OS間の差異を吸収し、コーディングの
　　統一を図る。
これらを目的としたもの全て、MSのCLRも
含むと個人的には解釈しております。

それとこれまでの発言を踏まえると、
Aranskは現存の言語の実装を全くわかってないという結論が導かれるがよろしいか。

>>50
osiire:/tmp[58]>cat gext.ml
open Pcaml;;
EXTEND
expr: AFTER "apply"
[[ f = expr; "o"; g = expr -> <:expr< fun x -> $f$ ($g$ x) >> ]];
END;;
osiire:/tmp[59]>ocamlc -pp "camlp4o pa_extend.cmo q_MLast.cmo" -I +camlp4 -c gext.ml
osiire:/tmp[60]>cat o.ml
let f = fun x -> x + 1

let g = fun x -> x * 2

let _ =
let h = f o g in
Printf.printf "%d\n" (h 10)
;;
osiire:/tmp[61]>ocamlc -pp "camlp4o ./gext.cmo" -o o o.ml
osiire:/tmp[62]>./o
21
osiire:/tmp[63]>

MLtonの方向性について、何か言ってやって下さい。

http://mlton.org/Survey

ocaml のファンクターについて質問があります。

ファンクターでクラスを内包してるモジュールを輸入したいとき、与える実際
のクラスの型ってシグネチャーと正確に一致してる必要がありますか?

私が試した限りではそうなのですが、他の書き方で実現できたりしないのか
なー、と淡い期待を抱いています。

Objective Caml version 3.08.2

# module A = functor ( B : sig class c : object method x : int end end ) ->
struct class c' = object inherit B.c end end

module D = A (struct class c = object method x = 10 method y = 20 end end)
;;
Signature mismatch:
Modules do not match:
sig class c : object method x : int method y : int end end
is not included in
sig class c : object method x : int end end
Class declarations do not match:
class c : object method x : int method y : int end
does not match
class c : object method x : int end
The public method y cannot be hidden
#

val ならいける模様. method はダメなのか...うーむ...

Objective Caml version 3.08.2

# module A = functor ( B : sig class c : object method x : int end end ) ->
struct class c' = object inherit B.c end end

module D = A (struct class c = object method x = 10 val y = 20 end end)
;;
module A :
functor (B : sig class c : object method x : int end end) ->
sig class c' : object method x : int end end
module D : sig class c' : object method x : int end end
#

ここに書き込むのが適切なのかどうかわからんのだけど、
コンビネータ理論とラムダ計算の同等性がわからず、詰まってます。

λ|- M=N ⇔ CL+ (ζβ)|- M_cl = N_cl

らしいんだが、なんでζβじゃないといけないんだろう・・・

λにおけるη展開に相当する規則がCLにないから補う必要がある。

>>59
仰る通り、字面では分かるんですが、それはなぜかと言うところで…
というか、とある問題を解いていて、

(ζβ) ： Px → Qx ⇒ P = Q

という規則の代わりに

(ξ)：P→Q ⇒ λx.P → λx.Q

をCLに追加するだけでは不十分である事を示せ、とあって、
詰まっていたりします。

…うう、スレ違いスマソ。

すいません、規則書き間違えました。
(ζβ) ： Px ＝ Qx ⇒ P ＝ Q
(ξ)：P ＝ Q ⇒ λx.P ＝ λx.Q
でした。重ね重ねｽﾏｿ

つーか、プリミティブなλにη展開は存在しないんだが。

ここは横内さんの本を輪読するスレになりました。

　　　　　　　　 ＼( 　 　 　 　　 　 r―-､、
　　　　　　　　　　,r''^tヽ　　　　　 〉､::::::::ヽ 落ち着け！
　　　　　　　　　　t'L`､f)　　　　 ﾑ`''^)ヾj'′
　　　　　　　　　　ヽlヲノｰ､-、　 ,.ﾞ'r'''ﾆヽ､,
　　　　　　　　　 r'^ヽt,..,j:::ﾞi ヽ f,..つ'''ヽ､ヽ!
　　　　　　　　　 ﾞi､　ヾ._ﾞ)_;::-:'"r-ミ=　__):l.l
　　　　　　　 =ﾃ`'i,,ﾞ>､ '"_,,.ィ"`′ ノ´!;;;;;;l !
　　　　　　　 '"'^´l　 ﾞi｀1234､_ｨ'"´:::::l;;;;;;l l

>>61
(ξ)：P ＝ Q ⇒ λ^*x.P ＝ λ^*x.Q
の間違いじゃない?あとλかληかはっきりさせて。

p.44 練習問題2.6の2です。

>>63>>65>>66
ご明察で、横内さんの「プログラム意味論」（共立出版）
p.44 練習問題2.6の2です。

（ξ）の正しい定義は>>65さんの通り、ληではなくλです。
理解が足りてなかったので混乱させてしまいました。

CL+(ζβ)は強すぎじゃないか？
λη|-M=N iff CL+(ζβ)|-M_cl = N_cl
λ|-M=N iff CL+(ξ)|-M_cl = N_cl
という感じがするのだが(根拠はない)

横内さんの本の内容が上手くイメージできない…。
そんな話を聞くたびに代数の勉強を先に済ませておけばいいのにと思う。

よくよく話聞いてたら、プログラム意味論固有の部分が分からないというより
代数的考え方の準備が出来ていない事情が多々目に付いてしまう。

http://www.amazon.co.jp/exec/obidos/ASIN/4320026578/250-0355581-1002631
↑この本読んで苦労を感じるようなら、その前に↓この本買って読んどけ。悪いこと言わんから。
http://www.amazon.co.jp/exec/obidos/ASIN/4000056344/ref=lm_lb_15/250-0355581-1002631

俺にとっては横内さんの本はわかりにくかった。
GunterやMitchellを読んで、横内さんの言いたかったことがやっとわかった。

>>69
しかし、上で揉めてる話は純粋なラムダ計算周りで、代数系の知識はあまり
要らないんじゃないかと思うんだが。

GunterはSemantics of Programming Languagesのことだと思うが
http://www.amazon.co.jp/exec/obidos/ASIN/0262071436/qid=1109432532/sr=1-1/ref=sr_1_0_1/250-0355581-1002631

俺はWinskelの意味論入門書のほうが分かりやすくて絶対お奨め。
http://www.amazon.co.jp/exec/obidos/ASIN/0262731037/qid=1109431978/sr=1-1/ref=sr_1_10_1/250-0355581-1002631

横内さんの本よりよっぽど分かりやすい。
Mitchellは読んでないから知らん。　Schemeインタプリタとかどうでもいいし。。

Winskelも読んだが、あれは横内さんのような（というか元ねたのGunterのような）
カテゴリーに基づく意味論を扱ってなかったように思う。代わりに自分の専門
（の一つの）information systemに1章割いていたが。

まあWinskelは学部レベルの入門書、Gunterは専門書という位置づけだろうな。

アマゾンを見たら
『プログラム意味論』と『プログラミング言語の基礎理論』、どちらもおすすめ！
って書かれてるけど、横内さんの本を読もうという人が、まともに大堀さんの本など
読めないのでは？　日本語限定だと他にどうともしようがない事情も分かるけれど。

横内は誰にでもわかる本を作れない時点で低脳

せめて劣化コピーry

今、75が本質的な事を言った

スレのレベル低下中・・・

今、78が本質的な事を言った

スレの法則が乱れる！

OCamlの勉強をはじめてみようと思うんだが、OCamlのユーザーって日本に何人ぐらいいるもんなの？

86人。
http://www.freeml.com/info/ocaml@freeml.com

う～ん、OCamlをインストールしてちょっと触ってみた感想として、標準で
グラフィックスライブラリやパーサージェネレータが付属していて、
よく出来てそうな環境という印象だったんだけど、あんまり流行ってないのかな。

例外処理とかどうなってんの？
WindowsのOCamlはSEHとか使ってんの？

min-caml
http://min-caml.sourceforge.net/

>>81
表には書いていないけれど、私はOCamlで作ったツールとかも公開したりしている。

おれも心のなかでは公開してるよ

>>84
使ってない。
つまりエラー処理グダグダ。

www.ocaml.org　が 404 Not Found なんだけど……なにかあったのか？

http://caml.inria.fr/archives/200503/msg00025.html

>>69？
http://science3.2ch.net/test/read.cgi/math/1108516200/124

ﾍﾞﾂﾉﾋﾄﾃﾞｽ >>91

スルーされてるが>>85に期待。
いくら貰えたの？

現段階ではSparcマシンが必要七日

http://www.ipa.go.jp/jinzai/esp/2004mito1/gaiyou/6-4.html

>>93　ウハァー、400万円ナリ～

ATLを生成してGCCのバックエンドを使えばいいと思うんだけど、難しいの?

ATL（Active Template Library）?

RTLですた。

・RTL(Register Transfer Level)
　ＨＤＬの記述形式。レジスタの振る舞いに注目し、回路構成を記述。

難しそうね。

ゲートレベルよりははるかに楽。

楽？

いつのまにか http://caml.inria.fr/ のデザインが一新されてる。
いつのまにか http://www.ocaml.org/ が caml.inria.fr にリダイレクトされるようになってる。

おフランス万歳

>>102
使いやすいデザインになったね。

>>102
つーか入れないんですが。

ドキュメント類が3.07のときのやつに戻ってるような。。。

>>102
IEからだとファイルのダウンロードになってしまう。
おれの環境がおかしいのか？

>>107
たしかになるね。
http://caml.inria.fr/index.en.html
だと正しく見えるみたい。

OCaml 3.08.3
http://caml.inria.fr/ocaml/release.en.html
バグフィックス版らしい。

MLってどこがいいのよ？

動的型付けのLispみたくパワフルでないし、
JAVAみたいにわかりやすくもないし、
Cみたいに高速でもないんでしょ？

>>110
型について、LispとMLでどちらがパワフルかといったらMLだろうなぁ…
解かりやすさについては…う～ん、解かりやすさってなんだろう…それが解からない。
C++よりも速いがCよりは遅いと巷では言われています。

そうして個々に見るといい言語なんだよなML。

しかし日陰者。

>>112
OCaml!!!!!!!!!!!!!!!

これって日本語回りはどんなもんです？

>>114
http://www.ocaml.jp/archive/document/ocamlkf.html

むしろ Camomile では？

MLがマイナーな理由の１つに、
コード生成アルゴリズムがほとんど認知されていないという事があると思う。
どういう記述をすれば良いコードが生成されるとかいった情報。

例えばC言語は高級アセンブラと言われるぐらい単純で、
実際アセンブラからCへの写像も簡単だし、
そういった情報は豊富にあるから、C＝速いという結論へすぐに
帰着することができるけど、MLではベンチマークサイトの結果等から漠然と
「速いらしい」という認識しかしてない人が多いと思う。
ほとんどの人がなぜ速いのか？、まで追求しない。
これは型推論からなるMLの基礎理論のハードルが他と比べて高いのが１つの原因だと思う。
言語処理系がコードを処理していく行程というか、仕組み想像できないゆえに敬遠される。
きっとMLにはGCが存在する事さえあやふやな人もいるはず。
CやLISPを自作できるという人はかなりの人数に上ると思うけど、
MLはどうかな？たぶんここには一人もいないよね。

minicaml!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

前半は正しいっぽいのに後半はむちゃくちゃだな。

>CやLISPを自作できるという人はかなりの人数に上ると思うけど、
>MLはどうかな？たぶんここには一人もいないよね。

MLがその力を真に発揮するのは言語処理系を書くときだよ。
MLマニアの大半もそういうことに興味あるやつだと思ってたけど…。
むしろCの処理系を自作できることのほうがすごい。

>>119
処理系書くとかいう話ではないんだけど。

>>111
> 型について、LispとMLでどちらがパワフルかといったらMLだろうなぁ…

？？？>>110は型自体がパワフルなんて言ってないと思うんだけど？？？

>>117
言ってることはまさにその通りだと思うんだけど、みんなが知りたい
そういったコアな情報を分かりやすく公開してくれる熱心なグルが
現れん限り状況は改善しそうにないな。

アホか。大学で普通にならうっちゅうねん。

↑馬鹿注意

むしろ学校でしか縁がないとも言えるな。

Windowsでちゃんとした実行ファイルが作れるMLってありますか？

http://www.geocities.jp/tom1029384/

↑何？怖くて見れません。

桜まつり？？

あ、OCamlにします。

今話題の岡村がどんなものなのかざっと知るのに
よいページを教えてください

>>115
亀だけど㌧

家かえって早速インスコ。
軽く触ってみた。。。第一印象は「いい感じ。」

ここのところPython三昧だったけど、ちょっと浮気してみようかな、と思ってみたり。。。
（ググッたらｗｘCamlもあるし。ちょっと期待）

>> 126
Moscow MLのWindows版を使ってるよ。
開発元のページにあるやつ。
http://www.dina.kvl.dk/~sestoft/mosml.html

>>126
http://mlton.org/Features

http://www.faqs.org/faqs/meta-lang-faq/

http://www.ps.uni-sb.de/alice/
http://www.lfcs.inf.ed.ac.uk/software/polyml/
http://www.itu.dk/research/mlkit/
http://www.dina.dk/~sestoft/mosml.html
http://mlton.org/
http://www.smlnj.org/
http://caml.inria.fr/
http://www.cs.bham.ac.uk/research/poplog/freepoplog.html
http://www.funet.fi/pub/languages/ml/sml2c/
http://www.dcs.ed.ac.uk/home/mlj/
http://www.ps.uni-sb.de/hamlet/
http://www.cl.cam.ac.uk/Research/TSG/SMLNET/

結構いっぱいあるよね。

>>136
下の方のは実用目的ではないよね。
(その分、処理系の存在自体が楽し感じる)

まぁ、>>126 の用途もよく分らないけど。

>>>135
その中に日本語のサイトが１つも無いのは仕様ですか

>>131
http://min-caml.sourceforge.net/index2.html

>>135 追加
http://www-2.cs.cmu.edu/~fox/tilt.html
http://www.cs.cornell.edu/home/jgm/tilt.html

SML には珍しく Native Thread が使える?
SPARC or ALPHA or SML/NJ で動くらしい。

●パターンマッチングを、変数の値を使ってやりたいのですができないでしょうか？
0 と size と、それ以外の値でパターンマッチングをやりたいです。

let f size i = match i with
0 -> print_endline "zero"
| size -> print_int size; print_newline (); print_int i; print_newline ()
| _ -> print_endline "_";;

とやると、どうやら size に i の値が束縛されてしまい、0 の場合以外は必ず二番目のケースに
マッチしてしまいます。
Warning: this match case is unused. という警告も出ます。関数の型は
val f : 'a -> int -> unit = <fun> で、 size が使われていない感じです。

#f 5 2;;
は
2
2
を表示します。

●(int * int) と int * int の違いが今一つ理解できないんですけど、教えてプリーズ

>>140
それはパターンマッチを使うべきではない気がする。というか、できない。

if i = 0 then "zero"
else if i = size then "size"
else "_"

(int * int) と int * int は同じでしょう?
(int * int) list と int * int list は違うけど。

>>141
訂正。when 使えばできるかも。

match i with
0 -> "zero"
| _ when i = size -> "size"
| _ -> "_"

>>140 >>141
それ単体では同じだけど
type t1 = A of (int * int) と type t2 = B of int * int は微妙に違う。
match (A (1, 1)) with A p -> (fst p) はできるけど
match (B (1, 1)) with B p -> (fst p) はできない。
大して深い意味がある違いじゃないと思うけどね。

>>141,142
ひとまず if を使う実装にしたんですが、月曜にでも試してみます。
>>143
# let f () = (1,2);;
val f : unit -> int * int = <fun>

# type t1 = A of int * int | B of (int * int);;
type t1 = A of int * int | B of (int * int)
のとき、
# B (f ());;
- : t1 = B (1, 2)
# A (f ());;
Characters 0-8:
A (f ());;
^^^^^^^^
The constructor A expects 2 argument(s), but is here applied to 1 argument(s)
となって、悩んでます。

A of int * int の A は、int 型の引数を 2 つとる構築子。
B of (int * int) の B は、(int * int) 型の引数を 1 つとる構築子。

A (f ()) は (f ()) という (int * int) 型の引数を 1 つしか与えてないからだめ。
let (v1, v2) = f () in A (v1, v2) と書けばいい。

こういう仕様になってる理由はよくわからん。
歴史的な理由か実装上の都合かなと思ってるけど、誰か知ってる？

>>143 >> 144
そんな現象があるとは知りませんでした。

しかし、ものすごく直観に反するんですけど。理由がないならコンパイラを修
正すべきだ。

typing/typecore.ml のこのあたりかな?

let sargs =
match sarg with
None -> []
| Some {pexp_desc = Pexp_tuple sel} when explicit_arity -> sel
| Some {pexp_desc = Pexp_tuple sel} when constr.cstr_arity > 1 -> sel
| Some se -> [se] in
if List.length sargs <> constr.cstr_arity then
raise(Error(loc, Constructor_arity_mismatch
(lid, constr.cstr_arity, List.length sargs)));

たぶん int * int のときは、constr.cstr_arity が 2 で、sargs が [se] に
なるので mismatch なんでしょう。

どう直すべき?

data constructorのarityの定義が気になる。
直感的には、すべてのdata constructorのarityは1だと思うのだが…。
A of int * intはintの組を1つ引数とするものだと思うし。

気持ちはわかる。けど本当に大した理由がないことなのかは自信が持てない。

A of int * int のほうが tuple を構築、分解しなくてすむ分
メモリ効率や実行効率が若干いいかも。
そういうのは最適化の方でやってほしい気もするけど。

コンパイラ直すなら ad-hoc に parsing/parser.mly の
constructor_arguments:
/*empty*/ { [] }
| OF core_type_list { List.rev $2 }
を
| OF core_type { [$2] }
とする方がいいんじゃないかな。
これすると camlp4 のコンパイルが通らなくなったけど。
気合いと暇があるなら ast 書き換える方向で。

A of int * intの場合（かっこがつかない場合）、
parse時にちょっとデータ構造を最適化しているが、
matchの方を修正し忘れている…という可能性もあるね。

>>149
よくわかんないけどバグってこと？
>>143 の例で言うと、
The constructor B expects 2 argument(s), but is here applied to 1 argument(s)
なんていうエラーメッセージが出るくらいだから、
多分バグではなくて意図した仕様と動作みたいだよ。

何を意図しとるんだ？

それはOCamlの有名な、というか悪名だかい仕様。148のいってること↓が正解。

> A of int * int のほうが tuple を構築、分解しなくてすむ分
> メモリ効率や実行効率が若干いいかも。
> そういうのは最適化の方でやってほしい気もするけど。

Unboxingっていう最適化を実装すればよいんだが、多相性との関係で意外と大変なので、OCamlではやってない。
MLtonあたりならやってそうだけど。

どこで有名なんですか？

俺の周囲と脳内。

…ってのは冗談で

http://caml.inria.fr//cgi-bin/search.en.cgi?words=the+constructor+expects+argument%28s%29+but+is+here+applied+to+argument%28s%29&corpus=all&mode=default&page=1&number=10

とか。ちょっと関係ないのもヒットしてるけど。

詳しいことは知らんが、マニュアルに

> The type expression ( typexpr ) denotes the same type as typexpr.

と書いてある以上、int * intと(int * int)で動作が異なるのを仕様と言い張るのは
無理があると思う。そもそも()はtype levelのconstructorではないだろう。

それと揚げ足を取るようだが、最適化の実装の有無で言語仕様が変わるのはおかしい。

OCamlは.+とか、汚い部分を消していけばよいと思う。

Microsoft の F# ってどうなの？調べるのめんどいからおせーて。

構文は SML の方が読み易い様に感じるけど、処理系は OCaml の方が機能豊富だね。

言語仕様を見るとHaskellの方がはるかに機能的に見えるのだけど、実用面を見るとHaskellはボロボロ。
結局、開発するならOCamlに軍配があがるんだよね。

おい。疎外されてるぞ。
ttp://codezine.jp/a/default.aspx?cid=137

>>155
> 詳しいことは知らんが、マニュアルに
> > The type expression ( typexpr ) denotes the same type as typexpr.
> と書いてある以上、

それは鋭いね。実装のバグとも、マニュアルのバグともいえるかも。バグレポート出そうか？

ちなみに言語仕様が「効率よく実装できるかどうか」に影響されることは、
どんな言語でも大なり小なりあるだろう。

>>156
それも俺の中ではFAQだが、Haskellのtype classみたいな大掛かりな仕組みを入れるか、
SMLみたく妙にad hocなルールを決めるか、どっちかになってしまう。

>>161
演算子のoverloadingは、genericで解決できないのかな？

>>162
http://caml.inria.fr/pub/ml-archives/caml-list/2005/04/b9b438a6eff9dfe5b37baa3d01222d48.en.html

ってgcamlのことか。じゃあよく知らんｽﾏｿ

>>156
単純に消すだけなら、camlp4使えばできる。
http://martin.jambon.free.fr/extend-ocaml-syntax.html

let x = FLOAT 3/2 - sqrt (1/3)

みたいな感じ。

Camlp4のp4て何？

Camlp4 is a Pre-Processor-Pretty-Printer for OCaml
http://caml.inria.fr/pub/docs/manual-camlp4/manual001.html

>>166
Pentium4

＞１６６
ばーか

p4 はフランスの徴兵検査でお馬鹿か何かで不適格になった時の分類らしいです。

どーも campl4 と手が動いて困る。campl4 だけバイナリ名が ocaml から
始まってないのも好かん。改造するときに統一的に名前が変えられない、、、

リネームしたら、ええんちゃう・・・？

>>162
汚いです。すいません。

>>171
ocaml を改造して acaml を作るとすると、
ocaml => acaml
ocamlc => acamlc
ocamlopt => acamlopt
ocamldep => acamldep
なんだけど、
camlp4 camlp4o camlp4r ocpp
は統一的な名前変更が出来ん。作者が違うからしょうがないけど、
ocamlなんとか って名前にしてほしい。

それ苦情申し立てした方がいいね
名前ごときで使えないなんてもったいない

いつのまにかGCaml3.xキテター！
ttp://www.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml/index.html

>>175
すごい! すばらしい!

で、早速コンパイルしたいのですが、
./configure; gmake world すると、.depend がないとか言われてしまいます...

どなたかご助言下さい

今日付けの version ではなおっているみたい。

どうもfuruseさんはこのスレッドをチェックしているような気がしてならない。
それはそうとGJ!

別にGJじゃないよ

普通チェックすると思う。

>>177
無事コンパイルできました。ありがとうございました。

README.gcaml には Native code compiler が未実装だと書いてあるのですが、
手元で少し試してみると、gcamlopt も動くじゃないですか。すばらしい。

まずは generic とか run time type とかどうやって使う物なのか、お勉強し
なきゃ。

eclipse&camlclisp初めて触ってみたけど、graphics.cma他外部ライブラリ
をリンクする方法が判らない…orz

ここでぶつぶつ言ってないで、 camlclisp の作者に聞けばいいじゃん。

いいじゃん、いいじゃん

>183
失礼しました。で調べましたら
>ttp://sourceforge.net/forum/forum.php?thread_id=1143008&forum_id=371922
>Sorry, but this is not possible with the current version of the plugin. The next version will address this and other features.

つーことでしたので、所望のライブラリを勝手にリンクするスクリプトを介してコンパイルするように指定して
取り敢えずどうにか致しました

といいつつ、camlclispは現状全然便利ｸﾅｲ(ﾟДﾟ)
てことで、これ↓

ttp://www.pps.jussieu.fr/~emmanuel/Public/Dev/eclipse/

を使ってみた…結構高機能・便利そうでいい感じだけど
ﾌﾗﾝｽ語のﾄﾞｷｭﾒﾝﾄ読めないので、山勘でしか使えてない…orz

コレを気におフランスの言葉を覚えるざます

>> 186
ドキュメント書いているのはどうやら学生さんみたいね、、、
だから、英訳はすぐには期待できないかな？
Chailloux は O'Reilly O'Caml 本の著者。
気さくなオッサンだから彼に英語で質問するのが吉。

merd ってのを最近見つけたんだけど、
どなたか詳しい方いますか？
現在開発されてますか？

>188
ご助言ありがとうございます

解んない事が明確なら質問しようとかも思いまするが
ﾌﾗﾝｽ語の入門書と辞書でも買ってもう少し足掻いてみようかと。
その前に社内にいるﾌﾗﾝｽの学生さんに掻い摘んで読んで貰おうとか

それ以前に、山勘で使えてると思っているのも思い過ごしかもしれないし… orz

>>186 フランス語を英語にできますよ
http://www.freetranslation.com/

自分はフランス語を1文字も読めません…

つーかフランス語のフォントって英語と違うよね？

はぁ？

関数型言語コミュニティには>193のようなイジワルな人が多い気がする。

そう言う人はどこにでもいるけど、人数が少ないから目立つだけのような気がする。
Javaスレで同じようなことが起きても誰かが答えて終わりじゃん。

>>189
http://www.kmonos.net/alang/etc/merd.php
これだっけ。

変った型システムの言語というイメージが。おもしろそうなので調べようとずっと思ってたけど結局ちゃんと調べてないなぁ。
開発はあまり進んでいない様子。

失礼。
関数型言語全般のスレと間違えました。

merdは確かOCamlで書かれてるし、別にスレ違いというほどでもないと思うけど。
漏れもちゃんと調べてはいないなぁ。

コーダ臭ぇスレだなｗ

＞変った型システムの言語というイメージ

おぃおぃｗ
Haskelやった事ないだろｗ

関数型プログラミング言語Haskell Part3
http://pc8.2ch.net/test/read.cgi/tech/1076418993/

>>199
haskell知らなかったらコーダなの？

>>199
Haskellのlはふたつ。
ところで Haskell には SoftTyping はないと思うんだけど。

ゴールデンウィークなんだ
察してやれ

幸田です。
この言語は基幹系システムを組むのに向いていますか？

>>204
OCamlは向いてる

Goferでいいんじゃね？
２ちゃんに常駐してるようなのには。

>>204-205
　脳タリン

>>207
なんだと！
だったらお前の意見を言ってみやがれ

基幹系というと、あれか。
ボラクルに繋いだり、バッチ処理をやったり・・・

リレーショナルなデータベースから何から何までOCamlで組むんだよ。

ML系の言語は、当初、定理証明系の記述言語として作成されたものなので、
汎用的プログラミングには向いていませんでした。
その後、HOPEの型推論等を取り入れた、汎用の関数型言語として、
Caml、SML等が開発されました。

特にCamlは、Category Abstract Machineと呼ぶ抽象機械の上に実装されており、
実用プログラミング言語としての地位を目指しています。

まぁ目指すだけならボンクラにもできるわけだがｗ

>>208
最近の中学生って暑いな

>>211
んなこた知ってんだよ！！だから何だってんだよ。
>>204の答えになってねぇ。

バカは相手にしない。

表面しか見ないで発言する奴もバカ。

>>216
本当にお願いだからそういうレスでスレを腐らせるのはやめてくれ

俺の学生時代の記憶では、
十数年前にmirandaかなんかでOSとか実用分野のプログラムを記述する試みがあったな。
SMLやgoferがでる前。

>>217(=>>215)
人のことが言えるのか？自分も悪いと思ったら謝れ！！！！

職場の古老が言うには、ＲＤＢのＳＱＬ言語は、関連代数を扱う宣言型言語で、
ライバルはPrologという大変トンがった言語だそうな(笑。

歴史的経緯を度外視すると、COBOLのお仲間に見えちまうんだが

ObjectDB商売やXMLDB商売、Alt RDB商売も、
パッとしないねぇ

いま、引っ張り出してきた。

1987～1990年頃の話だから、SMLより後、SML NJの前あたりか。

[Tur90] D.A. Turner. An approach to functional operating systems. In D.A. Turner, editor, Research Topics in Functional Programming, pages 199--218. Addison-Welsey, 1990.

関数型言語でDatabase作ろうって話も、同じ本に載ってた。

[Bun90]
P. Buneman. Functional Programming and Databases. In D. Turner, editor, Research Topics in Functional Programming, pages 155--169. Addison-Wesley, 1990.

> 職場の古老が言うには、ＲＤＢのＳＱＬ言語は、関連代数を扱う宣言型言語で、
実際そうだよねえ。SQLじゃ手続きは一切記述しないし。

> 歴史的経緯を度外視すると、COBOLのお仲間に見えちまうんだが
計算機科学の基本的な勉強してないと、そう見える場合もあるってことですね。

DDLは手続きそのものだけどね。

> > 歴史的経緯を度外視すると、COBOLのお仲間に見えちまうんだが
> 計算機科学の基本的な勉強してないと、そう見える場合もあるってことですね。

おバカ？

>>222-223
monadic I/O 以前の話のような気がする。
そして、OCamlもSML NJも monadic I/Oなど使っちゃいないのさ（ｗ

つまりML系関数型言語 特にOCalmlで　実用プログラミングをするのに、
大きな障害はないんじゃないか、と。(やる人が居るかどうかは別として)

やる人など居ない

>>225
> DDLは手続きそのものだけどね。
まさか。宣言型の意味がまるでわかってないの？

中学生の煽りｶｯｺｲｲ

DDLってなんの略？

DMLってなんの略？

関数型言語のスレで暴れるDBエンジニア、ｶｯｺｲｲ

CAMLでグタグタな事務プログラミングする人柱、きぼんぬ

DDLの記述は宣言的だが、
DDLの実行は、関数定義の変更と同様、手続き的になされる

ということ

> > 職場の古老が言うには、ＲＤＢのＳＱＬ言語は、関連代数を扱う宣言型言語で、
> 実際そうだよねえ。SQLじゃ手続きは一切記述しないし。

まさか。実際のRDBでSQL使った事ないだろ。

SQL-99のPSMの件だな。

>>226
Haskelじゃなくて、Clean流のmonadic I/Oね。

訂正

>>226
Haskelのmonadic I/Oじゃなくて、
Clean I/O につながった話だね

>>211
ご存知でしたら教えて頂きたいのですが、ocamlって今でもcamに基づいて実装されてるんですか？
pushとかcarとかswapとか。
今の高レベルの言語機能をcamで実現するのは結構大変かもと思うのですが…

SQL で手続き的な部分ってトランザクションとかストアドプロシージャとか?
歴史的経緯を考えれば SQL は宣言型言語と言って間違いは無いと思うけど。

>>238
私はOcamlはほとんど触ってないので存じません。(Linuxでmmm使った位かな)
先ほど調べたら、OCamlはネイティブコード版とバイトコード版があって、
バイトコード版は XleroyさんのZINC仮想機械で動く、ということらしいですね。

　ZINC report, http://pauillac.inria.fr/~xleroy/publi/ZINC.ps.gz

>>239
当初の理念はどうであれ、現状は違うって話でしょ。

宣言型とか関数型という概念自体、当時とは随分変わってきている。
最近の定義だと
　純関数型：　　変数への(破壊)代入を許さない
　参照透過性： 処理の順番によらず、同じ結果が得られる

等々、SQLの INSERT, UPDATE, DELETE操作自体、
宣言型と言い難いような気がする。

他方、SQLの仕様自体もどんどん変化して、
おっしゃる通りの手続き要素がSQLの内側に入り込んできている。

camlも最初はcamに基づいていたが、今は全く使っていない。

>>240
> 宣言型とか関数型という概念自体、当時とは随分変わってきている。
ついには宣言型とか関数型とをごっちゃにするヤツまで登場か。

>>242
部外者だが、おかしいぞ

えぇーと、じゃぁ「宣言型」と「関数型」と「手続型」の区別を
定義してみて。

「宣言型」 ttp://en.wikipedia.org/wiki/Declarative_programming
「関数型」 ttp://en.wikipedia.org/wiki/Functional_programming
「手続型」
ttp://en.wikipedia.org/wiki/Procedural_programming
ttp://en.wikipedia.org/wiki/Imperative_programming

宣言型＝｛論理型, 関数型}

SQLは述語論理型

幼稚な揚足ばっかで不毛なスレだな。

最初の話題に戻って、
関数型言語でデータベースやOS作るという話はどうなんだ。

DBに関して、例えばこの本が非常に気になるんだが

Purely Functional Data Structures by Chris Okasaki

>>247
いや、ここに居るのは「DBは宣言的言語の適用分野」って丸暗記しているだけで、
実際のDB (dbmじゃないヨ)はあまり知らないだけだろう

>>246
SQL言語は述語論理だが、SQL言語が提供する
INSERTやUPDATE、DELETEはDBに対する手続き的操作

なんだよ

あと、こっちのバカにもレスしとくか。

>228
DDLの、DROP、ALTERってナニするか知ってる？(激藁

>>249
> INSERTやUPDATE、DELETEはDBに対する手続き的操作
> なんだよ
違うでしょ。「手続き型言語」なら、INSERTやUPDATEの中身を手続き的に記述する必要がある。
それをせずにINSERTと書くだけですむから宣言型。

ANSI SPARC 3層モデルの話かよｗ

「関数型言語でDBを作る」という時、
いわゆる代入や参照不透明性を持たない、
純関数的にDBをどうやって作るのか？
という点が気になった。

だけどここは CleanでもHaskellでもない、
「なんとなく関数型」言語(ML)のスレだから、
そんな拘りを持ってもしょうがない、
という事か。

じゃあ、思い切ってDBは有り物使う事にして、
例えば OCamlでPostgreSQL呼び出せば済む。

終了。

ラベル低ぅ～。

情報処理二級程度の知識しか持たないのが、
関数型言語スレに粘着してるからな。
どうしようもないさ

おぃおぃ。

>>247
Chris Okasakiの本は、ほとんどすべてがキューの話。ちょびっとだけ木構造
の話もあるけれど。

遅延評価なんかを使ってO(1)なキューの話をしたりとか、内容それ自体は面白
いのだけど、DBとは全然関係ない。
たぶんもとはこの人のD論で、D 論の方はPDFが公開されている。
http://www-2.cs.cmu.edu/~rwh/theses/okasaki.pdf
内容は、たぶんあまり変わらないと思う。本の方にあった演習問題とかが(さ
すがに)ないっぽいくらい。

DB無関係？

Amazon のreviewには、red-black trieとかwide-range of datastructure
と書いてあるから、関数言語によるDBの内部データ構造を議論するのに役立つと
思ったんだけど。

おっしゃる通り (cue中心)なら、よく使い道がわかんないですね。

DB無関係？

Amazon のreviewには、red-black trieとかwide range of data structure
と書いてあるから、関数言語によるDBの内部データ構造を議論するのに役立つと
思ったんだけど。

おっしゃる通り (queue中心)なら、よく使い道がわかんないですね。

二度書き申し訳ない。
しかも良く見たら red-black treeだし・・・。

>>257
D論へのポインタありがとうございます。
目を通してみます。

以下は【ご参考】ということで

Purely Functional Data Structures by Chris Okasaki
http://www.amazon.com/exec/obidos/tg/detail/-/0521663504/

Inside This Book (learn more)
  A distinctive property of functional data structures is that they are
  always persistent-updating a functional data structure does not destroy
  the existing version, but rather creates a new version that coexists
  with the old one. Read the first page

Statistically Improbable Phrases (SIPs): (learn more)
  enclosing suspension, binomial heaps, fun lookup, leftist heaps, fun cons,
  unevaluated suspensions, catenable deques, sortable collections, five debits,
  pairing heaps, amortized bounds, fun exec, polymorphic recursion, amortized time,
  fun tail, leftist property, nested suspensions, global rebuilding, four debits, false fun,
  one actual step, struct datatype, fun merge, credit invariant, let val

単に　Chris Okasaki氏の本は
(純関数型言語をそれ自体で実装するのに必要な、純関数型言語向けデータ構造だから)
で～たべ～すぷろぐらまのような下賎の民には無関係だよ、
って逝ってるだけじゃねぇか、と

>>262

　>>257
　＞Chris Okasakiの本は、ほとんどすべてがキューの話。
　＞演習問題

ほら、ここが笑うとこですよ

本当いい加減にしてくれ。
>>203-263の削除依頼出すぞ。いいな。

どうぞ。無視されますが。

>>264
もちつけ。GWが終われば夏までは平和なんだから、辛抱しる。

ちょっと興味を持ったのでOCamlの超入門だけ読んだんですが
{Windows,UNIX}で日本語でGUI使えますか?

日本語の処理の事情(単にバイト列のままなのかunicodeなのか)とか
GUIの事情とか書いてあるページがあれば知りたいのですが、
ぐぐってみても探し当たりませんでした。

>>267
Cで使えるライブラリは使えると思う。

それじゃよくわからんです。

Windowsでは使ってないので知らんが、 TclTk も Gtk+ も Gtk+2 もあるよ。

stringの実体はバイト列。unicodeにするなら camomile あたりを噛ませて変
換すればよい。

超入門で GUI に直接 attack すると玉砕するかも、、、
label とか poly-variant とかあるからねえ。
焦らずゆっくりどうぞ。

>>267
超入門だけで足りるか？
それだけで、あとはリファレンスを読んだら分かるっていうのなら問題ないが。

>>267
窓を出すだけなら一行。
let window = GWindow.window () in let _ = window#show () in GMain.Main.main ()

なんやかんや言って、みんな関数型言語ユーザーが増えるのはうれしいので、
267 は失速しない程度にがんばれ。

C++におけるSTL・BOOSTの設計思想など、関数型言語が普及する道筋はできている。

OO が流行っても Smalltalk が普及しなかった様に…

relational databaseが流行ってもdatalogが普及しなかった様に…

ＯＯらしいＯＯの本格的流行は、Ｊａｖａの出現以降だった様に、
メジャーでポップな関数型言語が現れないと、流行はブレークしないだろうな。

・・・MSR発Visualなんちゃらではない事を祈るｗ

normal reductionが流行ってもHaskellが普及しなかった様に…

DSMが流行ってもHPFが普及しなかった様に…

マ板ができても、ム板はネタスレだらけの様に…

>>276
別に特定の言語が普及してほしいなんて思ってないよ。
肝心なのはスタイルだね。

impredicativityが流行ってもFωが普及しなかった様に…

267です。
教えていただいてありがとうございます。
先は長そうなので次はもうちょっと詳しそうな解説を探して読んでみます。


文字列はバイト列なんですね。私もString.lengthやString.getで試してみて
納得しました。

lablgtk2を入れて、>>273の1行だけやってみました。
エラーばっかり出て???でしたがチュートリアルを見て
gtkInit.cmoというのが必要なのがわかって、ウィンドウをおがむことができました。

文字列がただのバイト列ということは、gtkで日本語を表示させようと思うと
自分でエンコーディングを変換してやらないといけないんでしょうか。

>>282
276じゃないけど、あのブロックの独特のスタイルが普及して欲しいでつ。

ruby!!!

>>284
270でも書いたけど、camomile
http://camomile.sourceforge.net/
で変換できるよ。

GetTextのようなものはない。……と思ったら、 ocaml-gettext なるものがあった。
http://webperso.easyconnect.fr/gildor/ocaml-gettext.html
ぜんぜん触ったことないから、どんなものなのかは不明。

どっちもdebは無いんだよねぇ。

ocamlfindがなんか勝手に世界作っちゃってていけ好かないって感じ。
しかも、何か変。
ocamlfind installに一回め失敗しちゃったし、removeしようと思ってもできないし、
手動でインストール失敗したファイル消さないと、続けられなったし。
素人の俺様にも使い易いようにならないかなー。

しかも、makeしただけでインストールするなんて変態！

MLに限らず処理系特有のライブラリパッケージ管理ツールができるとみんなが不幸になる法則

mlgladeのHomeページになぜかアクセスできないんですが…

1年半くらい前の話ですまんが、mlglade 使うより、glade2 使って
lablgtk2 の lablgladecc を使ったほうが楽だったよ

どうか素人で愚鈍な俺様にお知恵をお貸しください。
glade-2で作成し、
lablgladecc2 test.glade > test.ml
としてソースを吐き出した後、
ocamlc -I +lablgtk2 lablgtk.cma gtkInit.cmo test.ml
としたのですが、
Error while linking test.cmo: Reference to undefined global `Glade'
とエラーが出てしまいます。
どうすれば解決できますか？
愚考するに、gladeモジュールをリンクしないといけないのではないかと思うのですが、コンパイラオプションに何をどう指定すれば良いのかわかりません。

http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk-list/
のメーリングリストを読んでいたら何だか解決しそうな気がしたので、もう少し良く考えてから発言すれば良かったと思いました。
でも、先に答えを教えてくださった方が楽なので教えてください。

lablglade.cma てのがあるみたいだから、それも一緒にリンクしないといけないんちゃう？

スレ違いかもしれませんが関連レスとして、
GTK+ではXMLから動的にウィジェッツを作るのが流行りなのですか？

>>296
ほんとですねー。READMEにちゃんと書いてありました^^;
The executable must be linked with lablglade.cma.

ML勉強して将来的にうれしいことある？
と疑問に思ってる大学生なんですが･･･どうなんでしょ？

>>299
どんな将来像を思い描いているの？超エリート中学生の俺様が聞いてやるよ。

嬉しいことやりたきゃ、理工系辞めちゃえば。

理工系って趣味人だよね。

ってかお前ら今の仕事なり何なりに
MLやってたことが役立ってんの？

中学生だし。
プログラミングには便利だから使っている。処理系作るのにもOCamlは便利だし、リストが楽に使えるから便利だし。

>>303
だからどんな仕事かによるだろ。

無駄の無いプログラムの指標で普通の言語を醜いと感じるためにある。
数値計算するんなら R や Scilab があるし。

小学生です。
自動定理証明器を作るのに使ってます。

>>307
そんなもんに興味持つ小学生がいるわけねーだよ

ML勉強して将来的にうれしいことある？とか受身に思わずに、
もしMLが個人的に便利、マンセー、だと思うのなら、
将来はMLを使ってうれしい環境を自ら作る！
ぐらいの気概が欲しいと思われ。

欧米ではそういう奴らが大学外でも既に少数ながら出てきている。
(大学からスピンアウトした人々とか、じゃなくてね)
「強い型付けによる安全性」というフレーズはマーケティングにも
使えないことはない。

じゃあ、俺は？すいません。大学内の人です。

逆に言えば、勉強する前から嬉しいことあるか考えるような
現実派にとっては嬉しいことないかもね。

俺も以前はCやJavaとかしか使ったことなかったけど、MLを学んで世界が変わった。
とは言い過ぎか、少なくともプログラム設計の考え方は変わった。
でもMLを学んだせいでCやJavaのプログラム書くのがひどく億劫になった…。
こうなると大学出るのが辛くなるわけです。

リストが便利で高速なネイティブ吐ける処理系っていったらOCamlしかない！

type t = IntV of int;;
let aa=[IntV 1, IntV 2, IntV 3];;
let get_int = function IntV n -> n;;
List.fold_left (fun a-> fun b->IntV(get_int(a) + get_int(b))) IntV(0) aa;;

This expression has type t but is here used with type 'a -> 'b

aaの要素を全て足して、IntV 6って答えを出したいのですが、どうもうまくいきません。
何がまずいのでしょうか？

>>312
リストの区切りは;ですよ

type t = IntV of int;;
let aa = [IntV 1; IntV 2; IntV 3];;
let get_int = function IntV n -> n;;
List.fold_left (fun a -> fun b -> IntV (get_int a + get_int b)) (IntV 0) aa;;

誰もが通る道だなw

MLの優位性としてあげられる、「型システムによって実行時型エラーが
存在しないことが保証される」という性質って「強く型付けされている」よりも
もっと強い性質だよね。

Cだって強く型付けされている（コンパイル時に型が一意に決まる）
けど、この性質は持っていない。

こういう性質（型システムがsound）のことを一般にどう呼称してるのでしょう？

>>313
解決しました。ありがとうございます。


http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/text/eopl006.html
を見て、Exerciseやってる途中でした。

好きなの選べ

type safe
type soundness

>>309は「強い型付けによる安全性」って言ってるよ。

>>315
Cだと領域のサイズが同じなら、全然関係ない型の値でも型変換して代入できたりするけど、これは問題だよね。

try
run()
with _ -> print_string 例外の名前

という処理を行うために、例外の名前を取得したいのですが、何か関数はあるのでしょうか？

>>318
　>309 「型システムによって実行時型エラーが存在しないことが保証される」という性質って
　>　　　「強く型付けされている(Strong typed)」よりももっと強い性質だよね。

解決しました。
Printexc.to_string

ML最高

ファイルから文字列を読み込みたいです。以下のものを書いてみたのですが、うまくいきません。
２行目でエラーがでるようですが、何が原因なのでしょうか？

let s = ref ""
let f = open_in "test.txt" in
while true do
s <- ref (!s ^ (input_line f))
done
print_string !s

エラーの内容を書こうな

エラーの内容です。お願いします。

ocaml test-openin.ml
File "test-openin.ml", line 2, characters 27-29:
Syntax error

さっぱりわからんが構文エラーだそうだ。

let s = ref ""
let _ =
let f = open_in "test.txt" in
while true do
s := !s ^ (input_line f)
done;
print_string !s

がんばれ。

File "test-openin.ml", line 2, characters 27-29:
Syntax error

これで何をわかれというのか
コンパイラ不親切すぎ
いかにもフリーソフトって感じ

>>329
Emacs+tuareg-modeを導入するとエラーの箇所までジャンプしてくれて便利。

>>329
ならば是非エラーメッセージの所を書き直してくれ。
改定案を出すだけでもきっと喜ばれると思うぞ。

>>328
ありがとうございます。やっと解決しました。

OCaml難しいね。
下ので、loop_recはループしてくれないのは何故でしょう？
あと、例外を取った時はprint_string "end"を実行してくれるけど、
例外が生じなかったときは、それを実行してくれないのはなぜなんでしょうか？
なんとなく、print_string "end"がwithのブロック内にあると認識されてるのがいけないのだと思うのですが、
ブロックを閉じるにはどうしたらよいのかも教えてもらえないでしょうか？

exception Zero
let randomfunc () =
match (Random.int 2) with
0 -> raise Zero
| _ -> print_string "ok"

let rec loop_rec () =
try
randomfunc ();
with e -> print_string "<EXCEPT>";
print_string "end";
loop_rec()

let loop_while () =
while true do
try
randomfunc ();
with e -> print_string "<EXCEPT>";
print_string "end";
done

let _ =
loop_while()
(* loop_rec () *)

let rec loop_rec () =
(try
randomfunc ();
with e -> print_string "<EXCEPT>");
print_string "end";
loop_rec()

または、
let rec loop_rec () =
begin
try
randomfunc ();
with e -> print_string "<EXCEPT>"
end;
:

インデントを適切にしてくれるエディタを使った方がいいよ。わかりやすいから。

>>334
なるほど、()で囲むか、begin-endで囲む方法があるのですね。
まだまだ知らないキーワードがありそうですね。
どうもありがとうございます。

OCamlのインデントってどうなってるの？
letで下がったりする？
まあいいや。

>>335
and as assert asr begin class
constraint do done downto else end
exception external false for fun function
functor if in include inherit initializer
land lazy let lor lsl lsr
lxor match method mod module mutable
new object of open or private
rec sig struct then to true
try type val virtual when while
with

↑馬鹿？

>>335
とりあえずemacsでcaml-modeを設定しる

みんなocamlのインデントルールってどうしてる？
letのinの前後での改行にいつも悩んでて、どれもすわりが悪い。
あと、引数がいっぱいある関数の適用で、一行にすると長すぎる場合も。

MLで書くときはエディタの横幅を160文字にしてる。

昔、ocamlのインデントガイドラインていうドキュメントがあったんだけど、いつのまにかなくなってるな。

本物のocamlユーザはインデントをしない

短ければ
>let i = ... in
>...
長ければ
>let i =
>　...
>in
>...
って書くかな。
自分でもいまいち納得してないんだけど。

インデントは臨機応変。
O'Caml のソースを見てもらえばわかりますが、
担当者が変われば細かい部分が変わります。
無理せず、状況に合わせて自分の見易いように
するのがいいかと。

>>345
頼むからインデントの方針を統一してくれ。
お前のソースは場所によってインデントの仕方がばらばらだから、読みにくくてかなわん。

>>346
人に頼む前に自分でインデント整形フィルターを作った方が楽なのでは?
ocamlプログラマー全員にインデントの方針を統一させるよりよっぽど簡単。

346じゃないけど、インデント整形フィルターを作ろうにも、
肝心のインデントルールをどう設定したものか。

ｸｵﾘﾃｨﾃﾗ高杉

おらいりーのＭＬ本って結局、出版されるの？

ところで、心底、読みたいの？

自分で読む気は全くないが、
「オライリーが本出してる言語」という紹介がしたい。

五十嵐先生のぐらい網羅的な英語での入門 or チュートリアルってありますか?

↑Objective Camlの、です。

フランス語ならあるのだが。

>>354
http://caml.inria.fr/pub/old_caml_site/tutorials-eng.html
のいくつかは結構良いと思う。

OCamlってすごいね

OCamlのSet.singletonというのは、
与えられた要素だけを含む集合を新しく作るという理解であっているでしょうか?

標準ライブラリについて詳しい解説のページがあったら教えてください。
http://caml.inria.fr/pub/docs/manual-ocaml/manual034.html では
シグネチャしかわからない……。

>>358
その通り。lib/ocaml/set.mli を見ると、

val singleton: elt -> t
(** [singleton x] returns the one-element set containing only [x]. *)

と書いてある。そのまま。

http://caml.inria.fr/pub/docs/manual-ocaml/manual034.html はちょっと
ひどいね。

module type S = sig .. end
Output signature of the functor Set.Make.

sig end の中が消えているので、これでは全くわからん。
いずれにせよ、 http://caml.inria.fr/pub/docs/manual-ocaml/
のライブラリ関係の記述はすべて、 lib/ocaml/*.mli から生成されているので、
そっちを見た方がいいです。それ以上の内容は載っていない。

なるほど、lib/ocaml/*.mliを見ると確かに説明が入っています。
教えていただいて非常に助かりました。ありがとうございます。

>>358-360
モジュールは別のファイルとして生成されるんだよ。モジュール名のところがリンクになってるじゃん。そのリンクを辿って
http://caml.inria.fr/pub/docs/manual-ocaml/libref/Set.S.html
を見れば、
> val singleton : elt -> t
> singleton x returns the one-element set containing only x.
と同じことが書いてあるよ(当たり前だけど)。
ただ、いちいちwebページ見るのは面倒だというのは同意。
ocamlbrowser は?

>>361
module type S = の S がクリックできるんですね。
全然気がつきませんでした。
ページの見出しの「Set」がクリックできるのには気付いたのですが、
そこにあるシグネチャが情報の全てだと思っておりました。

ocamlbrowserというのも初めて知りました。
Intfというボタンで*.mliの中身を表示させられるんですね。
欲を言うとここからドキュメンテーションを抽出してウィンドウ内に表示して
くれるともっといいですね。

ttp://dst.purevoid.org/

>>363
超燃える。
って言うか、OCaml で書かれた OS だって説明が無いと、誰もクリックしないワナ。

ほぉ、凄いね

OCamlでサウンドプログラミングがしたいのですが、そういう用途に便利なライブラリはありますか？

>>366
ねーよ。　昔、正規表現を使おうとしたとき、ライブラリがオートマトンの教科書レベルで
唖然とした記憶がある。　今は知らないが大して事情は変わらないだろう。

>>366
使ったこと無いんで、役に立つかどうかは知らんけど、こんなんはあるみたいよ

ttp://sourceforge.net/projects/ocamlsdl

正規表現ライブラリはだめだめだったからサウンドライブラリなんてあるわけない。

↑ﾅﾝﾀﾞｿﾘｬｰ、というのはおいといて、
確かにocamlって正規表現、というか文字列操作(とくに分解)全般に弱いよね。

ocamllex/yaccや簡易パーサは仰々しすぎる。Scanfは表現力に欠ける。
Strは教科書的な正規表現しかなくて、マッチ結果の参照もめんどい。
ocaml-regexpは見た目はいいんだけどpcre必須というのがめんどい。

やっぱりocamlをスクリプトっぽく使おうという発想が間違ってるのかな。

haskellとかのライバルはどうなんだろうね

鬼車を使ってghcのText.Regexで日本語が使えるようにするパッチがあるらしい。
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20050209

>>369
> ocaml-regexpは見た目はいいんだけどpcre必須というのがめんどい。

pcre 再実装の手間を考えれば、一個の下位ライブラリのインストールくらい
つきあってあげてもバチは当たらないと思われ。

> やっぱりocamlをスクリプトっぽく使おうという発想が間違ってるのかな。

http://martin.jambon.free.fr/micmatch.html

pcreが必要で、pcre-ocamlが必要で、そのためにfindlibが必要。findlib嫌い。

micmatchってocaml-regexpとどう違うの？

>>373
いまさらだけど、ocaml-regexpって Yutaka Oiwa の Regexp/OCaml の事だよね?
# 違ってたらすまん

ocaml-regexp は正規表現で match するための構文シュガー。
micmatch はスクリプトっぽいものを目指したコマンド。

The goal of Micmatch is to make text-oriented programs even easier to write, read and run
without losing the unique and powerful features of Objective Caml (OCaml).

正規表現の部分がクローズアップされがちだけど、↓みたいなこともできる。

#! /usr/bin/env micmatch
let _ =
let n = ref 0 in
Micmatch.Text.iter_lines_of_channel
(fun line ->
let code, comment =
match line with
RE (_* Lazy as code) "#" (_* as comment) -> code, comment
| code -> code, "" in
incr n;
Printf.printf "%s# %i %s\n" code !n comment)
stdin

正に ocaml をスクリプトっぽく使おうという発想だから紹介してみたんだけ
ど、お気に召さないのであれば仕方がない。

>いまさらだけど、ocaml-regexpって Yutaka Oiwa の Regexp/OCaml の事だよね?
そうです。

気に入らなかったというより、新規性がわからなかっただけです。つまり、
(micmatch - Regexp/OCaml) = iter_lines_of_channelのような便利関数群
という認識でOK?

正規表現の部分は既存のものがあるのに、使い勝手も変わらなくて、
便利関数群と密接に絡んでるわけでもないのなら何で再発明したのか。
せめて構文くらいあわせりゃよかったのに。

いつの間にか、こんなページが…

お気楽 Standard ML of New Jersey 入門
ttp://www.geocities.jp/m_hiroi/func/index.html

参考まで

alphaCamlって何するモノ?

OCamlのグラフィクスライブラリ使おうとすると、なんかうまくいかないんだけど
（ＷｉｎｄｏｗｓXP)

例えば
# Graphics.open_graph;;
Reference to undefined global `Graphics'

ってなる。りゆうおしえて。

#load せよ。

なにお？

>>379 thanks
#load "graphics.cma" でなんか動いたような気分になった。

let x = e1 in
let y = e2 in
...
のような場合、e1とe2の評価される順序は不定ですよね?
(もちろんe2がxに依存したら話は別ですが)

MLはstrictだよ

あまり用語に明るくないので、もうちょっと噛み砕いてお願いします…

e1が評価されてから、e2が評価される

The let and let rec constructs bind value names locally. The construct 
　let pattern_1 =  expr_1 and ... and  pattern_n =  expr_n in  expr 
evaluates expr_1 ...  expr_n in some unspecified order, then matches their values against
the patterns pattern_1 ...  pattern_n. If the matchings succeed, expr is evaluated in the environment ...
(Section 6.7 of Objective Caml manual)

>>385
痛み入ります。理解できました。
これはe1,e2に副作用がある場合にその順序を保証するためと考えてよろしいでしょうか?
e1,e2が純粋に計算で副作用がない場合、最適化により順序を入れ替えたり
特定の計算を遅らせるのは問題ないですよね?

>>386
無限ループにも注意。

Ocamlのグラフィクスライブラリおもしろいね。
でもさ、リファレンスポイントって言うやつ２つ出せないの？
アニメーションで一点しか動かないよ。これじゃあさ。

何が面白いのかわからない

>>388　Ocmlみたいなショボイ言語じゃ無理。
素直に、Javaにすればいいだけ。
なんだかんだいったって、結局こういうところがいい加減なんだよｗ

所詮見かけ倒しのおフランス産か。

Javaもずいぶん偉くなったもんだな。

って言うか、>>390 はスレタイを声に出して 3.08.0 回、嫁。
そんでもってこの辺↓逝って好きなだけ叫んでこい。

http://pc8.2ch.net/test/read.cgi/prog/1092882933

GraphicsLibひとつとっても、この有様ｗ

Java最強、Ocamlへたれ
Java最強、Ocamlへたれ
Java最強、Ocamlへたれ
Java最強、Ocamlへたれ
Java最強、Ocamlへたれ
Java最強、Ocamlへたれ
Java最強、Ocamlへたれ
Java最強、Ocamlへたれ
Java最強、Ocamlへたれ
ava最強、Ocamlへたれ

そうそう，最強だよ Dancing Queen とか Money, Money, Money とかね
岡村なんてめじゃない

>>388　二つ出せるだろ？

こいつこの間 Lisp スレにも来てたな
無知が露呈して、総スカン喰らってたけど

来てたっけ。多分そのときは鬱陶しかったんだろうけど、忘れちゃうもんだな、荒らしが来ても。

ヒント：
ignore: 'a -> unit = <fun>

>>399
それだ！

>>399 何のヒント？

>>396　2つ作れることと，１つだけを使って2つあるように見せるのとでは
まったく違うよ。

>>386
あんた英語も読めずに引用してんの？


> > let x = e1 in
> > let y = e2 in
> > ...
> > のような場合、e1とe2の評価される順序は不定ですよね?

> e1が評価されてから、e2が評価される
>
> The construct
>　　let pattern_1 = expr_1
>　　and ... and
>　　　　pattern_n = expr_n
>　　in expr
> evaluates expr_1 ... expr_n in some unspecified order,
> then matches their values against the patterns pattern_1 ... pattern_n

MLスレも低レベルになったもんだな

まＭＬ自体低レベルだからいんじゃね

MLは高レベルだよ

アニメーションで一点しか動かないって嘆いている人がいるのに対して
Javaにうつれっていうのが精一杯なのに高レベルなのかよｗ

>>407、放置してほしくて言っているのか？

正規表現にしろ、グラフィックにしろMLはだめだめだね。

>>408 初心者が間違ってOcamlみたいなインチキ言語
で時間をつぶさないよう、警告してるだけｗ

ここにもキチガイが粘着してるのか。
Ocamlでグラフィックやってるフリって、、、ｸｵﾘﾃｨ超ﾀｶｽｷﾞ

普通Haskellやるよね。
だってMLって関数型のフリしたイカサマ言語だもん。

>>403
そこではなく
If the matchings succeed, expr is evaluated in the environment ...
を言いたいんだと思われ。
1. expr_1からexpr_nが不定の順番で評価
2. マッチング
3. 成功したらexprの評価

なので
let x = e1 in
let y = e2 in
...
ではe1はx2より前に評価される。

ありゃりゃ、よく見たら随分間抜けな質問だな

DQNな発言は控えてください

MLこそプログラム言語界のｷﾁｶﾞｲなんだけどｗ

キチガイに吉外呼ばわりされたMLはもうだめぽ

Haskellは無駄の塊。ただのC言語ソースジェネレータ。
MLこそ高速で美しい至高の言語。

何に価値を置くかは人の自由だけど、私の勝手な想像では、君等は勉強不足なんじゃないかな？と思う。

>MLは、確固とした理論的背景を持つ言語でありながら、

これはそうかもしれんがね、

>現実的なソフトの開発にも使用できる実用性を備えた言語です。

うえの議論でわかるように
グラフィックにしろ正規表現にしろイイカゲン杉
口が滑っても実用的だなんていえないねｗ

>また、プログラミングの初心者が最初に学習する言語としても
>優れています。

ﾌｧｗ、MLのどこが初心者が最初に学習するのに優れてるんだよｗ
関数型プログラム　-→初心者には意味不明、マズは手続きがただろｗ
型推論?　-→初心者にはわけわからん、っていうか大半のプログラマにとって不要
多相型？　-→初心者どころか大半のプログラマにとってわけわからんｗ

以上。

以上、視野の狭いJava厨の意見でした

自分＝大半

…………………………　き　り　と　り　せ　ん　…………………………

今時 Java 使いでも大半は多相型くらい理解してると思うんだが。GJ で。

>>412>>420
＞だってMLって関数型のフリしたイカサマ言語だもん。
＞関数型プログラム　-→初心者には意味不明、マズは手続きがただろｗ
どうせ荒らすなら最低限意見を統一してから荒らせよって思った。

よるするにMLってのは
理屈ではHaskellに負け
速度ではＣに負け
実用性ではJavaに負け
いいとこなしの中途半端言語ジャンｗ

…………………………　き　り　と　り　せ　ん　……………………………

まあ、とりあえずパターンマッチを勉強してから言いたいことを言ってくれ

まあ、実際のところ
ＭＬが誇れるものってパターンマッチングだけだからねｗ

C/C++とPerlぐらいしか使えなかった俺が最近ocamlを始めた訳です。
パターンマッチングだけをとってみてもSugeeeeeeeeeeeeeeeYO と思いました。
haskellもjavaも良いのかもしれないけど、俺はこの先ocamlと共に生きようと思いました。


だから、お願い。このスレ荒らさないでね。

だったらグラフィクスで2点同時に動かしてみろ世w

グラフィックス…ごめん、興味わかねーや。自分でやって。

と言ったもののあんまり邪険にするのもなんだし、参考までに。

ttp://aa.2ch.net/aastory/kako/1033/10334/1033401566.html

一応俺の環境ではすごく動いた。

↑imifume

>>401
今さらだが…
おれは>>399ではなくて>>400だが、
>>399は>>398のヒントだと思うぞ。

つまりは、餌を与えずに ignore でスルーしる。
そういう事だな。

pattern matchingの実装について書かれた日本語資料知っている人いない？
英語版ならいっぱいあったし、たとえば
http://caml.inria.fr/pub/ml-archives/caml-list/2005/03/e86bc87bc8fbc81715dedfedd1687cdb.en.html
この辺の議論から辿れたんだけど。
日本語版の資料を知っている、という人がいたら検索用のポインタでも示してくれないだろうか。
お願いします。

どーでもいーけどperl使いの人に「パターンマッチが素晴らしいんだよ！」と言ったら
「文字列処理ならperlでもできるよ」って言われた。文字列じゃないよ……。

オリジナル資料読め

「perl使いの人に言ったら」＝「２ちゃんのperl関連スレでMLの話題で荒らしをやったら」

理屈ではHaskellの次、
速度ではCの次、
実用性ではJavaの次だったら
間違いなく現時点で最強クラスの言語だよ。

OCamlのGraphicsははっきり言ってできの悪いライブラリなので、
OCamlSDLを見てみるといいんじゃないかな。
何がやりたいのか全然わからないけど。

Graphics.open_graph で1つグラフィクスウィンドウが開くじゃないですか。
で
Graphics.current_point();;
で現在のreference pointの位置が返ってくるんです。
このreference pointってのを使って絵とか描くんですけど、
これ2つ以上だせないのかってことなんです。
1つしか出せないとアニメーションで１点しか動かないことになるじゃないですか
それはめんどうなので４ｯﾂくらい動かしたいわけなんですが。
どうしたらよいかというところなんです。
できるって書着込みもあったんで調べてみたんですけど。わからないので。

>1つしか出せないとアニメーションで１点しか動かないことになるじゃないですか
>それはめんどう

できないと思ってるのか、面倒だと思ってるだけなのか。
前者なら可能だ。順番に描いていけ。後者なら諦めろ。
OCamlのGraphicsを本気で使うやつなんかいない。

>>441 訂正
OCamlを本気で使うやつなんかいない。

荒らしはともかく、実際問題ocamlで書かれた
公開実用アプリで有名なのって何があるかな。
unisonは知ってる。

Ocamlの処理系
coq

reference_point なんか使わずに、自分のプログラムで状態を覚えたら？
--
open Graphics;;
type point = { mutable p : int * int; mutable v : int * int};;
let create_point width height =
{ p = (Random.int width, Random.int height);
v = (Random.int 5 - 2, Random.int 5 - 2)};;
let rec create_points width height = function
| 0 -> []
| n -> create_point width height :: create_points width height (n-1);;
let plot_point p = plot (fst p.p) (snd p.p);;
let add_vec (x1,y1) (x2,y2) = (x1+x2, y1+y2);;
let update_point width height p =
let (nx,ny) = add_vec p.p p.v in
if nx < 0 then p.v <- (Random.int 5 + 2, snd p.v)
else if nx > width then p.v <- (- (Random.int 5 + 2), snd p.v)
else if ny < 0 then p.v <- (fst p.v, Random.int 5 + 2)
else if ny > height then p.v <- (fst p.v, - (Random.int 5 + 2))
else p.p <- (nx,ny);;
open_graph "";
auto_synchronize false;
let width, height = size_x (), size_y () in
let points = create_points width height 10000 in
while true do
clear_graph ();
List.iter (fun p -> plot_point p; update_point width height p) points;
synchronize ();
done;;

日本人はアンマ使わんかもしれんが、mldonkey はなかなかすごいと思うよ。
他は、The Hump (http://caml.inria.fr//cgi-bin/hump.en.cgi) に行って
調べてください。

>>437
了解。なさげなのであきらめてちゃんと読みます。

パターンマッチの実装について述べた日本語文書で見たことあるのは

纓坂 智, 『型に基づくパターンマッチングコンパイル方式の構築と実装』
北陸先端科学技術大学院大学　修士論文, 2004

PDF直リンするのは気が引けるのでググって頂戴。

日本語プログラム言語「なでしこ」板
http://pc8.2ch.net/test/read.cgi/tech/1098179243/544
>俺ならMLでスマートに書くけどねｗ



さすが、ML･･･

ocamlってわりと早いよね。C++より早いのに、どうして誰も使おうとしないんだろう？？

Python並にライブラリが整備されてたら使う。

でもPythonはスクリプト言語として使うために作られた言語でしょう？

>>436

関数型言語でいうパターンマッチングって、正規表現とは異なるコンセプトなんですか。
正規表現によるパターンマッチングの対象はテキストですが、
こちらで話題になるパターンマッチングとは、どういったものなのでしょうか。


他言語の仕様では実現されていない機能なのでしょうか？
説明を聞いてみたいのですが・・

>>452
だから何?

ocamlってコンパイル言語界のRubyだと思う。
言語仕様の信者はいるが、普及も中途半端。ライブラリも中途半端。

関数言語界の Eiffel

>>453
Prologの単一化(ユニフィケーション)を一方通行にしたイメージ。
特にリスト操作はPrologとソックリ、だった気がする

海外では流行って…

積極的に使っていかないと。
そして、「このプログラムはMLで書かれてます」
と再生紙の様な宣伝もする。

つかあれは専門教育用プログラミング言語として流行っているだ（略
そもそも専門教育で関数言語やって奥の奥まで理解しちゃった奴を
業務命令で集めてソフトウェア開発しても
いったいどれだけ人件費が^H^H^H^H^H^H^H^H船頭多くして舟、陸に(略

だからM$やGoogle、ThoughtWorksのような企業は奇跡的なんだよな

>>459
そんだけ打つなら ^W か ^U で良いだろw

>>459
こいつの意見に賛成なんだけど↓
http://www.shiro.dreamhost.com/scheme/trans/gh-j.html

>>462
>とびぬけてセクシー
は読んだ。

>>448
指導教官と審査委員がその筋の人だね

>>453
自分で説明するのがめんどいので適当にURL貼り

バリアント型に対するパターンマッチが強力な例として適当かな
ttp://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml.html#htoc58

簡潔に説明するのは難しいな……式の形というか、変数の値と種類にマッチするという感じか

>>465
補足。
OCamlだけでなく、SMLやHaskellにもある。

ついでに、C++にboostで同様の機構をつけようという試み
ttp://lists.boost.org/MailArchives/boost/msg54133.php

まーパターンマッチのありがたみは使ってみないとわからんかもなぁ。

>>453
>他言語の仕様では実現されていない機能なのでしょうか？

Lisp だとこんな感じ

ttp://www.geocities.co.jp/SiliconValley-SanJose/7474/cmuclMemo.html#0019

関数型言語におけるパターンマッチングの解説をしてくださった皆さん、ありがとうございます。
文章の咀嚼を試みてみます。

どうやら、正規表現よりも広い概念なんですね。
その機能を有効に用いる場面とは、どのような事例が考えられるのでしょうか。

C で言うと、case 文の超強力版?

>>468
というか、正規表現による文字列のマッチングとは基本的に無関係。

よく使うのは……というかOCamlでプログラム書いたらほとんどパターンマッチだからな。

一番良く使うのはリストの空リスト/空でないの場合分けと先頭の取り出しや、
バリアント型の種類による場合分けとかかね。

と説明しても多分理解できないだろうから、理解したければ書いてみてください、としか言いようがないが…

>>454
関数型言語からオブジェクト指向言語にアプローチしたのがOcaml
オブジェクト指向言語から関数型言語の考え方を取り込んだRuby

どちらも共通しているのは道具としては優れてるが何に使うのか目的がない。

個人的には高速性を生かしてWindowsAPIラップしまくって
軽量級アプリケーションを作ることに特化すればまだ生き残れるのではないかと思う。

C++とC#の間のニッチを狙うことになるけどね

…………………………　き　り　す　て　…………………………

結局、ライブラリそろったもん勝ちだろ
そのためには、ユーザーが多くいなきゃならんが
マイナーだから拍車をかけるかな

…………………………　き　り　す　て　…………………………

>>471
OCamlのオブジェクト指向の機能はオマケだよ。

そうだね
全く必要ない

結局あれだろ？
名前空間がツリー構造にでもなってて、
object.methodみたいな呼び出しができれば、
それがオブジェクト指向かどうかは問わないんだよ

関数型だとObject思考はオマケになりがちですが、
その理由は透明参照性ですか。
それとも、構造に汎用性もないし駄目ポってことですか。

>>477
> 関数型だとObject思考はオマケになりがちですが、
この発言は関数型言語を広く知ってないと出来ないが、

> その理由は透明参照性ですか。
これを見るとその知識（not 知恵）に疑問符がつく。

猿の相手する必要ナッシング

http://www.google.com/search?q=%22%E9%80%8F%E6%98%8E%E5%8F%82%E7%85%A7%E6%80%A7%22&num=50&hl=ja&lr=lang_ja&c2coff=1&filter=0
"透明参照性" の検索結果 15 件中 日本語 のページ 1 - 15 件目 (0.55 秒)

ぷぷ。日本に三人しか居ないや

>>477
メジャーなオブジェクト指向表現ではフィールド変数をメソッド関数で操作するよね。
その操作自体が副作用だからだよ。

だから透明参照性を保つためかってこと。
逆の事言ってんだからわかるだろ。

オブジェクト指向設計の場合何があるかを最初に考えるけど、関数型の場合は何を何にするか(具体的な値の計算方法ではなく、入力と出力の型がどうなるか)を考えるからかなぁ。

2つは別ものじゃない気もするが、なんとなく、考え方が違うような。

>>481
レコード型で解釈するんじゃなかったっけ、
オブジェクト指向計算の理論では

>>481
関数型ベースでなくてもimmutableなオブジェクトを扱えるOOPLなんて
掃いて捨てるほどありますが、何か？

>>485
immutableなオブジェクトを扱えるかどうかではなくて、immutableなオブジェクトだけかどうかが問題なのでは。

>>486
わざわざimmutableなオブジェクトを作れるようになっているぐらいだから、
副作用の有無はオブジェクト指向の本質ではないということ。

オブジェクト指向言語にimmutableを求めるのは筋違いだろう。
実際、SingletonやStrategy,Functorばかりの設計は、
眩暈がするほどCOBOLソックリだ

え、funtorがcobolって・・・
詳しく(藁

典型的なcobolプログラムは、構造化された入力データ圏から出力データ圏への準同型写像
になりそうではあるな。両者を項代数とみなせばfunctorと言える。

>>490
> 典型的なcobolプログラムは、構造化された入力データ圏から出力データ圏への準同型写像
> になりそうではあるな。

・・・ならないと思われ・・・

>>489
Functors and the Command Pattern
http://www.research.umbc.edu/~tarr/dp/lectures/Command-6pp.pdf

>>487
作れるがそれは補助的なものであって、あるから本質的ではないというものではないかと。

例えばCamlは副作用のある式がそのまま書けるが副作用が無いことは関数型言語の本質ではないかというと違うわけで。本当は書きたくないが、書かざるを得ないか、書いたほうが便利だったり楽だから使っているわけで。

オブジェクト指向だって本当はオブジェクト同士のメッセージパッシングだけでやりたいけど利便性とか速度とかのためにメソッドやら静的メソッドやら実装の継承やらがあるし。

>>493
> 作れるがそれは補助的なものであって、あるから本質的ではないというものではないかと。

例えばアランケイによるオブジェクト指向の根底にある発想である、
" ... the entire thrust of its design has been to supercede the
concept of data and procedures entirely; to replace these with the
more generally useful notions of activity, communication, and
inheritance.''を素直に受け止めれば、activityに相当する部分が
手続き的であろうが関数的であろうが関係なく、計算能力と
コミュニケーション能力を持つ「実体」であればそれでよいのです。

> オブジェクト指向だって本当はオブジェクト同士のメッセージパッシングだけでやりたいけど利便性とか速度とかのためにメソッドやら静的メソッドやら実装の継承やらがあるし。

あのー、メッセージとメソッドの関係、ちゃんと整理できてます？

>>494
関数型が素直に「実体」を扱えるか、って話じゃないの。
「実体」なんてものが「activity」を持つには、変化できることが必要でしょ。
関数型の世界ってのは、実体のない関数と、永遠に変化しない値の世界。
「実体」なんて Monad の中くらいにしか存在できないんじゃない。

immutable なオブジェクトだけで何もかもを組み上げるような OO があるなら、
それは関数型でも実装できるかもしれないけど。

>>495
> 関数型の世界ってのは、実体のない関数と、永遠に変化しない値の世界。

違うだろ。状況計算。

>>494
煽るのも良いが、実装例を示す等の具体的な話が無いと議論にならないと思われ
仮想的な、関数型オブジェクト指向言語 hoge についてでも良いけど

>>495
副作用がなければactivityにならないということ？
煽り抜きで、関数型スレでそんな意見が出てくるのって、
すごく新鮮だと思った。

>>495
実体のない関数ねえ・・・
関数型言語の関数が実体でないのなら、一体何が実体なんだろう？？

実態 == 状態って事じゃないの

俺ならMLで簡潔に書くんだけどね。

OOP の本質でない private 変数は廃絶だ！

>>501
　>> http://pc8.2ch.net/test/read.cgi/tech/1119158274/312-315

#define　private　public　でいいじゃん

若しくは全部すけすけに見えちゃう Python に乗り換えて、
Pythonで関数プログラミングをかじったら、MLへ。

んで、たくましくなった >>502　が上の議論のばっさり切る。

変なのがしつこく粘着してるな、

さてさて、わりとMLに縁のあるICFPプログラミングコンテストが
日本時間今晩23時から始まりますよ。

http://icfpc.plt-scheme.org/

OCamlでbignumを扱うにはどうすればいいですか?
1048576 * 1048576を計算したら0になってしまいました (i386)。

(* #load "nums.cma" *)
open Nums
num_of_int 1048576 */ num_of_int 1048576

結果を可視化するなら string_of_num。
巨大数だけなら Bit_int もあるけど、Nums は 1.演算子が定義されている、2.有理数が扱える、という点で楽。

http://www.speakeasy.org/~hchomsky/ocaml-win32.html
これはWin32のAPIが使えます。

をCygwin環境でmakeするんですがエラーが出ます。
もし使ったことある方いましたらビルドの仕方教えてください。

Requirements:
- OCaml version 3.04 or higher (3.06 or higher recommended), native Win32 port
- Microsoft Visual C++ version 6

相変わらず低スキルなのが粘着しているな。
ビルドのやり方もわかんねぇガキは、
cygwin ming gcc版バイナリでも使ってろ

Cygwin（比較的最新バージョン）＋Ocaml-3.083

でocaml-win32の中にMakefileがあるのでmake打ったのですが、
Makefile:75: *** missing separator. Stop
と出てしまいます。

環境が悪いのか、ビルド方法自体間違ってるのかわかりません。
よければ教えてください。

追記：

Binary distributions for Microsoft Windows

* Self installer for the port based on the MinGW toolchain
Some features require the Cygwin environment.

パッケージはこれを使ってます。

>>510が読めないのか？
コンパイルにVC++6が必須なんだよ。
そのMakefileはnmake用だ。

VC++6は持ってるんですが、
具体的なビルド方法がわからない･･･orz

Visual C++ の bin/ にパスを通して nmake すればいいんじゃないかな。
INCLUDE や LIB 環境変数も適当に設定する必要があるかも。

こういうのもなんだけど、ビルドできたその先も茨の道だから
それなりの問題解決能力や VC++ についての知識がないなら
やめた方がいいんじゃないかな。

ありがとうございます。
Cygwin上でnmakeしたところ

$ nmake

Microsoft (R) Program Maintenance Utility Version 6.00.8168.0
Copyright (C) Microsoft Corp 1988-1998. All rights reserved.

ocamlc -ccopt /W3 -ccopt /YX -ccopt /Fpwin32.pch -ccopt /Fowin32_c
obj win32_core.c
gcc: /W3: No such file or directory
gcc: /YX: No such file or directory
gcc: /Fpwin32.pch: No such file or directory
gcc: /Fowin32_core.sobj: No such file or directory
In file included from win32_core.c:20:
win32.h:20: warning: ignoring #pragma warning
win32_core.c:661: error: `LR_VGACOLOR' undeclared here (not in a function)
win32_core.c:661: error: initializer element is not constant
win32_core.c:661: error: (near initialization for `load_image_options[6]')
・・・

となりました。
gcc: /W3: No such file or directory
gcc: /YX: No such file or directory
gcc: /Fpwin32.pch: No such file or directory
gcc: /Fowin32_core.sobj: No such file or directory
がエラーの原因だと思うのですが、よくわかりません。

テストプログラム動作確認までどうしてもやりたいのでよろしくお願いします。

>>517
cmd.exe上でnmakeしろ。

こういうのもなんだけど、ビルドできたその先も茨の道だから
それなりの問題解決能力や VC++ についての知識がないなら
やめた方がいいんじゃないかな。

>>517
-ccopt ～
ってのはCコンパイラに渡すオプションを指定する。
だから /W3 /YX /Fpwin32.pch /Fowin32_c ってのはCコンパイラのオプション。
でも、gccにはそんなオプションは存在しなくて、
Cygwinのgccでは / はパス区切りと認識するからそのようなエラーが出る。

結局、516, 518が言っているように、
Cygwin上ではなくて、cmd.exe上でVC++のコマンドラインコンパイラが使えるように
環境変数を適切に設定した上でnmakeしなければビルドできない。

度々ありがとうございます。
cmd.exeでVC++のbinとOcamlのbinのパスを環境変数に設定しました。
そしてnmakeすると、

CL.EXE - コンポーネントが見つかりません

mspdb60.dllが見つからなかったため、このアプリケーションを開始できませんでした。
アプリケーションをインストールし直すとこの問題は解決される場合があります。

となりました。
これは、VC側の問題・・・？

今、手元にVC++6のCDがないため、明日再インストして試してみます。

↑509です。

vcvars32.bat

こいつどうせ割れ物のVC++6.0とか、
ライセンスが曖昧なMSDNとか使ってて、
マニュアルに目を通した事ねぇんだろうな。

なんでこんなの相手すんの？
もしMSDNのサイトライセンスがあるのなら、
ライセンス管理者か、詳しい人に聞きゃええやん（大笑

> 環境変数を適切に設定した上で
と言ったのに

> cmd.exeでVC++のbinとOcamlのbinのパスを環境変数に設定しました。
PATHだけ設定してもな。

516が
> INCLUDE や LIB 環境変数も適当に設定する必要があるかも。
って言ってるんだから、VC++ 環境変数 でぐぐるぐらいしなさいな。

とりあえず 522 が挙げてくれたキーワードでぐぐってみ。

>nmake

Microsoft (R) Program Maintenance Utility Version 6.00.8168.0
Copyright (C) Microsoft Corp 1988-1998. All rights reserved.

ocamlopt -c win32_core.ml
'ml' は、内部コマンドまたは外部コマンド、
操作可能なプログラムまたはバッチ ファイルとして認識されていません。
Assembler error, input left in file C:\DOCUME~1\xxxxx\LOCALS~1\Temp\
9.asm
NMAKE : fatal error U1077: 'ocamlopt' : ﾘﾀｰﾝ ｺｰﾄﾞ '0x2'
Stop.

test_optのmakeはなぜか上記の通り失敗しましたが、
static,dynamicのテストプログラムは動作しました。


指摘された通り、
環境変数のPath, Lib, Includeに必要と思われるパスを設定して
vcvars32.batを実行したらnmakeできるようになりました。

>>524
知らない人は答えなくていいです。

>>526＝VC++のコマンドライン環境を知らない痛いひと

# let id x = x;;
val id : 'a -> 'a = <fun>
とおいて、
# id id ;;
- : '_a -> '_a = <fun>
としたとき、値ポリモフィズム?になってしまう理由はなんででしょうか？
本当であれば 'a -> 'a ですよね。

いみふめ

http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml.html#htoc70
とかかな。
簡単にいうと、副作用が含まれる場合には型安全でなくなるからかな。

相変わらずお前の質問は、間抜け過ぎて解答しようがない＆元ネタ付きだな。
哀れな奴

質問>>528と解答>>530のズレっぷりが、痛々しさを増幅している

そんで元ねたは言わないのな

朝からﾌｧﾋﾞｮるな。鬱陶しい。

祈念化キコ挙げ

>>528
value polymorphismという言葉を知っているのに、
何故その理由が解らない？

取り敢えず学校で出て来てくだしあ

>>533
T大のML演習の課題だった

528です。
>>536
www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/chapter8.ps.gz
のpp.107-108のあたりを勉強しています。
アンダースコアがついた型変数がvalue polymorphismを表すということは、わかったんですが、
中身が理解できませんでした。

>>530
副作用がないということは、代入がなければ素直に'a->'aという型付けが
可能ということですか。

>>530がはってくれたリンク先にすべて書いてあるだろ？
日本語は書けても読めないのか？
どうしてもわからんのなら明日の夜教えてやるｗ

どこで？７号館？

明日じゃ遅いのです

学部生のプログラム演習受講者レベルで
大学名晒す厨房っぷりに萎え萎え

やれやれ
また東大コンプレックスかい？ｗ

小学生レベルの煽りだな

俺も東大ですが何か

お兄ちゃん、わたしその学校知ってるよ。
神田にあるやつだよね！

マジレスしてみる。

項を多相型として扱えるかどうかを判断することは一般的に不可能(決定不能)。
なので確実に多相型として扱える値だけを多相型として扱う、
というのがOCamlが採用しているvalue polymorphism。
もちろんこれは十分条件で、多相型として扱えるはずのものが
多相型として扱えなくなる場合がある。例えばid id。
この項は多相型として扱えるはずだが、
関数適用であり値ではないため多相型にならない。

質問ですが、
CygwinでOcamlをソースからコンパイルし、
ocaml, ocamlcは使えるのですが、
ocamlc -custom f.mlとすると、
/usr/lib/gcc/i686-pc-cygwin/3.4.4/../../../../i686-pc-cygwin/bin/ld: cannot find
-lcamlrun
collect2: ld returned 1 exit status
Error while building custom runtime system
となります。
（f.mlは　let func a b = a+b;;）
解決法ありませんか？

SMLにはOcamlのocamlcとかocamloptに相当するものは無いの？

>>549
環境変数OCAMLLIBがおかしくない？
Windows版のOCamlをいれると勝手に設定されるよ。

それで解決しなければocamlc -verbose -custom f.mlした結果を貼ろう。

・cygwinの開発環境パッケージ、特にbinutilsが入っていないとか、
・gccのインストール状況が不完全で、gccが内部使用するツール(binutils)を呼び出せない
といったレベルの問題だと思う。
まずはC コンパイラーが動作する事を確認汁

>>550
mltonは普通にコンパイルできるよ。

gccの内部には詳しくないが、>>549のエラーログを見る限り
ldはちゃんと起動してるからbinutilsが入ってないことはないだろう。
というか、libcamlrun.aを見つけられないだけじゃないのか。

>>549
もしまだ悩んでるようならocamlc -whereの結果をみせてみ。

> (省略)ld: cannot find -lcamlrun

かよ！！！(変な所で改行するから ldがめっかんないつってると思った)
CAMLのライブラリ(libcamlrun.aとか、libcamlrun.so)が見つけらんなかったって言ってるだけやん。
ldの -Lオプションが正しくないか、インストールが間違ってるんだろうな。
とりあえず環境変数 LD_LIBRARY_PATHに　上記ライブラリの絶対フルパスをコロン区切りで設定
　　bash% export LD_LIBRARY_PATH=(絶対フルパス):${LD_LIBRARY_PATH}
　　csh%　setenv LD_LIBRARY_PATH=(絶対フルパス):${LD_LIBRARY_PATH}
　　C:\>　set LD_LIBRARY_PATH=(絶対フルパス):${LD_LIBRARY_PATH}
してやればいーんじゃねぇの？

>>445 なんだかわからないけど、
グラフィック画面にすごい数のポイントが行ったりきたりしてますよ。
これつかえるかもしれないんで、試してみます。どうも。

>>445のやつはUnbound value plot_pointって出るけど何で？

let plot_point p = plot (fst p.p) (snd p.p);;
とでも定義しておけ。

The external function `caml_gr_plot' is not available

>>559
#load "graphics.cma";;

445 ですが、、、
>> 557, 559
いくらなんでも自助努力が足りないんでないかい？

教えてくれる人がいるなら頼るのが正解

ＭＬに手をだして数ヶ月。
久々にＣのプログラム書くことになった。
配列処理が必要だったので、
for (int i; i <
ここまでかいて、
「うわっ、やってらんね。」とＭＬの偉大さを知った。

マンセー房ぽいが、まじめな話、
１年くらいやったら、ループがかけなくなりそう・・・orz

配列処理が一番楽なのはfortran（90以降）だと思う。

>>563
MLだと不便なコードもあれば、Cで書かないと非効率的なコードもある。
言語は使い分けることで全体の効率がよくなる。

久々に書いたCで関数宣言に型をつけ忘れてコンパイルエラーになったことはあるな。

>>565
まあ、MLで書いた方が簡単なコード100に対して、1ぐらいはそういうコードがある
かもね。

>>567
では、MLでデバイスドライバ書いてください。

MLは文字列処理に弱いと思う。Cはその数百倍弱いけど。

>>568
ML で OS が書けるんだから、デバドラも当然書けるんじゃね
Windows のドライバを書けとかなら厳しいかもしれんが

>>568-570
ドライバを書いたこともないやつがほざくなよ。

>>570
> ML で OS が書けるんだから、デバドラも当然書けるんじゃね

ポカーン

しぃー、可哀想な人のことじっと見ちゃダメ！

>>568
世間に存在する全ソースコードは、世間に存在するドライバの
全ソースコードの100倍以上あるだろうけどね。

あたまわる。

あまりのことにひっくりかえった。なんだこりゃ。

>>575-576
論破されて必死ですねｗ

>>577
スレの質落としたいのか？

>>578
575と576のことかい？

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
談話解析と文章生成プログラムのテスト中です。
ときどき暴走しますが、所詮プログラムのする事で
悪意も善意も一切ありませんので。よろしく。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

もうMLスレもおしまいだな。
なぜかOCaml使いが増えて、スレが賑わってきたと思ったらバカな連中ばかりで、議論の質もずいぶん下がった。
2ちゃんねるはもはや何の情報源にもなりそうにない。

よっぽどCのファンなんだろうけど、多くの場合のおいて
MLの方が優れているという現実を見つめよう。
他人が馬鹿なせいにするのは簡単だけどねｗ

>>581
まぁ今荒らしてるバカは、
かつてはRubyスレやOOスレに居座って荒らしを続け、
最近はデザパタスレや推薦図書スレを猛烈な勢いで荒らしてるばかちんなわけだが。
つかもともと学生と教官の対話しかねぇじゃんこのスレ。

初心者練習用コードの集合って大きいなあ。

まあ、ただCよりMLが優れてるって言われただけでムキになって
大暴れするような奴よりは、このスレはレベル高いんじゃない？ｗ

恥ずかしい奴だな
その粘着力を実生活に活かせよ

>>585
誰も彼もひとまとめにするなよ。
誰に言っているのか自分でも分かっているのか？

>>572
ML で OS を書いたら、当然その OS のドライバも ML で書くようにするんじゃないの?
少なくとも、TCP 等の仮想デバイスのドライバは ML で書くんじゃないかね
良く知らんけど、LispM 用のドライバは Lisp で書かれてないの?

唐突に質問ですが、

type 'a set = 'a list;
fun f ((r,a) : (''a * ''b) set * ''a) =
case r of
[] => [] : ''b set
| ((a1,b1)::tail) => if a1=a then b1::f (tail,a) else f (tail,a);

で、
f: (''a * ''b) set * ''a -> ''b set にしたいのですが、
なぜか
f: (''a * ''b) set * ''a -> ''b list

[] => [] : ''b set
で型指定してるのになぜ・・・？

自己解決しました。

type 'a set = 'a list;
fun f (([],a) : (''a * ''b) set * ''a) = [] : ''b set
| f ((a1,b1)::tail, a) = if a1=a then b1::f (tail,a) else f (tail,a);


なぜ589だと''b listってなるんだろう

>>588
> ML で OS を書いたら、当然その OS のドライバも ML で書くようにするんじゃないの?

それが正しければ、ML以外で書かれたOSは当然ML以外で書くんだろうな。
ほんとアフォ丸出し。さっさと消えれば？

>>591
> それが正しければ、ML以外で書かれたOSは当然ML以外で書くんだろうな。

OSのデバイスドライバは、な。

MLでOSを書いた場合、GCはOSに必要でしょうか

C で書かれた UNIX のデバイスドライバは、C で書かれる事が多いと思うけど?

>>594
ほんとそうだよね。>>570にもわかるように教えてやってよ。

Cで書いた方がいいプログラム

・Cで書かれたUNIXなどのデバイスドライバ

以上

で、>>591 はどうなったの?

>>597
591のどこかに問題あるのか？

問題があるとすれば、588のどこがアホ丸出しなのか
さっぱりわからないということぐらいかな。

>>599
588が572への反論として成立するためには
(1) ほとんどのOSがMLで記述されている、または
(2) ML以外で実装されているOSのデバイスドライバを記述するのにMLが向いている
のいずれかが成立していなければならないが、
(1)は呆らかに成立しないし、(2)は591にある通り588自身の主張に矛盾する。

以上により588はマヌケな粘着バカであることが証明された。

夏ですなぁ。

>>600
>(1) ほとんどのOSがMLで記述されている、または
>(2) ML以外で実装されているOSのデバイスドライバを記述するのにMLが向いている
>のいずれかが成立していなければならないが、

この前提が間違い。
もともと588は

>では、MLでデバイスドライバ書いてください。

に対する反論であったはず。
MLで書いたOSのデバイスドライバなら書けることを示すだけで十分。

なお、

>では、MLでデバイスドライバ書いてください

が

>まあ、MLで書いた方が簡単なコード100に対して、
>1ぐらいはそういうコードがある
>かもね。

の反論として成立するためには、

(1)デバイスドライバなるものが全てのソースコードのうちの1/101より
大きな割合を占めていること

が成立していなければならないが、
(1)は呆らかに成立しない。

以上により568はマヌケな粘着バカであることが証明された。

>>602
> >では、MLでデバイスドライバ書いてください。
>
> に対する反論であったはず。
> MLで書いたOSのデバイスドライバなら書けることを示すだけで十分。

・・・あんた、本物の認知症患者だね。working memoryが少なすぎ。

>>603
MLに向かない色々な領域の例としてデバドラが出てきたのに
どうしてデバドラだけで1%以上にならなければ反論として成立しないのか、
ほんと精神病患者の考えることは理解できんよ。

頭悪杉

ドライバについて知らないだけかと思ったら、それ以前かよ...

デバイスドライバが全体の1/100より大きくなければ568は反論になってないだろウンコ頭

どっちの夏厨もOSもドライバも書いたことねーよ

OSはともかく、ドライバくらいは書けるだろ

デバイスドライバなんて俺にとってはどうでもいいことだけは確かだ。

>>607
「世界の人口のうち日本人以外は95%以下」という主張をして、
「違うというのなら具体的な証拠を挙げろ」と言う香具師がいたとする。
そいつに対する反論として「まず中国人がいるだろ、、、」と列挙しはじめたら
「中国人が日本人の20倍いるってのかよ？
20倍いなければ反論になってないだろ」とか言い出して暴れてるようなもんだ。

ほんとお目出たい人間のゴミだな。

>>611
中国人が20倍いなきゃ、中国人だけでは確かに反論になってないだろ。

まあその例だと、あとはインド人とアメリカ人あたりを挙げれば
十分だがな。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
頭悪いのが粘着して自作自演中。全部スルーでよろし。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

>613 自演オツ

MLコア自身をMLで書けないのにOS作れるんですか？

どんなOSかによるんだろうけど、仮に

OSを作ろうpart9
http://pc8.2ch.net/test/read.cgi/tech/1076217479/

スレの現状の成果物と同じものを目指すとして。

>>615
>MLコア自身をMLで書けないのにOS作れるんですか？

不可能って訳じゃないよ。面倒くさいから誰もやらないだけで。

プログラムをどの言語で書いてもどうせCPUとこでは機械語になってんだから細かいことは気にしなさんな。プログラム言語は書いてて楽しければ良いんだよ楽しければ。
MLでOS書いて楽しいならとっても結構なことだと思う。俺はやらんけど。

え、仕事？C/C++/Java/C#.....いろいろあるから好きなの使って書いとけ！

>>617
MLって何の略か知ってる？このスレにいるんだから知ってて当然だよね？

何でおかしな奴がこんなに湧いてんの?
それとも一人なのか?

>>619
例えば、シグナルハンドリングとか GC とかネイティブスレッド対応とか FFI とかを
ML のみで書くのは面倒くさくないのかね?
FFI がコアかどうかは異論もあるだろうから、GC だけでも良いけど。メモリ管理が
コアじゃないって事は無いよね?

>>619じゃないが、そんなもん面倒に決まってんだろう。
Cで書いてもそんなに簡単だとは思わないが。

今Cを使うと楽なのは、機械語、アセンブリ、他低レベルな言語いろいろを経て
蓄積された過去の資産が生かせる状況だろう。
Cがそういう地位にあるのはCの人気や魅力によるものなのかもしれないが、
資産自体がCの潜在的な能力というわけではない。

って、何の議論をしてるのかよくわかってないんだけどね。
的はずれだったら無視して。

>>622
>Cで書いてもそんなに簡単だとは思わないが。

ML で書いた方が「より」簡単かって話。

>>622
>資産自体がCの潜在的な能力というわけではない。

そこだよな。言語仕様だけを比べるなら
ほぼ100%　ML＞＞＞＞＞＞＞＞C

>>624　これがML厨と云われる種類のバカの一種ですか？
何が上とか下とか、どうやって決めるの？
基準は？それは客観的なのか？
「農業と工業どっちが偉い？」というのとレベルが変わらないような議論なんじゃないの？

基準は、マトモなプログラマが同等の内容のプログラムを
書くのにバグが少なく、短時間でわかりやすい
コードを書けるということかな。
そして、この場に書いた意見ははほぼ主観的。

やれやれ、ここまで詳しく言ってやらないとわからないのかな。

これもゆとり教育の弊害か。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
頭悪いのが粘着して自作自演中。全部スルーでよろし。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

>>626
つまり、主観的である以上、他人にとっては意味のない意見だということだね。
意味の内ことを書くなよ。

>>615
>>363

中身を観たわけじゃないんで、自分で判断してくれ

>>628
読むのダルいから、トリップ付けてくれよ。

>>630
別に俺のアイデンティティなんて問題にならないような意見を並べているだけだから、名無しで十分。

>>631
分かりにくくて、ごめんな。お前のレスを読みたくないんだ。

>>632
自己中心的な要求には応えかねる。

CleanでOS作るプロジェクトの話は、本で読んだ事ある。
もう20年近く前の話。最近はOCaml同様Game用SDK作ってるみたい（藁

CleanはHaskelのMonadic I/O以前にClean I/Oつうのを作ってるから、
なんか作りやすいんかもしれないね。
あと、OS作るなら最低限でも、port I/O、絶対アドレスアクセス、アセンブラでしか弄れないようなレジスタ操作とのI/F、あとデバイス制御のためのリアルタイム性
くらいは必要なんじゃないかなぁ～。まあCでも書きにくいところはさっくりアセンブラだから問題ナッシングな気がする

LispでOS作る話は、断片的にしか読んだことないが、
ARPAネットワークのためのTCP/IPスタックが全部Lispで書かれてたとか(LMI～Symbolicsあたり)、
一つのインタプリターでマルチプロセス対応するためにいろいろ工夫があったとか(NTT ELIS WS/TAOに関するbit記事)、
etc, etc。

つかLispの場合、MacLisp実行環境としてMultics作ったり、初期のBSD UNIXもやっぱLucid Lispの実行環境だったり、
挙句の果ては専用CPU作ったりする世界だから、ねぇ。
Lisp用に計算機アーキテクチャをカスタマイズしちゃうんだから、LispでOS作れて当たり前な気が

>>628
他人の主観的意見から何かを感じとれない人にとっては
意味ないかもしれないね。
しかし、そうじゃない人もいるから意味がないとはいえないな。

はいはい。客観的に見て、いちいち荒れる対応する>>626が痛い。あ、自作自演なら、どっちも痛い。

判ったか？満足したら、さっさと壺に糞を詰める作業に戻れって

>>636
エサを与えんなよ

ttp://dst.purevoid.org/ の話が何で出てきてないんだ？

一応出てきてるけど、喰いつきが悪いだけ

>>636
主観的意見とは、信用がない人間の意見だとまったく無意味。
一名無しだったら、信用は半々だろうけど、その分必要なのは統計的なデータ。
何の根拠もなく感想を述べているだけでは、釣りとも本気とも判断が付かない。
そして、判断するのは他人の自由だ、と責任を他人に押しつけることが、すでに釣りである可能性も示唆している。

おまえら名無しに依存しすぎ

こういう議論は匿名でやってもすぐうやむやになるから
会員制の掲示板でやろうぜ

>責任の押し付け

ﾜﾗﾀ
やばいこいつｗ

>>639
OS のソースツリーを見ると、C と ASM と ML のミックスチュアみたいだね。
デバイスドライバは ML で書いてあるね。

話題になっていないという事は、誰も試してないのかな。

そりゃ誰も試さんだろ
MLでプログラムを作ることは魅力的でも
MLで作ったプログラムはそうではないからな

それがMLが普及しない理由だろうし

そんなもんかね。
これが SML か Lisp だったら、qemu の中で飼うくらいはするんだけど。

>>643
情報が正確でないから判断を押しつける、委ねる、どっちでもいいが、のだろう。

え、
qemuて実質x86とppcしかサポトしてますが

>>648
日本語壊れてるが、大丈夫か??

そうですか。。

つまり、641が言いたいのはこういうことか？

統計データがない場合は、名無しさんの信用は半々で、
判断は読者にゆだねられる。
その場合、釣りである可能性を示唆している←（ﾜﾗ

・・・で？

>>651
そろそろ終わりにしてくれないか。

>>651
自作自演もそろそろ飽きた

なんだ、Ocaml のOSか。さもありなん。
Ocamlはある面、Cの代替と成り得る実用MLを目指してたから、
そーゆー展開もありだろう

でもGCとか、低レベルな用途には余計な機能が入ってるよ
デバドラなんか動かしたら不安定なんじゃ
LISPマシンはどうだったんだろーね

Symbolics の Lisp マシンはメモリプロテクトをハードウェアで実装してたみたいね。
デバドラとかなら GC はしないで、メモリ管理はプログラマに任せる実装もありかと。

Lego で動く Lisp
http://www.xslisp.com/index-j.html

Free の Lisp OS
http://common-lisp.net/project/movitz/

16KのROMに入らなければならないような組み込み制御には全く向かないね。
あとハードなリアルタイムもC等のほうがやりやすいだろうな。

結局、ほとんどどんなプログラムでもMLのほうがつくりやすいと言ってる人は
自分の回りしか見ていない、つまり、元々ML関係に持ち込まれる話の中でしか
考えていない大馬鹿者ということだ。

そんなのはその部分だけアセンブリで書けばいいだけ
というよりハードワイヤかすればいいだけ。
本質的にソフトウエアな部分はMLで書けば良い。

まあMLを知ったばかりで浮かれているのでしょう。
そういう魅力はある。

かなづちを持った人間にはすべてが釘に見える。

>本質的にソフトウエアな部分
>本質的にソフトウエアな部分
>本質的にソフトウエアな部分

>>658
> 本質的にソフトウエアな部分はMLで書けば良い。

結局、>>657の言う通り、自分の周りだけを見て「本質的にソフトウェア」とか言ってる
のが丸わかりなのが痛すぎるわけだが、君は自覚しているか？

ねぇ、それって詭弁のガイドラインの何番目？

ホント議論展開が稚拙だね。

デバイスドライバが出てくるところまで読んだ

詭弁のガイドライン持ち出して回避しようとする方が稚拙な気が
しかも何番目とか言ってるし

>>657
ROMが少ないならROMを増やせばよい。
RAMが少ないならRAMを増やせば良い。
処理速度が遅いなら処理速度をあげればよい。

コーディングの便利さと実行効率とは無関係。
別の議論だよ。

>>665
> ROMが少ないならROMを増やせばよい。
> RAMが少ないならRAMを増やせば良い。
> 処理速度が遅いなら処理速度をあげればよい。

爆笑！！おもしろい白痴だな、おまえ。

【議論の流れ　1/2】
>>363　　　　OCaml OSへのリンク初出

>>564-567、>>569
　　　　　　　　プログラミングのし易さに関する、MLと他の言語(C, Fortran90)の比較(変数型宣言、配列処理、文字列処理)。

>>568　　　　最初のDQN発言「ではＭＬでデバイスドライバ書いてください。」
>>570-574　MLでのOS/ドライバ記述可否の議論
>>575-587　メタ議論開始
>>588-653　一部例外を除き、実りのない議論に終始

【議論の流れ　2/2】
>>634-635　他の関数型言語(Clean, Lisp)によるOS実装の話題

>>639、>>644-646、>>654-655
　　　　　　　　>>363リンク先にOCaml OS実装がある事の指摘と、関連する話題
>>656　　　　LispOSと、LegoによるLisp実装に関する貴重な話題の提供
>>657　　　　二番目のDQN発言「16KのROMに入らなければならないような組み込み制御には全く向かないね。」

話題ずらしまくって、人に迷惑かけんなよ。
16KのROMに入るOSなんて、リアルタイムOSカーネルの事だろ？
そんな話、このスレの流れでは誰も興味持ってねぇんだよバーカ

関連無いこと言い出して議論を荒らすというのは、詭弁のガイドラインに載っている有名な荒らしパターンなんだよ、
このスットコドッコイ

>667-668
あいかわらずの粘着だな

>>668
> 16KのROMに入るOSなんて、リアルタイムOSカーネルの事だろ？
> そんな話、このスレの流れでは誰も興味持ってねぇんだよバーカ

なるほど、>>657の言う通りなわけだ。かなりトホホな奴だな。

あーあ。またバカがスレのレベルをズリ下げてる。
おまえのゴタクなんて誰も聞きたかねぇんだよゴミクズ。

関数言語自体の話題か、関数言語を使った実装(OS, アプリ)の話題以外
書き込むなよ

>>671
そうだな。
MLでできないことがあったなら、具体的に言ってもらわないと対処法も何も出るわけがないのにね。

MLを何か作るための言語にしようとしているのは、主にOCamlの連中。
もし何か決定的な欠落とか、欲しい情報があるのなら、IRCAMの開発者とコミュニケーションするよろし。

できないこと？いつから、できる/できないの話になったんだ？
自演の上に捏造かい。ほんと馬鹿の考えることは馬鹿だな。
で、おまえは>>565に反論あるのか？

From: [565] デフォルトの名無しさん <sage>
Date: 2005/07/15(金) 22:20:35

>>563
MLだと不便なコードもあれば、Cで書かないと非効率的なコードもある。
言語は使い分けることで全体の効率がよくなる。
________________________________________

From: [567] デフォルトの名無しさん <sage>
Date: 2005/07/16(土) 05:04:22

>>565
まあ、MLで書いた方が簡単なコード100に対して、1ぐらいはそういうコードがある
かもね。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
DQN>>674粘着中。スルーするがよろし。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

16KのOSの話なんてどこに出ているんだろ？

>>676
さあ・・・よくわからんが、例のアホにはそういう話が見えているみたい。

まあソフトウェア全体に対する組み込みのシェアは、
本数ベースなら確実に1%以上なことは間違いないな。

組み込みは本質的にソフトウエアな部分じゃないんだよ

MLだと不便なのは、ドキュメントや処理系の選択肢が少ないことだろうな
結局誰も使ってないし

ドキュメントも処理系も本質的にソフトウェアな部分じゃないYO

そういう非本質的なところが、常に勝敗を分けてるのがこの世界だろ

っていうかＯＳすら作れない言語って一体・・・(pgr

OSは本質的にソフトウエアな部分じゃない

組み込みでも、OSでも、ドライバでもMLの方がいいだろうな。
環境さえ存在するという条件なら。

>> 673
なんで IRCAM (フランス国立音響研究所) が出てくるかな？

BLASなしで行列演算やりたくないよな。

ところで、ML の小さい実装（サブセットでも）ってありますか?
Scheme は C で 1000 行程度の実装があったりしますが、ML
は見かけた事がないので。

>688
min-camlとか。
http://min-caml.sf.net/
OCamlで2000行くらい。

はっきり言ってほとんどなんにもないけどな。MinCaml。

>>689
thanx.
MLer はやっぱり ML で書くのか。

>>686
この前のフランスの行政改革で、INRIAはIRCAMに統合されたってゆってた（嘘８００

こうなったら、ＭＬでＯＳ作るしかないでしょ。
オープンソースで。
2chMLOS

IntelCPUでLinuxもどきのＯＳをＭＬで作るとしたら、
どうすればいいんだろう。
ブートローダはアセンブラでかくとして
あとはMLコードを適切なバイナリで出力できるコンパイラ、リンカが
必要になるのか。

このスレには実は俺以外一人しかいない予感

>>694
特権レベル変更とか、preemptiveなコンテキストスイッチとか、面倒なのが色々あるね。

1 floppy bsd/linux みたいなノリかな。

とりあえず、1 floppy
・ブートローダ（アセンブラ）←ここでプロテクトモードに以降。カーネル先頭にＪＵＭＰ。
・カーネル
　割り込み処理　（キーボード入力）
　メモリ管理（ページングなしのフラットモデル）
　ビデオメモリ直描画ルーティーン
　スレッド２つ生成してタスクディスパッチ実験

とりあえずここまでできないかな。

適当にOSスレのパクればいいじゃん。
その前にMLで書く意義を見つけたいとこだけど。

やっぱりＯＳ書くとなると状態を扱うことが多いので、
ＭＬでは副作用をおこす処理が必要でどうなんかなと思うことも。
あと、ＭＬではbit単位のデータ構造扱うことできたっけ・・・？

val _ = __asm (...)
みたいなのが必要？

どうせgcc入るんだしMLで書くとか奇想天外なことされても迷惑なだけだよ

例えば特権周りってトリッキーな部分が多いんだよ。
例えばプロセッサがx86の場合には、カーネルモードからユーザモードに
移行する命令がない。だからLinuxなんかでは、スタックフレームを直接
イジって、特権割り込みからのIRETを偽装してユーザモードに「復帰」することで
initをユーザモードで実行する。これをMLでどう実装するか。

あとシステムコールもユーザモードからカーネルモードに移行するのを
割り込みとして処理するのが一般的だけど、その辺のプロセッサレベルの
割り込みをMLでどう実装するのか、結構面倒だと思うぞ。

>>659
ワインバーグの本、面白いですよね。

>>702
よし、それじゃML.NETみたく、
gccフロントエンド版Ocaml作ってgccと相互呼び出しできるようにする所から・・・

つかさぁ、ML系言語でOS書く事にどんな目的を持ってるの？
例えば今までやりにくかった事が、MLで書く事でこんなに綺麗にスマートにすっきり書ける、とか、
MLの機能を使う事で、OS上にどういった概念を持ち込めるとか、
そーゆー餅ベーションが見えん・・・

餅のないテーマは長続きしないよ・・・。

>>695
同意。

まぁ俺は、直近では>>705しか書いていないわけだが

まぁ俺は、直近では>>708しか書いていないわけだが

ＭＬで書いたＯＳのメリット
・バグが少ない
・開発効率が良い
・標準開発環境にＳＭＬ，ＯＣＡＭＬを採用し、アプリの開発環境も充実
　（ＡＰＩは勿論ＭＬインタフェイス）
・これまで数多くのＯＳプロジェクトが出てきたがそれらとの差別化を図ることができる。
・ＭＬでＯＳかくという行為自体が楽しい

何処まで行っても ML or ASM っていうのは気持ち良いかもしれない。
C の ABI とか考えなくて良いし。

動的なバグだらけだったりして。

>>705
> つかさぁ、ML系言語でOS書く事にどんな目的を持ってるの？

ML万能厨のオナニー。

>>709
センス悪！いちぬけ

ここでダベってる、知恵遅れの方にお願いです。

あなた専用のスレを用意しましたので、続きはあちらでどうぞ。

　ム板王者決定戦
　http://pc8.2ch.net/test/read.cgi/tech/1121781119/

今まったく関係ないけどEXEファイルを展開できるソフトって何だっけ？

Miranda だっけ? OS 作ろうとしてたのは
自分の好きな言語で閉じた環境を作るのは
プログラマーのロマンだと思ってたけど

おれは実行ファイル等の出力にしか興味ないが

>>716
インタプリタでOS書くのかYO

それともMirandaの処理系をOS無しで直接IPLからロードして立ち上げる話？
だったらそんなのはロマンでも何でもなくて、一昔前は皆やってたことだ。

ここでダベってる、知恵遅れの方にお願いです。

あなた専用のスレを用意しましたので、続きはあちらでどうぞ。

　ム板王者決定戦
　http://pc8.2ch.net/test/read.cgi/tech/1121781119/

MLOSはMLerのためのＯＳなんだよ。

過去の遺産は受け入れん。
MLOSできたのはいいものの、アプリが少ないからといってC-Lib使えるように、
C-Interface作る･･･とか本末転倒なことはしない。

とりあえずは、
・MLでのＯＳ基本設計
・実行形式の定義
・etc...

まずは、2chブラウザ作りたい・・・。

命名：MLOS = PureMLOS
MLのコード、それをコンパイルしたオブジェクト、実行形式
それ以外のものはPureMLOSには存在しない。

テキストファイル、画像ファイルなどは除く。

XMLML

申し訳ありませんが、教えていただきたいのですが、
MLを勉強したいのですがそのためによい本とかありますか？
教えてください。お願いいたします。

本より処理系決めてマニュアル読んだ方が早いかも
細かい違いがあるし

それと>>1のリンクにあった
http://www.summa.jp/tutorial/plain/mlkouza.txt
これが↓に移転してる
http://tutorial.jp/

>>726
これを読んでおけば間違いない。

Milner, Tofte, Harper and Macqueen. The Definition of Standard ML, MITPress

>>726
関数型言語そのものを勉強するとともに、数理論理学などを勉強すると良い。
言語の文法自体はすぐに理解できるだろうから、なんでも良い。

○camの○×さん。悩み事があるって言うので、聞いてあげたら、「なんか、
解かんなくなっちゃった」だって。周りからは「別れる様に言われてるらしい」けど、
俺も、そいつの事聞いて、「別れなさい」って言ってやった。それなのに・・・。
俺は、お客さんだぞ。話聞いてやって、ポイント使って、散々だよな。
まあ、こんなチャトレも居るってことが、よ～～～く解かったけどね。
これからは、個人的な相談には、乗らないで、俺のペースで話しよ。
＊あほな俺に、ご意見待ってます。

>>726
ML for the working programmer

>>726
とりあえず>>728を読んどけ。CにおけるK&Rみたいなもんだから。

PHPで２次関数の解を出すプログラムを教えてくださいｍ（__)ｍ

PHPなんてゴミ言語はプライベートでみたくないんですが。

そこを何とか、お願いします。

次から次へと新しいのが来るな。

Perlでも構いませんので、どうかお願いします。

　　　　　　　　　　　　 ,　-＝ゞ'´ニニ＞- ､_
　　　　　　　　　　 ／へ_,. -──‐'´　 `ー─ヽ、
　　　　　　　ゝ=='´　　　　　　　　　　　　　 ｀ヽ､｀ヽ､
　　　　　　／／ 　　 　 /　 l| 　 |　　 ＼　 　 　 ｀ヽ､`ヽ､
　　　　 　 フ / /　/　 / /| |l 　 |　ﾄ､_ヽヽ　　 ＼＼ヽ　　｀ヽ､__
　　　　 ／// /　〃　/!/｀ト|ヽ　|ヽl´＞ミ､ヽ、　 ヽヽ｀　　　｀ヽ、
　　　／　l/|　|　/ | / r'⌒` ! ヽ |　´　　 ヾ7/＼　 ﾄ!
　,ｨ/　　 　 |/| /|∧ﾄ! !　（）　　　　　（）　/ l/ / ＼| !
　/ 　 　 　 ! .| | ! ヽ ﾍ　`´´　　,　　｀￣　 レ'　 　 ヽ
./　　　　　　 ヽ!　　 `ﾍ　 　 , --一 ''ヽ　 /ト ､、
　　　　　　 ,. -‐ｧ', -''7/ヽ､ |　　　　_ノ,.イ|L-‐''´ //>-､
　　　 　 ／ ／／rTT´￣￣ヽ｀二 -''´ /　　　　 ///　　＼ヽ､　　　カズちゃんの童貞奪っちゃ、ダメーーッ！！
　 　 ／　 /／/　| | |　 　 　 |l　　　　 /　 　 　 // |　　　　`ｰ､ヽ

---- キチガイ一名が放し飼い状態になってるな ----

＞本質的にソフトウエアな部分
ﾜロス

OSもソフトウェアです。

ocamlc -c -custom aaa.ml aaa.obj
ってやると、　aaa.obj をどうしていいかわからないって返されるんだけど
c++とは連携できないの？

そんなの誰も釣られないし。
もういーから、誰かもっとタメになる話してくれよ。
MLの情報得られる場所なんて、少ないんだからさ。

世の中give & takeですよ

世の中の全てがgine & takeなわけない。
それと同数の　take & giveがあるはずだ。

そこでオレは考えた。
take & escape すればいいことを。

そうなると、

give & killになりかねんな。

オレは最近気づいたことがある。

Ｃでプログラミングするときより、
ＭＬでプログラミングするときのほうがストレスが少ないことに。

==============================
キチガイが狂った独り言を書き込み中
==============================

オレはＣ等のめんどくさい言語に愛想をつかし、
プログラミングはもうしまいと思っていたが、
ＭＬと出会い、プログラマ魂が復活した。

==============================
キチガイが狂った独り言を書き込み中
==============================

Objective Camlのコンパイラーの使用方法について
教えて下さい。
（当方環境：windowsXP,Ocaml V3.08.3 MinGW版）

ocamlc hello.ml -o hello.exe

このコマンドでは問題無くexeファイルが作成され
実行も出来ましたが、native codeを
作成しようと下記コマンドを入力したら：

ocamlopt hello.ml -o hello

'as' は、内部コマンドまたは外部コマンド、
操作可能なプログラムまたはバッチ ファイルとして
認識されていません。

このようなエラーコメントが表示され
コンパイル出来ません。

なお、hello.mlの中味は下記の通りです：
let _ = print_string "Hello, World!\n"
let _ = read_line()

どのようにすればnative codeにコンパイル可能で
しょうか？ご教示願います。
以上

回答略
　　　　　いじょ

すいません。751です。
ocamlopt hello.ml -o hello は
ocamlopt hello.ml -o hello.exeです。

世の中give & takeですよ

私は問題を提供したのですが…
回答をご提供いただけると有難いです。

MinGWがちゃんとインストールされてないだけだろ

>>756
煽りは結構です。
ちゃんとした回答を提供できる方はいませんか？

>>756
asにパス通ってないんだからその手の問題だろうな。

>>751
処理系を入れてみたというだけで、貴重なチャレンジ精神だと思います. 頑張っ
てください.

> 'as' は、内部コマンドまたは外部コマンド、
> 操作可能なプログラムまたはバッチ ファイルとして
> 認識されていません。

これは、as という GNU のアセンブラが見つからないというメッセージです.
cygwin はインストールしましたか? MinGW版 の ocaml でネイティブコードを
出力するためには cygwin が必要です.

http://www.jaist.ac.jp/~fujieda/cygwin/

cygwin をインストールしたら、コマンドプロンプトではなく、cygwin のター
ミナルでコンパイルコマンドを叩いて、再チャレンジしてみてください.

> なお、hello.mlの中味は下記の通りです：
> let _ = print_string "Hello, World!\n"
> let _ = read_line()

ちなみに余計なお世話ですが、

let _ =
print_string "Hello, World!\n";
read_line ()
;;

の方が一般的な書き方だと思います.

こんな奴までOCamlを使い出したということは…
ついにOCamlがメジャーになる日がｷﾀﾜｧ*･゜･*:.｡..｡.:*･゜(n‘∀‘)ηﾟ･*:.｡. .｡.:*･゜･* !!!!!

ごめん、OCaml厨が増えたのは俺のせいかも。

OcamlでOS作る妄想するより、
OcamlでHaskellとCとLISPとMaximaとRの
いい所合わせしたプログラミング言語作ってくれよ。

>>762
そう言うからには、何か構想でもあるのかい？

>>763
駄レス:: String -> Maybe String
>>762 >>763 => Nothing

いやあＭＬのプログラムは見通しがよくて
ストレスたまらんわ～～～

そうとばかりも限らない。

>759
ご回答、有難う御座います。
cygwin の最新版をデフォルトで入れました。
１）cygwin上で下記実行。
ocamlopt hello.ml -o hello.exe
が、状況は変化なし。

２）そこでcygwinのocamlをダウンロードして
cygwin上で実行してみました。

$ ocamlopt hello.ml -o hello.exe
C:\Program Files\Objective Caml\lib/libasmrun.a(io.o):
io.c:(.text+0x209): undefined reference to `__errno'
C:\Program Files\Objective Caml\lib/libasmrun.a(io.o):
io.c:(.text+0x213): undefined reference to `__errno'

ずらずらと、このようなエラーメッセージが続き
最後は
Error during linking
で終わっております。

３）ならば、とDOSプロンプトでやってみました。
'as'が見当たらないそうです…状況は１）と同じ。

どうも上記２）が最も正解に近そうですが
MinGW版Ocaml+cygwin版Ocamlでダブっているような
気もします。ただcygwin版Ocamlだけではnative codeの
コンパイルは出来ないと、マニュアルには書いて
ある？？？
win用native codeのコンパイルに成功した経験の
ある方、ご教示下さい。
以上

なお、
>755
>757
は751ではありませんので念の為。
>753　は間違いなく751です。
って、まあ証明のしようもないのですが…

as がねーってんだから as がねーんでしょう。
それをチェックしてから書き込んでますか？
もし、caml 初心者なら、始めのうちは、バイトコードコンパイラで十分です。
なんで、みんなネイティブに突っ走って教えて君モードになるのか…

Ｃ＋＋のオブジェクトファイル.objだとOcamlc派認識しないのかよってきいてるだろ？
それともやっぱり

　　　　　　　　　　　　　で　き　な　い　の　か　ｗ　

おれもOCamlOptは
cannot find file libassmrun.a
って出て動きません。

>>767
・as --versionでasが入ってるか確認。
・ocamlopt -whereで意図したocamloptが起動してるか確認。
・cygwin版ocamlを使うときは環境変数OCAMLLIBを消す。(当然nativeにはならない)
確かにここははまりやすいね。

>>770
MSVC版使ってるか？
あれだけの情報じゃ特にどうしろとは言ってやれないが、答えは「可能」だ。

>>772 Win版ってことですか…、
Visualｽﾀｼﾞｵ持ってないけど、やってみる。
Ｔｈａｎｋｓ

cygwin binutils (as) の使い方もワカンねぇヤシがネイティブコンパイルなんて、100万秒はぇーんだよ。
一週間くらい勉強汁！

asの所在：
　$ which as
　/usr/bin/as
　$ (cd /usr/bin; cmd /c cd)
　C:\cygwin\bin
　～～～～～～　これを環境変数PATHに追加しとけ（ﾜﾗ

_errnoの所在：
　ふつーlibc

libasmrun.aの指定方法へのポインタ：
　http://www.google.com/search?num=100&hl=ja&c2coff=1&q=libasmrun.a&lr=lang_ja
　libasmrun.a の検索結果のうち 日本語のページ 約 4 件中 1 - 3 件目 (0.34 秒)

　　今週のOCaml - PukiWiki
　　　ocamlopt -ccopt -static collect_events.ml /usr/local/lib/ocaml/libasmrun.a(unix.
　　　o)(.text+0x241): In function `caml_dlopen': warning: Using 'dlopen' in statically
　　　linked applications requires at runtime the shared libraries from the ...
　　wiki.ocaml.jp/index.php?%BA%A3%BD%B5%A4%CEOCaml - 21k - キャッシュ - 関連ページ

>>774
おまえいいやつだな。

>>774
こんな親切な人初めてみた

>>774
100万秒ワロタ。

質問です。
2次元配列の一部だけ変えたいときってどうしたらいいですか？
例えば、2x2配列の(1、1)だけ変えたくて以下のようにすると、
--
let a = Array.make 2 (Array.make 2 1);;
print_endline ((string_of_int a.(0).(0)) ^ " " ^ (string_of_int a.(0).(1)));;
print_endline ((string_of_int a.(1).(0)) ^ " " ^ (string_of_int a.(1).(1)));;
Array.set a.(1) 1 2;;
print_endline ((string_of_int a.(0).(0)) ^ " " ^ (string_of_int a.(0).(1)));;
print_endline ((string_of_int a.(1).(0)) ^ " " ^ (string_of_int a.(1).(1)));;
--
出力が以下のようになって、(0,1)まで変わってしまいます。
--
1 1
1 1
1 2
1 2
--
Array.setの使い方が違うのでしょうか。。。

あ、上の778はOcamlです。
初心者なので他の言語との違いが分かんないですけど。
お願いします。

> let a = Array.make 2 (Array.make 2 1);;
(Array.make 2 1)の結果はpointerなので、a.(0)とa.(1)は同じarrayを共有することになる。

> 780
なるほど。ありがとうございます!
let a = Array.make_matrix 2 2 1;;
に変えたらうまくいきました。

OCamlでWindowsアプリ作ってる人いる？
OCamlでメッセージ処理とかコールバックってどうやってるか教えて。

いないみたいな

ocamlのcmoファイルはバイナリのバイトコードだけど、
ニモニックのバイトコードを見るにはどうしたらいいの？

>>784
-dinstr オプションつけてコンパイルしてみ。
外してたら失礼。

OCamlおもすれーな。

関数型言語って始めてだったらかちょっと不安だったけど
これならなんとかなりそう。

>>786
私も初めはOCamlがML系だということで、面白いと思って、いろいろ試しに作ってみたんだけど、
ライブラリが揃っているように見えて、内実は全く不十分だということに気づいた。
簡単な物ならOCamlでも大差は無いけれど、俗なアプリケーション製作に関していえば、
結局C++の方が楽だということに気づいた。

>>787
例えばどんなライブラリが無かったの？

地震だ。でかいぞ？

OCamlで、クラス変数を外から見たいときってどうしたらいいですか？
たとえば、

class a =
let b = 0 in
object (self)
method f =
b
end
;;
print_endline (string_of_int (new a)#f);;

みたいに一回newすれば見れますけど、
もっといい方法ってないですか？

OCaml 3.08.4 リリース
http://caml.inria.fr/ocaml/release.en.html

>>790
インスタンスが一つも無い状態で、クラス変数の中身を見たいって状況が理解できない。
それはもしかしたら、クラスじゃなくモジュールでやるべきことなんじゃないかと、自問してみるのをお薦めする。

あと、一つでもインスタンスがあるのなら、

let obj = new a
let get_b () = obj#f

とでもしておけば、以後いつでも get_b で中身が見れるでしょう。

>> 792
他のところでインスタンスを使ってるんですけど、
意味的にクラスに変数をまとめておきたかったんです。

C++書いてるときにはよくやってたんですけど、
あんまりやらないのかな。

>>782
つ[F# + WindowsForms]

>>793
>他のところでインスタンスを使ってるんですけど、
>意味的にクラスに変数をまとめておきたかったんです。
って事は、たぶん、あるクラスの(static)変数を参照したいんだけど、それを
参照したい場所ではインスタンスへのスコープが届かないんでしょ。

module A = struct
let b = 0
class a = object
method foo = 1 + 1
end
end

とかにしとけば、

let _ =
Printf.printf "%d\n" A.b
;;

とかできますよ。

>>795
なるほどー。
勉強になります。ありがとうございます。

MLのﾅﾆが疑問かって、最後の
;;
が理解できない。
コード中にあったりなかったり。
どこに置くべきなのか。
C言語との対応表みたいなの誰か作らない？

自分で作れば?
;;はreplに与える式の区切りと思えば。

>>797
;;は昔は必要だったけど今は不要な記号。なくてもいいので使わない人もいる
し、宣言が終わりだということを明示的に指示したい時に書く人もいる。
あとトップレベル(対話環境)では必須。

マニュアル 6.11.2 より。
For compatibility with toplevel phrases (chapter 9) and with Caml
Light, an optional ;; is allowed after each definition in a
structure. The ;; has no semantic meaning.

よくわかりました。
対話モード以外では意味ないのか。
BNFで解説してくれる本が手元にあるとありがたいんだけど。

andってなんですか？

>> 800
parsing/parser.mly でも見てよ。
Syntax error がある場合、
;; があるとエラー場所をほんの少し探し易いという利点があります。

>> 801
and は相互再起な値やデータ型、クラスを定義する時に、
どれが相互再帰的に定義されているかを指定するのに使います:

type t = Foo of s | Bar
and s = Boo of t

ただ、相互再帰でない(例えば、non recursive let)の時でも and は
使えちゃうので、and 自体の意味がわかり憎いかもしれません:

type t = Foo | Bar
and s = Boo of t

これは

type t = Foo | Bar
type s = Boo of t

でもよい。上は切り離せない。

MLに関して質問３つです。

１．入力履歴を使えますか？WindowsのF3みたいな。
間違った入力で失敗した後、履歴を取り出して修正できれば便利。

２．環境変数（シェル変数）をどうすれば見られますか？
シェルでx=3とした後、MLに入ってxの値を取得したいのですが。

３．出力のリダイレクトはできますか？
val x = 1 + 2; 　> ファイル名、のような感じにして
"val x = 3 : int"と画面出力を取り出したい。

よろしくおねがいします。

>>804
ML 扱ったこと無いんで申し訳ないが……明らかに処理系依存かと思われ

Emacsの中で使えば1と3は解決。2は処理系依存。

おいらのEmacs 21.4はM-x run-ocamlとかできないけど、どっから拾ってくればいい?
Common Lisp用のSLIME並に高機能だとなお嬉すぃ。

>>803
なる程、分かりました。有難う御座いました。

漏れはコマンドライン上で ledit を使っているが、あんまり使いやすくはないのでオススメしない。
run-ocaml なら M-p とか M-n とかで履歴を上下できる筈だけど。

あと、環境変数はともかくシェル変数はそもそもアプリに渡らないだろ。環境変数は、実用的な処理系なら普通は取れるだろうけど。 OCaml なら Sys.getenv とか。
ちょっと調べた感じでは SML では標準ライブラリの Posix.ProcEnv ができそうなので、SMLの実装(SML/NJとかmltonとかmoscow mlとか)も行けるだろうけど、使ってないから詳しくは知らん。

>>804
A２． open Unix;; してenvironmentとかgetenv使う。詳しくは[1]。

[1] Xavier Leroy and Didier Re'my, "Programmation du système Unix en Objective Caml"
http://cristal.inria.fr/~remy/poly/system/camlunix/index.html

どうも、ObjectiveCamlのI/Oの仕組みが良く分かりません。
in_channelとかout_channelとかを使ってやるらしいことは
マニュアルに書いてあるがサンプルがない。
誠に勝手なお願いで申し訳ありませんが、
例えば3教科のテスト結果が5名分test.csvに入っているのを
配列に取り出し、プログラム内で各教科の5名平均を計算し、
それをaverage.csvにOPするという、極めて簡単なサンプルを
どなたか、ObjectiveCalmで書いて頂けると有り難いの
ですが…。

入出力の仕組みを知るためにしちゃ余分な処理が入ったものを要求しているな。
宿題スレへ行け。

>>812
禿同。
入出力は
let ic = open_in "filename" in
...
let line = input_line ic in
...
close_in ic
つうか、こいつは、入出力のこと聞いているけど、
フィールド切り分けはできるのか？はなはだ不安。
Scanf じゃできんかもね。

csvの取り出しなら、Str.splitで十分ですな。

はたして宿題スレにOCamlわかるやつがいるかねｗ

>>815
前に宿題スレに湧いてたOCaml厨

で、ObjectiveCalmって何ですか？とか言ってみるテスト

>>814
クォーテーションを考えると Str.split は使えない希ガス。 ocamllex か
camlp4 だな。

811です。質問の内容を明確にするため
C言語のサンプルを下記の通り添付します。
（ObjectiveCamlの構文が良く分からないので
ご参考になるかどうか…）
但し、下記のプログラムが出来ればかなり
応用が効きます。つまりObjectiveCamlに
データ入力するのにExcelを利用したり、
CSV経由で他のアプリとの連携をとったりとか。
前回native code生成の質問をしたのも、この意味です。
言って見ればnative code exeとcsvファイルの操作さえ
できれば、DOSのバッチファイルを経由してどんな
アプリに対してもやり取りが可能になると考えた
次第です。

#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#define INFILE "test.csv"// 入力ファイル
#define OUTFILE "average.csv"// 出力ファイル
#define ERR_VALUE -1// エラー値
#define ROW 10// 縦の要素数
#define COL 4// 横の要素数
int read_file(int dat[][COL]);
void get_data(int dat[][COL], char *str, int i);
float calc_avg(int dat[][COL], int n);
int write_file(float avg[]);
int main(void)
{
intdat[ROW][COL];// テストの点数
intret;// 戻り値
float avg[COL];// 平均点
inti;// カウンタ
ret = read_file(dat);
if (ret < 0) {
return ERR_VALUE;
}
for (i = 0; i < COL; i++) {
avg[i] = calc_avg(dat, i);
}
ret = write_file(avg);
if (ret < 0) {
return ERR_VALUE;
}
printf("処理を終了しました\n");
return 0;
}

int read_file(int dat[][COL])
{
FILE*fp;// ファイルポインタ
charbuf[256];// 1行分のデータ
inti;// インデックス
fp = fopen(INFILE, "r");
if ( fp == NULL ) {
printf("入力ファイルをオープンできませんでした\n");
return ERR_VALUE;
}
i = 0;
while ( fgets(buf, 256, fp) != NULL ) {
get_data(dat, buf, i);
i = i + 1;
}
fclose(fp);
return 0;
}
void get_data(int dat[][COL], char *str, int i)
{
char*token;// 次のトークンへのポインタ
token = strtok(str, ",");
token = strtok(NULL, ",");
dat[i][0] = atoi(token);
token = strtok(NULL, ",");
dat[i][1] = atoi(token);
token = strtok(NULL, ",");
dat[i][2] = atoi(token);
token = strtok(NULL, ",");
dat[i][3] = atoi(token);
return;
}

float calc_avg(int dat[][COL], int n)
{
inti;// カウンタ
floatsum;// 合計
floatanswer;// 平均点
sum = 0.0;
for (i = 0; i < ROW; i++) {
sum = sum + (float)dat[i][n];
}
answer = sum / ROW;
return answer;
}
int write_file(float avg[])
{
FILE*fp;// ファイルポインタ
fp = fopen(OUTFILE, "w");
if ( fp == NULL ){
printf("出力ファイルを開くことができませんでした\n");
return ERR_VALUE;
}
fprintf(fp, "英語,%.2f\n", avg[0]);
fprintf(fp, "数学,%.2f\n", avg[1]);
fprintf(fp, "物理,%.2f\n", avg[2]);
fprintf(fp, "地理,%.2f\n", avg[3]);
fclose(fp);
return 0;
}

いや、だからね、csv のフィールド切り出しとか、基本的な file i/o
とか caml で出来ない人が、caml と他のアプリとの何の連携が出来るって
言うんですか？

あなたは C の file i/o は出来るようだから、 caml の i/o も pervasives.mli
を見ればどんな関数があって、どういう型か判るはずだし、コメントから C の
入出力関数との対比も大体判ると思います。フィールド切り出しも string.mli
の関数を使えば、あなたの get_data 関数位の物なら自分で書けると思います。

とにかく、どこどこが判りませんっていうならともかく、コードよこせって
言うんじゃ夏休みの宿題厨と思われてもしょうがないし、細かく助けようがない。
取り敢えず自分で書いてみ。動かなくてもいいから。それを張り付けたら
みんな喜んで添削すると思うよ。

>> 810
なんで、わざわざフランス語のリファレンス…
そもそも環境変数だけだったら Unix なんぞ使わんでも Sys.getenv の方が簡単よ。
F

いいねー俺レベルでわかってないやつがやっと出始めた
もっと敷居を低くしてくれ、俺は敷居がどこなんだかわかんねー

cのポインタ、c++のテンプレ、javaのインターフェイス
俺の歴史の中で大物だったハードル達だ
こいつは何だ！見当つかね、
俺の構築したOCamlはこれであってるのか！

皆はこれすぐ使えるようになったの？？
だめだlispから出直してくる

>822
そんなに「もったい」つけないで、チョコチョコと書いてくれたって･･･。
Cでさえこの程度の行数だから、Camlであれば半分か３分の１で
済むんでしょう？
どっかにあると思われるサンプルをチョコっと直して頂ければそれで
良いんですが。
素人が一からマニュアル見ながらウンウン書くのと、ベテランがチョコと
書くのとではコードROIが段違いです。

このログを例に，ゆとり教育の問題点について説明し(ry

>>818で明確になった質問の意図とはまさしく
「OCamlでCSVを読むコードクレクレ」
だよなあ。

宿題スレとか作ってくださいスレとかが相当じゃないの。

>>825
ROIなんて投資するのが同じ人でなきゃ比較しても意味ないだろ。
同じ会社に勤めてる人が仕事で書くとかならともかく、
なんで赤の他人がお前の為にコードを書かにゃならんのか。
お前は人に書かせりゃ投資ゼロでROI無限大。書いた人はなんら得しない。
ついでにいうと自分の時間と玄人の時間の価値を同じ価値だと思うなぞ
おこがましいにも程がある。

もいい、わかった。811君の純粋さには負けた。
ズバリ教えてあげるから、もう秋まで戻ってこないで。
google で ocaml csv。これだけ。じゃ、バイバイ。
(811 はこれさえしていないのか、、、)

暦の上ではもう秋だという罠

そうですな磯野さん。

磯野さん？

ヒント: google で csv get_data calc_avg

>833
>どっかにあると思われるサンプルをチョコっと直して頂ければそれで
>良いんですが。
大笑い！
誰か！いい加減チョコっと直してやれよってぇ…
と言ってみる。

includeっていつから使えるようになったの？

moduleを取り込むやつね。openと何がちがうんだか・・・

includeって初めて知ったけど、本家のマニュアル(表記が正しければ2004年7月13日)にも記載されているな。
open との違いもちゃんと書いてあるが、
module M1 = struct include String end;;
module M2 = struct open String end;;
などとしてM1とM2の違いを見れば一目瞭然。

既存のモジュールを強化した新モジュールを作るときなんかに便利かな？
mystring.ml:
include String
let my_special_function_for_string = fun ...

LLDN で ML の発表があったんだって?
トラックバック読む限りでは、結構好評だったみたいじゃん。
直接聞いた人いる?

オレ聞いたよ。SMLで北陸先端大の人だから大堀先生のところの人なのかな。
ネタっぽくウケも取りつつ、割とポイントを抑えた説明になっていた気がする。
あ、ちなみに LLDN のサイトにある発表資料は、ウケ狙いの部分をぜんぶ削除
されてるね。
こんなややっこしい話を本当にしたわけじゃなくて、知らない人が聞いてもわ
からないであろうところはバンバンすっ飛ばして説明してたので、逆に知らな
い人でもイメージは掴みやすかったと思う。

しかしSMLでぐぐるとエロゲメーカーのサイトが出てくるとは思わなかった(笑)

>>839
あー、ウケ狙いが聞きたかった...

よさげなプレゼンでML人口が10人は増えたな。そのうち一人はエロゲーと勘違
いしている悪寒。

camlp4 の話ですが、パターンマッチングの拡張って個別にやらないとだめな
んでしょうか？

例えば、

match list, queue with
[], empty -> ()
| hd_list :: tl_list, hd_queue @:: tl_queue ->

みたいな事がしたいんです。

Queue.match .. with という構文を作ってしまえば出来そうなのは分かってい
ます。ところが、通常の match .. with を拡張する方法が分かりません。

もしかして FAQ?

FAQではないと思う。

camlp4に詳しいわけじゃないのでよくわからないけど、パターンマッチの時に
自動的にガード式を追加して、そこで条件をゴチャゴチャやればできるんじゃ
ないか。
Micmatch は参考にならないかな。
http://martin.jambon.free.fr/micmatch.html

最近 Ocaml を使い始めて試行錯誤やってるものですが、

自分で定義したクラスのインスタンス（の状態）をファイルに保存して、
次にプログラムを起動したときに元の状態に戻す方法ってありますか？

シリアライズについて調べたところ、
普通に値を保存するには
let f = open_out "save.dat";;
output_value f "hogehoge";;
close_out f;;
let f = open_in "save.dat";;
(input_value f : string);;
でできたのですが、
文字列"hogehoge"の代わりにインスタンスをまるごと、ファイルに出力したいのです。

はじめたばかりで混乱しているところもあるかと思いますが、よろしくお願いします。

>>843
Marshal が使えないかねえ。

>>844
ご助言、ありがとうございます。
いろいろ試した結果、Marshal 使ったらできました。
↓こんな感じです。

class person (name : string) = object
val _name = name
method get_name = _name
end;;
let p = new person "tarou";;
let f = open_out_bin "save.dat";;
Marshal.to_channel f p [Marshal.Closures];;
close_out f;;

let f = open_out_bin "save.dat";;
let p2 : person = Marshal.from_channel f;;
p2#get_name;;
- : string = "tarou"

>>843 の例でも
Pervasives.output_value は Marshal を使っているのですね。
output_value は flags リストが空だけど、
関数値を含む値を直列化するには Marshal.Closures フラグが必要ということでした。

うーむ
メソッドを増やしたら、失敗するようになった。
method get_name1 = _name
method get_name4 = _name

Exception: Invalid_argument "output_value: abstract value (outside heap)".

method get_name0 = _name
method get_name1 = _name
...
method get_name7 = _name
とかさらに無駄に追加したら成功するし。

しまった、途中で送信してしまいました。すみません。
class person (name : string) = object
val _name = name
method get_name0 = name
method get_name1 = name
method get_name2 = name
end;;
だと、次のようなメッセージで失敗します。
Exception: Invalid_argument "output_value: abstract value (outside heap)".
ところが、さらにメソッドを増やすと（method get_name7 まで計８個）うまくいきます。
いったい何がおきているやら・・・失敗するときと成功するときの違いがわからないです。
そもそも根本的にやり方が間違っているのでしょうか？

output/input_value はそもそも全く型安全では無いので非常に注意を
払って使用してください。特に関数の output はアドレス書きこみのみ
ですので、output したのと、全く同じプログラムへの input 以外しか
安全性は保証されません。

いまいち何をやって問題が発生しているのか、正確にはわからないけど、
object のインスタンスもメソッドの関数アドレスを含みますから、御用心。
偶然うまくいっても、それはただの偶然です。

ん？同一プログラム内での同じ型の書き込み、読み込みに失敗している？
もしそうだったらそりゃ caml のバグっぽいね。

>>847
オブジェクトの marshalling はできないと思います。
http://pauillac.inria.fr/bin/caml-bugs/not%20a%20bug?id=381

まあ、その、なんだ。
みんな OCaml とか言いながら、実は Caml の部分しか使ってない罠。
O の部分って、使わないんだよねえ。

>>848 >>850
ありがとうございます。
なるほどオブジェクトの永続化はできないようですね。
偶然成功してただけか・・・・（メソッドの総数が1,2,4,8,16（２のべき乗？）の時に書き込みが成功した）
別の方法を考えてみようと思います。
>>851
いままでOOなプログラミングに浸ってたからなぁ。もう少し勉強してみます。

>>843
そのうち map やら iter やら fold やらを使いまくって、
関数合成しまくるようになってくるさ、きっと。
OO って基本的にオブジェクトの状態を変更していくから、
あまり ML では好まれない。基本的に、状態は変更されないっていうスタンスだからなあ。

大堀先生、東北大生のパワーを得てSML#の開発を早く！

SML#

意味ﾜｶﾗﾅｽ

SML丼

SML++
SML Markup Language
Visual SML

どれもあんまり嬉しくない。

Xavier Leroy ってなんて発音すればよいのでしょう？

ザビアー レロイ？

フランスだから、「グザヴィエ・ルロア」となるのかな。

ザビエル (リ|レ)ロイ と読んでる

カタカナで無理に書けば ザビエ ルロワ が一番近い

より正確にはザの前にほんのちょっとグが入っていますが、
ほとんど聞き取れません。ワの発音はアとワの中間みたいな物です。
後は l と r さえ注意すれば問題なく彼を振り向かせることが出来ます。

ありがとうございます。フランス語の発音難しぃー。

けっこうハンサムというか、可愛いというか、かっこいいですよね。
http://pauillac.inria.fr/~xleroy/index.html

10年前の写真みたいなんで、今はどうだか謎ですけどw

Ｏ先生はレロアと言っていました

datatype定義をsignature内部でやっている場合、外部からデータ構成子をはずす
関数を書くことはできますか？
またそのデータ型のインスタンスを外部で構成することはできますか？

つまりあるsignature～structureの中で、datatype aa = AA of int と定義されています。
このときに、内部では　fun f (AA n) = n　とすればデータ構成子をはずす関数が書け、
val x = AA 2; のようにすれば、そのデータ型のインスタンスを作れるわけですが、
同じようなことを外でやりたい。

signatureが適切に書かれており、structureの名をsとします。
fun f (s.AA n) = n;
fun f (AA n) : s.aa -> int = n;
val x = s.AA 2;
val x = AA 2 : s.aa;
こういう物を定義して、データ構成子の向こうのものを見たいのです。
私が質問していることからわかるように、これらの構文はいずれもうまく行きません

データ構成子がついていない直積やレコードの場合は内部も見れるんですよね。
たとえば、signature～structureの中で、type ax = int * int と定義されているとき、
fun f (a, b) : s.ax -> int = a;
val x = (2, 3) : s.ax
などは有効です。

問題意識は伝わったでしょうか？signature～structure内部で定義されているdatatype型の
データ構成子をはずした中身を見る方法、よろしくお願いします

そんなことができたら、情報隠蔽の意味が無ぇ…

>>866
全くだ……。

ocamlしか知らないんだけど、
SMLはコンストラクタを公開できないの？
できるならAAを公開すればいいだけだと思うけど。

「datatype定義をsignature内部でやっている」がよくわからんが、これじゃだめなのけ？

structure s : sig datatype aa = AA of int end = struct datatype aa = AA of int end;
fun f (s.AA n) = n;
val x = s.AA 2;

質問です。

SML/NJで、h::t の h がリストの最初の一つを取得できるように、
リストの最後の一つを取得することは可能ですか？

>>870
取得そのものはできるけど、定数時間ではできないよ。

exception NIL_LIST;
fun get_last [] = raise NIL_LIST
| get_last (h::nil) = h
| get_last (h::t) = get_last t;

signature sigSample = sig
val f1: int -> int
val f2: int -> int
end;

structure Sample : sigSample =
struct
fun f1 x = 3 + f2 x;　　　(*<------------*)
(*fun f1 x = if x = 0 then ~1 else f2 x;*)
fun f2 x = x * 2;
end;

このプログラムを読み込むと、f2という名前が無いとの
エラーメッセージが出てきます。f1とf2の順序を保ったまま、
動くようにしたいのですがどうすればいいですか？

特にf1で一般的処理、f2でエラー処理、f3でさらに・・・
というように一般から特殊へと並べたいようなときに、
いちいち全て必要な関数をそろえてからというのでは
やり切れません。

signatureの中でちゃんと型は定義してあるのに、
だめなのでしょうか？

fun f1 s = (case s of
　　"aaa" => ～
　| "bbb" => ～
(*| _ => f2 s*)
);

fun f2 s = (case s of
　　"ccc" => ～
　| "ddd" => ～
(*| _ => f3 s*)
);

こういう部分分岐の条件を集めて、
まずf1を適用し、マッチしなければf2、次いでf3、・・・
というような管理関数を作ることはできますか？

（もしコメントアウトした部分を外して有効ならば、
デフォルトマッチの場合に次に行くことで実現できますが、
それは前発言に述べた別の質問になるかと思います）

OCaml本の和訳の現状
http://d.hatena.ne.jp/sumii/20051004/1128414064
目次しか見てないが、けっこう訳されている。

(* >>873 *)

signature sigSample = sig
val f1: int -> int
val f2: int -> int
end;

structure Sample : sigSample =
struct
fun f1 x = 3 + f2 x
and f2 x = x * 2;
end;

(* >>874 *)

fun match [f] x = f x
| match (f::fs) x = f x handle Match => match fs x;


fun f1 s = case s of
"aaa" => 1
| "bbb" => 2;

fun f2 s = case s of
"ccc" => 3
| "ddd" => 4;

val f = match [f1, f2];

- f "ddd";
val it = 4 : int

- f "eee";
uncaught exception nonexhaustive match failure
raised at: stdIn:69.14

SMLもOcamlも内部では


fun f x y = x+y
↓
val f = fn x => fn y => x+y


fun x y -> x+y
↓
function x -> function y -> x+y


って変換されてるの？

いちいちコードを変換しているわけはないだろうが、コンパイルの結果として生成される
内部ノードだとか、最終的に生成されるバイトコードだとかは同じになるから、同じようなもの。

>>879
いい加減なことは言わないように。

>>880
興味あるんで、『いい加減』じゃない説明キボン

>>880じゃないですが、少なくともocamlの場合は
バイトコードもネイティブコードもそんな変換しませんよ。
今のアーキテクチャだと実行が遅くなりますからね。

ocamlc -dinstrやocamlopt -Sで各コードのアセンブリが読めるので、
applyやcallの回数を見てみるといいんじゃないでしょうか。

>いちいちコードを変換しているわけはないだろうが
「(面倒なのにわざわざ)いちいち変換しない」という意味だったら逆ですよ。
コンパイラ作る側としたら変換してしまった方が楽です。

よく判らんけど、>>878 はカリー化について訊きたいんじゃないの？

複数引数の関数をどうするか？

let f a b = a+b

let f (a,b) = a+bとするか

let f = function a -> function b -> a+bとするか

？？？

let f a b = a+b と let f (a,b) = a+b では
fの型はそれぞれ int->int->int, int*int->int でそもそも型が違う。
MLでは多引数関数はカリー化されているから
let f a b = a+b と let f = function a -> function b -> a+b は
全く同じであるといってもよい。

しかしそれでは、引数を一個適用する度にクロージャを生成するようになって
効率的ではないので、（Ocamlなどでは）複数引数が一度に適用される場合は
クロージャを生成しないようにコンパイルする。

じゃあ、let f a b = a+bは、一つだけ引数とって関数返すものと、二つ引数とって足し算実行するものの二通りのコードを生成するの？

昇順にソートされたリストに対する union （論理和） を定義してみよ。
ヒント： match構文は二重の入れ子にして使ってもよい。
自分で書いてみたんですが、サッパリ上手くいきません。ご教授願います。
let rec union a b = match a with
[] -> b
| h::t -> match b with
[] -> []
| g::r -> if h==g then union t b
else h::union t b;;