関数型言語ML (SML, OCaml, etc.), Part 6->画像>1枚

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

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

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

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

プログラミングの初心者が最初に学習する言語としても優れているのに、
学習者が増えないのはなぜなの？

>>2
教える側が理解していないから。

>>2
初心者が日常で使うにはハードルが高いからかな

前スレでもあったけどOcamlとHaskellってどっちが初心者に向いてるのかな？
Lispいじってた俺にとってはOcamlの方が見た感じ楽そうに見えるけど
Lisp、Ocaml、Haskellマスターの意見が聞いてみたいな

standard MLをさらっとやってから決めれば。

>>5
型つき関数型言語の背景にある背景理論(ラムダ計算)をぱっと勉強したいならHaskell,
実用で長いこと使いたいならOCaml。

オブジェクトを使わずにステートマシンを作るのによい方法はありますか？

勉強のためにStateパターンをモジュールを使ってやってみようと思ったのですが、
相互依存を回避するうまい方法が思いつきません。
また、状態をそれぞれ別モジュールにするにせよ、一箇所にまとめるにせよ、動的に切り替えるためには
結局パターンマッチさせてそれらを呼び出すようになると思いますが、もっとスマートな方法はありますか？

>>8
まずは具体的な実装例を挙げてみたら？

うん、なんか簡単な問題例を出してくれないとわかんないよ。

state machineの問題例というとよくあるのはストップウォッチとか。

スレ違いではありますが、もう１つ後学のために質問をさせてください。
アップロードするのは初めてでよくわからないままaxfcを
使用したのですが、プログラム板で一般的に使用されている
アップローダーというものはあるのでしょうか？

>12
その手の奴って素直に状態保持した方が色々スッキリしそうなんだけどどうなのエロイ人

継続っぽくすればいいんじゃない？

コードを晒すにはここがいいよ
http://codepad.org/

なんで12の問題にStateパターンが適してるのかよくわからない。。

