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

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

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

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

前スレ
関数型言語ML(SML, OCaml, etc.), Part 4
http://pc11.2ch.net/test/read.cgi/tech/1133003340/

■リンク集
http://lang.x0.com/func/ml/

■チュートリアル
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/

■過去スレ
関数型言語ML(SML, OCaml, etc.), Part 4
http://pc11.2ch.net/test/read.cgi/tech/1133003340/
関数型言語ML(SML, OCaml, etc.), Part 3
http://pc8.2ch.net/test/read.cgi/tech/1103606223/
let t = 関数型プログラミング言語ML 2
http://pc5.2ch.net/test/read.cgi/tech/1058630709/
関数型プログラミング言語ML
http://pc5.2ch.net/tech/kako/1012/10124/1012445015.html
ＭＬ！！！！！！
http://pc.2ch.net/tech/kako/1002/10021/1002111468.html

まぁ乙

このまま消滅かと思ったぜ

まさか前スレが既にdat落ちしているとは。MLな人はあんまり2chやらんのかな

そりゃ、メイリングリストに登録している人は、
2chなんか見ずに、そっちで発言するだろう。

>>4
落ちたのは 1000 行ったからだよ
住人が少ない訳じゃないと思う

なんという過疎。

リストのお尻だけを除去する処理って

List.rev (List.tail (List.rev list))

でいいのかな

let aaa a = match a with [] -> a | x :: y -> x

駄目じゃん>>9

[1; 2; 3] から [1; 2] をとりたいんだ

>>9
let cut_tail list =
let r = List.rev list in
match r with
| [] -> []
| _::y -> List.rev y

こんな感じ？

アンカーミスorz
>>8だった

let init xs = List.take ((List.length xs) -1 ) xs

これもありじゃね？と思ったけどopen ExtListしないとList.takeが使えないという罠が。

let init xs = let (xs, _) = List.fold_right (fun x (xs, t)-> if t then (x::xs, true) else ([], true)) xs ([], false) in xs;;

で、どれが一番効率が良いの

論理型と比較するとこの場合は関数型の弱点がでてる。
cut_tail([A],[]).
cut_tail([A|R1],[A|R2]) :- cut_tail(R1,R2).

let cut_tail lst =
　let rec loop acc = function
　　　x::[] -> List.rev acc
　　| x::xs -> loop (x::acc) xs
　　| _ -> failwith "error"
　in
　loop [] lst;;

λ山
ttp://wwwfun.kurims.kyoto-u.ac.jp/images/Lambda2.gif

関数型言語の聖地だな

保守

人こねえええ

アレゲ系の人もOCaml触らないし、というか最近Haskellの記事もあんまり見かけない気がしなくもない。
ブーム下火？
やっぱり研究者のおもちゃなの？

ビミョーに流行のScalaって明示的に型を書かなきゃなので嫌いなんだけど
あそこまでしてオブジェクト指向する必要ってあるのか
もちろんJavaとの相互運用性に優れてるのは分かるが

OCamlやSMLで多倍長の浮動小数点を扱うライブラリって無いの？
多倍長整数はあるのに…

ちょっと思いついたんだけど、これ↓便利かも。

# let ($+) f g x =
　　match g x with
　　　None -> None
　　| Some x' -> f x';;
val ( $+ ) : ('a -> 'b option) -> ('c -> 'a option) -> 'c -> 'b option =
<fun>
# let down i =
　　if i < 10 then None
　　else Some (i - 1);;
val down : int -> int option = <fun>
# (down $+ down $+ down $+ down) 12;;
- : int option = None
#

一旦Noneになったらその後の処理が実行されないなんて、なんかmaybeモナドっぽくね？
# だから？って言われりゃそれまでだけどｻ。

OCamlでSTMできるライブラリが登場してまっせー
http://cothreads.sourceforge.net/

λってなに？って聞かれたらなんて答えればいいの

関数です、と。
でもプロシージャではありません、とでもいっておく。

前に、どっかのスレで lambdaの由来を読んでから、
λって言葉に対する、引っかかりがなくなったというか
λって言葉に対して、意味を求めなくなった。

>λってなに？
ギリシャ文字を記号として使っている。

何を表す記号かというと、次の人が答えてくれる。
(私が、頓珍漢な事を書いてるのでなければ)

Calandar モジュールってあるじゃん
あれで今日の日付を取得すると、月がまだ９月なんだよね
だれか英語で切る人、報告してやってくれないか
俺は無理

Ｔｉｍｅｚｏｎｅのセット間違いだったよ、ゴメン

久しぶりにocamlのuser's manualを眺めてた。そんな事もできるのかーという構文発見。

其の1　ローカルモジュール
#let module A = struct let add x = x + 1 end in A.add 3;;
- : int = 4

