関数型言語ML (SML, OCaml, etc.), Part 6
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2009/06/15(月) 07:15:21MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても優れています。
総本山
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/
0471デフォルトの名無しさん
2011/08/02(火) 20:08:11.410472デフォルトの名無しさん
2011/08/02(火) 20:23:02.98Haskell影響は並列周りでしょ。
そもそもSTMはHaskell由来じゃないし。
他はもろLisp直系じゃん。
0473デフォルトの名無しさん
2011/08/02(火) 21:58:52.67見た目だけで話してるでしょ？
実際に触ってみればわかるけど、無限ストリーム近辺の関数はHaskellと
かなり近いよ。takeとかその辺のことね。common lispでも自作する方法は
あってもこの手の物は標準でないしね。
だから、リストの取り扱いってがhaskellに近くなってる。
>>471
なるほど
0474デフォルトの名無しさん
2011/08/02(火) 23:33:03.740475デフォルトの名無しさん
2011/08/03(水) 02:04:20.65> そもそもSTMはHaskell由来じゃないし。
でも中興の祖はHaskellの人(Tim Harris)じゃないっけ？
0476デフォルトの名無しさん
2011/08/03(水) 02:21:43.190477デフォルトの名無しさん
2011/08/03(水) 09:37:38.27ミランダとかなの？よくしらないけど(wikiでちょっと見たけど、
haskellの親玉っぽかった。）
それはともかく、Clojureが関数型の大きな影響をかんじるのは
イミュータブルなところかも。あれのお陰で、副作用をもたせようと
思ったら基本的にSTMの部分を活用しなきゃならない。（java固有の
ライブラリは例外的なんだけど。）それと遅延評価言語だって
ところがcommon lisp を触ってる時よりhaskellの影響を感じやすいのかも。
あとは内包表記かな。wikiにはlisp,ML, haskell erlangが影響を受けた言語
とかかれている。
0478デフォルトの名無しさん
2011/08/19(金) 10:50:16.310479デフォルトの名無しさん
2011/09/19(月) 21:56:29.91おもしろいことありますでしょうか？
0480デフォルトの名無しさん
2011/09/19(月) 23:59:49.520481デフォルトの名無しさん
2011/09/24(土) 23:23:23.61どんなライブラリでしょうか？
0482デフォルトの名無しさん
2011/09/25(日) 11:44:54.04どんなライブラリをつくったら面白いでしょうか？
なのか
ライブラリを作ることはテーマとして面白味があるでしょうか？
なのか。
0483デフォルトの名無しさん
2011/09/27(火) 20:28:58.480484デフォルトの名無しさん
2011/09/27(火) 20:52:03.96比較的、ホットなトピックだと思うけど。
http://www.google.co.jp/search?q=functional+reactive+programming+openflow
0485デフォルトの名無しさん
2011/09/29(木) 14:23:07.44型推論の部分だけ分かりやすくコンパクトにまとめられたコードどこかにないでしょうか
0486デフォルトの名無しさん
2011/09/29(木) 15:11:00.44http://en.wikipedia.org/wiki/Hindley%E2%80%93Milner
0487デフォルトの名無しさん
2011/09/29(木) 15:56:30.36このテキストの17章
http://www.scala-lang.org/docu/files/ScalaByExample.pdf
タイガー本の16章
http://www.cs.princeton.edu/~appel/modern/ml/
0488365
2011/09/29(木) 18:07:57.87Prolog で型チェック：Rainy Day Codings：So-net blog
http://rainyday.blog.so-net.ne.jp/2008-06-16
題名は型チェックだけど、コードはまぎれもなく型推論
0489デフォルトの名無しさん
2011/09/29(木) 19:09:02.350490デフォルトの名無しさん
2011/10/04(火) 18:43:07.61しかし返値しか推定してないね
0491デフォルトの名無しさん
2011/10/06(木) 15:33:53.100492デフォルトの名無しさん
2011/10/06(木) 19:31:29.68ttp://gallium.inria.fr/~protzenk/caml-installer.html
0493sage
2011/10/06(木) 20:07:16.49SML/NJの場合だと、適当なファイル(例えばhoge.sml)に保存して、保存した
フォルダでNJの対話環境を起動して、
use "hoge.sml"
とすればよい。useはカレントディレクトリからソースを読み込む関数で、
カレントディレクトリの取得/変更は、
OS.FileSys.getDirとOS.FileSys.chDirでできる。
0494デフォルトの名無しさん
2011/10/06(木) 21:24:34.13ありがとう！
0495デフォルトの名無しさん
2011/10/11(火) 22:10:01.73これみるとC#とかやってられんな
0496デフォルトの名無しさん
2011/10/13(木) 22:44:28.70パターンマッチがあるから簡潔になるのか
0497デフォルトの名無しさん
2011/10/13(木) 22:47:43.980498デフォルトの名無しさん
2011/10/13(木) 23:19:58.730499デフォルトの名無しさん
2011/10/14(金) 07:40:42.96ひどいよな。C#じゃ複雑なデータ構造を扱おうなんてすると沼じゃないか！
今Haskellの勉強をしててOcamlは読んだことはなかったんだけど
読めるもんだなとも思った。
0500デフォルトの名無しさん
2011/10/14(金) 07:48:35.09with the real structure obscured by syntactic noise.
事実だけど、辛辣だな。
0501デフォルトの名無しさん
2011/10/14(金) 11:38:18.36関数型言語群はMLの影響が強いからね。
C言語系という言い方では、ML系と言ってしまってもいい。
0502デフォルトの名無しさん
2011/10/14(金) 21:38:01.24なるほど、ML系かぁ。そういわれれば納得です。
0503デフォルトの名無しさん
2011/10/14(金) 22:41:41.950504デフォルトの名無しさん
2011/10/16(日) 05:15:33.480505デフォルトの名無しさん
2011/10/19(水) 21:52:08.21Pythonみたいな泥臭い方法でもいいんだけど．
0506デフォルトの名無しさん
2011/10/20(木) 12:56:49.09書いた方が答をもらいやすいよ
0507デフォルトの名無しさん
2011/10/20(木) 14:05:46.81OCamlにエントリポイントはないです。__main__とかないです。
ocamlc -o a.out a.ml b.ml c.mlとしてコンパイルすると、
a.outの動きとしてはmodule A,B,Cの順番で評価されるイメージになります。
0508デフォルトの名無しさん
2011/11/06(日) 03:27:50.020509デフォルトの名無しさん
2011/11/06(日) 06:11:24.22http://d.hatena.ne.jp/ymotongpoo/20111105/1320506449
原文: http://queue.acm.org/detail.cfm?id=2038036
0510デフォルトの名無しさん
2011/11/06(日) 22:31:50.250511デフォルトの名無しさん
2011/11/07(月) 22:42:07.36どしょっぱつの，Sometimes, が訳されていないとか，いろいろと
気になるところはあるけれど，大意は伝わった。うむうむ。
0512デフォルトの名無しさん
2011/11/12(土) 05:42:33.310513デフォルトの名無しさん
2011/11/12(土) 05:53:40.360514デフォルトの名無しさん
2011/11/19(土) 10:47:17.91tokuhirom、ma.la？っていう人の話だけ聞きたい
色々なスレで見かけるけどWEB業界で有名らしいね
動画ありませんか？
0515デフォルトの名無しさん
2011/11/23(水) 00:53:05.05とかなら有りそうに思うけど、今は大学と関係ないから探せんわ。
SML中心で書いてるようだ。Ocamlへの改変の仕方ものってる
というのはgoogle booksでわかった。
使って学習した人っておらんの？
0516デフォルトの名無しさん
2011/11/23(水) 09:07:06.79面白いよ。
0517デフォルトの名無しさん
2011/11/23(水) 14:49:34.72http://webcat.nii.ac.jp/cgi-bin/shsproc?id=BA3501073X
意外とおいてるところ少ないね。今学習してる本が片付いたら
購入検討するわ。
0518デフォルトの名無しさん
2011/11/23(水) 15:07:11.140519デフォルトの名無しさん
2011/12/10(土) 10:15:38.86■ このスレッドは過去ログ倉庫に格納されています