519コメント169KB

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

■ このスレッドは過去ログ倉庫に格納されています

0001デフォルトの名無しさん

2009/06/15(月) 07:15:21

関数型言語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/

0496デフォルトの名無しさん

2011/10/13(木) 22:44:28.70

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

0497デフォルトの名無しさん

2011/10/13(木) 22:47:43.98

両方

0498デフォルトの名無しさん

2011/10/13(木) 23:19:58.73

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

0499デフォルトの名無しさん

2011/10/14(金) 07:40:42.96

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

0500デフォルトの名無しさん

2011/10/14(金) 07:48:35.09

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

事実だけど、辛辣だな。

0501デフォルトの名無しさん

2011/10/14(金) 11:38:18.36

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

0502デフォルトの名無しさん

2011/10/14(金) 21:38:01.24

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

0503デフォルトの名無しさん

2011/10/14(金) 22:41:41.95

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

0504デフォルトの名無しさん

2011/10/16(日) 05:15:33.48

js_of_ocaml が面白そうだな

0505デフォルトの名無しさん

2011/10/19(水) 21:52:08.21

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

0506デフォルトの名無しさん

2011/10/20(木) 12:56:49.09

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

0507デフォルトの名無しさん

2011/10/20(木) 14:05:46.81

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

0508デフォルトの名無しさん

2011/11/06(日) 03:27:50.02

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

0509デフォルトの名無しさん

2011/11/06(日) 06:11:24.22

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

0510デフォルトの名無しさん

2011/11/06(日) 22:31:50.25

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

0511デフォルトの名無しさん

2011/11/07(月) 22:42:07.36

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

0512デフォルトの名無しさん

2011/11/12(土) 05:42:33.31

>>510 #install_printer のやつ？

0513デフォルトの名無しさん

2011/11/12(土) 05:53:40.36

>>510 言語は？

0514デフォルトの名無しさん

2011/11/19(土) 10:47:17.91

http://scan.netsecurity.ne.jp/article/img/2011/11/13/27625/93.html
tokuhirom、ma.la？っていう人の話だけ聞きたい
色々なスレで見かけるけどWEB業界で有名らしいね
動画ありませんか？

0515デフォルトの名無しさん

2011/11/23(水) 00:53:05.05

The little MLerの情報って調べたけど少ないね。大学の図書館
とかなら有りそうに思うけど、今は大学と関係ないから探せんわ。
SML中心で書いてるようだ。Ocamlへの改変の仕方ものってる
というのはgoogle booksでわかった。
使って学習した人っておらんの？

0516デフォルトの名無しさん

2011/11/23(水) 09:07:06.79

NACSIS Webcatで検索するか買えば？
面白いよ。

0517デフォルトの名無しさん

2011/11/23(水) 14:49:34.72

NACSIS Webcatか
http://webcat.nii.ac.jp/cgi-bin/shsproc?id=BA3501073X
意外とおいてるところ少ないね。今学習してる本が片付いたら
購入検討するわ。

0518デフォルトの名無しさん

2011/11/23(水) 15:07:11.14

http://www.d12k.org/tso/intro.html

0519デフォルトの名無しさん

2011/12/10(土) 10:15:38.86

age

■ このスレッドは過去ログ倉庫に格納されています