其の2　開いて閉じる
#type t = [ `A of int | `B of bool];;
type t = [ `A of int | `B of bool ]
# type u = private [< t > `A];;
type u = private [< t > `A ]

private row応用範囲広すぎ。

えらいひとに質問です。
let f = function `A -> () | `B -> ();;
let g = function `C -> () | `D -> ();;

があったときに、これら2つを使って、「パターンマッチを使わず」に
h : [<`A|`B|`C|`D] -> ()

を合成する方法はありますか？
めっちゃ頭を絞ったんですが分からないのです。

何がやりたいのかというと、polymorphic variantを引数に取る任意の2つの関数を、
うまいこと合成したいのです。

あ、もちろん、`A,`B,`C,`Dを直接パターンマッチするのでなければ、match構文やfunction構文は使っても良いです。

そのような関数の型はどうなるのかを考えるために、ためしに、

let comp : (('a -> unit) -> (g:'b->unit) -> (['a|'b] -> unit)) = ();;

というのを考えてみましたが、['a|'b] のところで、
The type 'a is not a polymorphic variant type
と怒られてしまいます…

>>30みたいなことができたら良かったんですけどね。

パターンマッチの合成かー、私も一度悩んだことあるなー。
その時の結論は結局「無理」。fやgの引数に取る多相バリアントが閉じてなければ、
#let ($+) f g x =
　try g x with Match_failure -> f x;;
val ( $+ ) : ('a -> 'b) -> ('a -> 'b) -> 'a -> 'b = <fun>
#f $+ g;;
- : _[> `A | `B | `C | `D ] -> unit = <fun>
で合成できるけど、せっかくの型安全が台無し。
えらいひと回答plz.

おぉっ、なるほど。確かにそれっぽくなってますね。ありがとうございます。
あの後、似たようなことをやろうとしてダメだったんですが、よく考えたら[<`A|`B]->unitのようにclosedになってた気がします。

ただおっしゃる通り、f $+ gに`A..`D以外のバリアントが来た時に、g側がMatch_failureを投げてくれる関数でないとfが動いてくれないし、
f側はf側で想定外のバリアントをどうハンドリングするのかが問題っすね。

curry-howard的には、
((AまたはBならばX) かつ (CまたはDならばX)) ならば ((Aまたは...またはD) ならば X)
なので、そういう関数があっても良さそうなもんですが、
問題が多相バリアントなのでよくわからんです。

助けてえらいひと…

>>30
其の1を上手く使った例としてp4ckのpa_openinを挙げておく。
便利。

P4ckのpa_openinとpa_recordsくらいはそろそろ標準の構文に入れて欲しい。

第15回 型からプログラムを当てる
ttp://itpro.nikkeibp.co.jp/article/COLUMN/20071005/283903/?ST=develop

連載も既に15回を数え、そろそろ仕事方面に走り出している件について。

この人floatを浮動小数と書くけど、正しくは浮動小数点数じゃないのかな?
何が固定か浮動かっていうと小数点がだよね。

口語と文語だとでも思っておけば……

あっ、文章を書いてるんだっけｗ

>>37
これのどこが「数理科学的バグ撲滅方法論」なの？

Job Announcement
ttp://groups.google.com/group/fa.caml/browse_thread/thread/eeb092296dc09468/b088e1f1c3db1b45

あのJane Streetが東京オフィスでOCamlハッカーを募集している！10月3日のメールだ！
我こそはという人材はいまがチャンスだ！！
（あぁ、私がもう10才若ければ……）

誰？

既出かもしれんけど

開発環境WideStudio/MWT
http://www.widestudio.org/ja/

C++, Java, Perl, Python, Rubyのほかに…
OCamlも使える(3.09-2以降)らしい。ちょっと驚き。

OCamlerが主要開発者だから普通だろ

しらんがな

Java の Scripting API で、OCaml が使える。
OCamlScripting
http://ocamlscripting.x9c.fr/

そういう紹介だけ、とかありがたくもないし、ＭＬ見てたら誰でも知ってることなんだよね
いい加減うざい
使ってみたら〜だった、ぐらいまで踏み込んでるならまだしも。

>>47
こういうハイレベルな人が「人こねえええ 」を招くんだろうね。
私は紹介だけでも十分うれしいですよ。

>>40
別にバグを撲滅させようとしてるわけじゃない
研究さえできりゃそれでいいっていうスタンスだからな

>>48
むしろそんなハイレベルな人が2chを見ていることに驚くわけだが
MLとかいちいち粘着に全部読んでないし。

つーかどんだけ偏狭なんだと

http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=592

preprocessor-pretty-printer-puricure

http://www.amazon.co.jp/dp/4774132640

あああいつもrecを書き忘れる

なんでrecなんてかかなきゃいけないんだy

マジレス。
let f x=x in let f x=f x+1 in f 0

とかが書けてしまうので、OCamlのプログラムなので、let recと明示的に再帰していると言ってやらなきゃならんのでは。
Haskellだとこうはならんすよね

>57 ありがとうございます。
ちょっと取り乱しました

MLでも今のletとlet recの仕様を入れ替えれば、こんな面倒はなくなる。
その場合let recだと変だから、let outerくらいにすればよい（どうせほとんど使われない）。

SMLでは再帰関数定義にはval recとfunが使えます。

このスレではOcaml派：SML派はどんくらいなんだろうな。
まぁOcaml派8割越えなんだろうけどな...

SML は良い実装が無いから…

SML#に期待

Native Thread 使えないから期待出来ないよ

何で日本の言語屋さんってハードウェアのトレンドを理解してないんだろう…
並列化は OS の仕事だとか言ってる人も居るし…

何でハードウェア屋さんって言語のトレンドを理解してないんだろう…

>>65
それは実状と異なるからナンセンス。

何で言語屋さんとハードウェア屋さんって、コミュニケーションを取らないんだろう…
情報交換はOS屋の仕事だとか言ってる人も居るし…

それ日本だけだから日本発の処理系以外は大丈夫

こうして実用環境はすべてC言語
（およびC言語上に構築された動的言語（笑））
とUNIXから逃れられないのでした。完。

まあでもJoCamlがErlangより速いって結果もあるし、こういう型付きコンパイルによる効率向上とCより格段に高い信頼性からいって、OCamlもけっこう捨てたもんじゃないとおもうよ
http://eigenclass.org/hiki/wide-finder-conclusions

Microsoftの新プログラミング言語「F＃」，Visual Studioへの搭載目指す
ttp://itpro.nikkeibp.co.jp/article/NEWS/20071023/285185/

>「ML」という初期の関数型プログラミング言語をベースに，
>プログラミング言語「C＃」や「Haskell」，リレーショナ
>ル・データベース操作技術「LINQ」の要素を含んでいる。

ITProよ。そこはどう譲ってもHaskellじゃなくて、OCamlだろっ！！

遅延評価とか Haskell 的なものって無いよねぇ確か F# に

>>64
頭古すぎw

>>73
並列化は OS の仕事だというのが?
確かに時代錯誤的だよね

ハードウェアに特化しすぎた奴は全部死滅しただろ。
トランスピュータ＋オッカムとか、コネクションマシン２＋C*/*Lispあたり。

求められているのはハードウェアにベッタリしすぎない抽象化されたモデル。

>>75
抽象化自体は良いよ。ただ、ハードの資源を使い切れない様な抽象化では
意味が薄い。ハードの制約を無視した抽象化は単なる机上の空論だよね。

何年も前からトランジスタ数の増大に比較して CPU の性能が伸びない事、
CPU の速度向上に Memory が付いて来れない事が問題になっている。
現状としては業界を上げてマルチコア、メニーコア、ハードウェアマルチ
スレッディングに移行している。途中で VLIW みたいな寄り道もしたけど、
現在製造されているプロセッサの多くが既にマルチコアに意向済み。

そんな中で、いかにスレッドを簡単に扱えるか、スケーリングする GC を
実装出来るかは言語の設計と処理系の実装には結構重要なポイントで、
テーマとしては新規性はあまり無いかもしれないけど、逆に言えば本来
あって当たり前の機能なんだよね。自動並列化とか CAS とかも。

まあ最低限、ネイティブスレッドくらいは扱える様な処理系があると良いね。

ネイティブ・スレッドって結論が馬鹿すぎる。

それから関数型言語と並列化の文献は山のようになるので、
英語でもちゃんと読んでやってください。

>>77
それを馬鹿だという奴は現実が見えてないだけだよ。
並列化の研究が沢山あるのは知ってるよ。じゃあどれだけの
実装が残ったのかという話。

今後のハード技術は
スレッドが使いづらい方向に行くと思うぞ

有益でないから残らない。
関数型言語はErlangなど残っている方。

>>79
どちらかというとスレッドが無いとやってられない方向へ向かってる

有益でない言語は残らない。

つまりMSにとって有益な言語が残るってことだな

Haskell は STM とか頑張っているんだがのう
SML はダメッポス

STM?

>>84
http://haskell.g.hatena.ne.jp/jmk/20061219/1166519293

元の処理系に並列化の基盤が無いと、
こういう実験にも使えないのよね

間違えた。>>86 は >>85 向け。

さんきゅう

スレッドが使いづらい方向に行くっていう意見は、たぶん俺がハード屋で
性能/消費電力/発熱に苦しんでるからかも。

SMPコアには既に限界を感じてる。

ASMPコアで無駄な回路を減らせば、まだまだ上を狙える。
遅延評価・非同期実行（イベント同期）をナチュラルに行なえる言語だと
ハード・ソフトの両面からグッと最適化が効く。

スレッドはSMPと相性がいいかもしれんが、
でもASMPにはマッチしないと思う。

スレッド←→遅延評価・非同期実行（イベント同期）
って反対概念でもないよね?

>>89
ASMP でも汎用コアが複数あったり、SMP と言っても特殊用途の
コプロ積んでたりするもんじゃないの?

どう転んでもスレッドの重要性は当分は覆らないと思うけどなあ。

>>90
確かに。お互いに実現可能なものを持ってるしね。


スレッドはハード層にCPUとしての機能と性能を要求してくるけど、
本当にそんなに大げさな物が必要なのかなーって思ってる。

OS層にはマルチタスク要求があるからスレッドは有益だけどさ。

アプリ層でスレッドを使うときって、
　・CPU複数使って速く処理する
　・ブロッキング処理を非ブロッキング処理にする

こういうのを言語がサポートしてないからじゃない？
（ライブラリじゃなくて言語仕様ね）

それにスレッドっていうキーワードを使って作られたものって、
DSP,SIMD,コプロ等々の存在を無視する気がする。
┌─────────────┐
│　関数　　　　　　　　　　　　　　　｜
├───┐　　　　　　　　　　　　　｜
｜ ｽﾚｯﾄﾞ ｜　　　　　　　　　　　　　｜
├───┴─┬───────┤
｜ CPU　　　　｜DSP,SIMD,コプロ｜
└─────┴───────┘


言語にはネイティブスレッドを要求するより
こんなものの→（Scatter/Gather、Map/Reduce、遅延評価、イベント同期）
シームレスでポータビリティな仕様と、実装の最適化を要求して欲しい。

>>92
結局 CPU 複数使って速く処理するにはスレッドが必要なんだぜ。
何でそんなにスレッドを嫌がるのかは知らんけど、現実には
コプロや SIMD があってもスレッドは必須だよ。

話がかみ合ってないな

はぐらかしてるだけに見えるけど

＞CPU 複数使って速く処理するにはスレッドが必要
違う。
手続き言語andスレッド によって速い処理を行おうとするから
複数のCPUを要求されている。

でもスレッドじゃ
　　DSP,SIMD,コプロ
この辺をうまく使っていけない。

極論だけど、関数言語がソフトウェアの主流なら
クロックを使わない論理回路で作ったチップにも需要が出るから
そういうのも作るもん。

>>96
違うっていうけどさ、元々違う話をしてるんだから当たり前だよ。
俺は現実世界にある CPU をどう有効に使えるかにしか興味無いよ。
そしてその為にはスレッドを使うのが一番の近道。

それにスレッドと SIMD やコプロは排他的な存在じゃないから。

>>96
>手続き言語andスレッド�によって速い処理を行おうとするから
>複数のCPUを要求されている。

これは違うよな。プログラマはスレッドなんて別に使いたくない。
シングルコアで高性能の CPU が作れないっていうから、仕方なく
ソフトウェアを並列化してるだけ。DSP も一緒。

各CPUにコードをロードさせておいてから、
データばらまいて、関数に突っ込んで、出力を集計すればいいじゃん。

ってこれはMap/Reduceだよな。

何だよ、素人か。

言語はマルチスレッドをサポートすべき?
│
├CPUシングルスレッド性能は打ち止めだからこれからはマルチスレッドスレッドだよ
│├マルチスレッドをどうにかするのは言語の仕事だよ
││├とりあえずスレッドとロックサポートすればいいよね (古典派)
││├ロックしないよ (モダン派)
││├プロセスは言語の基本だよ (並列言語派)
│││└おっぱい おっぱい (ぱい計算ってうまいの?)
││└マルチスレッドは実装屋の仕事だよ
││
│├マルチスレッドをどうにかするのはOSの仕事だよ
││├1つのプロセス中では並列度上がらないよ
││└小さいプロセスいっぱい作るよ (forkできればそれでいい派)
││
│├CPUごとに仮想マシン割り当てるから問題無いよ
││
│└コプロの命令もメインプロセッサの命令に見せかけるからやっぱスレッドだよ (Intel)
│
├マルチスレッドよりも大切なものがあるよ
│├SMPは限界。処理ごとに回路作るよ
│├高性能処理はベクタマシンだろ。常考 (ベクタ派)
││└GPUを計算に利用しようぜ (新ベクタ派)
│├他マシンとの通信こそ重要だよ (クラスタ派)
│└機械語レベルでなんとかなるよ (スーパースカラ派・コードモーフィング派)
│
└並列こそ計算の本質だよ。データフローマシン最高 (逐次処理は諸悪の根源だよ派)

っあらゆるテクニックを使って速く動くように裏で最適化してよ（何も考えたくない派）

クラスタ以外は、下へ行けば行くほど現実解から遠ざかっているなw

ていうかアプリによってどれがいい違ってくるよね

アプリレベルじゃない話も混ざっているみたいだけど
例えば fork を使うと良いアプリってどんなの?

ネットワークサービス系はforkがいいと思う。
セキュリティを考えると、
同じプロセスで走らせたくない処理が多い。

ネットワークサービス系って一般的にはスレッドプールを作るイメージだけど、
具体的にはどんなアプリを想定してるの?

>>84
manticoreがあるでしょ > SML

>>101
> 言語はマルチスレッドをサポートすべき?

関数型言語の場合は、semanticsをどうするかが一番の論点で、
(関数型言語でなくていいことは、他の言語でやればいいし、実際行なわれている)
言語に並列処理能力を持たせるべきかどうかってのは、設問としておかしい。
持たせるとしたらどういう風なものがいいか、研究が行なわれ続けている。

>>108
＞関数型言語の場合は、semanticsをどうするかが一番の論点
そーそー、それそれ。
関数型言語にはそういう力があるんだから。

>>92の一番最後に書いたここの部分ね。
＞シームレスでポータビリティな仕様

CがUNIXの力になって
LLがWebアプリの力になったように
関数型言語が並列処理分野の力になると思うんだけど。

今のスレの流れって
なんだかWebアプリの話をしてるときに
C実装レイヤーのことを話してるみたいな気がする。

>>108
>関数型言語でなくていいことは、他の言語でやればいい
それはおかしいだろ。
例えばすごく関数型向きなアプリケーションを作ろうとしていて、
たまたま一ヶ所並列計算が必要だと分かったら、それだけで
関数型言語が選択肢から外れるってのは問題だと思わないか？
同じ論法で、汎用言語なら、良く使われる機構は一通りカバーしておくべき。

あなたが知らないだけです。

>>111
そういうのは例え 2ch でもどうかと思うよ。

manticore ってこれか。まだ実装は公開されてないのね。

http://manticore.cs.uchicago.edu/

>>86
それ、最初の方でoperaionalにSTMの意味を説明しているけど、
それはSTMの実装の一つを紹介している(ことになっている)だけで、
STMは必ずしもそういう実装になる必要はないので読む時には気をつけて。
TMはdatabaseやdistributed computingでよく使われるモデル。

並列処理抽象化のために、実装がいくつも考えられて、
モナド親和性の高いモデルを採用している。

CML(http://cml.cs.uchicago.edu/)とOCamlのThreadsライブラリの事もたまには思い出してあげてください。

CML って所謂 Green Thread だと思ってた
ちゃんと "Concurrent" に動くの?

スケジューラがユーザ空間に(も)ないと、
関数型言語っぽい面白いことができない。

CML→manticoreって人がいるね。

せっかく新生した JoCaml のことも思い出してあげてください

OCaml はもう良いじゃん...

>>114
coThreadライブラリ(http://cothreads.sourceforge.net/)は無視ですか、そうですか。

プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~
と
入門OCaml ~プログラミング基礎と実践理解~
どっちがいい？

立ち読みして決めろ

お前らの感想を言え

>>122
昨日発売される本の即日レビューなんて 無茶いうな。

　　　入門OCaml
必要なことは大体書いてあるので、基礎的なことは十分できるようになった。
　短所としては、よくあることだけど、ちょっと複雑な機能を説明するときに
複雑な例で解説してる場所がある、とか。そのぶん実用例の確認にはいいんかな。
そういう部分は自分で簡単なもの作ってみて理解するしかない。
　まだ勉強中だけどスレッドやらパーサやらCGIやらの使用例とかあるし
本格的に使うつもりなら買っといていいんじゃないっかな。

あとこの本が無ければSML#とか知らなかった。

SML#の本、欲しい

>>116
>CML→manticoreって人がいるね。

manticoreってもう使えるの?

>>120
どちらかといえば、前者。

>>125
>>116は研究者/開発者

>>119
正直無駄にHaskell-STM風にモナド前提なのを何とかして欲しい。

無駄に？

Poly/ML が 5.1 でネイティブスレッドを使える様になっているね
polyml.5.1/libpolyml/processes.cpp 内で pthread 関連の関数を
呼び出しているみたい

Poly/ML を使っている人はこのスレには居ないかな...

使ってるよ。
自作のコードはStandard ML系の処理系のほとんどでひととおり動作チェックする。

今日久々に Poly/ML 見てみたんだけど、結構進化してるよね。
イメージベースの環境から、オブジェクトファイルを吐いて
実行ファイルを生成出来る様に変わっているし、スレッドは
カーネルスレッドをサポートしているし、FFI は C の構造体
を扱えるし、Intel Mac も Solaris もサポートしているし、
あと欲しいのは UNICODE のサポートくらい。

Standard ML 処理系では最強なんじゃないかな。

誰かocaml-ssl ってのビルドできた人いますか（0.4.2）

ttp://sourceforge.net/project/showfiles.php?group_id=89802&package_id=106341

SML のソースコードを沢山読んでみたいのですが、
Perl でいう CPAN みたいなのはありませんか?

つ http://www.cs.princeton.edu/~appel/smlnj/projects.html

ありがとうございます！

>>2
>http://yk.i.hosei.ac.jp/smlbook/smlbook.pdf

だいぶ今更かもしれないけど、これ無くなってしまっているね。
欲しい人は今のうちに Web Archive から頂いておいた方が良いかも。

>133
Cygwin 上で特に patch なしでビルドできてるけど。何ぞ問題が？

過疎っているので、Python スレにあったお題でコードを書いてみました。
"行頭の空白文字列を nbsp に変更するプログラム"

fun replaceWhite file =
  let fun repLn lst =
        case hd lst of
          #" " => [#"&", #"n", #"b", #"s", #"p", #";"] @ repLn(tl lst)
        | #"¥t" => [#"&", #"n", #"b", #"s", #"p", #";",
                     #"&", #"n", #"b", #"s", #"p", #";",
                     #"&", #"n", #"b", #"s", #"p", #";",
                     #"&", #"n", #"b", #"s", #"p", #";"] @ repLn(tl lst)
        | _ => lst
      fun replace out =
        case TextIO.inputLine out of
          NONE => ()
        | SOME ln => ((print o String.implode o repLn o String.explode) ln;
                      replace out)
  in (replace o TextIO.openIn) file
  end;

もういっちょ。
"フィボナッチ数を 0 から 35 まで表示するプログラム"

fun fibloop () =
  let fun fib n = if n < 2 then n else fib(n-1) + fib(n-2)
      fun loop 36 = ()
        | loop cnt = (print(Int.toString(fib(cnt)) ^ "¥n");
                      loop (cnt + 1))
  in loop 0
  end;

次スレを立てる時は >>2 の SML の所にこれを追加して欲しいな
SML を勉強していて一番参考になった

http://www.geocities.jp/m_hiroi/func/index.html
http://sml.sourceforge.net/Basis/

>>137
旧研究室サーバにあった。
http://133.25.16.150/smlbook/smlbook.pdf

>>139
...正規表現のライブラリって無いのですか？
いくら静的型付けとはいえ、スクリプト系の言語に比べてかなり冗長で、
いまいちSMLを勉強する気にならないのですが...。

取り敢えず Moscow ML には正規表現ライブラリがバンドルされている
みたいだけど、他もあるんじゃないかな。正規表現を使わなくとも
Vector で書いたらコード量は大分少なくなると思う。

まあそんな事は誰でも簡単に調べられる事だし、勉強する気にならない
のであれば他の事をした方が良いと思うよ。自由ってそういう事でしょ。
面白いと思ってすぐに手を動かせる人間が自分で色々探求して行く一方で、
そうじゃない人がいても別に誰も強制したりなんかしない。

そもそも >>139 は SML を勉強し始めて一日目の人間が書いたコード
だから参考にしない方が良いでしょう…

>>144
3行でおｋ

>>145
俺の
コードに
文句言うな

>>144
一日目でそれだけ書ければすごいよ。

>>145
3 行 x 80 桁ではこれが限界ですた…

fun r () = let open TextIO String Char val c = (valOf o input1) stdIn; in case c
of #" " => print "＆nbsp;" | #"¥t" => print "＆nbsp;＆nbsp;＆nbsp;＆nbsp;" | #"¥n" =>
print "¥n" | _ =>((print o toString)c;(print o valOf o inputLine)stdIn);r() end;

OCamlで
('a -> 'a) -> 'a
という型のY-combinatorを定義することは出来るのでしょうか。
let fix = fun f -> (fun x -> f (fun y -> x x y)) (fun x -> f (fun y -> x x y))
や
let rec fix f = f(fun x -> fix f x)
はどうしても、
(('a -> 'b) -> 'a -> 'b) -> 'a -> 'b
という型になってしまいます。(遅延評価をするHaskellでは問題なく書けるのですが)
これだと,TAPLのP144にある,以下の相互再帰が型エラーで書けません。
let ff ieio =
{iseven =
(fun x ->
if x=0 then true
else ieio.isodd (x-1));
isodd =
(fun x ->
if x=0 then false
else ieio.iseven (x-1))}

let r = fix ff

パターンマッチのある言語で正規表現って必要なんだろうか。
メタランゲージなんだから、そのまま書き下した方がスッキリする。

関数型言語のパターンマッチでまだ A.*B 相当とか書けないよね。

>>150
正規表現並にconciseな表現ができればね

正規表現そのものだと、バックトラックが必要になるからまずいです。

中置文字について何かまとめた。トリビア的なものだけど。（OCaml 3.09.2）

頭文字
　　=<>@^&+-*/$%　　どこでも大丈夫
　　|　　二文字以上なら頭文字可
後続文字
　　~　　二文字以上なら頭文字にできるが、頭に使うと前置しかできなくなる。
　　!　　頭文字にすると前置のみに。
　　.:?　　後続文字のみ使用可

(* ^ o ^ *)

神経を逆撫でするコメントだな

with-open-file (fun ch -> fprintf ch "aaa")

みたいなのって標準ライブラリにある？

俺も欲しいけど、エラーの扱いとかどうなるんだろ

中でfinallyつかえばいいんじゃないかな。

ocamlにfinallyなんてないだろ

Javaプログラマは夢見るSuccubus
finally かなり 例外に依存して生きているの

何だ OCaml には finally があるのかと思った
また OCaml 限定の話かよとスルーしてたのに

>>149
OCamlでは
('a -> 'a) -> 'a
という型のY-combinatorは定義出来ません。
HaskeiiはLazy evaluationなので、例で書いているように出来るのですが、
OCamlはEager evaluationなので、argumentをすぐに評価しようとするので、それをお書きになったような形で避けるとにコンビネータではなくなってしまいます。
これを避けるにはLazy モジュールを使用してﾅﾝﾁｬｯﾃ遅延評価で解決します。そうすればコンビネータとして扱うことが出来ます。

同様のことはモナドにも言えて、ﾅﾝﾁｬｯﾃ・モジュールを使用すると解決することがあります。

MLのＹコンビネータの書き方はLittle MLerの巻末に書いてあるのでご覧下さい。

>>149>>163

factの実装方法を２通り紹介しておく。

チューリングの賢人鳥
let rec turing's_sage f x = f (turing f) x;;
turing's_sage (fun f x -> if x = 0 then 1 else x * (f (x-1))) 5;;

カリーの雲雀
let lark x (`M y) = x (fun z -> y (`M y) z);;
let curry's_sage f x = lark f (`M (lark f)) x;;
curry's_sage (fun f n -> if n = 0 then 1 else n * (f (n-1))) 5;;

どっちの方法も
- : int = 120
と返ってくる。

>>164
スマリヤンの「ものまね鳥」だね。SKIコンビネータ入門にいいよね。
ほかにもJAYとかOWLとか出てきた希ガス。

論理学の問題ならCoqを使ってコードを作ればいいんじゃねえか？

http://coq.inria.fr/

(つд⊂)ｺﾞｼｺﾞｼ(;ﾟдﾟ) 論理学の問題

Coq is the specification language.

Interactive Theorem Proving And Program Development
by Coq'art: The Calculus Of Inductive Constructions

これ系統の参考文献にこれもいいかも。

TAPL : Types and Programming Languages

>>167
数理論理学とコンピュータ・プログラムの間には深い関連性がある。

Ａ．近代論理学の開祖であるフレーゲの概念記法を出発点とするゲンツェンの自然演繹
Ｂ．チャーチの型付きラムダ計算

２つのモデルはカリー・ハワード対応によって同型として対応付けられる。
つまり、論理学の問題と言っているのは、実はコンピュータ・プログラムの問題と言っているのと同じなのだ。
QED.

Coq見てみたけどﾜｶﾗﾝｗ

OCaml-Nagoyaの次の本はCoqだな。決定。

WindowsのCoqIDEが動かないな。固まったよｗ

>>171
うごくよ。
てかProofGeneralが亡くなってる。

>>169
その同型になるのは、１階の述語論理のこと？

カテゴリカル・コンビネータ理論

一階述語論理にカリー・ハワード同型対応で対応するのは、一般の関数型言語で使われている型理論とはだいぶ異なる型理論です。

高階述語論理をカリー・ハワード対応させるとどうなるんですか？

>>176
どうしたいん？

Curry-Howardの対応の依存型（dependent type）があると、 高階述語論理を表現することができる。
高階述語論理があれば、「∀f. --- 任意の関数 f について…」という扱いが可能になったり、「関数や述語に関する量化（∀∃）が可能な論理」を構成できる。

型付きλ計算の世界では、「値の世界」と「型の世界」の間に明確な分離があり、型の定義中に値が出現するといったことはありません。
しかし、依存型(dependent type)を導入するとこの制限が取り払われて、型が値を持てるようになります。
依存型は単純な型付きλ計算よりもはるかに強力で、うまく使えばリストの長さや配列の境界チェックなどさまざまに応用できます。
しかし強力さの一方で型チェックは複雑になり、一般の依存型では型チェックが停止しない場合もあります。
例えば、基本的には型の部分で計算ができるので、そこに無限ループするような項を入れておけば止まらなくなります。
Curry-Howard Isomorphism により、依存型は述語論理と等価な記述力を持つことになります。
したがって、依存型をつけたλ計算の体系を考えることで、論理式の証明を記述したり、その正しさを検査することが可能になるわけです。

OCAMLのCoq では、単純なλ計算ではなく帰納的に定義された型(Inductive types)を使えるように拡張した
Calculus of Inductive Construction というものに依存型を導入し、システムの根幹としています。

最低でも、一階述語論理系を構成できる程度は理解し、その上で、

直観主義論理，Matin-Loefの型理論、依存型算譜言語

の3つをプログラムの基礎として最低限おさえておけ。

Curry-Howard Isomorphism をトポスの言葉で表現するとどうなるんですか？

>>181
おとなしくシミロン嫁

グロタンのEGA/SGA嫁

知ってどしたいん？ん？

シミロンとは・・・

圏論による論理学―高階論理とトポス
清水 義夫

http://www.amazon.co.jp/o/ASIN/4130120573/

>>182
シミロン読んでるんですが、高階論理をトポスに対応させて
いるところを Curry-Howard 同型と考えていいわけですか？

>>186
まあそうなんだけど、関数に対応するものがトポスの射になってる。

普通の集合論では、「はじめに一者あり」である。存在論的な形になっていて、その一者（実は、空）から、すべての存在が生成される。
では、Mac Lane が指摘した、論理学ではどうなるか。

ところが関数型の場合、「はじめに働きあり」である。なんじゃそりゃ、と思うかもしれない。
普通の集合論では、関数は、集合の一種（つまり、グラフ）として定義される。
でもこちらは、逆に、関数から集合を定義しようということなのだ。

この関数概念を一般化したのがシミロンのトポスの射。

Grothendieckは位相空間 X より X 上 の層全体のなす圏(トポスになる) がより本質的だと考えた。
彼はこの考えを、エタールコホモロジーのアイデアとともに得た。

>>187
解説ありがとうございます。
ちょっと外出してきますのでまたのちほど。
すみませんです。

シミロンでやってるのはGrothendieckのオリジナルとは違って、
Kripke-Joyalの意味論での手続きによって集合論的論理式をトポスの対象と射についての言明として解釈したもの。

実数の体系の持つ超越的な性格は集合論の初期から様々な数学者の嫌悪の的となった。
実数を定めるのに便利な集合論的定式化はやがて多くの数学者に受け入れられるようになったが、
20世紀初めに論理学者のブラウワーは直観主義とよばれる、具体的に構成できるようなものだけを認める論理の体系をつくった。
彼はそこで実数について通常の数学におけるものとは著しく異なった結論を導きだせることを示した。
これにはKripke-Joyalの層の意味論によって現代的な解釈が与えられる。

シミロンのやってることを実行するとこんな風に実数の扱いなどがもっとブラウワー的に出来るようになります。

ただしCoqではKripke-Joyalの意味論は扱えないのでこのスレの趣旨からは外れますね。
つづきは数学板で質問してください。

λ式は、どのプログラマにとっても役立つ新たなツールです。最近ではVisual Basic 2008にも実装されました。

元々、Visual Basic 2008 (以前のコード名は "Orcas") にλ式が追加されたのは 、LINQ (Language Integrated Queries) をサポートするためです。
これは、Visual Basic でのデータ プログラミングを可能にするものです。

λ式を使用すると、プログラムの柔軟性が向上することがわかります。
λ式は、関数内で定義される呼び出し可能なエンティティであり、何の制約もなく利用でき、
したがって、λ式を関数から返したり他の関数に渡したりできるからです。

λ計算（lambda calculus）は、理論計算機科学や数理論理学における、関数の定義と実行を抽象化した計算体系であるλ算法とも言う。
関数を文字λ)を使った式によって表記する。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案されたものです。
1936年にチャーチはλ計算を用いて一階述語論理の決定可能性問題を否定的に解いた。
λ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。

λ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。
ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。
これは、λ計算がチューリングマシンと等価な数理モデルであることを意味している。
チューリングマシンがハードウェア的なモデル化であるのに対し、λ計算はよりソフトウェア的なアプローチをとっている。

λ計算は計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLisp、ML、Haskellといった関数型プログラミング言語の理論的基盤として、
その誕生に大きな役割を果たしたが、とうとうVisual Basicにまで搭載されたことで、今後、その重要性は益々増大するだろう。

いま帰りました。
つまり、空集合から始まる現代集合論はもう
終わりの時代を迎えた、ということですか？
シミロンを読んでいて、ラムダ項もある種の
射に対応するのを知り目から鱗が落ちました。

>>192
そうですね。数学板にいきます。

Lisp ⇒ Common Lisp
Lisp ⇒ Scheme
Lisp ⇒ ML
┌―――┘
↓
ML ⇒ Miranda ⇒ Haskell ⇒ Erlang
ML ⇒ Miranda ⇒ Clean ⇒ Concurrent Clean
ML ⇒ SML
ML ⇒ CAML ⇒ OCAML ⇒ （そろそろこないかなぁ？）

Erlangは違くない？

ついついOCamlという字面を見ると『岡村』って読んじゃう。
SMLをSmileって読んじゃうみたいに。でも頭の中はSMのことでいっぱい。
EclipseやElispをエロリスプとか。

>>196
Haskell→Erlangはおかしいでしょ

Clean ⇒ Concurrent Clean ⇒ Clean

OCamler ⇒ 岡村さん
SMLer ⇒ 須村さん
Schemer ⇒ 隙間さん

数学わかる人がいなくなると急にレベル下がっちゃうね。

Visual Basicやりたい放題なんだな。
VB.NET化であれだけ振り回した後だともう既存のユーザの移行コストとか考えないでいい空気なんだろうか。

別にラムダ式を入れるのに後方互換を犠牲にする必要はないだろ

COMつかい放題なのに文法が残念だからカオスでOK

VBはスレチだから置いとくとして、F#は何度かアップデートされたら化ける可能性はある。
OCAMLが完全に止まってるだけにちょっと気になる。

http://q-lang.sourceforge.net/
これなんか面白そう

>>207
Q言語って音響・映像に特化してるのかな？
これで作られた "Q+Faust+Pd" はかなり大規模な感じ。
関数型の特性を生かしてフィルターとかが多いみたいですね。

>>206
言語そのものの出来より、MSが力入れるかどうかだな。

>>209
現在のF#はfunctorが使えないからちょっとね。
でも今後のアップデートで何を追加するのかロードマップを示してくれると興味も湧くんだけどなぁ。
ＭＳが力を入れてくれると期待したい。

ttp://www.infoq.com/articles/pickering-fsharp-workflow
ここ見た感じだと結構ちがう言語に見える
yield とかあるんだね