interface State { void whatToDoNext(); } みたいなインターフェイスがあって、
class RichState implements State { public void whatToDoNext() { goToTheBank(); }
class PoorState implements State { public void whatToDoNext() { work(); }
...
みたいなイメージですか？

これくらいなら引数に状態を持たせて各状態を手続きで表せばよくね？

>>20のやり方がいいんじゃねーかな
たぶん>>16も同じこと？

たぶん両者が言ってるのはこんな感じ？(1/2)
type action =
| Work // バイトをする
| Deposite // 銀行で貯金をする
| Rest;; // 家で寝る

type life_state =
| Working // …ということを目標金額まで繰り返し
| Resting;; // ごろ寝

let sigma event state =
match (event, state) with
// バイトをする: 手持ちが1増える
| (Work, (budget, account)) -> (budget + 1, account)
// 銀行で貯金をする: 手持ちを0にし、貯金が1増える
| (Deposite, (budget, account)) -> (0, account + 1)
// 家で寝る: 貯金が1減る
| (Rest, (budget, account)) -> (budget, account - 1);;

(2/2)
let rec life state days =
printfn "%A" (state, days);
if days = 0
then ()
else
match state with
// 財布がいっぱいになったら銀行へ行く
| (Working, (3, account)) -> life (Working, sigma Deposite (3, account)) (days - 1)
// ということを目標金額まで繰り返し
| (Working, (budget, 5)) -> life (Resting, sigma Rest (budget, 5)) (days - 1)
// (財布がいっぱいになるまでは働く)
| (Working, s) -> life (Working, sigma Work s) (days - 1)
// 到達したらその金がなくなるまで家でごろ寝し、なくなったらまた働く
| (Resting, (budget, 0)) -> life (Working, sigma Work (budget, 0)) (days - 1)
// (なくなるまではごろ寝する)
| (Resting, s) -> life (Resting, sigma Rest s) (days - 1);;

改行が…まぁいいか
ちなみにF#です

>>16
継続について調べてみます。

>>17
ありがとうございます。今度コードを晒すときに使ってみます。

>>19
おそらくそのイメージで合っていると思います。
（とはいってもJavaはよくわからないのですが・・・）
トップレベルでキャラクタクラスのUpdateを呼び出すと、保持している
派生状態クラスのインターフェースに自身を渡して実行。あとはよろしく。
状態の切り替えも勝手にお願いね。
的なコードが元々のサンプルコードです。

>>21
コードを書いていただきありがとうございます。

例題を簡略化したせいで反ってわかりにくくなってしまい、すみませんでした。
とりあえず継続というものを調べつつもう少し考えて見ます。
皆様ありがとうございました。

考えてみたけどこれじゃだめ？

(* 1/2 *)
type state = { cash: int; deposit: int; action: unit -> state }

let rec work_state cash deposit = {
cash = cash;
deposit = deposit;
action = (fun () ->
print_endline "work";
let cash' = succ cash in
if cash' < 3 then work_state cash' deposit
else rich_state cash' deposit
)}
and rich_state cash deposit = {
cash = cash;
deposit = deposit;
action = (fun () ->
print_endline "go to the bank";
let deposit' = succ deposit in
if deposit' < 5 then work_state 0 deposit'
else neet_state 0 deposit'
)}

(* 2/2 *)
and neet_state cash deposit = {
cash = cash;
deposit = deposit;
action = (fun () ->
print_endline "sleep";
let deposit' = pred deposit in
if deposit' > 0 then neet_state cash deposit'
else work_state cash deposit'
)}

let initial_state = work_state 0 0

この規模だといいけど、
行動の結果と選択を独立に実装できる方が
将来の拡張にはよいんじゃないかな、
特に質問者はゲームAIの本読んでるらしいし。

いつのまにやらObjective Caml is 3.11.1でてる

OCamlで副作用のあるライブラリを使っていて、
クロージャの(環境の)合成がしたくなったのですが失敗します
再現コードを書くと
ma,mbは期待通りですがmcは毎回1が出力されます
環境の中の環境ってのは呼ばれるごとに新しい環境になるからってことですかね
let a x f=
let r = ref x in
fun ()->Printf.printf "%d" !r;f(); r:=!r+1;;
let b x f=
let r = ref x in
fun ()->Printf.printf "%d" !r;f(); r:=2* !r;;
let c x f =
fun ()->(a x (b x f))();;
let ma = a 0 (fun ()->Printf.printf "a\n" );;
let mb = b 1 (fun ()->Printf.printf "b\n");;
let mc = c 1 (fun ()->Printf.printf "c\n");;
ma();;ma();;ma();;
mb();;mb();;mb();;
mc();;mc();;mc();;
てことはOCamlのオブジェクト指向部分ちゃんと覚えないとだめかな
by poor man

上とか下でなくて、行って戻ってくるイメージですね。ブーメランみたいな。

IDないんですね。29,30,31は、29です。

インデントを浅くしろw

基本的に再帰は漸化式と同じと考えれば良い。
それで合ってるが、一々動作を深く考えずに関数を定義出来るようになるのが
最初の一歩だから精進すべし。

ども。インデントはあれかなぁと書いた後に思いました。

命令型言語だとカウントする変数を作ってa = a + 1みたいな
イメージが強くて直感的にこのソース見て理解出来なかったので。
書いて見ると理解出来るもんですね。精進します。

>>29
ocamlのトップレベルには#traceというディレクティブがあって、
指定した関数の動きが表示される
再帰関数の動きを確認するのにはやや便利だから使ってみて
# #trace length;;
length is now traced.
# length [1;2;3];;
length <-- [<poly>; <poly>; <poly>]
length <-- [<poly>; <poly>]
length <-- [<poly>]
length <-- []
length --> 0
length --> 1
length --> 2
length --> 3
- : int = 3

>>34
こういうのあったんですね。助かります。どもです。

前スレって埋まる前に落ちたんですか？

うん

>>28
質問をまず推敲してくれ。「期待」とやらが何かわかんねー。
> てことはOCamlのオブジェクト指向部分ちゃんと覚えないとだめかな
それは違うだろ。

>>28
let c x f = a x (b x f);;
これが28の期待に沿っているといいのだが。

http://flyingfrogblog.blogspot.com/2009/03/hlvm-has-been-released.html
HLVMってのはLLVMの関数型特化版、みたいなイメージ？
OCamlはこっちになるの？ おしえてエロいひと

釣りなの？釣りなの？
> HLVMってのはLLVMの関数型特化版、みたいなイメージ？
そういう理解でいい。

HLVM そのものの批判は詳細を知らないのでできないけど、

- Caml team は HLVM プロジェクトには全く噛んでない。
- Caml team と consortium が関知しない code generation の総入れ替えはありえない。
- HLVM で騒いでいる奴は各種言語メーリングリストの有名粘着。何かというとすぐ自分の有料メールマガジンに誘導。
- なんかちょっとした toy example が出来るたびに大騒ぎ。正直みんな食傷している。

将来化ける事もあるかもしれない。が、今は放置をお薦め。時間の無駄。

>>41
前スレでも話題になってたHarropのこと？

http://www.infoq.com/jp/news/2008/03/revoerability-and-testing-oo-fp

ここに
「Feathers氏に反対する人の多くは、関数型のコード乱雑になる原因は、
関数型ではないイディオムを関数型言語に持ち込んだこと以外にはないと
信じている。」
っていう記述があるけど、関数型言語のイディオム（とかデザインパターン）って
どんなのがあるの？おしえてエロいひとー

>>43
原文を読んでみると、単に副作用のない純粋関数型のコードを
関数型のイディオムと呼んでいるように思えるな。

>>43
そうだとするとあまりに漠然としていて多少の窮屈感が欲しくなるな。
ノーパンでスカートを穿いているような、あるいは力戦になって次に
なにを指せばいいのかわからない、そんな感じ。
そのうちそういうのがまとめられればいいなぁ。

>>45のアンカーまちがえた。
>>44が正解

>>45
おっしゃる事があまりに漠然としていて多少の具体感が欲しくなるな。
ノーパンでスカートも穿いてないような、あるいは序盤なのに次に
なにを指せばいいのかわかってない、そんな感じ。
そのうちそういうのをまとめられるようになってくれ。

>>45
関数型が嫌いor慣れてない人の多くは純粋関数型の副作用の無い世界を
非常に窮屈だと感じるわけで。不感症になったのも慣れということだなw

>>43
そのまんま、関数型スタイルだろ。

>>41
ありがとん参考になった！

ベンチマークだけみて速いなーとか思っただけなんで、
そんな背景があったとはまったく知らんかったyo

>>50
GC なしで早いよーと叫ばれてもね。
普通にMLのプログラムがコンパイル出来るようになったら
ベンチを見てみてもいい。

>>43
デザインパターンってぶっちゃけてみれば、バッドノウハウのことでしょ。
関数型言語にそんなのないよ。

昨晩の議論の結果、「デザインパターン」はありませんが、「あるあるネタ集」ならあることになりました。

>>52
関数型言語にデザインパターンがないということはないだろう。要は「あるあるネタ集」（の粒度がある程度あるもの）のことなんだから。
オブジェクト指向でのデザインパターンは関数型言語ではバッドノウハウになり得るというのは同意。

>>52
バッドノウハウはアンチパターン

F#＞Java いずれこうなるから安心しろ。

いずれｗ

あらゆる意味でF#＞＞＞＞Javaだろ。Windows上では。
特に関数型言語が好きだからとかではなく。客観的事実。

Javaはネイティブで動かないからうんこ。
スレッドで動いてるガベコレも時々挙動がおかしくなるからうんこ。

> OCaml : こ…ここがWindowsだったのか…！感じる…Javaの魔力を…
ﾜﾛﾀ

F#ってOCamlとどれほど違うの？

>>62
F#スレにこんなのあったよ

553 名前：デフォルトの名無しさん[sage] 投稿日：2009/06/01(月) 22:32:37
>>552
OCamlのみ
　多相ヴァリアント、ファンクタ、注釈ありで型がつく箇所では省略しても必ず型推論できる性質
　Camlp4/5、ビルド関係のツール(F#はしょぼい)

オブジェクト指向部分は根本的に違う(nominal/structural)

>>63
ありがとう。なんか半分以上わからないけど。わかった事にしとく。

>>60
ﾜﾛﾀｗ
WindowsのWindowにやられたｗｗ

>>50
caml-list で Harrop が
New HLVM examples!
というサブジェクトで騒いでるから、それ見て、判断して。

>>63
ここで聞くのもアレだけど
型推論が残念なことになったのは演算子のオーバーロードのせい？

>Java : そうか
そうかってwww
どんだけスルー

List.fold_left (fun (x,_) y -> x + y) 0 [(1,1)];;
を通そうとしたところ
This expression has type int but is here used with type int * 'a
といわれてしまいます。うまい方法はないのでしょうか?

>>69
高階関数の引数が順番逆なだけじゃね
フォールドライトならそれでおkかも

すいません スレよごしてしまって .... おっしゃる通りでした .... orz

fold 辺りまで来たら、フィーリングでデバッグするんじゃなくて、
ちゃんと型を確認しだしたほうがいいね。

http://itpro.nikkeibp.co.jp/article/COLUMN/20061212/256657/?ST=develop
↑ここを読んでいて、LablGLをインストールしようとして失敗しました。
どうしたらいいか教えてください。
OSはWindowsXPです。
・lablgl-1.04-win32.zipをObjective Caml以下のディレクトリに直接展開しました。
・Microsoft Visual C++ 2008 Redistributable Package (x86).をインストールしました。
・glut-3.7.6-bin.zipをダウンロードし、glut32.dllをsystem32フォルダにコピーしました。
・コマンドプロンプトを開き、
　C:\Program Files\Objective Caml\lib\lablGLまで移動し、
　ocaml build.mlをコマンドプロンプトから実行しました。
途中までは走っていたのですが、以下のようにエラーが出ました。
C:/Tcl/lib tk84.lib tcl84.lib gdi32.lib user32.lib " togl.cmo
ocamlc.opt -w s -I +labltk -a -o lablglut.cma -cclib -llablglut -dllib -llablglu
t -cclib "glut32.lib " glut.cmo
ocamlopt.opt -w s -I +labltk -c raw.ml
'ml' は、内部コマンドまたは外部コマンド、
操作可能なプログラムまたはバッチ ファイルとして認識されていません。
File "raw.ml", line 1, characters 0-1:
Error: Assembler error, input left in file C:\DOCUME~1\****<※ユーザ名>\LOCALS~1\Temp\camla
smd25ac5.asm
Native build failed: error 2
You can still use the bytecode version
Now ready to use on an OCaml MSVC port
※ここまで

またコマンドプロンプトから > lablglut を実行した際にもエラーが出ました。
Cannot load required shared library dlllablgl.
Reason: C:\Program Files\Objective Caml\lib\stublibs\dlllablgl.dll: このアプリケ
ーションの構成が正しくないため、アプリケーションを開始できませんでした。アプリケ
ーションを再度インストールすることにより問題が解決する場合があります。
※ここまで

原因はわからんが、参考までに
　labltkはインストールしてるか
　ocamlはネイティブコンパイラまでインストール済か
　Activetclはバージョン8.5系だと動かなかったので8.4を入れる

　build.mlを実行した際に
　cygwinのlink.exeが使われるとエラーになるので
　環境変数からcygwinのパスをはずす

glutはそれと同じバージョンで動いたよ

>>74
レスありがとうございます。
ですがどうも上手く行かないので、悩んでいます。
どこかで薦められてOCamlは
"Self installer (3.11.0) for the port based on the MinGW toolchain"
が入ってますが、Cygwin入れてないんです。これが原因なのかなぁ。
Cygwin以前入れたのですが今は外してしまってます。
近いうちに再度Cygwinをインストールしてみることにします。

読み進めたいので、このまま>>73の第五回は一応読むだけ読んで、
次に行きたいと思います。

ocaml用のサウンドライブラリ(スピーカーから音を出したりマイクの音を拾ったり)で一番ポピュラーなのって何かな？

>>76
OCamlSDL でサポートしてなかったら自作して公開よろ。

>>77
だって、作るとしたらWin32APIとかOSSとかALSAとかいろいろサポートして、なおかつメンテもしないといけないんでしょう？
嫌ですよ。

>>78
うわなんかヘタレられた。
自分のやりたいAPIのインターフェースだけ作りゃいいじゃん。
メンテもしたけりゃするだけでいいじゃん。
初期化とかは何かのライブラリ関数呼ぶだけだし。
やりたいことはほとんどデバイスから
ノンブロッキングに読んだり書いたりするだけで大抵出来るっしょ。

>>79
そんな俺しか使わないライブラリを公開するぐらいなら、公開せずに手元に持っておいて、作り溜めしときますよ。

>>75
俺もなんかそうなる。
OCamlは3.10.2でLablGLは1.03にもどしたら上手くいった

>>81
ありがとうございます。1.03にしたら "OCaml build.ml"は上手く行ったようです。


しかし
「ocamlrun.exe - コンポーネントが見つかりません
　ocamlrun.dll が見つからなかったため、このアプリケーションを開始できませんでした。」
となってしまいまたもや失敗。

>>73のリンク先を見るとLablGLのインストールが失敗してるというのですが
インストールしなおしても同じエラーメッセージが出ます。はてさて。

OCaml本体は"ocaml-3.11.0-win-msvc.exe"をインストールしなおしました。

Windowsだとライブラリのビルドでつまづくことが多いよね。
OcamlSDL関連のビルドで上手くいなかくてビルドを諦めた。
OCaml自体はプログラミング入門者にも比較的優しいと
思うけど環境は若干敷居が高めだと思う。
んでWindows使うのが悪いとかいわれちゃうとしょんぼりする。
そもそもLinux系を使うこと自体、本職でない人にとっては
普通ではないわけで。

あれぇ？書き込めた。どうせアク禁の巻き添えで書き込めないだろうと
勉強不足を棚に上げた愚痴>>83を書いてみたら・・・。
ごめんなさい。反省しています。

OCamlユーザは計算機科学の研究者が多いんだから、それは仕方ないだろ

教育用というか初心者向けのサイトですらUNIX前提の記述が多いように思えるけどな。

UnixやLinuxがプログラミング教育に適しているからだろう。

>>85
>>86
うん。わかってはいるんだ。あんな書き込みをしてしまってごめんとしかいいようがない。

まあ、ドザーはおとなしくF＃でも弄ってなさいって事だｗ

>>82
（いまさらだが）OCamlのReadmeを見ると MinGWの場合は

Do *not* install the Mingw/MSYS development tools from www.mingw.org:
these are not compatible with this Caml port (@responsefile not
recognized on the command line).

って書いてあるからCygwinが必要なんだと思われる。
英語は雰囲気で読んでいるので間違っていたら誰かやさしく叱ってくれ。

>>84
> あれぇ？書き込めた。どうせアク禁の巻き添えで書き込めないだろうと
> 勉強不足を棚に上げた愚痴>>83を書いてみたら・・・。

この精神でビルドがんばれ。
どうせビルドできないと思ってもできるかも。

いやcygwin/mingw系はさっさとあきらめるのが吉だと思う

>>89
そんなこと言ってるから関数型はいつまでたってもドマイナーなんだよ

それって何か問題があるんだっけ？

スレとは関係ないが、東北型言語を使用する俺は「だっけ？」が方言かどうかわからなくなるときがある。

そうですけ？

>>95
それは、ずいぶん、どい　なか　です　ね

東北型言語と聞いたら、語尾に#を付けるんだと思った。

そういうもんなんだとあきらめる事にしましたｗ
結局Cygwinなんか入れるよりもお勉強用のLinuxマシンを用意した方が早そうですね。
レス頂いてありがとうございます。

>>99
完全にスレチだが、別にマシンを用意しなくても仮想環境を使えば楽なのに。

セレロン1G、メモリ256Mしかないノートなんです。仮想環境は無理では。
Knopixとかならできるのかな？

>>101
virtual boxでdebianがおすすめです。
かなり低スペックでも動いて、何よりaptーgetでocamlも含め、たいていのライブラリが簡単にインストール出来ます。

プログラミングinOCamlの練習問題5.6

＠を使わずにquick_sortを書き換えよ
ヒント：引数を一つ増やして整列済みのリストを受け取る

ってやつが解けまへん。。
教えて、偉い人

>>102
まじっすかー！ありがとうございます。
今Ubuntuのデュアルブート環境作成厨…orz
ウブンツ重かったらそちらを試してみます。

>>103
本読んでないけど末尾再帰じゃないすかね。

>>104
apt getはububtuもdebianもほぼ同じなので、ububtuでも大丈夫ですよ。

virtual box + debian + OCamlで作成したネイティブコードはやっぱり
Windows上では動かないん？会社がWindowsだから・・・。
動くなら今すぐそっちの環境に移行したい。

>>107
当然動く訳無い。
大体Linux上で生成されるオブジェクトファイルはELFフォーマットだし。

OCamlってLLVMのコード吐けるんじゃなかったっけ

>>109
憶測で物を言うな。吐かない。終わり。

LLVMのocamlバインディングはある。という話と取り違えたのかな。

>>110
終わったところすまないが、>>109は吐ける！と断定しているわけではないから
もう少し生暖かくてもいいと思うんだ。

>>112
>>110はいい加減なこと言う奴にうんざりしてるんだろうな。
この板はそんな奴ばかりだから、せめてソースくらい示さないと。

LLVMのコード吐けるようにしようぜ、という話だけなら有った気がするが

>>114
しーっ！そういうこと言うと
憶測で(ry
とか言われちゃう

>>103
「書き換えよ」とか「引数を一つ増やして」といわれても元々のコードがないと
答えられないぜよ。

偉い人は プログラミング in OCaml を買ってないので答えられないのではないか。

>>117
そういえばOcaml-nagoyaの連中(有限会社ITプランニング)ってどうなったの？
なんか公式サイトにつながらないんだけど。

OCamlは大文字で始まるidはconstructor扱いになるんだな
SMLのコードを移植していてはまった

ocaml触ってみたんだけど、やっぱりライブラリが少ないね。
練習でちょっとしたものを作ろうとしたけど、ライブラリの少なさでたちまち不便で止まってしまった。

そんなに副作用たっぷりのコードを書きたいならF#でも使えばいいのに

副作用の無いライブラリを作るのは難しいの？

>>122
HaskellならMonad IOがスタンダードだが、OCamlにはないからね。
IOはどうしても副作用になってしまう。

それでF#でも使えと言われると辛いね…

>>120
どんなライブラリが欲しかったのん？

>>118
憶測(ry
じゃなくて、本が違う。
ITplan は知らんけど、一日ぐらいサイトが落ちてていいだろ。週末だし。

>>126
どうでも良いけど、365日接続できないサイト運営してる時点で技術力を疑う。

休日にメンテなら仕方ないけど、平日の夕方に落ちてるのは問題だな。

>>118,126,127,128
恐縮です。うちが契約してるデータセンター屋さんの電源障害だそうで、何ともならなくて。
そろそろ復活するらしいのですが、うーん。

>>120
The Caml Hump(http://caml.inria.fr//cgi-bin/hump.en.cgi)という
ところがあって、ここでライブラリを探すとかなり見付かりますよ。
CGI、DB接続、GUI、UTF-8、アルゴリズム色々など有ます。

質問です。match文に関する質問です。
これは文法の慣習みたいなものかなと思うんですがどうなのかなぁと。

リストを受け取って何かを返す関数の場合、リストの要素が組やレコードだと
match文の中にmatch文を書くことがありますが、match文ではなく直接パターンマッチさせる書き方の方が
良いのでしょうか？

>>83
vmwareを使ってxp上でubuntuを動かして、ocaml勉強してます。

>>131
質問をするときはサンプルコードを示したほうが回答してもらいやすいよ。
この文章だと
>match文ではなく直接パターンマッチさせる書き方の方が良いのでしょうか？
あたりがわかりづらいと思われ。

>>132
kekkonっていう関数で、anataというレコードが要素のリストを引数にして
条件に合う人数を返すとかいう場合に・・・

let rec kekkon anata = match anata with
[] -> 0
| first :: rest -> (match first with
{name = n; toshi = t; syunyu = s; tyotiku = t; sisan = s; youshi = y}
-> 0　
とかと書かずに、以下のように書くほうがいいのかなぁという質問です。

let rec kekkon anata = match anata with
[] -> 0
| {name = n; toshi = t; syunyu = s; tyotiku = t; sisan = s; youshi = y} :: rest ->

>>133
お好きな方を。ただ、
let rec kekkon anata = match anata with
は
let rec kekkon = function
の方が簡潔。

どっちでもいいんですね。どもです。

>>133
このサンプルコードのようにレコードであれば直接アクセスするっていう手も
あるよ。タプルの場合は状況にもよるけど2番目の方法が多いんじゃないかな。

record label に折角意味のある名前を付けてあるのに、
pattern match でワザワザ意味不明な変数に束縛するスタイルはおかしい。
そんなことするから s が二回束縛されてるヨ。
136 の言うように r.name とかでアクセスするほうが普通。

データ構造について調べていたら
http://en.wikipedia.org/wiki/VList
のVlistというものを見つけたのですが、これはリストを使った
動的配列のようなものでしょうか。（英語が苦手のためよくわかりませんでした）
また、OCamlで書くとどのようになるのでしょうか。
分かる方がいたら教えてください。

まぁ、List.nth が妙に早い list と思えばいいね。
答えが欲しいの？それとも一緒に考えてほしいの？
Okasaki には載ってないね。

長さが倍になっていくarrayが中身のリンクリストにしか見えないんですけど。
英語が読めなくても図は見えますよね。
構造はこんな感じでいいんじゃないの（図のまんま）。

type 'a vlisti = VLNil | VLCel of 'a vlisti * int * 'a array
type 'a vlist = 'a vlisti * int

操作は自分で考えませう。

>>140
ありがとうございます。コードのおかげでなんとなくですが
イメージできました。（とはいってもこのデータ構造が
どんな風にありがたいのかは、まだ理解できてはいないのですが・・・）

教育上は
type 'a vlisti = VLNil | VLCel of 'a vlisti * int * 'a option array
のほうが良いです。
140 だと埋まって無いトコを埋める値が必要ですね。(Obj.magic 0 などで埋めるのはダメ絶対。)

ctags5.8でOCamlがサポートされたらしいよ。

ctags -> Exuberant Ctagsに訂正。

otagsがいらなくなると嬉しいな
微妙にctagsとオプションが違ったりするのがウザかったんだ

OCamlからCへのトランスレーターってありませんか？

>>146
http://groups.google.com/group/fa.caml/browse_thread/thread/cc13807fa7204874/91529afa62a52640

OCamlで
(('a -> 'b) -> 'a -> 'b) -> 'a -> 'b = <fun>
int -> int = <fun>

で型だけを指定して変数を宣言することはできますか？

変数何それ怖い

というか何がやりたいのか全くわからん

>>148の型を持つ識別子なら定義出来る

ただ、上は-rectypesなしで出来るかはわからん

型注釈を使った無名関数をかいていて、ふと閃いて

fun (x:('a->'b)->(z:'a->'b)) z -> z;;としたところ

- : (('a -> 'b) -> z:'a -> 'b) -> 'c -> 'c = <fun>
のように受理されましたが、3つのうちの最初、z:'aのz　はどういう意味があるのか
わかりません。
fun (x:('a->'b)->(z:'a->'b)) -> z;;
としてもzは拘束されていないようですし。

それはxという識別子をxはintである、ということだけ指定して
宣言できるということですよね？やりかたを教えていただけますか？

>>148
は
>>149
>>150
様あてです。失礼しました。それと回答ありがとうございます。

変数が宣言できるとは言ってない
ただ、関数の引数などにアノテーションすることで
関数の定義範囲を狭めることは出来る

普通の定義
let f x = x;;

型全体
let f x : int = x;;
let f x : int ->int = x;;

引数
let f (x:int) = x;;
let f (x:int->int) = x;;

>>148の上の型は、これを使って
Yコンビネータの型をint->intで制限したもの

int->intじゃなくて'a->'bだった

質問者はもう少し動機などを書き加えてほしい。推敲した上で。
背景説明無しに、間違った用語で質問されても答えられません。
逆に説明があれば、多少間違っていても回答者の方で正しく解釈できます。

148 だけだとホントに意味不明だが 153 からすると、C における int x;
の様に「変数を宣言」できるか、というのが質問の意図だと思いますが、
ML では値の無い「識別子の束縛」は出来ません。

154、お前は未来に向けて話しているのか。

>>152
z:'a の z は識別子ではなくラベルです。後の z とは関係ありません。
文法をちゃんと確認して、ラベル付き引数の解説を読んでください。

切口上的に始まる親切なレス乙！

val come_on : orz -> or2

>>159
ありがとうございます。Ｙコンビネータのようなものを作ろうとしていました。
非常に参考になりました。　

>>154が回答に感謝しているのは
>>150の、出来る、が回答になっていると思ったからなのですが。

(('a -> 'b) -> 'a -> 'b) -> 'a -> 'bという型の識別子を定義できる

と

Yコンビネータを定義できる

は100光年くらい離れてる気がする

(///)のような演算子をつくってhaskellのようなリスとりてらるを部分的に実現したいです。
(3///5) == [3;4;5] みたいな感じ。
演算記号は何が適当ですか？

( -- ) をどっかのサンプルコードで見たな

>>163
List.iter print_int (1--100)
とかですか？　いいですね。見やすいです。

SML/NJから移ってきましたが、SMLとは色々と違う部分が多くて戸惑います。
OCamlの標準ライブラリに無いものは自分で実装しているのですが、SMLとの
コンパチを取るライブラリなどがあったりするのでしょうか？

再度すいません。SML/NJにはCompilation Managerというものがあってmake相当
のことが出来るのですが、OCamlではUnixのmakeを使うのが普通なのでしょうか？
OCamlのドキュメントではmakeを使った例が書いてありました。
それとも、omakeというものがあるようですが、これを使うのが今時のやり方で
しょうか。

それはおまけ

なんかhttp://caml.inria.frが異様に重いんだけど、どうかしたのかな。
http://www.inria.frは普通に繋がるだけに。

SMLとのコンパチを取るライブラリなんていう後向きの物は聞いたことありません。
OCaml の stdlib は「標準ライブラリ」にあらず、 OCaml 自身をコンパイル
するために最低限必要な関数を集めただけと考えたほうが幸せです。
「次世代」標準ライブラリ候補として Extlib, OCaml Batteries Included, Jane Street Core
などありますからそれのウチ好きなのを使ってください。(Batteries は Extlib を内包しているはず)

ビルドは make か OCaml 付属の ocamlbuild か omake か、別に何でも良いんじゃない？
- GNU make : どこにでもある。他でも使える。枯れてる。
- ocamlbuild : OCaml に付属。全く使えない。
- omake : 超強力、普通インストールされていない。強力過ぎて一線を超えた使いかたが難しい。

>>169
ありがとうございます。
ExtLib, Batteriesの双方に同じ名前のモジュールが含まれていたので疑問に思って
いたのですが謎が解けました。SML Basis Libraryにあるような関数は、名前違いで
大体ExtLibでサポートされているようで安心しました。

ビルドツールはGNU makeを主に使ってきたのですが、omakeはファイル更新の
チェックが素晴らしいようなので、omakeを使ってみます。

なんでもいいから早く標準に入れてくれ
追加インストールとか面倒だし

こんなとこで呟いても何も起こらんよ。

だれかOCaml Meetingいった？

いったよー

おもろかったけどgolfとかコンパイラ改造とかネタが裏街道過ぎて
実用志向のユーザー増えねえだろこれじゃ、とか思った

行かなかったが、ストリーミングでアメリカ人？の発表のところまで見た。
Golfの話は意外と参考になった。演算子定義周りとか、普段あまり使わないから。
演算子によって優先順位が固定されているの勉強になった。
あとObj.magic。あれは反則技だろw

OCamlが+-*/等の演算子をpolymorphicに出来ない理由って何？

jocamlをmingw上でコンパイルするにはどうすれば良いでしょうか。

jocamlをmingw上でコンパイルしようとするとこんなエラーが出ます。

$ ./configure
$ make world
・・・
gcc -o ocamlrun \
prims.o libcamlrun.a -lm
libcamlrun.a(main.o):main.c:(.text+0x26): undefined reference to `caml_expand_command_line'
libcamlrun.a(sys.o):sys.c:(.text+0x4ea): undefined reference to `caml_win32_random_seed'
libcamlrun.a(startup.o):startup.c:(.text+0x936): undefined reference to `caml_signal_thread'
libcamlrun.a(signals_byt.o):signals_byt.c:(.text+0x46): undefined reference to `caml_win32_signal'
libcamlrun.a(signals_byt.o):signals_byt.c:(.text+0xab): undefined reference to `caml_win32_signal'
collect2: ld returned 1 exit status
・・・

多分 configure したのが間違い。
OCaml の mingw のビルドを参考にしたら？
JoCaml には付いて無いけど OCaml の README.win32 に書いてある。

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

cp config/m-nt.h config/m.h
cp config/s-nt.h config/s.h
cp config/Makefile.msvc config/Makefile

config/Makefileの中身のOTHERLIBRARIESからlabltkを削除し、PREFIXをインストールしたいディレクトリに変更し、

make -f Makefile.nt world

を実行したまでは良かったのですが、

make[1]: *** No rule to make target `win32.c', needed by `win32.o'. Stop.
make[1]: Leaving directory `/d/tmp/jocaml-3.11.1/byterun'
make: *** [coldstart] Error 2

と出てストップしてしまいます。
jocaml-3.11.1にはwin32.cが入っていないようですが、これは不具合ということでよろしいでしょうか。

mingwなんだからMakefile.mingw使わなきゃならないと

さーねぇ、俺は JoCaml 使ったこと無いからこれ以上は判らんね。
同じバージョンの OCaml から引っ張って来たら運が良かったらビルドできるかも知れないが、
こんなトコで聞くくらいだったら JoCaml の人に win32.c 無いって聞く方がいいんじゃない？

>>181
ん？あ、確かに。リンクエラーも判らんし README も読めんのに挑戦かよ。

OCamlから足りないソース持ってこないといかんかもね
それで動く保証はないけど

unix でやるのが早いでしょ。

>>181
あ、Makefile.mingwでやりました。
上のはコピペで修正し忘れていました。

>>185
JoCamlでアプリを書くつもりなので、Windowsでないとダメなんですよ。

Luc でさえ、windows で試してないって言ってるし、
イバラの道じゃないかねー。Luc に聞かんと誰もわからんよ。
ちなみに win32.c は jocaml のレポから随分前に消えてる。

http://jocaml.inria.fr/ に
We distribute JoCaml as sources. Those sources are for Unix systems
と書いてあるが、これは読んだのか？

Batteries Included のドキュメントみてたら
リスト内包標記とか where 節とか open Module in とかあってびびった
使ってる人いる？

既存のp4拡張をいろいろ集めただけでしょ。
open in はオーバーヘッドを理解してれば使える。

オーバーヘッドあるんだ。

open M in e は
let module M' = struct open M let v = e end in v
に変換されるので、ブロックを一つ作る。
普通はたいしたこと無いが、再帰関数中で open M in するのは少し考え物だ。

すまん、let module M' = struct open M let v = e end in M'v の間違い

let rec f x = open M in e (* e 中に f の再帰呼出あり *)

とか書くと f の呼出しごとにブロックが出来て、時間とメモリを食う。

M'.v ですー。

時間とメモリを食うのはコンパイル時じゃないの？

実行時にもオーバーヘッドがある。気になるならベンチ取ってね。

浅井さんの「プログラミングの基礎」のサポートページって消えてる？

birdの書いたsudokuの解放プログラム面白かった。
http://www.cs.tufts.edu/~nr/comp150fp/archive/richard-bird/sudoku.pdf

Practical OCaml 買おうかと思ったのですが、評判悪いのが気になりました。
実際に読んだ方いましたら、感想を聞かせてください。

> Practical OCaml 買おうかと思ったのですが、評判悪いのが気になりました。
> 実際に読んだ方いましたら、感想を聞かせてください。

たった今、ゴミだからいらないという人にもらいました。確かにゴミです。ネタとしてならどうぞ。

俺はocamllex ocamlyacc の簡単なチュートリアルが欲しくて買ったけど、
そこについては別にひどくは無かったと思ったよ。

コードのインデントが至るところで狂っている時点でダメでしょう。
どのページを開いても何かツッコミどころがあるというある意味貴重な本。
値段も安くはないし絶対にお薦めしない。

http://d.hatena.ne.jp/camlspotter/20091110/1257833616
http://rainyday.blog.so-net.ne.jp/2006-11-25
http://shuns.sakura.ne.jp/?%BD%B5%B5%AD%2F2006-4-

これ出た当時はオライリーのフランス語のやつ（当時すでに絶版）以外ではこれしか本がなかったけど
日本語書籍がいくつもある今買う価値はないと思いますね。

SML#の大堀先生は、最近、何してるの？
継続してれば、有望だと思ったんだけどな・・・ > SML#

>>201
apressの書籍ってほとんどハズレだと思う
これもハズレだったよ

【科学】道路に軍手が落ちているワケ、名城大研究チームが突き止める[09/11/05]

http://namidame.2ch.net/test/read.cgi/hidari/1257990721/

くそう軍手……気になる

推測の為の方程式として，土礼君の方程式がよく知られている．
しかし，パラメータの値には様々な見解がある．
N = R_s * f_p * n_e * f_l * f_i * f_c * L
N:道路に落ちている軍手の数
R_s:軍手の年間生産量
f_p:軍手を使用する作業の割合
n_e:軍手を屋外で使用する割合
f_l:軍手が使用される作業の割合
f_i:軍手を着脱する回数
f_c:軍手の移動距離
L:道路上の軍手の寿命

靴とか靴下が落ちているワケも気になるぞ
誰か研究してくれ

そりゃ浮いてたら邪魔だからじゃないか。

軍手なんて色気のないものに血眼になるなよ。

>>212
ほらよ。

N = R_s * f_p * n_e * f_l * f_i * f_c * L
N:道路に落ちているパンティーの数
R_s:パンティーの年間生産量
f_p:パンティーを使用する作業の割合
n_e:パンティーを屋外で使用する割合
f_l:パンティーが使用される作業の割合
f_i:パンティーを着脱する回数
f_c:パンティーの移動距離
L:道路上のパンティーの寿命

パンツのことをパンティと呼ぶのは４０代以上。
４０代未満はパンツかショーツと呼ぶ。

>>214
ウーロン知らないの?

最近は単語で会話するのが流行っているの？
例：
「お茶」→「俺は紅茶が飲みたい。お茶といえば緑茶じゃなくて紅茶でしょ。緑茶とかジジくさいし。」

>>214
類似定理に「キャロライン洋子を知っている人は1969年以前生まれ」がある。

ならばこれはどうだ

N = R_s * f_p * n_e * f_l * f_i * f_c * L
N:道路に落ちているブラジャーの数
R_s:ブラジャーの年間生産量
f_p:ブラジャーを使用する作業の割合
n_e:ブラジャーを屋外で使用する割合
f_l:ブラジャーが使用される作業の割合
f_i:ブラジャーを着脱する回数
f_c:ブラジャーの移動距離
L:道路上のブラジャーの寿命

やめてけーれ

>>217
72年生まれでびっくり日本新記録を見ていた私はなんですか？

びっくり日本新記録は1975年から1985年までやっていたようだから、
72年生まれなら13歳中一まで見れていたことになる。
特別なことはなにもないと思うが。

マッハGoGoGoとか鉄腕アトムの第一作目をリアルタイムに見ていたとかいうなら驚愕ものだが。

ここに1967年生まれの俺が居るわけだが

5年前の俺なら老害呼ばわりしたかもしれないが、
最近はむしろ尊敬するようになってきた。
なんつーか、歳を重ねるってのはそれだけで立派だよ。

対して俺はゆとりに「この昭和生まれが」と言われてショックを受けた

>>223
rougai

>>223
そうは思わない

> 最近はむしろ尊敬するようになってきた。
ああ・・・ついにお前も老害の仲間入りか。
人間というのは自分の置かれた環境や立場によって考え方を変える生き物だというだけのこと。
お前が老害ジジイを擁護するようになったということは、
老害扱いされる時期がもうすぐ目の前に来ている証拠なんだよ。

たしか60歳以上の老人たちは日本が持っているカネの55%を持っているんだよな。
そしてそのカネを何に使うかというアンケートによると、
がんばってきた自分へのご褒美に贅沢するために使うのだそうだ。
若者が苦しんでいるときにそんなことを許していいわけがないだろ。
老人を過剰に保護するのをやめても老人は困らないし、
財源確保のために老人たちから搾り取ればいいと思う。

あと、就業における年齢制限もやめるべきだと思う。
定年を設けている企業や官公庁が大半だと思うけど、それって年齢差別だよね。
60歳でもまだまだ働ける人がほとんどなのに定年で辞めさせるのはどうかと思う。
そうする代わりに、経営者に自由に解雇する権利を与えて、年功上列・終身雇用も撤廃して、
終身雇用に安住している無能なやつ（老害）をどんどん解雇していけばいいと思う。
無能な奴は一生平社員の単純労働でこき使えばいいよ。
長い間単純労働してるからといって才能の無い奴を無理に昇進させる必要もないと思う。

アホかｗ

>>223
歳を重ねるだけで得られるようなものなら誰でも手に入るから価値は無い。

>>226
解雇すればいいのに、こき使うの？

俺も高齢者は手厚く保護されすぎているように思う。
もっと若者と同じように扱えばいいのにね。
具体的にどこか体が故障している人を障害者認定して、
障害者として文化的な生活をおくるために補助をするなら分かるけど、
高齢者だからという理由だけで保護するのは過保護というものじゃないかな。

ML と関係ない話は他所でやれ

ジジババとかマジいらねえ
団塊世代は頭が鈍くて経験も役に立たないし物事を計画的にするのも下手だし散らかすのだけは一流で後片付けのことは微塵も考えないゴミなんだよなぁ

>>225
> がんばってきた自分へのご褒美に贅沢するために使うのだそうだ。

金が回るならいいことじゃないか

そう、そのウンコどもが苦手な分野こそが関数型言語

>>233
ところが、使った分が戻っていくのが世にも奇妙な現象

さっさとMLをブームにして金を使わせろ

>>236
ダメ、ジジババはコンピュータ音痴だから。

なにやら怨念めいたものを感じるな
南無阿弥陀仏

'M`L < 新言語できたよー

団塊世代は経済の成長期に楽しくお仕事して、下向きになったらつまらないから働くのやめるとか言い出す。
おいしいところだけ食べてトンズラとかマジきめえｗ
自分たちの責任を後世に押し付けて、自分は今まで楽しく稼いだお金で楽しく老後を過ごす予定なのか？
そんなことが許されるわけがない。
世の中みんなが辛いと思っているんだから自分だけ良い思いをしようとするなんて許されるわけがない。
団塊世代は身勝手だ。
搾取されるべきは団塊世代だ。
金があるんだから搾取してもかまわないだろ？

一番の癌は大企業にぶらさがってる労組だな
特にJALやJRや某新聞社の労組
それから日教組
こいつらが日本のまじめな生産者の利益を貪ってる

企業経営者が自由に社員をクビにできないのが問題。

正社員を簡単にクビに出来ないから
会社は正社員じゃなくて派遣を使いたがる
派遣ピンハネ業だけが儲かる

クビにできないのを良いことに労働組合を背景にやりたい放題やって楽して金だけもらって逃げた団塊世代

良いこと考えた
正社員を派遣すればいいんじゃん

マルチのコピペにいちいち釣られてんのか
コピペした奴が自分で反応してんのか
どっちにしてもアホだ

>>245
面倒だから経営も外注するか。

労組嫌ってるやつは公務員か？死ねよ

http://pc12.2ch.net/test/read.cgi/tech/1189246532/l50

>>243
欧州のどこだかは、派遣使うとそれだけ割高になるような法律になってるとか
聞いたことある。

>>245
プログラマの派遣なら、正社員の派遣が主流じゃないか？

>>249
法律なんか作らなくても、市場原理に任せておけば派遣のほうが高くなる。
レンタルとリースのどっちが割高かってこと。
むしろ、法律によって市場を歪めているのが諸悪の原因。

>>250
どの法律のこと？

おい、押すなよ、、絶対だぞ」

ポチっとな

val () = print "あけおめ\n"

OCaml用のlibcurlバインディングらしい、ocurlを入れようとしたのですがエラーが出ます。
curl-helper.c
主に「dereferencing pointer to incomplete type」というエラーが大量に出ます。
どうすればいいのでしょうか。
./configやlibcurlのインストールなどは済ませています。
環境はMSYS + MinGW、Windows 7です。

libcurl のバージョンは。

バージョンはよいみたい。一度古いので苦労した記憶がある

libcurlはWindows版では最新の7.19.7を入れました。
MinGWは最新のものを入れています。
ところで、http://jocaml.inria.fr/ や http://caml.inria.fr/ が落ちているのですが。

http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html#toc135
ここの例通りにCでOcamlのモジュール使おうと試してるんだけどうまくいかない。
最後の手順の　cc -o prog main.c mod.a -lcurses　で詰まっています。
mod.a(startup.o):startup.c:(.text+0x9e): undefined reference to `__lseeki64'
mod.a(startup.o):startup.c:(.text+0x240): undefined reference to `__lseeki64'
mod.a(startup.o):startup.c:(.text+0x2e7): undefined reference to `__lseeki64'
mod.a(startup.o):startup.c:(.text+0x93b): undefined reference to `__beginthread'
mod.a(sys.o):sys.c:(.text+0x7): undefined reference to `__errno'
mod.a(sys.o):sys.c:(.text+0xf7): undefined reference to `__errno'
mod.a(sys.o):sys.c:(.text+0x101): undefined reference to `__errno'
mod.a(str.o):str.c:(.text+0x30f): undefined reference to `__imp___pctype'
mod.a(str.o):str.c:(.text+0x32c): undefined reference to `__isctype'
こんなエラーが大量に出る。
libcamlrun.aが怪しいと思うのだけれどどうすればいいかわからない。

環境はXPでCygwin　Ocamlは3.10.2
Cygwinでocamlc -c modwrap.cすると何故かアクセスが拒否されるので　modwrap.cとmod.mlのコンパイルはMinGWでやりました。

>>259
Cランタイムのシンボルを見つけられてない、ということで
>Cygwinでocamlc -c modwrap.cすると何故かアクセスが拒否されるので　modwrap.cとmod.mlのコンパイルはMinGWでやりました。
が怪しい。
この部分MinGWとCygwinの互換性はあるの？Cygwin知らんけど、全部-mnocygwinならどうだろう。

>260
>この部分MinGWとCygwinの互換性はあるの？
エラーが出てるのは正に MinGW と Cygwin で互換性のなさそうな部分だね。

>259
>何故かアクセスが拒否される
modwrap.c を Windows ネイティブのアプリで編集していたりすると発生する場合もあるので
・Cygwin アプリで編集する
・mkpasswd とか使って /etc/passwd を見直してみる
・とりあえず chown / chmod してみる
・ACL 周りの設定を変えてみる(mount とか環境変数 CYGWIN とか)
あたりはどうだろ。

>>260
>>261
助言ありがとうございます。
レスを頼りにいろいろ試してみましたが、だめでした。
OcamlもCygwinも使ってまだ日が浅いので大事なところを見落としているのかもしれません。
今忙しいのであまり時間が取れないのですが、Cygwinで揃えてまたいろいろと試してみようと思います。
本当にありがとうございました。

Moscow ML 使ってみようと思ったら、もうずっと更新されてないんだね…

SchemeとMLは、心が洗われるわー

あー汚れてるんですね

はい

OCamlはCにembedできますか？

Milnerが亡くなったそうだね

http://lambda-the-ultimate.org/node/3863

ホントだ。ご冥福をお祈りします。
ML は勉強していて楽しかったです。

『プログラミングの基礎』　浅井健一著　を買ってポチポチ楽しく
やってるんですが、著者のサポートサイトに書いてあるように
やっても、未だに日本語の表示が出来ません。

http://pllab.is.ocha.ac.jp/~asai/book/Linux.html

環境はWinXPのVMPlayer上のDebian(lenny)でやってます。
端末でインタープリタ走らせてる場合も、Emacs上でtuareg-
modeでやってる場合も文字コードが表示されてしまいます。

助けてけろ〜

分からんけど、なんでLANG=en_USのISOなんとかなんだろ？ja_JP.eucJPとかじゃないのか

OCamlはoreilly本来ないね

>>270
奥さん亡くなった三日後に心筋梗塞か。

ご冥福をお祈りします。

あの世で福？？

signatureのfunctorの使い方がよくわかりません。

signatureを受け取ってstructureを返すfunctor Aと、
signatureを受け取ってsignatureを返すfunctor Bを定義したとします。

signature CにAとBを適用したものをA(C), B(C)としたとき、
A(C)にB(C)を適用したstructureはどうしたら使えますか？

言い忘れました。OCamlの話です。

すみません、自己解決しました。

あれ？OCamlのfunctorってsignatureを受け取ったり返したり出来るの？
受け取るのも返すのstructureだけだと思ってた

ドキュメント読んでみたけど、
http://caml.inria.fr/pub/docs/manual-ocaml/manual019.html#toc67
やっぱりfunctorがsignatureを受け取れるようには見えないなぁ

質問していいですか。
'a * 'bの値を受け取り、型'aと'bが等しいか否かを判定する関数はo'camlで書けますか？

>>283

>>284

>>282
何がしたいのか分からないけど
OCamlでは型情報は実行時には残っていないので
そういう型を扱うプログラムは一切かけないとおもう

OCamlってなんで最上位ビットをゴミ集め様に使っちゃうようにしたのかな。
なんか、これが凄くアダになってるように思えるのだが

Lisp系含めてわりと見かける仕様なんじゃ

$ sudo aptitude install ocaml
　…
以下の新規パッケージがインストールされます:
camlp4{a} ledit{a} libdrm2{a} libgl1-mesa-glx{a} libpthread-stubs0{a}
libpthread-stubs0-dev{a} libx11-dev{a} libxau-dev{a} libxaw7{a}
libxcb-xlib0-dev{a} libxcb1-dev{a} libxdmcp-dev{a} libxext-dev{a}
libxi-dev{a} libxmu6{a} libxpm4{a} libxtst6{a} libxv1{a} libxxf86dga1{a}
libxxf86vm1{a} ocaml ocaml-base{a} ocaml-base-nox{a} ocaml-interp{a}
ocaml-nox{a} tcl8.4{a} tk8.4{a} x11-utils{a} x11proto-core-dev{a}
x11proto-input-dev{a} x11proto-kb-dev{a} x11proto-xext-dev{a} xbitmaps{a}
xterm{a} xtrans-dev{a}
0 個のパッケージを更新、 35 個を新たにインストール、 0 個を削除予定、0 個が更新されていない。
29.4MB のアーカイブを取得する必要があります。 展開後に 97.0MB のディスク領域が新たに消費されます。

(＃＾ω＾)ﾋﾟｷﾋﾟｷ

>>288
ocaml-nox

こそは自分でMakeだろJK

SML#は生きていた

音沙汰なくてちょっと諦めかけてたから新バージョンリリースめでたい

OCamlの型で 'a. 'a list というのを見たんですけど、この「.」って何ですか？

「.」が何かと言われるとむずいな
「'a.」は「任意の型パラメータを'aとし、その'aついて...(for all)」の意味
例えば、
type 'a t = { e : 'a }
は'aを型パラメータに取るけど、
type 'a t = { e : 'a; p : 'b. 'b list }
とすると、任意の型'bをパラメータに持つ型をレコードの要素にできる
もちろん
type 'a t = { a : 'a; p : 'b list }
は'bがunboundだからエラー

>>294
ありがとうございます

SMLにはレコード更新の機能がなく、日常的に苦労しているので、ネイティブコードが
はけるSML#のリリースは待ち遠しかった。
ただ、欲を言うと、レコード拡張も言語としてサポートして欲しかった。

>SMLにはレコード更新の機能がなく、日常的に苦労している
すげえ、日常的にか。仕事に使ってるの？
>ただ、欲を言うと、レコード拡張も言語としてサポートして欲しかった。
レコード拡張って？

MLton　って無限ストリーム使ったプログラムも最適化してくれるの？

>>297
小規模な数値計算をしているだけで、すごいことはしていません。
Fortranで十分ですが、いくつかの部品を定義して、NJの対話環境
で評価することで、試行錯誤できて重宝してます。

レコードの拡張
連結と言うべきだった。
{a=1,b=2}#{c=3}
val it={a=1,b=2,c=3}
ができると嬉しい。

Vimのインデントファイルで
ocaml.vimやomlet.vimより
いいものありませんか?

MLで書くときはスタイルに悩むね。
inの前で改行すべきか？
連続するletはインデントすべきか？
などなど

スタイルは悩みますね。
今のところ連続するletもinの後も
インデントしないようにしています。

ただ、こう書きたいという思いがあっても
Vimのインデントファイルでは
うまくいかないことがあって困ります。

ユーザーの多そうなEmacsを使った方が
いいのかもしれません。ま、それを
言ったら関数型言語もHaskellということ
になるかもしれませんが…

Ocamlで
let plus x y = x + y があるとき
xより先にyに代入する方法はあるますか？

λ式を使えば良いのでは。
すでに、y = aの代入が決まっているときは、
(fun x -> plus x a)
まだのときは、
(fun y -> fun x -> plus x y)
を使う。
※SML使いなので、構文上の間違いはあるかもしれぬ。

これも、一種のスタイル問題だが、
列挙型を定義するときに、
datatype X = X1 | X2 | X3 | ...
とするか
type X = int
val X1 = 1
val X2 = 2
...
とするかで悩んでしまう。最初は、vector (ランダムアクセス)を使わない
見込みだったのだが、必要になったときのことを心配してしまう。

そういう心配をしなくていいくらいコンパイラの最適化は賢いから安心して代数データ型を使えという話をどこかで見た気がするのだがどこだか忘れてしまったな。

succ X1が欲しいという話だと思ったんだが。

……俺ならObj.magicしちゃうな

http://d.hatena.ne.jp/sumii/20060918/1158537612
これだった。あんまり突っ込んだこと書かれてなかったな。でもこういう話じゃないの？

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

>> 308, 307
ありがとうございます。そうです、O(1)で整数に変換できるかを心配していました。

O(1)での変換速度を気にしなきゃいけないくらい沢山定義するなら、
DEFINEマクロ使った方がいいんじゃないかなぁ。あ、OCamlの場合だけど。

(* compile with -pp "camlp4orf" *)
DEFINE A = 1
let _ = print_int A

>> 311
Ocamlマクロ使えましたね。いいなぁ〜

破壊的代入(参照型)の利用はひかえめに、とはいろんなガイド/教科書に書いて
あるけど、どの程度が許容範囲なんだろう。

与えられたリストの部分和を要素とするリストを返す関数を書いてみると、
破壊的代入を使ったバージョンが一番短く直観的に思う。

fun series xs =
(fn s => map (fn i => i + !s before s := !s + i) xs) (ref 0)

fun series2 xs =
(rev o #2) (foldl (fn (i,(s,ys)) => (i+s,(i+s)::ys)) (0,nil) xs)

fun series3' s (i::is) = (i+s) :: series3' (i+s) is
| series3' s nil = nil;
val series3 = series3' 0

関数プログラマ的には、どれがいいのだろう。
(もっといい書き方もあるかもしれない)

個人的にはこだわらずに破壊的代入もがんがん使えって思うけど、その前にmapの捜査順は前からって保証されてるのか？

確かに、一般的には規格違反かもしれない。ちなみに
http://www.smlnj.org/doc/basis/pages/list.html
には
map f l
　applies f to each element of l from left to right, returning the list of results.
と書かれているが、"from left to right"を副作用を持つfを考慮して、そう書いているのか
は不明。

>>313
効率気にしないなら下のようにも．
fun series nil = nil
　 | series (h::t) = h :: map (fn x => x + h) (series t)
効率を気にするなら，series3がいいと思った．
refを使うと現在の変数の状態を気にする必要があって大変．
series2はやってることはわかったけど，コードがなんとなく見づらい．

>現在の変数の状態を気にする必要があって大変
refが大変で、引数変数が大変でないと思う辺り、関数型言語プログラマだなあ。
俺はまだそこまでの境地には達してないや

「こんなこともあろうかと」いいながら、用意しておいたscanlを使うのが一番直感的。

なるほど scanl か
mapAccumL で満足しそうになっていた

>> 316
ひさしぶりに何か美しいものを見た気がします。
>> 318,319
HaskellのData.Listにある関数ですね。GHCは入れてあるが、ほとんど使って
いないので、知らなかったのですが、いっぱい関数が用意されてますね。

NJに付属するCMLって、multicore対応じゃないみたいですね。
(tar ballのToDoに書いてあった)
ノード内並列には使えない。残念。

SML なら Poly/ML がネイティブスレッドに対応してるよ

>>322
ありがとうございます。
ここを http://www.polyml.org/Doc.html さらっと見てみましたが、
結構しっかりした実装のようですね。
これは、SML/NJからの移行を検討する価値がある。
他に、
- Windowsプログラミング
- FFIが簡単(のように見える)
が気に入った。

MLでGUIプログラミング、って時々やろうとするんだけど準備が面倒で挫折する。
lablgtk2とその依存ライブラリを標準で取り込んでくれ〜

ファンクターでモジュールを作ったときに実行される関数がほしいんだけど
OOのコンストラクタみたいなの

　Ｖ　Ｖ
(´・ω・`)　うさちゃんピース

長澤うさみ

>>325
module F (A : sig val x : int end) = struct
let _ = print_int A.x
end

このファンクターに適当なモジュールを適用してごらん

MLが関数型言語とか、最初に言い出したのは誰なのかしら

プログラミング言語ML
http://www.amazon.co.jp/dp/4756116418

J. D. Ullmanのこの本絶版になってたのか。
11年前に図書館で世話になったときは、面白かった。

3.12.0来たのか

OCaml出たばっかりなのに人が少ないってどういうことなの

平和ってすばらしい

windows用の最新版は3.11.0ってことですか？公式のリンクが切れてるという。。

自分でビルドすればいいし、URLの修正ぐらい自分でやればいいし

windows 3.11.0

http://ocaml.jp/Chapter%2024%20The%20threads%20library

>threads ライブラリを使用するプログラムは以下のようにリンクしてください:
>ocamlc -thread other options unix.cma threads.cma other files

って書いてあるのに

ocamlc -thread unix.cma threads.cma thread.ml
File "thread.ml", line 7, characters 8-21:
Error: Unbound value Thread.create

Threadはどこにあるんだ・・・

いっこうにMacPortsにこねえ>3.12.0
なんか既存アプリ壊してるとかあるのかね

>>337
志村ー、"thread.ml"ー

>>337
圧倒的感謝
悩んでた自分が馬鹿らしい　つーか馬鹿だった

ミス
>>338

unitをどうやって代入させるかで数分悩んでしまった。

可読なCに変換してくれるコンパイラはないのか

これはOCamlの仕様書と思って良いのでしょうか？
http://caml.inria.fr/pub/docs/manual-ocaml/index.html

仕様なんてない

最近SML#が活発に更新されているようなので、0.56インストールしてみました。

集合演算を使ったプログラムを書こうとしているのですが、
CM周りの問題のせいか上手く動きません。

例えば、sml#では、

# structure SSet = RedBlackSetFn(struct type ord_key = string; val compare = String.compare end);
stdIn:1.18-1.94 Error: unbound functor: RedBlackSetFn

となります。smlだと、

- structure SSet = RedBlackSetFn(struct type ord_key = string; val compare = String.compare end);
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable]
[autoloading done]
structure SSet : ORD_SET?

と上手く動いています。

どのあたりを調べれば良いかのポインタだけでも構いませんので、
解決方法ご存知の方、教えていただけますでしょうか。

SML#ってMSの.Net系言語だと思って無視してたんだけど、
全然関係無しなんだね。まぎらわしすぎw

解決方法でないレスでゴメソ >>345

>>345
SML/NJだと自動でライブラリを読み込むようだが，SML#ではそうでないみたいね．
ソースの　smlsharp-0.56/smlnj-lib/Util/redblack-set-fn.sml
にRedBlackSetFnが入ってるから，必要なファイル込みでuseすればいいんじゃないかな．

>>347
$prefix/lib/smlsharp/smlnj-lib/Util 以下に各set用のfunctorが
あったので、こちらをuseしてみたところ、
上手く動くようになりました。
ありがとうございます。

sml#ではCM上手く動かないのはやっぱり嫌だなぁ。
なんとかならないものか…

初歩の初歩ですいません、symbolic nameって何？

ML for the working programmerを読み始めて早速引っ掛かってしまいました。

alphabeticでない名前

Jane StreetのCoreってOCaml 3.12に対応してる?
コンパイルに失敗する

エディタの桁数はいくつに設定していますか？

遅レスだけど、桁数は80でインデントは4。

:se nu ai sw=4 ts=4

私も桁は80(インデントは2)。
でも無名関数を多用すると桁が足りなくなるので
増やすべきか悩む。横長モニタ買いたくなる。

通常は80に設定しているが、MLを編集するときは、120に増す。
とはいえ、100を超えると読みにくくなるので、適当に折り返すことにしている。
ただ、このコーディングルールに従えばOK、というようなのがないので、
毎回困っている。

>>305 解決策(SML/NJの場合の)が見つかった。
data label = A | B | C
Unsafe.cast A: int;
Unsafe.cast B: int;
Unsafe.cast C: int;
とすると、それぞれ0,1,2になる。

>>356
MLは初心者だけど、>>305は(コードの問題ではなく)設計の問題だと思う。

代数構造として、直積(組型やレコード型)と列(リスト型や配列型)は全く別の概念。
コンパイルの前に要素の数が決定できるなら直積を使うべきだし、
実行してみないと決定できないのなら列を使う。あるいは動的なシンボルで
ランダムアクセスしたいならハッシュ型を、更に順序性が必要ならB木型を。

これらすべてはプログラムの設計工程で決定しておくべきもの。
設計工程での不具合をコーディング工程で取り返そうとするのは、よくある過ち。
>>356の解決策というのは、いわゆる「泥縄」的手法。いずれ破綻する。

いくらMLが美しい言語でも、設計が汚ければコードはグチャグチャになるよ。
逆に、設計が適切であれば手続き型言語であっても美しいコードは書ける。

そんな大仰な話でもないだろ。
Pascal、Modula系からMLやら(その他EiffelやらOberonやら)への流れで、
なぜか列挙型を配列のインデックスに使う機能が捨てられた悲しいね、ってだけの話だ。

だから「なぜ列挙型を配列のインデックスに使う機能が捨てられたのか？」という
疑問の答えを考えなさい、と言ってる。

列挙型(特に関数型言語の直和、MLのdatatype定義)というのは、要素を数え上げることで
集合を定義している。いわゆる「内包的定義」だ。集合なのだから、その要素間に順序性は無い。
もし要素間に順序性が求められるのなら、列として(集合とは別に)それら要素を定義する。
そしてそれらの間の関係を写像(関数あるいはハッシュ型などで)させることで対応づける。

こういった考え方(設計技術)無しに、力任せのコーディングテク(技法)で解決しようとするのでは、
(特にMLのような明瞭な型体系を持つ)関数型言語の利点は、全く生きないよ。
型をわずらわしく感じるうちは、いつまでたってもIT土方のままだ。(型定義 = 設計なのに....。)
結果的に「関数型言語を使っても美しい(高品質な)コードは書けなかった。チクショウ騙された。」
という誤解が生まれる。

>>357
305が既にコーディング工程まで来ているという根拠は？

>>359とか自分で読み返して恥ずかしくないのか？
列挙型がインデックスの配列なんて、単にmapの効率的な表現でしかないだろ……。

あと「なぜ列挙型を配列のインデックスに使う機能が捨てられたのか？」は
単純に(非常に残念ながら)固定長配列型が採用されなかったからだろうね。
全部可変長配列ならインデックスに演算不可能な型を使えてもしょうがないから。

>>357
根拠は、>>305が使った「スタイル」と言う言葉。

>>361
＞単にmapの効率的な表現でしかないだろ……。
その通り。より正確には「写像の効率的な実装(コード化)」だね。
>>357で書いたのは、実装(コード化)で解決しようとせずに設計に立ち返りなさい、という話。

正直「いちいちmap作るの効率悪い＆めんどくさいからちゃっちゃとUnsafe.castしてしまえ」ってだけの話なのに
設計どうこうの話で絡む理由がわからんな。
それこそ言語機能の問題でしか無いんだから、実装の詳細もいいとこだろうに。

そうだね。プログラミング言語なんて道具にすぎないんだから、本人がどう使おうが自由だし。
下流工程で延々とモガき続ける、いわゆる土方から抜け出せるよう助言したつもりだったが、
余計なお世話だったかもしれない。これで落ちるよ。

だから、その本人が今現在下流工程にいるという根拠はなんなの？

大体設計としてはインデックス値集合からのmap確定で、見直す要素なんて全く無いだろ。
余計なお世話どころか、勘違い甚だしすぎる。

SML使う土方現場なんて日本にあったら俺が行きてーよw

落ちたつもりだったけど、自分のカキコにアンカ間違いがあったから、そこだけ訂正。

>>366
スマン。>>363の

　>>>357
　>根拠は、>>305が使った「スタイル」と言う言葉。

という部分の>>357というアンカは間違いだった。>>360宛のレスとして読み直してくれ。

今ひどい泥縄を見た。

こんなに人いたんだな

SML# 0.60 は大堀先生からアナウンス

いらねー

ML が研究されているという情報。
それも国内で。
結構なことじゃないの。

ようやくMPIを使っての並列起動に成功した……。Intel MPIの32bit版
が使えることのに気付くのにも時間が掛かったが、まさか、.cm/への
書きこみで競合が起こるとは想像だにできなかった。

なにこれ?
From: Julian Assange <proff@i...>
Subject: call for ocaml volunteers

http://caml.inria.fr/pub/ml-archives/caml-list/2000/08/6b8b195b3a25876e0789fe3db770db9f.en.html

windowsでグラフィックスを扱うライブラリ
としてsml_tkがあるようだが、Posixストラクチャ
とか使っててコンパイルできない。

standard MLとかって、もう終わった言語なの？

NJのバージョンはときどき上がっているようだが、64bit版の開発が着手される
気配はないねぇ。

Objective SML とかあればなあ・・・

ええ。
ocamlのobject的な機能って使ってる人いるのかね？

Ocaml みたいな奴だったらイラン

なんでCoqのスレとかないの？

>>384
あなたやその他の人が誰も立てないから。

>> 383
先日のRuby会議でCoqの話題が多かったようです。
http://partake.in/events/47ccda3b-82d2-4f89-aa83-395a26545b62

またITプランニングのやつらか!

「最近、関数型言語が流行ってんだってね？」
私にそう言ったのは、大法螺吹きの異名で名高い営業マン。
もちろん、彼はプログラミングのことは全然知らない。
たぶん関数型言語のこともどっかのポルノ雑誌ででも読んだのだろう。やれやれだ。
「岡村ってのが新しいらしいね。」
なんだよ、その岡村って…。もしかして日本人の開発した関数型言語か？岡村って誰だよ。
「やねさんなら、当然、岡村、使ったことあるよね？」
使ったことあるどころか、名前すら知らんよ。なんだよ、岡村って…。
「あれー？やねさんともあろう御人が、岡村も知らないとは…」
いや、マジで知らんよ。なんなんだよ、それ。
「そうかー。知らないのかー。やねさんでも知らないのかー。」
そう言われて「なんだかなぁ」と思いながら帰ってきて、「関数型言語 岡村」でググって見たけど、そんなの出てこねーよ。
「なんだよ、また、いつもの大法螺かよ！」と思って、布団に入って寝てたら、深夜の三時に、「もしかして、岡村ってOCamlのことじゃね？」と夢のなかで気づいて、いま悔しくて壁を思いっきりグーパンチで殴ってるところ。

おいおい、岡村！アラン、見ランダ？
Yacc束してたのに、Matlab。

あだー。アラン、隙間フェチ、すから。
見つけるのは一苦労じゃろーね。Sque無い
嗚呼、くっ。一緒にエイダみる予定だったのに・・
遅coqしたら理彩のレイジがMaximaになる
メーリングリストで蓮家等に聞いてミルか
Amigaとう。んじゃ,またAgda！
Orc、またAgdaな

おつかれ〜

たててやったぞ

Coqスレ
http://hibari.2ch.net/test/read.cgi/tech/1300017923/

>>388
ワロタwww

NJのUnsafe.castのあまり意味のない使い道
(fn x => x (Unsafe.cast x)) (fn x => (Unsafe.cast x))

type 'a safe = Safe of ('a safe -> 'a);;
let safe (Safe x) = x;;

print_char((fun x -> safe x x) (Safe (fun x -> safe x x)));;

>>392
OCamlならこんなかんじ？
(fun x -> x (Obj.magic x))(fun x -> x (Obj.magic x));;

OCamlに興味が湧いてとりあえず五十嵐某の書籍買ってみた。
で、技術書買って真っ先にやることと言えば正誤チェック。

つ・・つかえねぇ・・・この本
誤謬の嵐だぜこりゃｗ
量がハンパネェ
本として機能してない

残念だがゴミ箱へ

>>395
そんなにひどいの？

>>395
うん？
自分にとっては、haskellの学習に大きく寄与したぞ？

コラムの再帰に関する格言と、その本質に言及した言葉が無かったら、関数型言語を挫折してた
(関数型言語の魅力が解らなかっただろう)

自分は、この人にhaskell版を書いて欲しいぞ

今なら言える

手続き型言語は全体的に(それをするには)「どうする」で作り、関数型言語は、全体的に(それは)「何か(あるいは、どんなものか)」で作る言語だと

>>395
俺も最近買ってしまって読んでるんだが、誤植の場所を教えてくれ。
素人でもわかるものなのか？

あれってネット上で読めなかったか

>>395
> 誤謬の嵐だぜこりゃｗ
>>398
> 俺も最近買ってしまって読んでるんだが、誤植の場所を教えてくれ。

「誤謬」のある本と「誤植」のある本の違いは大きい。
本当はどっち？

>>400
すまん。ちゃんと見てなかった。誤植じゃなくて誤謬か。
で、どこなんだろう。

>>401
両方。誤植も誤謬もある。

http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/OCaml/
技術書でこれだけの間違いがあったら、どうやって本として機能するんだろう？

>>402
そのページ印刷して本に挟んどけよ

間違いは無いに越したことはないけれど、
これぐらいの量の間違いは大したことないと思う。

十分大した事あるな

技術書読んだことあんのか？

技術書は静的型付けじゃないからな

コーダとベリファイヤの性能が低い

> 自分は、この人にhaskell版を書いて欲しいぞ

アマゾンで下のレビュー書いた人かいｗ

ちょっと困っていることがあるので、助けてください。

ヨウ素がリストの参照になっているようなベクトルを用意して、各要素に
データを追記していくような処理をさせると(具体的には、複数の時系列を記録
したファイルがあって、これを時間順に読む)、追記回数の自乗のオーダの
処理時間が掛る。リストの先頭に追加しているだけなので、線形時間でやって
ほしい。

(* コード例)
val bigV = Vector.tabulate(1000000, fn _ => ref (nil:int list))
val dat = Vector.tabulate(1000000, fn i => i)

val t0 = Time.now();
val tLast = ref (Time.-(t0,t0));
fun showTime() = let
val tLast' = !tLast
val () = tLast := Time.- (Time.now(), t0)
val dt = Time.-(!tLast, tLast')
in
Time.toString (!tLast)^","^ Time.toString dt
end

fun append k =
(print (Int.toString k ^ "," ^ showTime()^ "\n")
;Vector.app (fn box => box := k :: !box) bigV
)

val () = Vector.app append dat

ヨウ素とかベクレルの話かとｵﾓﾀ

辞書(と見逃した自分も)がそっち方向に過学習してしまったらしい。すまん。

自分の環境ではサンプルプログラムの実行に二乗オーダは見られなかった。
bigVの大きさを一桁下げると速度がぐっと変わるし、GCとかのせいな気がする。

SMLの勉強していて思ったけど、最初に学ぶ言語として関数型言語はやはり難しいかも知れない。
C言語だとHello Worldから始まって、リスト処理は構造体とポインタの応用問題という位置づけだった。
SMLはいきなりリストと再帰の話から始まるｗ

BASICは、LISPよりも後から開発されて、しかも同じダートマス大学発祥だけど、
リスト処理が実装されていないのもそれなりの理由があったのかなと思う。

奥さん、そこで Factorですよ。

>>415
> BASICは、LISPよりも後から開発されて、しかも同じダートマス大学発祥だけど、
> リスト処理が実装されていないのもそれなりの理由があったのかなと思う。

LISPとBASICじゃ作られた目的が全然違う
それに当時の計算機の性能ではリスト処理は時間的にもメモリ的にも大変重い処理だった
今の感覚や価値観は60年代の計算機や言語・ソフトの評価や判断には全く通用しない

最初は易しい言語で、ってことが重要に思えるところ、
その信念に基づいた妄想を長々と書きこむところ、
これはその人の性質をよく表していると思う。
こういうひとのためにも緩い言語は必要。
ML系はそういうのとは全然違う。

>> 415
ポインタ+構造体+慎重な操作を免除して、いきなりリストが使えるのが
売りだと思うのだけれど。

また、MLは破壊的代入+whileループが特別な儀式をしなくても使えるの
で、再帰を学ばなくてもある程度は使える。

保守

Ocamlとか関数型言語とか難しいことはよくわからないが
ターミナルでTwitterクライアントが動くらしいので
Ocamltterに手を出してみる。
そういえば親父がLISP好きだったのを思い出す。

フランス人と日本人って意外に共通点があるよな

皇女様をギロチンにかけたりな

OcamltterあきらめてOcaml入門やってるんだが再起呼び出しとかちょっと難しいな。
for文と違う。

数学者にやらせると面白いことになりそうな謎のワクワク感を感じる言語ではある。

みんな Haskell に移行してしまったんかいなぁ

２０１１年、Ruby,Perl,PHP,Pythonって並べたときにさ
ここで、Ruby以外を選ぶ奴ってマジでなんなんだろうな


ゴミの分際でｗ

>>427
科学計算を主に念頭においてるものだったら、Python一択になってくるよ。
それだけライブラリが充実している。scipy,numpy,matplotlib,mayaviなんて
のがあるからね。

>>415
手続き脳から見れば当然難しいけど、数学の漸化式を知ってれば再帰は
馴染みやすいし問題ないよ。難しくしてるのは頭の中で無理やり手続き型
に想定して理解しようとする癖があるからだよ。手続き型に染まった連中が
苦労するのはその悪癖が抜けないから。
リストとか関数の取り扱い（Cでいうと関数ポインタだな。）は手続きにとって
みれば高嶺の花だけど、そこが一番簡単にさせている要因なんだよね。
手続きに染まった人ってただ頭が硬直しただけなんだよ。

ファーストクラスの関数を、関数ポインタのようなもの、とかいうのは、
誤解を招くだけでないかな。

>>429
じゃあどう簡潔に言えばいいか示してくれ。それだけでいいよ。

「ファーストクラスの関数」

>>431
手続き脳の人相手に話をする場合、それで通じれば問題がないけど
彼らの試行の中で比較的近いものを取り上げて説明しようとしないと
たぶん、言葉が通じないと思うよ。CS専攻の連中相手に話をするならば
それで問題はないよ。もし知らなければ不勉強だってことだからさ。

環境をキャプチャした関数ポインタのようなもの？

それはもうポインタでも何でもねぇｗ

クロージャは、下手にCの概念で説明するよりは、定義をしっかり伝えたほうが、
相手に伝わりやすい代表例じゃないかな。モナドとか継続とかと一緒で。

一応Cでもgcc拡張ならクロージャはある
C++ユーザならC++用語で言うファンクタ（関数オブジェクト）を結構使うはずなので、
ただの関数ポインタとの違いはわかっていると思う
クロージャが近いのは勿論ファンクタのほうだけど、C++のようにいちいち
classやstructでそれを記述する必要がない
もっともC++のそれがあまりに面倒くさかったので、C++でも0xでついにlambdaが
導入されたわけだけど

他のスレでやれ

>>427
誤爆？

>>435
>一応Cでもgcc拡張ならクロージャはある

nested function の事なら、内部関数から参照している変数のスコープの
外からは使えないのでクローズしているとは言えないんじゃないかな。

http://gcc.gnu.org/onlinedocs/gcc/Nested-Functions.html

C なら Blocks を使う方が良さそう。

>>438
そこを読むとinner functionのアドレスを取れると書いてあるけど、
upward funarg problemを解決しているわけではないの?

>>439
環境を保存しておいてくれる訳じゃないからね

>>440 なるほど。危険ではあるが役に立つかも知れないから機能は提供する
ということか。

OCamlにしようか、それともHaskellにしようか迷ってます。
こういう用途ならこっちのほうがいいとか、なんかアドバイスお願いします。

>>442
では、用途を教えてくだしあ

>>443
こーいうやつはプログラミングの勉強自体が目的だろ。

>>444
プログラミングの勉強自体が目的ならhaskell一択

>>444
はい、その通りです。
PHPとJavaとJavaScriptはある程度書けますが、関数型言語をなにかひとつみにつけようと思います。

>>445
よろしければ理由を教えてください。
ぐぐった感じでは、haskellはモナドというのが難しくて多くの人が挫折しているようので、OCamlに傾いてます。

>>446
勉強ってことだし、関数な考え方を得ようってなら純粋なHaskellの方を推奨

勉強自体が目的ならなんで両方やらないのっていう

あと入門用に、英語読めるなら、比較的平易な英文で書いてある

http://learnyouahaskell.com/

を挙げておきます。下の方にあるonlineを選ぶと、売っているものに近い内容が読めますよ。

OCamlの入門書が1冊、Haskellの入門書が数冊出てるからどれか1つ、
とりあえず借りるか買うかして、それぞれ第1章ぐらいやってみなさい。

>>446
関数型言語の特徴が余す事なく取り入れられてる
モナドは使う分には難しくない
使う分にはシンプル イズ ベストな書き方がやり易い言語

モナドを分からないと使えるようにならないと勘違いして脱落する人多いけど、モナドの理論的背景を理解する必要は無い
気になるなら気長に勉強しなされ

OCamlはループも有るし、副作用対策諦めてるし、手続き型言語に限りなく近い関数型言語って感じ

速いコード吐けるけど、昨今の関数型言語の特徴取り入れた手続き型言語が多い時代に勉強する意味は薄い

手続きばっかだっし、古典のschemeでいいんじゃねーの？

Lisp族はLisp族で悪くないけど、関数型プログラミングを今時勉強するならその選択はない。

>>452
カリー分と遅延評価がデフォルトで付いてない
自分で同じ事を再現とかは出来るけど、それじゃ関数型言語の学習とは違う

>>449
haskellスレで翻訳中って聞いたぞ
あと、kindleでサンプル読んだ限りじゃプログラミングhaskellの内容を砕けた言葉とイラストで書いてるだけに見える
内容的にはすでに翻訳されてるプログラミングhaskellで十分

みなさん、ありがとうございます。
OCamlスレなのにHaskell勧める人ばかりなので、OCamlに未練はあるけど、思い切ってHaskellやってみようと思います。

>>456
いや。。。
haskellもMLの子孫なんだが。。。

>>456
俺はHaskell→OCamlと来た。
どっち先でもいいし、両方やればいいんじゃないだろうか。
片方しかやっちゃいけない決まりはないんだし。
面白いことは何でもやるべきだよ。
ミニ四駆だって、マグナムセイバーを買う傍ら、ソニックセイバーも買っただろ。それと同じ。

そんなことはどうでもいい。OCamlのサイトが404だ。
http://caml.inria.fr/ocaml

げ、ほんとだ

すごいタイミング
>>456にはOCamlと縁が無かったんだな。。。

ついにオワコンか

OCamlがOCamlとして生まれ変わった際のゴタゴタだそうだよ

http://twitter.com/#!/camlspotter/status/97519093602717696
>描いたのは俺！
>RT @y_echo
>RT @kinaba: なにがあったのwww
>RT @kikx これは変わりすぎだろ！
>RT @yoshihiro503 ちょ、 OCaml のサイトが激しくイメチェンしてる caml.inria.fr

OCamlってもう手に入らないん？

>>465
http://twitter.com/#!/camlspotter/status/97683309177475073
>一つだけ皆さんに言っておきます。毎年この時期には OCaml には何かが起きます。
>それはリア充関係者がバカンスに行ってしまって連絡が取れなくなるからです。
> RT @ytomino ocamlがついに滅んだと聞いて(遅い
http://twitter.com/#!/camlspotter/status/97685810127716353
>てか週末にサーバ不調になったら48時間止まるのあたりまえやろ？人間として。
http://twitter.com/#!/camlspotter/status/97686190618181632
>と haskell.org が落ちたときには wktk してた人が言っても説得力ありませんな

とりあえずフランスの月曜日昼(日本時間21時ごろ)まで待ちましょう。
それまでに復旧しなければ長期化確定ですね。

つ http://proofcafe.co.cc/ocaml/

>>466
直らんね。もうしばらく待つか。

復活したね

Lisp族はいいぞ。でもclojureを触っているとhaskellの影響がかなり大きい。

ocamlも触ってみたいけど、いまHaskell勉強中なんだ。たぶん、来年くらいには
やれればな。HaskellってLispと同じでプログラム作成までの抽象化も含めた
戦略を練るのに時間がかかる言語って感じがしました。Ocamlも同じなんだろうね。

haskellはデータ構造を作るプログラミングになるって、山本和彦さんが言ってた

>>470
Haskell影響は並列周りでしょ。
そもそもSTMはHaskell由来じゃないし。
他はもろLisp直系じゃん。

>>472
見た目だけで話してるでしょ？
実際に触ってみればわかるけど、無限ストリーム近辺の関数はHaskellと
かなり近いよ。takeとかその辺のことね。common lispでも自作する方法は
あってもこの手の物は標準でないしね。
だから、リストの取り扱いってがhaskellに近くなってる。
>>471
なるほど

takeはHaskell以前からある。

>>472
> そもそもSTMはHaskell由来じゃないし。

でも中興の祖はHaskellの人(Tim Harris)じゃないっけ？

それはそう。Monadの経験が役に立った。

>>474
ミランダとかなの？よくしらないけど(wikiでちょっと見たけど、
haskellの親玉っぽかった。）
それはともかく、Clojureが関数型の大きな影響をかんじるのは
イミュータブルなところかも。あれのお陰で、副作用をもたせようと
思ったら基本的にSTMの部分を活用しなきゃならない。（java固有の
ライブラリは例外的なんだけど。）それと遅延評価言語だって
ところがcommon lisp を触ってる時よりhaskellの影響を感じやすいのかも。
あとは内包表記かな。wikiにはlisp,ML, haskell erlangが影響を受けた言語
とかかれている。

R診たいなことが全部できるMLないのかよ。

卒業研究でOCamlのライブラリ作ってます。
おもしろいことありますでしょうか？

SML#の新verがひっそり出てた

>>479
どんなライブラリでしょうか？

>>479
どんなライブラリをつくったら面白いでしょうか？
なのか
ライブラリを作ることはテーマとして面白味があるでしょうか？
なのか。

＾＾；

OpenFlow コントローラのライブラリなどはいかが？
比較的、ホットなトピックだと思うけど。

http://www.google.co.jp/search?q=functional+reactive+programming+openflow

ＭＬの型推論の部分だけ「俺言語」の中に取り込みたい
型推論の部分だけ分かりやすくコンパクトにまとめられたコードどこかにないでしょうか

>>485
http://en.wikipedia.org/wiki/Hindley%E2%80%93Milner

>>485
このテキストの17章
http://www.scala-lang.org/docu/files/ScalaByExample.pdf
タイガー本の16章
http://www.cs.princeton.edu/~appel/modern/ml/

>>485
Prolog で型チェック：Rainy Day Codings：So-net blog
　http://rainyday.blog.so-net.ne.jp/2008-06-16

題名は型チェックだけど、コードはまぎれもなく型推論

ああPrologだから単一化で型推論が起きるのか。

prologで型推定が一番楽にできそう
しかし返値しか推定してないね

SMLやろうと思うんだけど、関数書いたファイルはどこ入れときゃいいの？

WinにもOCaml3.12.1きてるー
http://gallium.inria.fr/~protzenk/caml-installer.html

>>492
SML/NJの場合だと、適当なファイル(例えばhoge.sml)に保存して、保存した
フォルダでNJの対話環境を起動して、
use "hoge.sml"
とすればよい。useはカレントディレクトリからソースを読み込む関数で、
カレントディレクトリの取得/変更は、
OS.FileSys.getDirとOS.FileSys.chDirでできる。

>>493
ありがとう！

http://queue.acm.org/detail.cfm?id=2038036

これみるとC#とかやってられんな

型推論があるから簡潔になるのか
パターンマッチがあるから簡潔になるのか

両方

高階関数とカリー化も簡潔に書くのに一役買ってる

>>495
ひどいよな。C#じゃ複雑なデータ構造を扱おうなんてすると沼じゃないか！
今Haskellの勉強をしててOcamlは読んだことはなかったんだけど
読めるもんだなとも思った。

The C# code, while functionally equivalent, looks cluttered,
with the real structure obscured by syntactic noise.

事実だけど、辛辣だな。

>>499
関数型言語群はMLの影響が強いからね。
C言語系という言い方では、ML系と言ってしまってもいい。

>>501
なるほど、ML系かぁ。そういわれれば納得です。

C#とかJavaとかはジェネリックが狂ってるな

js_of_ocaml が面白そうだな

ocamlてmain関数的なエントリポイントって無いの？
Pythonみたいな泥臭い方法でもいいんだけど．

具体的に OCaml で何をしたいのか、Python のどこがダサいのか
書いた方が答をもらいやすいよ

>>505
OCamlにエントリポイントはないです。__main__とかないです。
ocamlc -o a.out a.ml b.ml c.mlとしてコンパイルすると、
a.outの動きとしてはmodule A,B,Cの順番で評価されるイメージになります。

最近HaskellからOCamlに興味を持って少し触り始めたんですが，OCamlの対話環境にはghciの「:i 」みたいなものは無いんでしょうか？

「なぜ次に学ぶ言語は関数型であるべきか」
http://d.hatena.ne.jp/ymotongpoo/20111105/1320506449
原文: http://queue.acm.org/detail.cfm?id=2038036

toplevel の pretty printer を普通のプログラム内で使う方法ってありますか。

>>509
どしょっぱつの，Sometimes, が訳されていないとか，いろいろと
気になるところはあるけれど，大意は伝わった。うむうむ。