>>211
F#の記事ですね。
記者は手続き型でしか考えられない人かな？
forループ連発が意図的なのかよくわからなけど、あまり良い例じゃないなぁ。

この記事のforは全部F#独自のシーケンス内包表記でしょ。
書いた人もFoundations of F#の人だし。

>>213
for使うと再帰より速度が出るとか？

3.10.1でたね。プレステ3でビルドできるみたい？

>>215
何の？

http://caml.inria.fr/ocaml/release.en.html

The most recent version of Objective Caml is 3.10.1. It was released on 2008-01-11.

Some of the highlights in release 3.10 are:
* Instance variables in classes can be declared virtual and
implemented in subclasses. Syntax is val virtual v : t.
* Printing of stack backtraces on uncaught exceptions,
previously available only for bytecode-compiled programs,
is now supported for native-code programs as well.
(Supported on Intel/AMD and PPC, in 32 and 64 bits).
* New ports: MacOS X, PowerPC, 64 bits; Microsoft Windows 64 bits (x64)
using the Microsoft PSDK toolchain; Microsoft Windows 32 bits using the Visual Studio 2005 toolchain.
* The Camlp4 preprocessor was partially reimplemented and offers a new,
more modular API for syntax extensions.
(Users of third-party syntax extensions may wish to stay with OCaml 3.09 until these extensions are ported to the new API.)
* A new experimental tool, ocamlbuild:
a compilation manager that automates the building of OCaml applications and libraries. See the draft documentation.

流れをぶったぎっちゃうけれど、質問させてください
SML#のページにあるSMLFormatってcamlp4みたいなものなの？
説明見てもちょっと理解できなかったので…
サンプルも何か追加で入れないと動かないのもあるみたいなので使ったことある方とか居たら、どんなものか聞かせてください

使ったこと無いけど解説読むと普通のフォーマッタ／プリティプリンタじゃないかな。

F#版Parsec
ttp://www.quanttec.com/fparsec/index.html

F#版STM
ttp://cs.hubfs.net/blogs/hell_is_other_languages/archive/2008/01/16/4565.aspx

schemeのiotaみたいなのってocamlにないですかね

Arrayにはある。ListにはExtlibにある。

トン。

できたー。ライブラリインストールに手間取った；；
ExtList.List.init 100 ((+)1)；；
結構タイプ量おおいな；；

Extlibは基本open ExtListとかして使うものだよ。
ListまでをopenしないのはOCaml流だと思ってあきらめるしかないけど。

>219
遅くなってごめんなさい

ありがとう

>>225
遅くなったけど、ありがとう
ばっちり使わせてもらいます。

windows用のexeファイルを作りたいのですがどうすればいいですか？
VC++ expressインストールすればできますか？

同梱のドキュメントに書いてあるよ。

同じint -> int = <fun>なのに、RandomではException: Invalid_argument "Random.int"がでます
○ExtLib.List.init 10 ((+)1);;
×ExtLib.List.init 10 Random.int;;
説明では、Invalid_argが出るのは初期値(↑だと10)が負の時とあるけど、これってもしかしてバグ?

↑無視してくださいRandom.int 0がエラーでした。

次ｽﾚのタイトルを「関数型言語ML(SML, OCaml, F#, etc.), Part 6」として「【.NET】F#について語れ【OCAML】」ｽﾚを合流させれば過疎らなくて済むかねぇ。
ML系過疎り杉ｗ

たった今ハマりかけたのでちょっと書いとく。
Array.copyで新規作成されるのは一次元目の配列だけで、
二次元、三次元とかの値は前の値を差し続けてる。
まるごとコピーしたいときはその次元専用のcopyを作った方がいいみたい。

228じゃないけどうまくいかないや。
masm32もVC++も入れたしmasmのINCLUDE、LIB、PATHも通したのに。

一応Visual StudioのVCのPATH入れたり
masm32のbinにcl.exeやmspdb80.dll入れてみたりしたけど駄目だった。
う〜ん、masmとVC++アンインストしようかしらw

エスパー能力を期待しないでくれよ

すみません，勉強し始めたばかりで，わからないことがあります．
指定した数だけランダムな数字を出力したいです．
やってみたところ再帰が止まらないです...
どうして＞．＜ｂ

# let rec print_random n =
if n = 0 then 2 else
begin
print_int (Random.int 2);
print_random n-1;
end;;

>print_random n-1;
これが(print_random n)-1;と解釈されるからだな
print_random (n-1);とすればよろし

ocamlbuild はゴミ

あれで便利便利って言って喜んでる奴はまだロクなもん書いてない

さらなるゴミ p4 のビルドで必要なのがさらにゴミ
ゴミのおかげで make world の時間がもったいない

>>237
ありがとうございます〜〜〜
少しずつ型チェックってなんのかわかってきました．いろいろ書いてみます！

let rec cntRandom n zeroCnt oneCnt=
if n = 0 then zeroCnt else
(
if ((Random.int 2) = 0) then
cntRandom (n-1) (zeroCnt+1) oneCnt else cntRandom (n-1) zeroCnt (oneCnt+1)
);;

token listを受け取って整形式XMLなら(string,string) xmlを返すxml_of_tokensを作れ、という問題に
3日ぐらい挑んでいるのですが、わかりません。誰か助けて。

type token = PCDATA of string | Open of string | Close of string;;
type ('a,'b) xml = XLf of 'b option | XBr of 'a * ('a,'b) xml list;;

入力：　[Open "a"; Open "b"; Close "b"; Open "c"; PCDATA "Hello"; Close "c"; Close "a"]
出力：　XBr ("a", [XBr ("b", []); XBr ("c", [XBr ("Hello", [])])])

入力の型と出力の型が違うのでわけわかりません
閉じタグとか考えてると、スコープが足りないです。
スコップをください。

>>240
全然深く考えてないけど，スタック使えばいいんじゃないの？

>>240
PCDATAはXLfでなくて良いのか？

exception ParseException of string
let rec parse (xs : token list) (context : string list) (ks : ('a,'b) xml list list) : ('a,'b) xml =
　let add_child ks x =
　　match ks with
　　| [] -> raise (ParseException "internal error: add_child")
　　| (k::ks1) -> (x::k)::ks1
　in
　match xs with
　| [] ->
　　if context <> [] then
　　　raise (ParseException ("some tags are not closed:" ^ (String.concat "," context)))
　　else
　　　hd (hd ks)
　| (PCDATA str)::xs1 ->
　　if context = [] then
　　　raise (ParseException ("toplevel PCDATA:" ^ str))
　　else
　　　parse xs1 context (add_child ks (XBr (str, [])))
　| (Open tag)::xs1 ->
　　parse xs1 (tag::context) ([]::ks)
　| (Close tag)::xs1 ->
　　if (hd context) <> tag then
　　　raise (ParseException ("close tag mismatch:" ^ tag ^ " appeared where " ^ (hd context) ^ " expected"))
　　else
　　　parse xs1 (tl context) (add_child (tl ks) (XBr (tag, (rev (hd ks)))))
let run_parse xs = parse xs [] [[]]

うおーありがとうございます！
(Open tag)::xs1の箇所で、ひとつ先読みする再帰になるのかと思って
ずっと考えてたけど、全然違った・・
あと、ご指摘のとおりPCDATAはXLfのほうが良さそうですね

上のadd_childみたいな関数が必要になるかどうかの判断って
自分には職人技の世界に思えるんですが
一般的なやり方みたいなのあるんですかね。

とりあえず、上記を参考に自分でも書けるよう頑張ってみます。

ねぇねぇ、OCamlでオブジェクトを使わないって人いる？
そういう人ってレコードを拡張したい時どうしているの？

OCamlのクラスって副作用ありますか？

副作用ありのオブジェクトも作れますし、なしのも作れますよ。

副作用あり
# class point = object
val mutable x : int = 0
method set_x v = x <- v
end;;
class point : object val mutable x : int method set_x : int -> unit end

副作用なし
# class point' = object
val x : int = 0
method set_x v = {< x = v >}
end;;
class point' : object ('a) val x : int method set_x : int -> 'a end

OCamlでlet _ = ... とlet () = ... 構文の違いがよくわかりません。
使い分けがあるのでしょうか？

let _ =... と let () =... とでは、使える状況が違う。
前者は名前の束縛を省略しただけで右式がどんな型になっても構わないけど、
後者は右式がunit型にならないとダメ。
どちらも print_string のような副作用が目的の式によく使うけど、
私は戻り値が要らないという意味で、let _ =...で統一している。
これだと let _ = Thread.create f () とかでも対応できる。

>>248
ありがとうございます。

# let () = true;;
Characters 9-13:
let () = true;;
^^^^
This expression has type bool but is here used with type unit

やってみたら確かにそうです。
悩んでいたのでとても参考になります。

俺は戻り値がunit じゃない状況を区別するために let () = を使ってる
let _ = は、 ignore @@ Unix.system "rm -rf hoge" とか

labelglutを使っていて
GluMat.gluPerspective ~fovy:(45.0) ~aspect:(1.0) ~zNear:(0.1) ~zFar:(100.0)
って書いてもUnbound value GluMat.gluPerspectiveって言われてちゃう

http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgl.txt
http://www.opengl.org/sdk/docs/man/xhtml/gluPerspective.xml
を見て書いたのですがどこがいけないかわかりません＞．＜ｂ

>>251
まさかライブラリの指定を忘れてるなんて落ちはないよな。
ocamlc -I +lablGL lablgl.cma lablglut.cma ...
という感じでコンパイルしなきゃいけないはずだけど？

>>250
統一するか区別するかOCaml内のコードを調べてみます。
多いほうにしてみます。

>>252
大体原因がわかった
exampleにあった
GlMat.ortho ~x:(-1.0, 1.0) ~y:(-1.0, 1.0) ~z:(-1.0,1.0);
を調べてみたら
void glOrtho( GLdouble left,
GLdouble right,
GLdouble bottom,
GLdouble top,
GLdouble nearVal,
GLdouble farVal);
でなっていてGLの引数と違う名前になっていたのね

GluMat.perspective ~fovy:(45.0) ~aspect:(1.0) ~zNear:(0.1) ~zFar(100.0);
GluMat.perspective ~fovy:(45.0) ~aspect:(1.0) ~z(0.1, 100.0);
見たく試してみてもダメだったｗ

どっかに引数に関してマニュアルないわけ？

>> 254
.mli 見ろや:

val perspective : fovy:float -> aspect:float -> z:float * float -> unit

cygwin 3.10で実行しています。

while true do
　　print_string "debug1\n";
　　ignore (Unix.recv sock buf 0 (String.length buf) []);
　　print_string buf;
　　print_string "debug2\n";
done;;
を実行したのですが、
print_string "debug1\n";
が実行されず、プログラムが停止して、動きません。
コンパイル時にエラーはありませんでした。
何がいけないのでしょうか？

>>256
システムに関係なく print_string は buffering されているので
flush stdout が必要。

デバッグには stderr に出力 + flush の prerr_endline をおすすめする。
次の pervasives.mli のコメントをよく読んでくれ:

val print_string : string -> unit
(** Print a string on standard output. *)
val print_endline : string -> unit
(** Print a string, followed by a newline character, on
standard output and flush standard output. *)
val prerr_endline : string -> unit
(** Print a string, followed by a newline character on standard error
and flush standard error. *)

こういう細かいことって日本語の O'Caml の本には書いてないのかな?

>257
ありがとうございます。
prerr_endlineを使用したところ、うまく動作するようになりました。

OCamlで共有ライブラリを作ったり、それと動的リンクするようなプログラムを作るには、
Makefileにどう書けばいい？

>>259
stublib のことなら ocaml のソースの otherlibs/graph などを参考に。
otherlibs/Makefile.shared を include してあるが、そこに大体書いてある。

>260
ごめん、説明不足だった。

OCamlで書かれたライブラリがあって、それを自分で書いたOCamlのコードから使いたいんだけど、
ライブラリの方がLGPLなのでできれば静的リンクしたくないんだ。

>>261
3.10現在、無い。バイトコードだとstubを読みに行く方法があるけど。
OCamlのライブラリは多くの場合LGPLの例外事項が追加されていると思うんだけど、
そういうのはないの？　以下はsexplibの例。

As a special exception to the GNU Lesser General Public License, you
may link, statically or dynamically, a "work that uses the Library"
with a publicly distributed version of the Library to produce an
executable file containing portions of the Library, and distribute that
executable file under terms of your choice, without any of the additional
requirements listed in clause 6 of the GNU Lesser General Public License.

>262
ありがとう！勉強になった。

調べてみたけど、例外事項は入ってないみたいだ。

ライブラリのメーリングリストを流し読みしたところ、
「オブジェクトファイルを添付すればいいだけなんだから別に問題なくね？」
という結論になった模様orz

まぁ実際そのとおりだから、そうすることにするよ。

ttp://www.ocaml-tutorial.org/ja
なんかつながんね

>>264
繋がるよ？

オレは繋がらない。

俺も問題ない

Ocamlの入門者ですが、n重のリストの要素数を数えたいと思って
↓のように書いてみたのですがエラーになります。
型推論などまだよくわかってないのですが、Ocamlではこのような関数は書けないのでしょうか。
# let rec moredeeplen = function
  | [] -> 0
  | (hd :: tl) :: rest -> 1 + moredeeplen tl + moredeeplen rest
  | _ :: rest -> 1 + moredeeplen rest;;
This expression has type 'a list but is here used with type 'a list list

>>268
自分も勉強中だからはっきりとは言えないけどムリじゃないかな？

まず、n重のリストを関数に適用しようにも、
n=1のリストは'a list
n=2のリストは'a list list
n=3のリストは'a list list list
…ていう用にそれぞれ型が違うのでどんな入れ子リストにでも対応できる関数は書けない。

現実にそういうことがやりたいなら、バリアントとリストを組み合わせることになると思う。

>>268
O'Caml の気持ちを代弁すると、
moredeeplen の型は多分 'a list list -> int だと思うんだが、
再帰的に呼ぶ際に moredeeplen tl の所で 'a list -> int という違う型で
使っている。なのでアウト。

普通は 268 が書きたいような、型を利用した再帰関数は ML の多相型では
書けませんな。

> ocaml -rectypes
Objective Caml version 3.09.3

# let rec len v = List.fold_left (fun s v -> s + (len v)) 0 v;;
val len : ('a list as 'a) -> int = <fun>
# len (let rec v = [v; v; v] in v);;
Stack overflow during evaluation (looping recursion?).

はっ、初学者を混乱させるだけか...。

>>271
その定義は常に 0 を返すのだが。

let rec len v = List.fold_left (fun s v -> s + (len v) + 1) 0 v;;
# len [[[];[]]; []];;
- : int = 4

面白いけど 268 がやりたいこととはちょっと違いますね。

酷いコードを例示したのに色々考えてくださってありがとうございます。
簡単にはできないということで先に進もうと思います。

こちらのスレの方々はどうなのでしょう？
http://pc11.2ch.net/test/read.cgi/tech/1186030985/244n

>>274
accumulator は後にするかなあ
複雑にならないなら fold とかで済ませたいと思っちゃうけど

すいません、↓の記事を見かけたのですが、結局yieldってどんな風に実装するんですか？
http://itpro.nikkeibp.co.jp/article/COLUMN/20070612/274231/

>>276
π-calculusは俺も勉強中なんだが、
この本が役に立つぜ
http://www.amazon.co.jp/Communicating-Mobile-Systems-Robin-Milner/dp/0521658691

質問ですが、
GUIライブラリが充実しているネイティブコンパイラ付きの関数型言語はありませんか？
HaskellもOCamlもこれといってまともなGUIライブラリが存在しないので・・・

wxHaskellはまともなGUIライブラリに数えてくれないのか

yieldの中身の作り方の参考にはならんのでは＞ミルナー本

wxHaskellは前回の公式リリースからだいぶ時間がたってるしなぁ。
その間にGHCも6.4から6.8になってるわけで…。

久しぶりにSourceforgeのほう見てみたら
wxhaskell-0.10.3-rc1 ってのが出てた。
http://sourceforge.net/project/showfiles.php?group_id=73133

LablGTKは駄目なのか?
http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html

>>276
・グローバルなunit chan refを一個作る(qとする)
・yieldはqからのrecvとして実装
・トップレベルのプロセスを生成した後に、qにsendし続けるプロセスを生成
という感じでどうだろう

>>282
うぅぅ入門 Ocaml 片手の私には動作がイメージできません・・・
recvしてもすぐsendされて別のに切り替わらないとかになりませんか？
とりあえず挑戦してみます。

引く手あまたのプログラミング言語は?
http://slashdot.jp/developers/article.pl?sid=08/04/06/2313251
---
Java(16479件)、C++(8080件)、C#(7780件)、JavaScript(6749件)、
Perl(5710件)、PHP(2641件)、Python(1408件)、COBOL(1207件)、
Ruby(769件)、Lisp(33件)といった感じらしい。

とりあえずJavaとC/C++/C#、あとJavaScriptを覚えれば、
当分仕事には困らないようである。COBOLのしぶとさも目立つ。

ちなみにHaskellやOCamlの求人は10以下だったそうだ。
---

10もあったのか。

1000ならbrainf*ckの求人をだす

0 じゃないのか・・・。
冒険してる会社もあるもんだな。

10以下に0は含まれるがなｗ

理屈上はそうだが、記事として書くなら、
0なら0と書くか話題にも上らないかのどっちかだろう

ちなみにCとMLは省かれてます。
検索結果を加工した統計なので。

>> 171
Debian or Ubuntuなら、
# apt-get install coqide
でok

どちらかが10件あったから、わざわざ10以下と書く場合もあるってことね。

関数型言語は、変数への代入もforループも使わずにプログラムできるって聞いたけど
どういうこと？？？
ここにきても全然わからん。

再帰すればループできるじゃん。

SML#0.40ﾏﾀﾞｰ?ﾁﾝﾁﾝ(AA略

>>154
# let ( *.. ) a b = range a b;;
val ( *.. ) : int -> int -> int list = <fun>

# 1 *.. 10;;
- : int list = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]

>>293
関数の戻り値を次の関数へ放り込んだり、戻り値の一部だけ次の関数に放り込んで、残りをさらに次の関数に放り込んだりするのだ。

>>293
ちょっと富豪的だが、ループは>>296のようなリストで置き換えると
最初は考えやすいと思う。
大雑把な説明だが
for(int i=1;i<=10;++i){printf("%d\n",i);}は
高階関数mapを使ってこう。
List.map print_endline (1 *.. 10)

えーintとstringの型あってないし、そこはmapじゃなくてiterじゃないの用途的に

うは、俺あほｗ

ちゃんと書いとこう。今Ocamlの処理系ないから部分的にF#で試したコードだけども。

List.iter (fun x -> print_endline (string_of_int x)) (1 *.. 10)

書籍の質問いいですか？
プログラミングinOcaml（初版1刷）を読んでるんですが
P65のNewton-Raphson法のとこでベージ下部の式変形が

y = f'(x_i) * x - {f'(x_i) * x_i - f(x_i)}
x軸と交わる点がx_i+1なのでy=0としてxについて解くと
x_i+1 = x_i - {f(x_i)/f'(x_i)} * x_i が得られます

となってるんですが
x_i+1 = x_i - {f(x_i)/f'(x_i)}　じゃないですかね？

JavaのThread.sleepみたいな関数を探しています。
OCamlで「n秒待つ」関数みたいなのは、何ですか？

次のようなプログラムを書いています。
let rec loop count =
　print_endline (print_int count);
　(* ここで1秒待ちたい *)
　loop (count + 1)

let main =
　loop 0

Unix.sleepかThread.delay

>>302
とりあえず正誤表にはなかったよ。もっかいコード見直したら?
ttp://www.sato.kuis.kyoto-u.ac.jp/~igarashi/OCaml/

>> 304
できました！
どうもありがとうございます！！

>>293
ループは再帰のときに引数を変えれば良い。
してifやパターンマッチで止める。
let rec loop i =
if i<0 then () else
(print_int i; loop (i-1));;

代入なくても書けるというのは
lambdaの引数を利用する。

代入がこんな感じなら
let i = 1 in
i + i;;
　こう書ける。
(fun i -> i+i) 1;;

letの方はそれ代入じゃない

refでやればいいのかよう

こうなんというか深夜亀頭から白濁色の液が滲み　ぷっつん。

>>302
誰がどう見ても誤植です。どうもありがとうございました。

HaMLet v1.3.1
http://www.ps.uni-sb.de/hamlet/CHANGES.txt

SML#にも対応
ベンチマーク用のSML実装としての、あるべき姿か

誰ぞ、SML#をNJ、MLtonとベンチしてたもう

関数型言語F#をわかりやすく解説した動画とかないの？？

>>313
関数型言語Scalaの動画
ttp://d.hatena.ne.jp/video/youtube/SCl0pkrQn1A

>>314
関数型言語というよりもオブジェクト指向型の印象が強い言語だな。
カリー化すら出来ないし、代数的データ型すらないじゃないか。
関数型言語の特徴というべき代表的な機能が欠如しているのは関数型言語として致命的。
だから、Scalaはオブジェクト指向型言語だ。

制限時間関係なくこの人早口っぽいな〜。

>>313
F#じゃないけど

OCamlの動画 - YouTube
ttp://www.youtube.com/watch?v=3A8lEraqGzQ

OCamlをすこしかじってF#にも興味もったんだけど、
F#って.NETのライブラリが使えるのと、オブジェクトが使えないの以外にどんな点がF#と違うの？
文法面はほぼ同じだと聞いたんだけど。

F#はHaskell.NET同様その内サポートされなくなるところが違う。
MSの単なるデモンストレーションだから。

>>318
データの型が.NET互換になってて、演算子がオーバーロードされる。
例えば　+. 演算子はなくなってて実数の足し算でも + 演算子を使う。
クラスは.NETのクラスになるので、クラス定義まわりの文法にだいぶ変更がある。

Jane Street Capital謹製のcoreが公開されたね。
Extlibでもcoreでもいいから標準ライブラリに取り込んでくれないかなあ。

>>315
いや、あるよ＞カリー化＆代数的データ型
単に紹介されてないだけ

ちゃんと説明するとScalaには代数的データ型そのものは無いけど、
case classという機能をつかってほぼ同等(以上)のことができる。こんな感じ

/* 代数的データ型 */
abstract sealed class Exp
case class Add(a :Exp, b :Exp) extends Exp
case class Num(v :Int) extends Exp
def eval(e :Exp) :Int = e match {//パターンマッチ
case Add(l, r) => eval(l) + eval(r)
case Num(v) => v
}
eval(Add(Num(1), Num(2)))

まあ、MLの代数的データ型の定義に比べて記述が冗長だけど、機能的には
問題ない。

>>323
つまりScalaは関数型言語であるっていうこと？？

>>324
定義によるけど、たぶん言って良いと思う。MLが関数型言語であるというのと
同じ程度には。

>>325どうも

代数データ型があるかどうかは、関数型かどうかを左右しない。
ただ今時の関数型言語に代数データ型を持っているのが多いというだけ。

関数型言語という言葉に明確な定義が無い以上、ある言語が関数型かどうかは
「典型的な関数型言語」にどれくらい似ているかという尺度で測る他無いんじゃね？

あなたがそう思うものが関数型言語です。
ただし、他人の同意を得られるとはかぎりません。

無意味なレスしてんなよ　noob

>>319
逆だよ。
F#は製品化が決まって現在仕様の取りまとめ中。

>>328
そんなわけないだろw
代数的データ型があるかどうかは、関数型言語かどうかの尺度にはならない。

>>331
あそこは仕様＝実装って会社でしょ。
V0.9的な仕様作ってそれでおしまい。

もともと仕様と実装が同じ言語から派生した言語に何を求めるのか.

>>332
じゃあ、何が尺度になるの？もちろん、代数的データ型*さえあれば*関数型言語
だとは言うつもりは無いけど、関数型言語の定義なんて人によってかなり曖昧な
わけだ。MLとかHaskellとかのまず間違いなく関数型言語だと認定してもらえる言語と
どれだけ同じ機能を持っているかで比較するしか無いんじゃない？

プログラムが参照の透明性のある関数だけで構成されていること
でいいんじゃない?

stateがないってんじゃ駄目なの?
monadでstateは扱えるけど、
stateがあるわけじゃないよね。

stateがないってことを厳密にいうと、
「ある時にy=f(x)ならば、どんな時でもy=f(x)」ってことでいいのかな?

> プログラムが参照の透明性のある関数だけで構成されていること

じゃあ、MLやOCamlはNGじゃん。ref型があるわけだから。

>>337
関数だけで構成されていること
でいいんじゃない？

>>338

それだとHaskellすらNGだな

C++ だって関数型言語なのに！

>>340
ないないそれはない

それ有名なネタだよ

マクロとテンプレートを思いっきり使えば
それらしいコードは書けるかもしれない。

omake はええぞ。omake -P を知ったらやめられん。

Boost おそるべし

でもないw

今日職場で出た話題。
以下のOCamlコードが最終行でエラーには
* ならなさそうで、
* でもなりそうで、
* でもやっぱりならない理由と、
この問題の意図を考えなさい。

let id x = x
let unify x y = if true then x else y
let v = id `A
let _ = unify v `B
let _ =
match v with
| `A -> ()

なんでエラーになりそうなのかわからない。

＞| `A -> ()
なんかAAぽい

>>349
怒ってため息をついてるね。w

標準で関数型プログラミングをサポートする言語=関数型言語じゃね
標準のSTLだけだと関数型プログラミングは厳しいのでC++は入らないと思う

Q. 関数型プログラミングとは？
A. 関数型言語が標準でサポートしているプログラミング

相互再帰ですか

>>353
無限に再帰してて、止まらないわけですね、わかります。

再帰なんて簡単だお。

>>347
＞今日職場で出た話題。
どこの職場ですか？日本ですか？

let id x = xと
let v = id `Aと
let _ =
match v with
| `A -> ()
だけみれば`Aと`Aだからエラーにならなそうで
let unify x y = if true then x else y
let _ = unify v `B
もみるとxとyが同じ型じゃないとエラーで`Aと`Bだからエラーになりそう
でも多相バリアントだからエラーにならないみたいな。
なんか問題がわるいな

357は>>347へのレス　書き忘れたorz

type 'a 関数型言語 =
{ 変数 : 参照透過; 関数 : 高階; 型 : 代数的; } constraint 'a = 多相

>>351
個人的にはSTLがどれほど充実しようが、後付けのクロージャが qsort に渡せ
ない時点で除外したい。箱庭の中だけで関数プログラミングをサポートしても、
その言語が関数型とは言い難い。どんな言語でも関数型言語を「実装」する事
は出来るので。

std::sort に渡せりゃそれで十分じゃん。

qsortのほうがずいぶん遅いしね

>>362
プラットフォームによるとqsortの方が団地に早かったりするんですが
どのようなプラットフォームでお仕事をしておいででしょうか？

windows。それ、最適化してんの？

>>36
qsort() の呼び出しでは関数ポインタの呼び出しが多いから、インラインで置換するコードには負けてしまうと思います。

>>363
プラットフォームって、インライン最適化もできない糞コンパイラを使えばって話か？

あるいはstd::sortに関数ポインタを渡してるとか

おもしろいな。
関数呼び出しコスト以上に速くなる？

>>361
qsort はただの例。ライブラリの形で別言語を実装しておいて関数型でございっ
てのが気に入らないってだけ。関数ポインタを要求している所に渡したり、新
しい関数ポインタのインスタンスを実行時に作れないと。

> ライブラリの形で別言語を実装しておいて

言語内の機能で実装しているんだぜ?

クロージャはファーストクラスじゃないとね

>>370
それいうとあらゆる言語が関数型を名乗れるから。

>>370
それいったらアセンブラだって関数型だろｗｗｗ

つまらんんこと言っとらんでコード書け。

C++のboost:lambdaみたいなのを、
言語の本来の機能で実装できるのってないんじゃねえ?

>>375
boost.lambda 見てないんだけど Lisp のマクロ、R6RS のマクロでも無理？

関数型は最初からラムダ式があるから必要ないのでは。

zip(list1, list2, _1 + _2) //←こんな感じ。

Boostはポリシーによるプログラミングができる
(lambda (lambda (funcname)) (funcname ...))
↑こんなイメージ。これはLISPだったらマクロなしだと実現不可能じゃない？
型システムが閉じてないことが前提だから
OcamlやF#ではこれ、実現不可能だと思う

//ちら裏：自分はBoostが関数型言語やろうと思ったきっかけ

>>378
マクロ書けばええやん？
言語本来の機能でっせ、Lisp のマクロは…

>>378
>LISPだったらマクロなしだと

その前提が間違い。何の為の S 式だか。

すまん、今の流れでマクロなしってのは間違ってるなｗ
しかし、マクロありでもポリシーによるプログラミングはLISPでは不可能なんじゃね？
ここでS式が出てくるのはなぜ？
静的な型を持つ言語じゃないとコンパイル時型チェックの利点はなくなるし
単なるダックタイピングになってしまう
現時点では閉じていない多態かつ静的な言語って
俺が知る限りC++ぐらいしかないけど他にあるのかな
Template Haskellとかどうなんだろ

>>381
>ここでS式が出てくるのはなぜ？

興味無いくせに聞くなよ

>>381
declare すりゃいい話だし、元気があればコンパイラ書き換えれば OK
型推論でも何でもできるんじゃないか？

ああ、コンパイラ作るのか・・その発想はなかったわｗ

>>384
つか, 処理系自体にシンタックスパーサからコンパイラまで含んでて
そいつらを自前の定義に書き換え可能な言語相手に何を戦ってるんだか

>>378
すまんが、このコードで何をしてるのか参考までに教えてくれ･･･

>>385
C++に脳を冒されて、そんな言語が存在することを知るよしもないんだろう

>>339
いや、セーフだろ

職場で出た話題。
O'Caml で、v == v は真なのに v = v は偽な値 v は存在するか。

NaN

>>375
＞静的な型を持つ言語じゃないとコンパイル時型チェックの利点はなくなるし
OCamlは型推論で静的な型が付くからC++並にコンパイル時型チェック働くよ
型変換がらみのバグ出づらい分むしろ安全だと思うけど。
(* てかboost:lambdaコンパイル遅すぎ *)

>>390
OCAMLだとこれに相当することができない(STLC<U>が定義済みの場合だけOCamlでも可能)
C++では定義済みかどうかは関係なく宣言できる

STLライクなデータに対する探索コード
template <template <typename T> class STLC,typename U,typename R>
 bool has_data(STLC<U>&data,const R&value){
  typename STLC<U>::iterator it = std::find(data.begin(),data.end(),value);
  if(it!=data.end())return true;
  else return false;
}

begin(data)がイテレータ関数を戻すなら
find(b,v)はdataの型と関係なく定義出来る
(イテレータ関数の型には影響をうける)
クロージャ使えるって忘れてない?

>>391
> 宣言できる

「定義できる」かな?
宣言ももちろんできるけど。

念のため言っておくけど、上はあくまでどうしてもイテレータ使いたいならの話
リストは、|でパターンマッチして再帰でグルグルが普通

要は先に定義が必要だったりはしないので、391は間違ってると思われ

>>391の例自体は不適切かもしれんが、C++のテンプレートにできて他の殆どの言語にできないことがあるのは事実だよ
C++のテンプレートの顕著な特徴は
・型検査と名前解決の一部がインスタンス化まで遅延される
・特殊化(テンプレート引数に対するパターンマッチ)ができる
で、メジャーな言語でこれを備えてるのはC++の他にはDくらいしかないはず

SFINAE(Substitution Failure Is Not An Error)
http://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error

>>396
取り敢えず CL はどっちも出来るな

>>398
良く分からん
CLだと引数の型が確定するのは実行時だから、テンプレートみたいなことはやりようが無いんじゃね？

GF じゃダメなん?

GFって総称関数のこと？
それならやっぱり実行時ディスパッチだからテンプレートとは比較できないだろ

>>397
Boostじゃ結構使われてるけど英語しか記事無いのか

GFってgeneric functionのことだと思うけど、それだと
>>401の書いてるように、実行時の型に基づくディスパッチだから、
コンパイル時にディスパッチが行われるC++のテンプレートの特殊化
とは全然違うでしょ

何で同じ事を2度書く？

>>403
packageとcompileで頑張れば、
同じようなものを作れないこともないなあ。
おもしろいかもね。SFINAEはCLOSっぽいね。
まあC++だって総称関数族だから当たり前か。

patter match で、

let a = "hoge" in
match a with
a -> "this is hoge"
| "hage" -> "this is hage"
| _ -> "other"

みたいにして、a を "hoge" としてマッチさせることが出来ないのはどうしてなの

パタンに変数参照を書けないから。
パタン中に変数書くときは束縛になるじゃん。

あ、そうか。束縛と区別できないのか。
ありがとう
でもグローバルに識別子を持っているとき
例えば root_user_name = "hoge" とかあるとして
直接　"hoge" はタイプしたくない場合

match user_name with
eval(root_user_name) -> "root user"
| _ -> "normal user"

とか書きたくなるんだよね
単純なときは if else だけど、複雑なときに書きたくなる

つ　whenキーワード

match user_name with
　| user when user=root_user_name -> "this is root user"
　| "hage" -> "this is hage"
　| _ -> "other"

で合ってる？

つ if

>409
ありがとー
知らなかった
すげー恥ずかしい

>>412
かじりかけじゃしょうがないと思うからがんばれ。

パターンマッチにパターンじゃなくて式を書いちゃうのは初心者にはよくあること。
入門書は振れるべきかもわからんね。

つ　入門OCaml

軸がぶれている

質問です、リストの文字を全部つなげるとき

List.fold_left (^) "" ["1"; "2"; "3"]

とか書くとするじゃないですか
でも例えばちょこっと関数を間に挟みたいとき、

let conv x = x ^ "!!" in
List.fold_left (fun a b -> a ^ (conv b)) "" ["1"; "2"; "3"]

とか書くのって違うのかなとか思ってるんですよ

(fun a b ->a ^ (conv b))

の部分をもっとこう関数の合成みたいな感じで短く書く方法ってないですかね

十分簡潔に書けていると思う。わかりやすいし。
なぜそんなに短さにこだわる？

質問の趣旨とずれているが、そもそも (^) を fold するのはお勧めできない。
文字列コピーが多すぎるから。String.concat とか、 Buffer を使うべし。
上の例は、

String.concat "" (List.map conv ["1"; "2"; "3"])

これで十分だろう。(^) を使うなら417で十分。無理に短く書いて喜ぶ言語ではない。

　　　　　　　　　　　　　　,,,,,,,,,,,,,,,,,,,,,,,,,,
　　　　　　　　　　　　 ／": : : : : : : : ＼
　　　　　　　　　　　/-─-,,,_: : : : : : : : :＼
　　　　　　　　　　/　　　　　'''-,,,: : : : : : : :i
　　　　　　　　　 /、　　　　　　/: : : : : : : : i　　　　　＿＿＿＿＿＿＿＿
　　　　　　　　　r-、 ,,,,,,,,,,、　/: : : : : : : : : :i　　　 ／
　　　　　　　　　L_,　,　　 、　＼: : : : : : : : :i　　 ／　 λ抽象したら
　　　　　　　　 /●) (●>　　　|: :__,=-、: /　＜　　　負けかなと思ってる
　　　　　　　　l ｲ　 '-　　　　　|:/　tbﾉﾉ　　　　＼
　　　　　　　　l ,`-=-'＼　　　　 `l ι';/　　　　　　 ＼
　　　　　　　　ヽﾄｪ-ｪｪ-:）　　　 　-r'　　　　　　　　　￣￣￣￣￣￣￣￣
　　　　　　　　　ヾ＝-'　　　　　／ /　　
　　　　　＿＿＿_ヽ::::...　　　／ ::::|
　　／￣　::::::::::::::l　`──''''　　 :::|

>>417
俺だったら先にmapする

俺はconvを2引数にしてこんな感じにするかな
List.fold_left conv "1" ["2"; "3"]

ありがとうございました
Buffer は知ってたけど、String.concat は知りませんでした
map 先にやって、String.concat で書くことにします

OCamlでファイルIOするときUnix.lseekとかが
file_descr -> int -> seek_command -> int
でintで足りない場合が多々あるかと思うのですが、
皆さんは大きなファイルのIOをするときはどうしてますか？
オフセットの計算とかも Int64.add pos (Int64.mul index 4L)
みたいにしてやってますか？

Unix.LargeFile

おまいら、ライブラリ関数で迷ったらまず .mli 読むか、grep するか、
ocamlbrowser でも使えよな。

>>425
おお、ありがとうございます！

>>424
31bitがだめなら63bitがあるじゃない。

# 0xffffffff;;
- : int = 4294967295

>>427
つまらん

質問。関数型言語の特徴の一つとしてパターンマッチって出てくるけど何が利点なの？
ifの構文糖衣のようにも思えるけど

簡潔に書ける

>>429
もしパターンマッチがないとすれば、代数的データ型から値を取り出したい場合はどうする？
たとえばHaskellのMaybe型のJust 3という値から、3という値を取り出したい場合はどうする？

それはアクセス関数が自動生成されるようにすれば済む話じゃないか

>>429
構文糖には何も利点がないとでも？

安全なダウンキャストができることとか？

>>434
x + yって中間記法、よく出てくるけど何が利点なの?
(+ x y)の構文糖衣のようにも思えるけど

>>432
具体的に実装するとすればどうしますか？
MaybeにはNothingという値もあるんですよ。

>>436
入力が不適なら例外発生

>>437
Maybeは代数的データ型のひとつの定義に過ぎませんよ。
Just aとNothing以外にHogeという値がある別の定義があったらどうするんですか？
定義はいくらでも作れますよ。

>>438
言っている意味が分からん
アクセサの自動生成はHaskellが既にやってること(フィールドラベル使ったときに)だし、技術的な問題はないと思うんだが

パターンマッチの利点：
簡潔 - 記述しやすい (accessors (or deconstructors) for free)
安全 - non exhaustiveness check
速度 - 分岐が集約されているので最適化が楽 (ifの繰り返しを解析するのにくらべて)
以上。他にあるかな？

(というか、そもそもパターンマッチは関数型言語の特徴ではありません。
関数型言語が採用しているADTの特徴というべきでしょ。)

問題

パターンマッチを採用している手続き型言語を挙げよ

awkはパターンマッチなのかな

マセマティカ
項書換えシステム全般 (論理型も含む)

Scalaはcase classがある。
パターンマッチ渡しはできないが、match case文がある。
http://www.scala-lang.org/intro/caseclasses.html
Extractorはユーザ定義もできる。
http://www.scala-lang.org/intro/extractors.html

SML#はもう開発止まっちゃったの？

F#(OCAML系)があるしなあ。

JNI(Java Native Interface)の中の人は、
SML/NJのWin32対応をやっていた人だった。
Modular Monadic Semanticsの人。

メンバがわりと沢山ある構造体（record）がいくつか必要な時は皆さん
メンバの名前が被らないように注意してレコード作ってますか？
それともクラスにしますか？

>>446
何か勘違いしていると思われ

F#があるのとSML#関係なくね？SML.NETの存在は微妙かも知れんけど

>>447
モジュール名で区別でおk
OCamlでオブジェクトの濫用はお勧めできない

SML#の「#」は、.NETよりも歴史が長い

プロジェクト期間終了したから取りあえず一息つきたいんじゃないの？
O堀さんのことだからこれで終りとは思えないが。

>>450
おお、目から鱗ですありがとう！
このスレは勉強になります。。
俺もできるならクラスは使いたくなかったので助かりましたわ。

SML♯で,配列 data[]（要素数 n）と int型の i,j を引数にとって,
要素 data[i] と data[j] を入れ替えた配列　を出力する関数
ってどうやればいいんかいな？

宿題ですか?

OCamlのStream便利だな。。。何でもかんでもコレ使いたくなっちゃうわ。
何かマズいことあるのかな？

マズいことはないけど破壊的なのがなにかと使いにくいと思う。

>>457
つまりHaskell最高ってことか？

ほとんどのデータがint縛りっていうか、31bit制限があるところがツラいと思うんですが、
色々と工夫というかテクがあるなら教えて頂きたいです。

>>456
人生、これストリームなり

[1;2;3;4]を入力すると[1;3;6;10]を返す関数sigmaを書いたんですが
sigma関数の箇所、もっと効率的なやり方があるような気がしてむずがゆい感じがしてます。
何かアドバイスいただけないでしょうか

let iota n = List.init n ((+)1) in
let sum lst= List.fold_left (+) 0 lst in
let rec take n lst =
    match n with
    0 -> []
    | 1 -> [List.hd lst]
    | _ -> (List.hd lst)::take (n-1) (List.tl lst) in
let sigma lst =
    List.rev (List.fold_left (fun x y->sum (take y lst)::x) [] (iota (List.length lst))) in
sigma [1;2;3;4;5;6];;

累積変数で、これまでの和を持ち運ぶ

ありがとう。こんな感じですかね
(途中まで同じ)
let sigma lst =
    let accum = ref [] in
    List.rev (List.fold_left (fun x y-> accum:=y::!accum; sum !accum::x) [] (iota (List.length lst))) in
sigma [1;2;3;4;5;6];;

えー。「ここまでの結果」を「引数で」持ちまわるんだよ。再帰終了するところでその引数をそのまま返す。

んー、持ち回る引数がfoldの中なので、プログラム全体の形、結構変わりますよね？
こういった変換は慣れていないので、ちょっと時間がかかりそうです

iotaとかsumとかtakeとかを使わないで、さらにfoldにこだわらなくて、かつ再帰を使っていいなら
こんなのはどうっすかね？

let sigma l =
let rec sigma' cur r = function
　　| [] -> List.rev r
　　| x::xs -> let next = cur + x in sigma' next (next :: r) xs in
sigma' 0 [] l


# sigma [];;
- : int list = []
# sigma [1;2;3;4;5;6];;
- : int list = [1; 3; 6; 10; 15; 21]

foldとかを使ったもっとElegante"〜｛エレガンテ｝〜"な方法を希望ならｽﾏｿ。

こんな感じ。

reverse $ snd $ foldl (\(a,xs) b -> let x = a + b in (x,x:xs)) (0,[])

Haskellの構文を使ってるがMLでも同様のはず。

pairにする必要ないんじゃ…

tail $ reverse $ foldl (\a b -> (head a + b):a) [0]

>>468
おお、こういうのがノータイムで出てくるようになりたいわ。

let sigma lst =
let rec sum lst =
match lst with
| [] -> []
| car :: cdr -> (List.fold_left (+) 0 lst) :: (sum cdr) in
List.rev (sum (List.rev lst));;
こんなんどうでっしゃろ？

>>467-468
おまいらHaskell大好きだなwwwww

MLの構文を知らずにこのスレを覗いてる奴が結構居ると予想

関数の中ですぐmatchするのってfunctionで書き直しちゃいたいんだけど。

let sigma l =
　let rec aux store = function
　| [] -> []
　| x::xs -> x+store :: aux (x+store) xs
　in
　aux 0 l
これでok。末尾再帰じゃないけど。な。

うおお、皆さんありがとう！
いろんなやり方があって勉強になります

let ($) g f x = g (f x)
let sigma = (fun s -> rev $ fold_left (fun ys x -> s := x + !s; !s::ys) []) (ref 0)

let (@@) f x = f x
let sigma l = (fun s -> rev @@ fold_left (fun ys x -> s := x + !s; !s :: ys) [] l) @@ ref 0

let sigma = tl $ rev $ fold_left (fun ys x -> hd ys+x :: ys) [0]

すんません。まさに >>472 なんですが…。

import List

sigma = tail.(scanl (+) 0)

対象かアーキュムレータの頭を累積値として利用する手もある。

let rec sigma = function
  | [] -> []
  | hd::[] -> hd::[]
  | x::y::tl -> x::(sigma (x+y::tl));;

let sigma_rev l = 
  List.fold_left (fun acc hd ->
    match acc with 
    | [] -> hd::acc
    | last::_ -> hd+last::acc) [] l;;

>>479

tail . (scanl (+) 0)
↓
scanl1 (+)
でおっけ

>>481
おおっ！そんなのがあるんですね。

やっぱ、Haskellすごいわ
スペースを入れてもわずか10文字w

意味不明なライブラリ関数の海で遊んで溺れかけているHaskellianにしか見えない。
逆に、OCamlには関数なさすぎ砂漠なわけだが。

Haskellそこらじゅうで大人気だな。
ム板住民の半分はHaskell（かRuby）好きなんじゃないかと思えてくるわ。

OCamlはデフォルトでは関数も文法も少ないけど自分で定義しなさい、みたいな所がCっぽくて好き。

let scanl1 f = function | [] -> [] | (x::xs) -> scanl f x xs
let scanl f x y = List.rev (List.fold_left (fun a b -> (f (List.hd a) b) :: a) [x] y)
で
scanl1 (+) [1;2;3;4];;
ってできるし。
HaskellとOCamlの差が出てくるのはやっぱりIOとかかね。

refを沢山使うprogramをHaskellで書くのは大変。
Ocamlで書くのが大変なのは…特にないな。遅延計算くらいか。

ファイルを順々に読んでいく、みたいのはHaskellだと遅延評価だから普通のリストと同じように出来るけど、
OCamlだとバッファリングするとかストリームとか多少は副作用がある方法を使わなきゃいけないかなー。
まあ他の言語ではみんなそうしてるから特に抵抗は無いが。

>>485
Streamって遅延計算じゃないんですか？

あっ、かぶったw
やっぱりStream使うんですね。

Streamはかなり便利だけど、
Haskellでは通常のリスト操作みたいに出来るっていうのはやっぱり魅力だよな。
使い方にもよるがソースがStream.junk ();とかだらけになるのは美しくないので避けたい。

>>485
たとえば？
俺がHaskellですっきり書いてやるよ。

ocamlcってgccの-O0みたいなオプションないのかな

というかこんなことを平気で聞いてもよさげな初心者スレないのかな

というかこんな意味不明なこと平気で聞くなよ。
kwsk

>>492
ocamldebugを使ってみた
　　　↓
Eventなのに止まらないだと・・・？
　　　↓
きっとコンパイラが最適化してるからだ！
　　　↓
ocamlのコンパイラって最適化無効にするオプションないのかな←今ここ

ocamldebugのstep実行で止まるはずのポイント飛ばされたり、
プロファイラで使われているはずの関数が未使用と判定されたり、
言語以前にツールの使い方覚えるとこで俺＼(^o^)／

全然初心者的内容じゃねーじゃん。ocamlc (ocamloptもそうだが) は
最適化みたいなことはほとんどしてないんで。書いたとおりに実行するよ。

優秀なOCamlプログラマを大勢知っていますが、大多数はデバッガの必要を感じていません。
俺もデバッガは使わないので何ともいえんが、何か使いかたを過っているか、
camlの評価順なぞを未理解なのではないかと思われ…

>>490
ICFP PC 2007の問題とかどうよ？

RNA実行するだけでも副作用なしだと大変じゃないかな

>>494
皆使ってなかったのか・・・
ソース解析する際流れ追うのに使えるかと思ったんだが

＞何か使いかたを過っているか、
＞camlの評価順なぞを未理解なのではないかと思われ…
どっちも怪しいのでもちっと勉強してくる

>>494
そういうのって全部ログコードはいてチェックするんですか?デバッグとそういうやり方併用してるけれど全部それだとチョイきつそう。

コードを綺麗に書けば、printf デバッグと、十分なユニットテストで 大抵バグは潰せる。
デバッガでちまちまやる前に、assertion と Printexc.get_backtrace でかなりのことはわかるはずだが。
Cのデバッガのように必須だという認識の人は少ないと思われ。
もちろん使うなとは言わん。ocamldebugはリプレイとか強力。

>>498
cの場合は破壊的操作と非破壊的操作をあまり意識せずにプログラミングすることもあるから
余計に必要になってくるのではないか?それに、小さな関数の定義を作って大きくするより、
一つでまとめて操作すると言う習慣も影響してるかも。

Cは（普通は）インタプリタがないからっていう部分も大きいと思う。

ちょっとcodepadが使えるのか試してみたよ。
http://codepad.org/14IrPYhB

C は REPL が無いからね

lisp的なREPLを備えたC環境なんてないよな。確かに…

あってもいいんだけど。

gdbは？

そういえばこんなのがあったの忘れてたわ。

C-REPL
http://neugierig.org/software/c-repl/

Haskell製か

>>504

＞Cのデバッガのように必須だという認識の人は少ないと思われ。

だから普通はそういう事なんだろうなww
まあgdbではlispとかcamlとかみたいに書いて即テストって訳にはいかないがgdbは便利だよな。

>>454亀だがちょうど最近覚えたので確認のために
fun swap (date,i,j)=
　let
　　val a = Array.sub(date,i)
　　val b = Array.sub(date,j)
　in
　　Array.update(date,i,b);
　　Array.update(date,j,a)
　end
localでArrayをopenしておいたほうが綺麗かも

すんまそん、Ocamlで日本語文字は扱えませんか？
例えば正規表現なんかでも使いたいんですが。

OCamlのstring型は任意のバイナリが入るので、標準入力とかファイル経由で扱うなら
日本語でもなんでもあり。
ただし、OCamlのソースコードに日本語を埋め込みたいなら、EUC_JP以外使えないと思う。
EUC_JPなら、普通にperl互換正規表現ライブラリのラッパーが使える。
http://pcre-ocaml.sourceforge.net/
データをUNICODEとして扱うなら、Camomileで日本語「文字」を扱えますね。
http://camomile.sourceforge.net/index.html.ja.jis

あと、正規表現で日本語を扱う問題はOCamlに限らずどれでも一緒なので、
http://www.din.or.jp/~ohzaki/perl.htm
あたりをどうぞ。

最後のURLは、perlのやり方としては古くて、
(今や\p{Hiragana}という風に"script"を文字クラスとして指定できるので)
「どれも一緒」というよりも、Ocamlだとこのやり方が有効って事になると思います。

UTF8 で書いて pcre-ocaml の `UTF8 オプションを使え。あと camomlile。以上。

MLtonのFFIを使って、Cのmain関数からSMLを呼びたいのだが、これは
不可能?

http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf
こんなのをみっけたけど、ゆうめいなん？

OCamlの入門記事
ttp://indori.blog32.fc2.com/blog-entry-223.html

何よりもピヨが気になる

>>515
入門記事というより、入門している記事

>> 514
数ヶ月前に見たので、うろ覚えだけど、optional arguments や polymorphic variants が
かなり早期に出てくる。そういう点では、こういう新しい機能をおまけとして解説してきた、
「OCaml を使ってプログラミングを学ぶ」本とは毛色が違い、より OCaml 自体を学ぶ事に
重点が置かれている。class についても最後にかなりページ数が割かれている。

>> 518 続き
そういうわけで、ひととおり関数型言語のコンセプトについて理解した人には
OCaml リファレンスとしていいんじゃないかと思う。

>>519
解説ありがとう。なるほど他言語をやっていて、始めようとする人向きだということが
分かりました。

>>515
Winでパフォーマンス落ちるのはバイトコードの話でしょ？
ネイティブなら問題ない

smlからsml#に移行しようとしてるんだけど，
型エラー(?)が出て実行できないのがある．
誰か助けて．．．

次のレスにエラーが出るプログラムを貼ります．

リストを使った集合演算のプログラムです．
(他にもエラーが出るプログラムはあるのだけど，
とりあえずある中で一番小さいもの)

まずはシグネチャ

signature SET =
sig

eqtype 'a Set

exception EmptySet

val emptyset : 'a Set
val elem : 'a Set -> 'a * 'a Set
val member : ''a -> ''a Set -> bool
val add : ''a -> ''a Set -> ''a Set
val map : ('a -> 'b) -> 'a Set -> 'b Set
val allelem : ''a Set -> (''a * ''a Set) Set
val fromList : 'a list -> 'a Set
val toList : 'a Set -> 'a list

end;

■■学校を作ろう！■■
VIP発でサイトを作ろうと思うんだ。（詳しくはWikiを見てくれ）
パートスレになるんでパー速（GEP)に移動している。
今スタッフを募集しているから、来てくれないか？

■Wiki
http://www36.atwiki.jp/vipvipschool/
■募集スタッフ
プログラム担当（特にErlang、Perl）
デザイナー（サイト上のアイコン、ロゴなど）
WEBデザイナー（サイトデザイン案に沿って、htmlやCSSを書ける）
他にも宣伝担当なども募集している。
■スレ
http://ex14.vip2ch.com/test/read.cgi/news4gep/1219068297/

次はストラクチャ(の一部)

structure Set :> SET =
struct

type 'a Set = 'a list;

exception EmptySet;

val emptyset = [];

(* Compute a pair of the element of input lists and rest set *)
fun elem [] = raise EmptySet
| elem (x::xs) = (x,xs);

(* Check whether x is an element of a set *)
fun member _ [] = false
| member x (y::ys) = (x = y orelse member x ys);

(続き)

(* Add an element to a set *)
fun add a A =
if member a A then A
else a::A;

val map = List.map;

(* Compute {(a,A \ {a}) | a \in A} *)
(* where A is an input set *)
fun allelem A =
let
val (b,B) = elem A
in
add (b,B) (map (fn (c,C) => (c, add b C)) (allelem B))
end
handle EmptySet => emptyset;

fun fromList l = l;
fun toList l = l;

end;

で，以下を実行するとエラーが出ます．
(SMLでは大丈夫だった)

Set.toList (Set.allelem (Set.fromList [1,2,3,4,5]));

エラーは以下のとおりです．
Diagnoses:
stdIn:12.1-12.49 Diagnosis(typecheckExp 12):
expression type and annotation don't agree
expression type: (int * int Set.Set) Set.Set -> (int * int Set.Set) list
annotation: (int * int Set.Set) Set.Set -> (int * int Set.Set) list
stdIn:12.1-12.49 Diagnosis(typecheckExp 16):
opetator and operand don't agree
operator type: (int * int Set.Set) Set.Set -> (int * int Set.Set) list
operand types: (int * int Set.Set) Set.Set
stdIn:12.1-12.51 Diagnosis(typecheckExp 12):
expression type and annotation don't agree
expression type: (int * int Set.Set -> expression) ->
(int * int Set.Set) list -> expression
annotation: (int * int Set.Set -> expression) ->
(int * int Set.Set) list -> expression
stdIn:12.1-12.51 Diagnosis(typecheckExp 16):
expression type and annotation don't agree
expression type: int * int Set.Set
annotation: int * int Set.Set
stdIn:12.1-12.51 Diagnosis(typecheckExp 12):
expression type and annotation don't agree
expression type: int Set.Set -> expression
annotation: int Set.Set -> expression

(エラー続き)

stdIn:12.1-12.51 Diagnosis(typecheckExp 16):
expression type and annotation don't agree
expression type: int * int Set.Set
annotation: int * int Set.Set
stdIn:12.1-12.51 Diagnosis(typecheckExp 16):
opetator and operand don't agree
operator type: int Set.Set -> expression
operand types: int Set.Set
stdIn:12.1-12.51 Diagnosis(typecheckExp 16):
opetator and operand don't agree
operator type: (int * int Set.Set -> expression) ->
(int * int Set.Set) list -> expression
operand types: int * int Set.Set -> expression

(さらに続き)

stdIn:12.1-12.51 Diagnosis(typecheckExp 16):
opetator and operand don't agree
operator type: (int * int Set.Set) list -> expression
operand types: (int * int Set.Set) list
stdIn:12.1-12.51 Diagnosis(typecheckExp 12):
expression type and annotation don't agree
expression type: (int * int Set.Set) list -> expression
annotation: (int * int Set.Set) list -> expression
stdIn:12.1-12.51 Diagnosis(typecheckExp 16):
opetator and operand don't agree
operator type: (int * int Set.Set) list -> expression
operand types: (int * int Set.Set) list
BUG :invalid type

数学における記法の話です
大学入試の問題文の冒頭で
「f(x)=x^3+3x^2とする」とあるのですが
この=はC言語と同様に、右辺の関数にfという名前を付けるという
意味での=つまり;=のことでしょうか？

C言語では関数に名前をつけるときに=を使わないのでは？

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

>>532
すみません、これだけでいいので分かる方いたら教えてください

WindowsでOCamlを使うには、「MinGW」もしくは「Microsoft Visual C++ and Microsoft Assembler」が必要になります
って読んだんだけどOcamlのコンパイラってCへのトランスレーターなの？

アセンブラでsho

アセンブラですか。どうもありがとう。

>>530
夏休みも終わりだねえ

>>522
閑古鳥の鳴いてるメーリングリストを活性化するために話題を投げてくれ

>>522
SML#のバグじゃないかな・・・？
次回アップデートに期待としか。

http://eigenclass.org/hiki/fp-ocaml-koans

warota

よいコンパイラの教科書(当然関数型)があれば紹介してください。和英こだわりません。

まずはnavi2chのスレをみたほうがいいかもしれない

そのようですね。

おさわがせしました。昔の navi2ch がパスに残っていた、、、ダサいな

ところで、
・処理系を関数型言語で書きたい
・関数型言語の処理系を書きたい
どっち？

コンパイラを書きたい、ですね。(多分書かないけど)

ﾜﾗ

や、だから
・コンパイラを関数型言語で書きたい
・関数型言語のコンパイラを書きたい
のどっちなのかということですよ

MLでコンパイラの教科書って有名なの1冊しかないんじゃないの？
いいかどうかは知らない。

洋書で青い表紙で虎のやつのこと？モダンなんちゃらだっけ？
EOPLはschemeでML処理系を作るやつだったよね

「Modern Compiler Implementation In ML」かな…
持ってるけど、読んでない…

まだモダンなのかなぁ

近代はずっと近代。もっと新しいのは現代。

計算機の本で「コンテンポラリー」を名乗ったものって記憶にないなぁw
なんかあったっけ？

まだポスト・モダンが出現してないから。

学会のサブタイトルなら見たことある。

GODIがインストールできない。bootstrap_stage2で失敗する。

~/Desktop/godi-rocketboost-20080630$ sudo ./bootstrap --prefix /usr/local/godi
...
Bootstrap was successful!
...
Selected GODI section: 3.10
...
~/Desktop/godi-rocketboost-20080630$ PATH=/usr/local/godi/bin:/usr/local/godi/sbin:$PATH
~/Desktop/godi-rocketboost-20080630$ export PATH
~/Desktop/godi-rocketboost-20080630$ sudo ./bootstrap_stage2
.: 1: godi_confdir: not found
Error: Command fails with code 2: /bin/sh
Failure!
~/Desktop/godi-rocketboost-20080630$

なんでだろう。
ttp://d.hatena.ne.jp/keita_yamaguchi/20080313/1205419732
の言う通り3.10に対応してないのだろうか？
それとも根本的なところを勘違いしてる？
OCaml初心者ですが、GODIが必要です。

> OCaml初心者ですが、GODIが必要です。
この前提が、なんか、もう。

NumとかBig_intのプリンタが欲しいとか？

たかがそんなもののために GODI が必須で、
GODI がインストールできないから使えない、というのは間違ってますね。

逆に、GODI 依存ユーザからお前のライブラリ GODI にポートしろとか
当然のように言われるのも迷惑です。

OCamlってライブラリ関連でコミュニティの足並みそろってないせいで言語の良さがかすんじゃってる感ある。

足並み揃えて大きな標準ライブラリ作ればって話は昔からあるし、今もOCamlForgeとかでやってるけど、なかなか成果が出ない。
なんでだろう？

これからはHaskellだから

windowsXPを使っていて、ML言語を使えるようにしたいので、インストール方法をどなたか教えていただきたいのですが・・・

じゃ、f# がいいんじゃない？
インストーラーがあるよ

OCamlにだってWindowsのインストーラくらいはさすがにある。

>>567
コンパイルできないやつか
コンパイルしても動かないやつしかない

>>565
cygwin入れれば標準でocaml入ってるよ。

cygwin入れるならデュアルブートか仮想化するなぁ…

SML#はプロジェクトのページにインストールから簡単なプログラミングまでチュートリアルがあったはず

>>565
こーゆー時のためにhttp://ocaml.jp/です。
OCamlのインストール方法からチュートリアルまで揃ってますよ。

相変わらずマルチバイト扱いにくいね

使い方がさっぱりわからないunicodeライブラリならあるよ

>>574
それ扱いやすいって言わないよ〜　orz

普段使いで文字列扱うせいでこまるんだよな、言語自体好きなのに。

日本語でおｋ

ocamlのコンソールの使いにくさは異常。
pythonならC-b, C-fでカーソルの移動ができたり、
emacsの標準的なキーが使えるから気軽にコンソールでためせる。

>>577
ledit使え、と思ったらなんか終わってるらしい。
どうしたものか...

rlwrap

inf-caml使えばいい

みなさんありがとうございます。
ためして見たところrlwrapを使うことにしました。

すごいです!!ありがとう!

>>578
>ledit使え、と思ったらなんか終わってるらしい。
え、終わってるって、どういうこと？
俺、ledit 使ってるけど

>>582
ledit終了　でぐぐるとトップに出てくるブログに書かれてる情報絡みのことじゃないかと

3.11 のブランチ release311 が ocaml-cvs に出来ました。おそらくもうすぐリリースですね。

3.11 の目玉

* native判のモジュールの dynamic link
* private abbreviation type
* Printexc.print_backtrace 等、デバッグに役立ちそうな backtrace 系関数数種
* ocamlnat: native の toplevel (デフォルトでは作らないそうな)

>native判のモジュールの dynamic link

これって既に10で出来るようになったんじゃなかったけ？
と思ったら、今は dynlink.cmxa をリンクしないといけないのか
これは便利だな

法政大学の児玉先生の所におかれている
http://yk.i.hosei.ac.jp/library/hosei/seminar/caml/miniml/minicaml.sml

をいまどきのSMLNJで動かすにはどう変更したらよいでしょうか．
ord(#"0")はすぐわかりましたが，lookaheadなどがcharを期待してして
いるのが仕様変更になったようで，elem をどうやってやればcharで
使えるのかが判然としません．

OCamlの次世代デファクトスタンダードライブラリを目指すBatteriesがα1をリリースしたらしい。

http://dutherenverseauborddelatable.wordpress.com/2008/10/11/ocaml-batteries-included-version-alpha/

一応前から内容は見ていて、OCamlのベースライブラリをモダンな階層構造に再編集しているのはすばらしいと思う。
ただ、ちょっと既存の外部ライブラリに頼りすぎていて、枝葉になるほど寄せ集め感が否めないのが気になる。
将来これに一本化されていくのかなー？私もこれに乗るのかどうか、今悩み中。

過疎ってるからって hatena からそのままコピペするのはよそうよ

誰ですか、私のエントリーをコピペしたのは。
別にいいですけど、一人称くらい変更してくれてもいいのに。

3.11の目玉の一つの、private abbreviation type って何でしょか？
private typesでもなくprivate row typesでもない、なにか？まぎらわしー。

過疎ってるから
俺がocaml勉強日記を書いてあげようか?

わからないことがあったら答えて下さいね!

断る

面白くなりそうだったらいいよ。

>>591
おう、かいてたらいいよ。

module M : sig
type nat = private int
val nat_of_int : int -> nat
val int_of_nat : nat -> int
end = struct
type nat = int
let nat_of_int n =
(assert (n >= 0));
n
let int_of_nat n = n
end

>>595
レスどうも。
この例は、signatureでtype natとして隠蔽した場合と何が違うのでしょう？
試してもprinterが<abstr>になるかどうかくらいしか違い分かりませんでした。
どういう利用法があります？

ぐぐったらあったorz ↓
ttp://d.hatena.ne.jp/camlspotter/20081027/1225076108
subtypingとは気づかなかった。

nullとnilの違いを教えてください。

null：物の表面に液や塗料をなすりつけること。
nil：食物を、水または調味料を加えた汁に入れて加熱し、食べられる状態にすること。

>>599
ttp://pc11.2ch.net/test/read.cgi/tech/1203474071/l50

SMLにおいて、nullとnilの違いを教えてください。

nilは空のリスト。
nullはListストラクチャーの、リストを受け取りnilかどうかをboolで返す関数。

nullp

>>599
ウケ狙いなら、残念。もう一ひねりホシイ。

ウケ狙いならって･･･
他に何があるというのか小１時間(ry

独学でＳＭＬの本を使いながら関数言語を学んでいるのですが、上手くできない問題があり困っています。

replicate(4);
と打つと、
val it = [1,2,2,3,3,3,4,4,4,4] : int list
といった感じに１を一つ，２を二つ、３を三つ、４を四つといったリストを
出力されるＳＭＬのリカーシブメソッドを書きたいのですが、上手く行きません。分かる方教えていただけると助かります。

うまくいかなかったやつを載せてみてよ。

>>606
リカーシブメソッドっていうのが何を差してるのか分からないけど、
入力: 自然数n
出力: 要素が全てnで長さnのリスト
とするサブ関数使えばいいんじゃない？

n
[1,2,3,...,n]
[1,22,333,...,n,n,n,n,]
の二行目から三行目で>>608使えばいいな。

recursive
再帰だな。

とりあえず作ってみた。
>>609のやりかたとは違います。
↓にあっぷしてみたので、ご参考までに。
ttp://www2.uploda.org/uporg1765562.txt.html
(パスは sml です)

入力は自然数(0以上)を仮定しています。

あー、答えちゃったの？どう読んでも宿題なんだから、自分で考えさせてあげなきゃ。

>>612
やっぱそうだよねぇ。
「独学で」なんて書いてるから、
にっちもさっちも行かなくなったと思っちゃったんだよね。
やっぱ、寝ないとだめだな。

>>612>>613
良く寝て頭を休めろ。

SMLならメソッドじゃなくてファンクションだろ、とどうでもいい突っ込み。
再帰関数はn-1番目からn番目を導出する定義をそのまま書くのがコツ。
もう>>606は見てないだろうけど。

宿題でも独学でもどっちでもいいのでは。

http://xy.yu.to/
始終荒れまくりの海外サーバ絵チャだ

一人の神プログラマーが強すぎてマクロ荒しが全く太刀打ちできてない。
荒しプログラマーは全員退散！！
誰か倒してくれｗｗｗｗｗｗ

>>611
わざわざお答え頂ありがとうございます。
一応こちらもパターンマッチングでない、if - elseの方法で出来ました。ネストしたループのfunctionの前にletが抜けていただけでした。
参考になりました。

>>618
こういう課題は論理型の方がすっきりした定義になるね。

すんません教えてください。

(int -> int -> int) -> int

という関数の定義例が分かりません。

(int -> int) -> int -> int なら
たとえば
let func = fun f x -> (f 2) * x;;
でいいことが分かるのですが、

(int -> int -> int) -> int
だとわからなくなります。

『二つのintを引数とし、intを返す関数』を一つの引数としてとり
intを返す関数というふうに理解してます。

コードはどのように考えればよいんでしょうか？

なんでもいいけど
let func f = (f 1 2) + 3;;

>>621
ありがとうございます。
理解しました。

ふと気づいたらOCaml3.11.0ｷﾃﾀｰ

おお。
Mozartの64bit版も来ないかなぁ・・・クリスマスプレゼントに

mac leopardにsmlインストールしようと長いこと奮闘しているのですが、どうにも上手くいきません。
どなたか導入に関してわかりやすいサイトありましたら、教えてください。

Macports使えよ

>626
やっと入れられた。ありがとう。

>>625
なんだ、お前も最近増えてきたにわかマカか

>>628
人生にお疲れのようですね。

引く手あまたのプログラミング言語は?
http://slashdot.jp/developers/article.pl?sid=08/04/06/2313251
---
Java(16479件)、C++(8080件)、C#(7780件)、JavaScript(6749件)、
Perl(5710件)、PHP(2641件)、Python(1408件)、COBOL(1207件)、
Ruby(769件)、Lisp(33件)といった感じらしい。

とりあえずJavaとC/C++/C#、あとJavaScriptを覚えれば、
当分仕事には困らないようである。COBOLのしぶとさも目立つ。

ちなみにHaskellやOCamlの求人は10以下だったそうだ。
---

当然だ。HaskellやOcamlの素晴らしさを理解できる人種は
限られているからな。JavaやC++みたいな糞言語を使う糞グ
ラマがいる限り日本のIT産業の生産性は低いままだろう。
今必要とされているのは我々のような高い能力をもつエンジ
ニアであるにも関わらずスーツ族にはそりがわからんのですよ。
うはwテラガンダムwww俺自重www

こうですかわかりません

パラダイムシフトはある日突然のように起こる

>>631
職業プログラマは免許制にすればいいんじゃね？

>>633
情報処理技術者試験の実務への役立ち度を考えると・・・

プログラマの能力なんて知ってる知らないでは計れない。圧倒的多数の凡グラマーとごく一部の神グラマーww

>>634
試験は基本中の基本の事柄が出てくるだけだよ。
実務には直接関係ないかもしれないが、その程度のことも知らないようでは
応用性がなくて３５歳で定年を迎えるだけ。
ソフトウェア開発を一生仕事にできるのは基本を知っている人間だけだよ。

>>636
へえー

ソフ開で午後八割くらい午前四割くらいのおれは生きててはだめということですね。わかります

>>633
盲目的に試験勉強する人間はもううんざりだな。

>>639
たとえばプログラマでも東大院卒と公立高校卒とでは、やはり東大卒のほうが優秀な奴が多いよ。

そりゃそうだ
スタートは同じでも高卒と大卒では行き着く先が違う

で、高卒は３５歳で定年退職です

>>642
私のように35才でPrologを始めて、それでプログラマになれたというケースは
どう考えればいいのかな。大学一年で中退してるから、高卒だけど。

年齢といい、言語といいそれなりにレアケースかと。
まぁ３５ではじめてもいけるとは思うけどね。多分それまでに理論的な思考が身についてないときついと思うが。

論理型とか関数型を裏にある数学的な背景も併わせて押えとけば
手続き型でやるより長生きできるのかなーとか思ったり

PrologとMLがそんなに差があるわけもないのであって、
40才から始めても大丈夫って言わなくちゃいけないのではないか。
関数型のスレで高卒限定でも35才定年はないと思うよ。

>>643
辞めた理由による。
高卒と大学中退は若干違う。

３５歳でプログラミング始めるのは全然無理ではないし、
業界未経験でPrologのみ扱える３５歳が職業プログラマとして入り込めるのも、この業界ｗ
かつての業界成長期にはタクシー運転手や大工から転職してきた人も珍しくなかった。

>>648
それはIT土方。アメリカ的に言えばコーダー。
ちゃんと計算機科学を勉強した人間の仕事じゃない。

>>648
今だって、エリクソンかなんかでErlangばかりやってて、日本に帰ってきて、
この言語だけは精通していますと言ったら、就職困らないでしょ。希少価値が
あれば、なんとかなるのは今も同じ。

>>650
困る困る大いに困る

>>651
変だな。Erlangもそうだが、Scalaなんて、書けるって言ったら、
引く手数多だろう。

俺なんかErlangもHaskellもScalaもFortranもCobolもJavaも一通り何らかのプロジェクトで携わったことがあるけどニートだよ？

C PHP Ruby もやったな。
ほとんどオープンソースプロジェクトと大学のTAやってたころに問題作成・採点やってたころの経験だな

とある大学の研究のために作られたハードウェアを制御するデバドラとかも書いたことあるし、
技術は結構あると思うんだけど
人格障害＆口下手だから誰も俺なんか雇わないんです。

>>652
需要はあるところにはあるんだろうがどこにでもあるわけじゃない。
需要のあるところと縁がなければ(ほとんどないわけだが)どうにもならん。

>>656
クリーク・アンド・リバーのような所はプログラマは対象に
していなのかな。アーティスト主体とは聞いたが。

>>657
秘密裡に話を進めたい求人っていうのは確かにあるね。

>>649
スレの流れを読め。
計算機科学を勉強した人間を前提とした話じゃないだろ。

>>657
その会社ググってみたが、HP何ともセンスねぇな･･･

Erlangにしても、Scala、ML、どれもヘッドハンティングの対象になる
案件ではないかな。ところで話は変わるが、高齢者向きの関数型言語
というと何になるのかな。Windowsアプリを書きたいなんて言わない
人達。

1977年に論文発表のFPでいいと思うよ

検索すれば、60歳からhaskellを始めたって人の日記とか見つかるよ

>>659
IT土方というのは専門性を持たずに手を動かすのが仕事の作業員のことで、
呼び名こそプログラマでも、専門知識を携えたプログラマとは大きく異なる。
土掘りしようがレンチ握ろうがキーボード叩こうが一緒の連中。
主に派遣。

>>664
「頭寒足熱腹八分」。翻訳すると「気取らず、怠けず、欲張らず」くらいになるかな。
1970年代以降の社会では専門知識は現場で帰納的に身につけるもの。仮に前身が、
タクシー運転手であろうと、大工であろうと、あるいは雲助であってもね。

頭破七部

ML言語で書かれた数式処理ソフトってあるのでしょうか？
今はmaximaをcommon lispから使ってるのですが
maximaよりも機能が豊富だったりするのでしょうか？

maximaに勝てるフリーのものなんてないよ

>>665
それは好景気の浮かれた古い時代、どんどん経営拡大して人材が追いつかなかった時代の話。
現代は人材にもっとシビアになってきている。
それに〜1995年ごろまではソフトウェア的にはそれほど目覚しい進歩がなかったから、
覚えた知識や技術の劣化が遅かったから専門基礎教育を受けない現場叩き上げだけでも何とかやっていけた。
ところが1995〜1999年ごろに爆発的に情報技術が進歩しはじめ、
それまで現場でソフトウェア開発に携わってきた"叩き上げプログラマ"は新技術についていけずに、
プログラマ35歳定年説の元になったわけだ。
現在の大学の情報学科や情報工学科などはそういった経験を元にして教育カリキュラムを組んでいるわけだよ。

>>669
もっともらしい大嘘乙

プログラマ35歳定年説ってもっと前からあったろうに。

CSで学んだようなことが生きるようなタイプの「開発現場」って日本にあんの？
日本のSIとかがやってるのは、今でも右から左にデータを動かすだけの
ユーザプログラミングの代行であり、コンサル業務でしょ

上流にいる奴は業務知識や営業力、調整力が重要で
下流にいる奴は、SQLだの5年も経てば古びるようなフレームワークだの
製品だのの泡沫知識、アジャイルだのデザパタだのについていける程度の
オツムを持っていることだけが重要で、
そこには本物のCSなど影も形も無いように思えるよ

>>671
あるよｗ
それがなかったら日本のIT沈没ｗ

>>672
それって研究所系でなくて？
不景気だと、すぐゼニカネにつながらないところは切られがちだよね？

ゲーム屋は、まだSIよりはまともに「開発」だろうとは思うが

SIだってソフトウェア工学とかを無視して仕事はできん。

無視して沈没した例もあるし。

ソフトウェア工学なんて学問じゃないだろ。
残念だけど、その道の人からは下に見られてるよ。

ふざけんな。計算機科学の立派な一分野です。

ソフトウェア工学なんて俗学だよ。
数学やらないようなものは科学じゃないよ。

おいおいScienceとEngineeringの違いが解ってないのがいるのかよ…

>>678
明確な違いはないよ。
特に情報工学と計算機科学の間には。

違いはあるが、境界が曖昧。
二つ合わせるとそのくらい幅が広くなる。

FP の話をしてくれ

FP？興味ないね

関数型プログラミングのことじゃないの?

バッカスのFPじゃないの？

Floating Point

FPでぐぐると上の方に出てくるのはfinancial plannerばかりだな

function pointというのもある

下着のサイズッて後ろのフォックで分るんだって!!!
知ってた？

A~Bだとフォックが１個
C~Dだと2個
F~だと３個なんだって...

ホント？
自称アゲチンが言ってたんだ。

俺ＦＰ２級持ってるぞ

>>678,679
情報工学と計算機科学はEngineeringとScienceと言うより
EngineeringとMathmaticsと言うべきではなかろうか。
MathmaticsをScienceには含まないとした場合だが。
計算機科学はScience即ち自然科学や社会科学と比較して研究対象と
研究行為の相対位置が異なると言える。

>>675-677
また、所謂"ソフトウェア工学"はソフトウェアではなくソフトウェア開発
という人の営みを研究対象にしている点で情報工学と異なると言える。
むしろ既存のソフトウェアおよびその開発過程を"観察"するという点で
ソフトウェア工学は上に挙げたScienceに近いとも言える。

ML(主にocamlだけど)で仕事したい人はうちの会社(www.itpl.co.jp)に来てくださーい。
computer science分かってる人も歓迎ですよぉ。
お給料はご相談ですが。

>>687
飯島愛乙！

>>690
61才でもいいかい?

>>690
理学博士のニートですがいいですか

年寄りがITに疎いって？
「世界最速のインターネット回線を持っているのは75才のおばあちゃん」なんだぜｗｗｗｗｗ１１１１１１”！！！W

年寄りってコンピュータもろくにさわれない人も多いし、そもそもコンピュータの存在にすら気づいていない人も多いよね。
パソコンってなに？みたいな

>>692
年齢による差別はしませんので、大丈夫です。
>>693
理学博士と言う時点でかなりポイント高いと思います。

>>690
給料悪いし待遇悪いじゃん
さらにページにヒラギノフォント指定ってのがウザ過ぎる
Winにヒラギノ入れてる人のブラウザでヒラギノ表示したら悲惨なことになるの分かっててやってるのか？

OCamlってのがな・・・オブジェクト指向で開発させられそう
ほのかに香るブラック臭

ニートって掘り出し物多いんじゃないかなって最近思うよ
オープンソースプロジェクトの大半はニートがいないと成り立たないらしいし、
技術力は下手な職業プログラマ以上だったりするんだよな。
おまけに他の企業色に染まっていない。
もしその気にさせることができれば質の高い人材が発掘できそうだね。

FX とかこええええええええええええええええええええええ

>>697
まぁ、給料・待遇についてはご相談という事で。ヒラギノは改善してみます。
>>698
OCamlを使いながらオブジェクト指向を強制する事は無いですよ。
>>700
FXとはいえ相手が大手ばかりなので普通です。ご安心を。

>>700
質問です
FXはどうして怖いんですか？

ちなみにOCamlマスターだとしてどのぐらい払うつもり?

>>690
なぜ、MLなの? ここではそれが訊きたい。

ページに書いてあるじゃん

いままで、おっかむるって呼んでたｗ

なるほど。Webページは読まなかったw
読んでみたけど、答えは得られなかったW

>>703
具体的な金額までは答えられませんが、OCamlマスターなら即戦力として迎えたいと思います。
>>704
ビジネス的には色々と理由があるのですが、どれも後付けです。
要するに、型安全や代数的データ型やパターンマッチや高階関数といった特徴ゆえに、開発効率がよくて不具合が少なくなるからです。
特にOCamlはライブラリが揃っていて楽です。それ以上でもそれ以下でもないです。

海外の求人にはOCamlは結構あるらしいけれど、国内にもあるというのは
朗報だ。

>>708
F#じゃあかん？

>>708
所謂ベンチャーですか？

>>710
F#で具体的な案件をこなした事はまだありません。だた、今後VisualStudioに標準搭載されてくれば、案件によってはF#を選択するかもしれません。
>>711
うちも小さい会社なのでよくベンチャーと言われるのですが、実質的にはベンチャーではなくスモールビジネスです。

>>690
OCAMLコミュニティで知名度のある社員はいますか？

>>713
それ重要だな

>>713 知名度は計りかねますが、「入門OCaml」という本を執筆した著者が在籍しています。また、OCaml.JPというサイトの運営に係わっていたり、ocaml-nagoyaという勉強会を開いたりしています。 ,http://ocaml.jp/ ,http://www.itpl.co.jp/ocaml-nagoya/

>>715
その本良くなかったわ。
プログラミング in OCamlは良かった。

>>715
店頭で見たけど、五十嵐淳さんの授業ページと本家ドキュメントだけで十分だと思ったから買わなかった。
言語解説書なんて今日日はやらないと思うなぁ。

Haskellの時だって言語解説書ほしがってわめいていたのって少数派だったんじゃねーの？
Haskell覚えようとするような奴が英語読めないとも思えないし、英語読めるなら本家ドキュメントぐらい読めるだろうし。
読んで理解できないような難しい文書でもないしな。

まとまったいい本あれば英語だろうが日本語だろうが買いますが

>>718
英語読めないけどHaskell覚えようとするような奴ですが何か？ｗ

私の力不足にしてお役に立てなかったのは申し訳なく思います。
ただ、とにかく私はMLのようなすばらしい言語をもっと開発現場に普及させていきたいのです。
書籍の発行はそのための具体的な行動の一つです。

>>720
Haskell本出せっていう要求は5〜6年ぐらい前の話。

>>722
言語解説書も出版されないような言語は消え去る他ないだろう。
そういう意味でOCamlはクリアできてるんだから結構ではないか。

>>723
OCamlにも不満はあるんだけどねぇ。
かといって言語を作る気はない。作った時点で満足して宣伝する気まで起こりそうにないから。

LISP本は百冊以上。Prolog本も五十冊以上。
OCamlもHaskellも一般人にとっては決定的に情報不足。

英語も分からないような人はプログラミングなんかしなくていいよ

なんか変な人がいるなwwww欲求不満なのかｗｗ？

OCamlはなー、もう少しメタプログラミング能力があればいいんだが･･･

よくしらんけどocamlp4とかでやるんじゃないの

ocamlp4じゃねえや
camlp4だった

なんでここ急に盛り上がってんの

>>726
ゴメンなさいね
英語わからんけど飯の種なんでやめられないですｗ

>>732
お前みたいな質の低いプログラマがいるからこの業界なめられるんだよ。
分かったら土堀りでもやってろ。

>>733
「五十嵐淳さんの授業ページと本家ドキュメントだけで十分」なんていう人が
いるから関数型がなめられるんでしょ。

>>708
素朴な疑問だけど、Lisp系のマクロのような機能が無いOcamlじゃ
作成時間と共に開発効率が上がるようには思えないけど･･･
ある程度の腕があればライブラリーなんて持ってると思うし、
Gaucheとかと競合したら負けそうな希ｶﾞｽ…

>>734
俺じゃねーしｗ
てか、入門Ocamlだっけ？あの程度の言語解説書ならいらねーよ。
俺が関数型言語を使うようになったのはMLを大学の授業で知ったのがきっかけだが、
別に参考書なんて一冊も買ってないぞ。立ち読みはするが。
初心者向きの言語解説書にはもはや価値がない。
ネット情報だけで十分なんだよね。

>>735
マクロがそんなに重要な機能には思えない。
大して作業効率にも反映されない。
Lisp系なら価値があるかもしれないが、ML系にはさほど意味はないだろうな。

>>736
そうか、別人か。そんな気もした。それはともかく、
君はそれで学べたかも知れないが、それでは普及は
しないということ。

＞大して作業効率にも反映されない。

ｵﾏｴがマクロを知らないのは分かったから黙ってろｗ

>>737
ゴミ本いくら増やしても普及はしないと思うね。
優れた海外の本の翻訳なら価値があると思うがね。
だからプログラマには英語が必須なわけだけど。

>>738
ここで書いても仕方ないが、俺はとあるSchemeライブラリ作者だ。
Lisp系にある程度精通している。

MLでマクロを実装してもあまり価値はないよ。

MLに普及の目なんて無いだろ
つーか、普及してほしいの？
MLが普及するぐらいならとっくにLispが世界を制覇してるよ

あえて関数型言語を比較するなら
Haskell　＞　SML　＞　Scheme　＞　Common Lisp

>>740
底の浅い知ったかだねｗ
マクロで開発効率を上げるといえばライブラリなんか関係ないんだよ。

マクロ使うとコードが煩雑になるじゃん
Haskellのポイントフリースタイルならそもそもマクロは必要ないと思えると思うんだがね

>>741
Haskellなんかが評価されてるのって
参照透明だからマルチコア当り前の時代のプログラミングに向いてるっていうか、
Lispとは勝負所が違う気がする

>>745
勝負どころの振り分けはどのように？

>>745
え？俺にレス？
そういう方向でも、やはりMLに目は無いよね
素直にErlang使っとけって話になるじゃん

Erlangはサーバ専用だと思ったほうがいい。
Erlangでプログラミングしてて分かったわ。

＞マクロ使うとコードが煩雑になるじゃん

タコ！マクロ生成マクロに煩雑もクソもあるかｗ

クライアントはWindowsとC++のゲットーだったりするので
鯖で強いErlangは勝ち組

>>733

マクロ生成マクロは黒魔術じゃねｗ
使うけど。

それはさておき、まぁLispのマクロそのものということじゃなくて、
それ相当のものがあるかってことでしょ。

たとえばRubyは、eval とかその他動的な機能でALGOL系の
言語での 「マクロ相当」 を導入しようという試みだと思うけど
（それがどれくらい成功といえるかは意見が分かれるとして）

Ocamlとかはそれ相当の機能や試みとしてはなにがあるの？
camlp4を知らないで書いてるけど。

camlp4でHaskel風のList comprehensionとかは出来る
っつーか、デフォでそういうオモチャがついてる

>>753
オモチャっていうのは、実用に堪えないっていうニュアンス？

>>754
いや、オマケ＆デモって意味
本気で使わせたいんなら、最初からそれを言語仕様にするか
トップレベルに組み込むんじゃね？

まあ、単に俺がそう思っただけで、詳しいことは白根

>>742
Scheme　＞　Common Lisp　＞　Haskell　＞　SML/OCaml

おまえらのいう「開発効率」って所詮個人の趣味プログラムでの話だろ？
>>690のように仕事で使う上での「開発効率」を考えたことある？

>>757
ゲームやGUIアプリの類に関数型は正気とは思えんし
ドカタ仕事の類にも向いてねえだろ
ド汚くてもいいから仕事を簡単にやっつけられるってのが「開発効率」じゃねえの？

LispのマクロはS式があって始めて便利なもの。
だから他の言語にはない。

つ Dylan

>>757-758
　>>735

>>760
Dylanはscheme/Lispとの差別化が出来なかったんだよね。むしろ劣化版。
最終的にObj-Cでいいやってことになって中止になったし。

>>733
むしろ、あなたのような人が人間の質として低い気がしますが？

英語ができた方がいいとは思いますが、必須とは思いませんね。

>>758
ところがどっこい、Unreal Engineの開発者がHaskellに注目してたりするんだ。
確か国内のゲーム開発者が、関数型に注目してるという記事も以前見かけた。
正気じゃないと言うほどでもないと思うけど。

それと、汚い仕事をやっつけ、って、割と関数型のフィールドじゃない？
関数こねくり回すのが本領の訳だしさ。

MONADIUSみてHaskellに対する印象が変わったな

>>762
英語必須ですよ。
英語ドキュメント避けて日本語ドキュメント探しているうちに日が暮れるような非効率な奴は3流

安定した仕様の言語だと、プログラマがドキュメントを探す
ことは稀だと思いますよ。通信規格のようなものは参照しま
すが。

洋書も持ってるけど、どうしても意味が汲み取れない
ところとかあると挫折しそうになる。

英語読めない奴の為に翻訳までしないと一流とは言えないな

300ページくらいで文章とコードが半々くらいだと何とかいけるんだが、
700ページとか厳しい。

じゃぁ二流でいいです。

>>761
>>>757-758
>　>>735

お前は何が言いたいのだ?

>>766
documentって英単語は書き物全般を指すと思うんだが？ｗ
最新の論文はもちろんのこと、RFCの一部なども日本語に訳されていないこともあるから、
やっぱり英語ができなきゃ支障がでるね。
特にアルゴリズムの論文は読むことも多いんじゃないかな。

>>772
私もあなたも同じだと思うけど、このム板に書き込んでいるような
奇人プログラマでないかぎり英文のドキュメントなんて読まないと
いうことです。研究者は別ですよ。

俺は職業プログラマではない。
どっちかっつーと天文台に住んでる実験系の物理屋だ。
プログラミングもするからプログラマで通してる。

つまんね

少し前に英文ドキュメントも読まないようなプログラマは3流だ、
という主旨の書き込みがありました。しかし、英文情報を渉猟して
いる方が珍しいのであって、当然そんなことをしていない人の中に
一流の人はいっぱいいると確信できるので、ちょっと反撥してみま
した。

>>776
一流なら当然名前は売れてるんだろ？
例を挙げてくれよ。

>>776
英文を読めない人間は、プログラマとしては情報弱者であることが
確定したようなものだ
そんな「一流のプログラマ」などあり得ないと俺なら確信できるが

英論文を読めない研究者などあり得ないのと同じだと考えてよい

>>776
日本発の情報がウンコなので英文を読むほかないのです。

並川さんもよくＴＶに向かって英語できません、なんて言えるよな。
昔と今じゃ状況が違うんだよ、馬鹿
ノーベル賞剥奪しちまえよ

一流のプログラマになれるような頭の良さを持ちつつ英語わからないやつっていないんじゃない?

言語マニアのファインマン先生は日本語を覚えようとして挫折した過去がある

実際に読めるかどうかは別として、少なくとも
「英語が読めなくても大丈夫」と主張するやつは駄目だな。

>>781
中学以来英語教育を受けてる筈なんだしね
まあネイティブ同然に読めなくてもそれは仕方が無いが
誰もそこまでは言ってない

>>782
何がだめだったんだろ。
言語体系の違いか?

>>785
日本語をファインマンに教えていたのが朝永の研究室の連中だったんだよね。
日本語の教え方がへたくそだったんじゃないかな。
それで、ファインマンもうんざりして日本語習得あきらめたんじゃないかと思うね。

そろそろ関数型言語の話をしようぜ

>>786
この馬鹿が。
日本語は世界でも最も難しい言語の一つなんだよ。
英語みたいに単純明解ではないのだよ。

英語：主語＋述語を主体とした前置型（Lispチック）
日本語：述語を中心とした後置型（Forthチック）
だとオモ。と無理矢理スレに繋げてみる。

>>780
並川じゃなくて益川
漢字も読めないようじゃ現場では使えないな

>>788
俗説

しかし日本語を体系化できた人間は未だにいない。

朝永の弟子がファインマンに日本語を教えたときも、そういうもんなんだよ、という説明しかできなかった。
日本語が英語に比べて体系化しにくい複雑な言語だということなんだよね。
英語が世界中で愛用されて、日本語が日本国内でしか使われない理由が良く分かるよ。
やっぱ言語はシンプルじゃないと駄目ってことだ。

Scheme最強！！

>>718 Haskell覚えようとするような奴が英語読めないとも思えないし
>>720 英語読めないけどHaskell覚えようとするような奴ですが何か？ｗ
>>726 英語も分からないような人はプログラミングなんかしなくていいよ
>>732 英語わからんけど飯の種なんでやめられないですｗ
>>733 お前みたいな質の低いプログラマがいるからこの業界なめられるんだよ。
>>762 英語ができた方がいいとは思いますが、必須とは思いませんね
>>765 日本語ドキュメント探しているうちに日が暮れるような非効率な奴は3流

つまり、
1.英語読めない奴は3流である
2.3流の奴はプログラミングしなくていい
3.プログラミングを仕事にしてるなら転職しろ

って、こってすね？
1.はともかくとして2.と3.には同意しかねますね。

>>787
スレチ失礼しました。
私はこのレスで終了とします。

低品質ソフト垂れ流しやがって　ゆるせん

まあ英語読めんでも仕事になってるんならそれでいいんじゃないの？

manだのinfoだのMSDNだのコンパイラの吐くメッセージだのを
「英文なので自分には読めません」で仕事になるのか分からないが
それで済んでいるのならある意味幸運なことだ
俺には関係ないしな

>>792
どんな自然言語もそう。
完全に体系付けできる言語は人工言語だけ。

Javascriptなんて、方言やバージョン違いだらけで、
「Javascript大系」出すのは不可能。

"体系化しにくい"とは"規則化しにくい"と考えればよいのか。
つまり例外が多すぎる、と。

で、英語を読めないやつは三流だっていうことを必死で主張してた人は結局何がしたかったの？

スレチの話題はそろそろ終了してくれ。続けるならマ板にでも逝け。

Ocamlも色々盛り込みすぎて，体系化されてるとは見えにくくなっている．

Camlp4で頑張ればUnicodeリテラルとか
[1..10]みたいな記法を使えるようになるんでしょうか

てか、オブジェクティブな要素はいらないだろ。
流行に流されてるなぁ

>>804
lablgtkとかはいいんだけど、自分で使う分にはいらないよね、オブジェクト指向要素。
でもそこを否定すると"O"Camlじゃなくなるww

前から疑問だったんだけど、オブジェクティブじゃない素のcamlってのは
発展してるの？というか、継続的に開発されているの？

バリバリのOCaml使いって、関数型だとかそういうの拘らないで、
副作用使いまくり、オブジェクト指向使いまくりで
関数型の要素もある手続き型言語ですみたいな感じで書いてたりするんだろうなあ。。。

>>807
なんか偏見？そりゃHaskellよりはゆるいかもしれないけど。
バリバリのOCaml使いが作ったと思われるJane Street Capitalのcoreライブラリとか読んでもそんな感じはしないよ。

>>807
バリバリのＣ使いがにわかOCaml使いになってプログラムしたんだろ。

>>808
mldonkeyとか読んだ。でもあんま沢山のアプリを読んでないのですまん。

OCamlはフランスで作られているのだからフランス語をやるべきだ。
wikipediaひとつみてもフランス語が断然情報量が多いね。
フランス語
http://fr.wikipedia.org/wiki/Objective_Caml
日本語
http://ja.wikipedia.org/wiki/Ocaml
英語
http://en.wikipedia.org/wiki/Objective_Caml

オブジェクトはOcamlの鬼子
http://d.hatena.ne.jp/camlspotter/20080906/1220723583
http://d.hatena.ne.jp/camlspotter/20080908/1220846961

lispわかってる人がOCamlマスターするのにかかる時間ってどのぐらい？
3日じゃ無理？

>>813
3時間ぐらい

↑↑馬鹿だろ

>>813
lispマスターがOCamlわかるのには大体3週間ぐらい。(これはマジレス)
lispわかってる人がOCamlマスターできないと悟るのが3分くらい。

初Ocaml

階乗計算を2通りやってみた。
http://codepad.org/5vBjk9Cm

どっちの書き方の方が多い？

let rec fac=function
| 0 -> 1
| x -> x*fac(x-1);;
はどうよ？

>>818
同意。

>>817, >>818
3通り
http://codepad.org/5bAL8aRu

型の例
http://codepad.org/UGqmVJcb

凄く細かいことだけど、自分は OCaml なら fact (n + 1) と必ず空白を入れるかな。
C や Java だと、その括弧は関数の引数を括るための特別な記号だけど、
OCaml だとそういう意味はなく、単に演算の優先順位を示す普通の括弧だから
2 * (3 + 4) の括弧に空白を入れるのと同じ理由で fact の後の括弧にも空白を入れる。

>>822の言うように修正したコード
http://codepad.org/i8vprhP5

let fact n = fold_left ( * ) 1 [2..n]
とか書けたらいいのにと思いますた
遅延計算で

>>823を相互再帰にする。３つの関数のどこから計算しても同じ。
http://codepad.org/x8n2Lk8r

Yコンビネータを2種類追加して全部で5通りになった。
http://codepad.org/oGJ4Mwzh

>>825
相互再帰を入れれば全部で６通り。

>>824
Haskellならできるね
fact n = foldl1 ( * ) [1..n]

PythonもHaskellよりはダサいですが一応出来ます
from operator import mul
fact = lambda n: reduce(mul, xrange(1, n+1))

末尾再帰バージョン
http://codepad.org/vE2CJfG0

マージソートを作ってみた。リストの表示に良い方法ってあるの？
http://codepad.org/VJydA6mc

>>826
それ>>164まんまｗ

extlibのStd.printが汎用プリンタっぽいですね

>>833
ありがとう。どうやらcodepadでは
#use "topfind";;
#require "extLib";;
が使えないみたい。

簡単なオブジェクトの例
http://codepad.org/v0ANkxs1

(* helloオブジェクトのメソッドprintを呼び出す。 *)

hello#print ;;

>>835の例をもう少しちゃんと書くと
http://codepad.org/kJsrhxd6

let hello = new c_hello ;;

>>836のクラスを継承する。
http://codepad.org/Q1xMkrvt

リストの操作の練習など
http://codepad.org/Ggh5Z9mp

和集合は
else

間違えて途中書き込みしてしまった

和集合は
else h :: union t b
よりも
else union t (h::b)
のがいいんじゃね？

>>840
いいわけないだろ。
hが加わった分だけ再帰に余計な計算が加わって遅くなる。
ばか？

計算量多くなるけど、入力に同じのが入ってたときを考えたんだが。
入力が正しくないときなんて考えるだけ無駄か。

俺も>>840と同じように思いました
>>840方式なら、計算ステップ数は同じで、末尾再帰になりませんか？

>>838のコードは末尾再帰になっていない分効率が悪いですよね

ああそうか
再帰のステップ数は変わらないけど、memberpの計算量が増えていくのですね
理解しました

＞末尾再帰になっていない分効率が悪いですよね
http://codepad.org/NLLYr3fJ
http://codepad.org/KnzRmJjp

よくそんな嘘を平気で言えたもんだｗ

OCamlを使っている皆さんのプログラミング環境やプログラミングスタイルって
どういうものなのか教えていただけませんか？

環境やスタイルっつーてもねー、もうちょっと質問を明確にできない？
linux, gcc, ocaml3.11, OMake/Makefile, emacs, tuareg1.46.2,
80chars/line, indent 2chars
とか、そういうこと知りたいの？

ドテラ着てコタツに入ってみかん食いながらプログラミングするのが今時のスタイル。

BT別/トイレ有/風呂有/シャワー/室内洗置/給湯/ガスコンロ対応/
システムキッチン/エアコン/冷房/暖房/BSアンテナ/CATV/エレベータ/
オートロック/収納/フローリング/分譲賃貸/駐輪場/ガス２口/浴室乾燥機/
シャワー付トイレ/バルコニー/外壁タイル/クロゼット/宅配ロッカ/ＣＳ/照明/
インターネット接続可

FONに追加したSDカード上のLinux環境(Open-WRT)に
ログオンしてemacs起動してサーバーサイドを作成してる。

自分はEmacs + ocaml-mode。
多くの人は同じじゃね？

>>847
・コンパイラに○○、
・デバッグのために○○と○○、
・エディタには○○、
・IDEを使う場合は○○、
・開発用と検証用のPCを分けたり、
・開発用・検証用PC間のデータ共有にLANを使ったり、
・通信にRS232Cを使ったり、
・コンパイルするまえに検証したりするかどうかとか、
・バグが見つかったときの対処方法など、
ですね。
ほかにも必要な要素があればぜひ付け加えてください。

どういうプログラムを作るかにも因るかもしれませんが、
要するにどういう種類のプログラムを作るときどういう手順を踏んでいるのか、
ということを教えていただければ幸いです。

追加ですが、
ソースコード管理や配布などについても教えていただければ幸いです。

>>851 tuareg-modeは楽しいよ

コンパイラはocaml3.11+ocamlspotter patch.
デバッグは主にextlibのdumpで画面表示. 超絶困ったときにはocamldebug.
エディタはemacs. IDEはいまのところ使ってない.
全体をコンパイルする前に大きく編集したファイルは-iオプションで個別に型をチェック.
-annotオプションは殆ど常に付けていて、謎な動きで困ったときには型とかも参考にしながら動作を追う.
上で抑えられているはずの(match文とかの)ありえない遷移にはassertとかも付けている. ヒットしたことないが.

>>855 と殆ど同じ

> ・開発用と検証用のPCを分けたり、
> ・開発用・検証用PC間のデータ共有にLANを使ったり、
> ・通信にRS232Cを使ったり、

これは OCaml と何の関係もないと思うが。必要な人はそうするだけの話でしょう。

> ・コンパイルするまえに検証したりするかどうかとか、

質問の意図がよくわかりません。
コンパイラに通す、という事以上に意味のある検証を、
コンパイラに通す前にできるとは思えませんが。

通した後にモデルチェッカとか定理証明器でさらに検証する、
というのなら判りますが、実際やっている所を聞いたことがありません。
あれば是非話を伺いたいです。

> ・バグが見つかったときの対処方法など、

printf debug は馬鹿にできない。
assert して backtrace とかかな？
最悪 ocamldebug。gdb は意外といける。

>>852
>>853

質問の対象が広すぎて良い答が得られるとは思えません。

- なぜこういう質問をしたくなったのか (会社で OCaml を導入しようとしているとか)、
- 現在こういう手順で他言語で開発を行っている、OCaml を使っても同じようにできるか知りたい

とか、背景説明していただかないと、答える側としても的を得た答を出しにくいです。

>>857
明確な答えは求めておりません。
質問というよりは
「オレはこういうやり方で開発やってるぜ」
という話が聞けたらなぁという感じですね。

どちらかというとブレインストーミングに近いかも。

じっとソースコードを眺めて、ここでこうなっているはずなのに
こんなことになっている、ということはその原因の候補は……
と考えるだけでもわりととれるもんだよ、バグ。

・コンパイラにはocaml 3.10
・デバッグのはprint
・エディタにはEmacs + caml-mode
・IDEは使わない
・コンパイルするまえに検証 <- ??? そんなことできるの？
・バグが見つかったときの対処方法 printデバッグ

ホーア論理を御忘れか？

MLのHoare論理はまだ研究段階

completeである必要はないんじゃないの? > 人間のやる検証

コンパイルの前に検証って、エディタがtypoや型エラーを指摘してくれるとかそういうのじゃないの？

ちょ MLで Hoare論理ってwww バカスwwww

>>864
それは深読みすぎ

>>864 型エラーとかシンタクスとかはコンパイルでチェックしてくれるから
それでよくね？セーブしてコンパイル　の時間がそんなに惜しい？一瞬でしょ

OMake -pの事でしょ？
-p
Watch the filesystem for changes, and continue the build until it succeeds. If this option is specified, omake will restart the build whenever source files are modified. Implies -k.
このレスポンスを一度体験すると割とはまる。

Ocaml初心者です。

let ( ) = print_string "Hello World\n"

ってのは何を意味するのですか？　let の後には関数名とか変数名とかじゃないのですか？
let ( ) = ってのがわかりません。
教えてください。

let には二通りある:
let f x y z = 式 (省略)
let パターン = 式

パターンは、簡単に言えば、変数を含んだ値のようなもの。
右辺の式を評価後、パターンに対してパターンマッチを行い、
パターン内に変数があれば、変数部分に該当する値を束縛する:

let x = 1 (* x = 1 *)
let (x,y) = 1, 2 (* x = 1, y = 2 *)
type t = { label : int; foo : float }
let { label = x } = { label = 2; foo = 3.0 } (* x = 2 *)
let x::xs = 1 :: [] (* x = 1, xs = [] *)

変数がなければ束縛は起こらない。
let true = 3 > 2 (* no binding *)

パターンの定数と、右辺の結果に齟齬があるばあい、パターンマッチは失敗する:
let (false, true) = 3 > 2, 2 > 0 (* match failure *)

let () = print_string "..."

最後の式は右辺の結果を () にパターンマッチさせているが、() の型 unit には
() しか値がないから、マッチは必ず成功する。なので、コンパイラはわざわざこの
マッチを行うようなコードは生成しない。結果、この式は、右辺を実行するだけ。

>>870
Ocamlにパターンマッチがあるのは知ってましたが、これがそうだとは気づきませんでした。
詳しくありがとうございました。

let main = print_string "Hello, world!\n"
とかの方がわかりやすいと思うけどなあ。俺はこっち(let main = ...)を使っている。
let () = ... ってなんでこうするんだろ。何かメリットあるのかな？

何にせよ右側の式が評価されることにはかわらないからどっちでもよいとは思うが。

>>872
だって、将来使わないものをわざわざ定義したら、後で読み返したときややこしくなるじゃん。

オブジェクト指向言語の良い所は変数やメソッドの名前が分かり易い事だと思うんだけど、
関数型言語の良い所は名前をイチイチ考えなくて良い事だよね。

いやちゃんと考えろよ…意味を表す名前を

いや本当に必要な時は考えてるよ…関数型言語だとそれが少ないだけで

関数型言語ML 最終話 「なまえをよんで」

>>873
名前を付けたくないなら、普通　let _ = ...　じゃね？

我が輩は関数である。名前はまだ無い。
どこで生まれたかとんと見当がつかぬ。何でも薄暗いじめじめした所で他の関数に渡された事だけは記憶している。

そうだな。let ()だと、右辺がunitを返す場合しか使えない

本当はちゃんと意味を表す名前をつけるべきなんだろうけど、
関数型言語でそれをやると馬鹿にされそうで、ためらってしまうな

>>880
unitを返すのが分かるなんて 何て素敵な！

>>880
>>882 の通りで、

let _ = Printf.printf "%d %d" 1

のようなコードを書いて、先生、何も起こらないんですが、と聞かれたことがある。
そりゃ見た目何も起こりませんがな。

let main = ...
let _ = ...

の場合、副作用がなく返り値に意味がある別の関数を誤って呼んでしまうミスを見つけづらい。
たとえば ioaccess_in : ... -> int と ioaccess_out : ... -> unit が定義されているとして

let _ = io_access_out ...
let c = io_access_in ...
let _ = io_access_out ...
let _ = io_access_out ...
let c = io_access_in ...
let _ = io_access_in ...
let _ = io_access_out ...
let _ = io_access_out ...
let c = io_access_in ...
let _ = io_access_out ...
let _ = io_access_out ...
let c = io_access_in ...
let _ = io_access_out ...

のようなコードのバグ。

let () = ...

なら、そのミスも型検査で検出できる。

あるある

ここ
http://alain.frisch.fr/soft.html#patches
の patch_record が凄く魅力的なんだけど、同じことを camlp4 で
できないかな。

型に unaware な camlp4 では全く同じ事は無理です
local open を使うか、
module alias でも使って文字数を減らすぐらいかなぁ

fun r ->
open Very_long_module_and_I_do_not_want_to_type in
r.x

fun r ->
let module M = Very_long_module_and_I_do_not_want_to_type in
r.M.x

>>879
コピペだけど

【手続き型】

吾輩は猫である。
名前はまだ無い。
どこで生れたかとんと見当がつかぬ。
何でも薄暗いじめじめした所でニャーニャー泣いていた事だけは記憶している。
吾輩はここで始めて人間というものを見た。

【関数型】

人間というものを始めて見た薄暗いじめじめした所でニャーニャー泣いていた事だけは記憶しているがどこで生まれたかとんと見当がつかず名前がまだ無い猫である吾輩。

時間が経過すると…

【手続き型】

吾輩は猫である。
親ゆずりの無鉄砲で子供の頃から損ばかりしている。
「おい、地獄さ行ぐんだで！」
ウスウスと目を覚ました時、蜜蜂の唸るような音は、まだ、その弾力の深い余韻を、私の耳の穴の中にハッキリと引き残していた。
国境の長いトンネルを抜けると雪国であった。
名前はまだない。

…………ブウウ懼懼懼懼懼懼ンンン懼懼懼懼懼懼ンンンン………………。

CMの使い方を教えてください。
SML/NJで、use文のカスケードではロードが厳しくなってきたので、
CMに移行しようとしているのですが、以下の点で困っています。


(1) 対話型環境を使って計算したい。そのため、トップレベルに関数を
展開したいが、.cmにはトップレベル関数・値を書けない。
　今のところ、open XXX; がならんだ .smlを作って、これをuseしている。

(2) 中置演算子の割り当てをトップレベルに置きたい
　目的は、(1)と同じ。こちらは、実現方法が見つからない。

float は boxing して扱われ、気合の入った最適化をしているわけでもないっぽい OCaml が
レイトレースのベンチマークで C++ と勝負できる位置にいるのはなんで?

>>892
関数型言語は手続き型言語より最適化しやすいよ

関数型は中間表現で CPS 使ってる奴が多いから、 気合いが入って
なくても SSA 使ってる手続き型言語程度のコードは吐き出しそうな
気がする

fortran を除くと、手続き型言語のコンパイラの内部表現に SSA を
使うのが一般的になったのは、わりと最近じゃなかったっけ？

gcc だと 4 系列から SSA だっけか?

とりあえずF#からいじり始めてる新参者なんですが、immutableなデータの取り扱い教えてくんなまし
immutableにするとMapReduceみたいにナイスに並列化も出来てクールだぜというのはわかったんですが、その結果とかで何処かにステートのチェンジが起きますよね?
Haskellのゲームかなんかでキャラの移動とかされた結果のそのシーンの状態を新しいWorldとして作っていくことでimmutableを維持してるとか言ってたんですが、業務アプリとかだと同なるんざんしょ。
別の記事か何かで、全体のデータ構造をobject-oriented西といて、その間の処理とかをfunctionalにするのが現実的だとかも言ってたんですが。
教えてエロイ人

smlって実行結果が長いとき#で省略されちゃいますよね？あれを最後まで表示
させたいときって、どうすればいいんですか？printの引数はstring型でsring
にするにはInt.toString(a)などとすればできますが、intとchar型くらいしかできませんよね？
新しくつくった型には使えないのでどうすればよいかわからなくて・・・
誰か教えて下さい。

別にデータをimmutableにするのにゲームも業務アプリも変わんないんじゃん

データ毎回全部作り直すの?

そうしてもいいけど、、、
普通は関数的なデータ構造では更新後と更新前が「ある程度共有される」。
たとえばリスト構造の先頭のほうを作り直す場合とかそうでしょ。
なおかつ共有されちゃっててもこまらないのはデータがimmutableだからこそだともいえる。
そしていろいろなデータ構造でimmutableでありながらも空間効率や時間効率のいいアルゴリズムが開発されてる。
Haskellのゲームかなんかで云々っていうのもデータを毎回全部作り直すという話じゃないと思うよ。

「プログラミングの基礎」浅井健一という本は、
他の言語経験が無くOCamlがわからない人でもついていけますか？

>>899 どのように考えながらプログラミングをしていくかが丁寧に書いてあるのでお勧めです。
もう少し高度な機能が知りたくなったら「プログラミング in OCaml」。

>>895
ぱっと思いついたのは、print関数自作かSMLFormat使う

質問です

ML系またはHaskell系言語でGUI開発に便利なRAD環境が充実している言語って何でしょうか？
できれば個人的なお勧め開発環境も教えていただければうれしいです。

VBに匹敵するようなものはないなぁ

F#でよくね？

OCaml にありそうな気がす

ここまでGUIプログラムを開発した人なし

LablGtk の glade インターフェースを 5 年前に使ったけど、まあ、glade だったよ。

GUIイラネ

>>908
で？

別にGUIイランやつはイランで結構だろ。
誰も強制なんかしてないんだし。
ここでそんなこと表明する意味がわからん。

GUIイラネの人じゃないけど、言語処理系をパッケージシステムで
インストールするとき、最近はGUIツールキットまで一緒に入れようと
するのが結構あってうざいんだよね。幸いML関連でそういうのにあたった
ことはないけど、こないだMacPortsでSWI-PrologとErlangを入れたら
いろいろ勝手に入って来て大変だった。オプションでも外せないし。
将来lablgtkなんかを強制されるようになったらOCaml捨てたくなる。

こっちは今後もコマンドラインだけでひっそり生きていきたいんだから
ほっといてほしい。

そんなもん、自分でコンパイルすりゃ良いんじゃねーの？

GUI無きゃないで、
「今時、言語側でdefaultでGUIぐらいつけろ。」
とか言う人出そうだし。

オメーン所の、パッケージ作成者に言うことだろうが。

デフォルトでついていても使わなきゃいいだけの話。
もしデフォルトで付いていればインストールの手間もなくなるし、
公式お墨付きということでヒューマンインターフェースが共通化されて利用者にとって便利になる。
どうしてもそれに不満があれば別のライブラリをインストールすればいいだけのことだし。
言語にGUIライブラリがくっついていたら何が不満なのかわからん。
容量にしてもインストール時間にしても対して違わない。
処理系を自前でコンパイルしてるやつは多少コンパイル時間が長くなるが、些細な問題だよな。

>>913
たとえば、SWI-Prologのインストールで入ったライブラリのために、
別の言語のインストールでエラーになるということはあるよ。

ディスク容量が限られてる環境なので、依存するライブラリをあれこれ
入れられるとうっとおしい、とか、サーバサイドアプリで、サーバには
あれこれ入れたくないとか、パッケージ管理システムがバイナリベース
じゃなくてゴリゴリコンパイルするのでやってられない、とか。

（パッケージのメンテナが）簡単に分離できるような構成にしておいて
ほしい、という要望はありなんじゃないか？

つGentoo

>>911
MacPortsならパッケージ作成者がGUI無しのvariantsを用意すればいいだけの
話だよな。それが嫌だったらパッチ書いて送るしかないだろ。

>>915
> （パッケージのメンテナが）簡単に分離できるような構成にしておいて
> ほしい、という要望はありなんじゃないか？
それはアリだな

似たような文句のある人っているんだね。
X関連をいろいろ入れろと要求するのは勘弁してほしいよね。
あくまで言語を入れたいんだからGUIはあくまでオプションにしていてほしい。
こっちはGnomeみたいなリッチなデスクトップじゃなくてまだtwmなんだよ。

>>919
twmって割と重くて使いにくいと思ってたんだがまだ使ってる人いたんだww
みんなawesomeとかfluxboxとかに移行しちゃったと思ってた。

基本的にUIに興味ないもんでいろいろ試すのが面倒で。
言語は片っ端から使ってみているのだけど。

# 言語もある意味UIの一種だというツッコミを受けそうだ :-)

コンピュータを何につかってんの？
どうせ論文にもならないような研究ごっこやって妄想して遊んでるだけだろ。

たぶん>>921さんみたいな人はWindows（メイン）ともう一台（実験用）みたいな構成だと予想。

まぁ2chよりでくだらない煽りを書いてるよりは有意義なことかと

>>922
俺は自宅で10台ぐらいのクラスタで論文にできる研究やってるよ

ただ並列化して測定しました、という類の論文は勘弁してくれ

査読するたびにうんざりする

>>925
InfiniBandか10GbEか分からんけど、電気代凄そうだな

>>926
そんなどこかの高校生じゃあるまいしｗ

>>926
頼まれたこともないくせにｗ

>>927
家庭用だぜ？
1GbEに決まってるだろ

これは推して知るべしだな

10台ぽっちでクラスタって…

>>911
macports使ってるけど、Xがからまないと確かに気楽だなあ。
macportsだったら、swi-prolog-liteがおすすめ。

関数型言語の話題になっていない件について。


ライブラリが豊富なのが魅力で最近やっとSML/NJからOCamlに移行したんだが、
SMLで書いたコードを書き換えるのが結構面倒。
文法的にもOCamlって面倒臭く感じるんだけど、単なる慣れの問題？

let fun や let val とか tuple には必ず括弧を書いていた癖に、
何が面倒なのかわからんが、camlp5 には pa_sml があるのでそれを使ってみ？

再帰関数の定義がlet recだったり関数引数のパターンマッチングを
let funcName = function ... | ... のように書くのが面倒に思えたんで。
確かにSMLにも冗長な部分はあるし、慣れだとは思うんだが。

何らかのトランスレータはあると思っていたのだが、camlp5なんて便利なものが
あったとは。2000行程のSMLコードをうまく変換出来たよ。どうもありがとう。

>>932
どうでもいいけど、計算そのものの研究ならクラスタであれば台数は関係ないのでは？

>>936
ホントに変換できたんだ！知らずに教えといてすまんが、使ったことなかったんで。

>>938
camlp5 pa_sml.cmo pr_o.cmo -impl MyModule.sml
で変換できた。printをprint_stringに置換する必要はあったけど。
まじで助かった。

それはよござんした

関数型言語って、常微分方程式の初期値問題の数値解を求めたりするのには向いてますか？
科学技術計算を中心にした関数型言語の入門書でなにかいいのありますか？

f# for scientists

>>925
なぜ自宅で?
まともな研究じゃないな

粘着乙

>>944
早ッ!!

>>942
Harrop の本なんか読むなよ、頼むから。

>>943
大学にいる人間じゃないから、そういう研究は自宅でしかできないんだよ。

>>946
その著者が書いた唯一の本のようだが。

>>947
計算機科学の研究は分野によってはPC1台でも十分に出来るのが良い所。
ぜひ成果を出して論文投稿してくれ。

成果が出なくても rm するだけというのも良い所。

>>948
その著者が書いたSpamは山程ある。

うまいこといいやがって

>>946 >>951
ｋｗｓｋ

john harrop troll でググレカス

John Harropってtrollすぎてワロタ

ググるとこのスレが3番目にくるぞｗ

実際に本に書かれている内容はべつに変じゃなかったが