関数型言語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/
0403デフォルトの名無しさん
2011/04/17(日) 21:40:45.30そのページ印刷して本に挟んどけよ
0404デフォルトの名無しさん
2011/04/17(日) 22:50:12.49これぐらいの量の間違いは大したことないと思う。
0405デフォルトの名無しさん
2011/04/17(日) 22:51:29.380406デフォルトの名無しさん
2011/04/18(月) 00:31:01.420407デフォルトの名無しさん
2011/04/18(月) 08:22:14.270408デフォルトの名無しさん
2011/04/18(月) 11:08:36.970409デフォルトの名無しさん
2011/04/20(水) 18:55:51.89アマゾンで下のレビュー書いた人かいｗ
0410デフォルトの名無しさん
2011/04/20(水) 20:57:40.94ヨウ素がリストの参照になっているようなベクトルを用意して、各要素に
データを追記していくような処理をさせると(具体的には、複数の時系列を記録
したファイルがあって、これを時間順に読む)、追記回数の自乗のオーダの
処理時間が掛る。リストの先頭に追加しているだけなので、線形時間でやって
ほしい。
0411デフォルトの名無しさん
2011/04/20(水) 20:58:06.52val 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
0412デフォルトの名無しさん
2011/04/20(水) 21:15:18.300413sage
2011/04/20(水) 21:46:08.880414デフォルトの名無しさん
2011/04/21(木) 00:19:44.70bigVの大きさを一桁下げると速度がぐっと変わるし、GCとかのせいな気がする。
0415デフォルトの名無しさん
2011/04/26(火) 20:50:17.84C言語だとHello Worldから始まって、リスト処理は構造体とポインタの応用問題という位置づけだった。
SMLはいきなりリストと再帰の話から始まるｗ
BASICは、LISPよりも後から開発されて、しかも同じダートマス大学発祥だけど、
リスト処理が実装されていないのもそれなりの理由があったのかなと思う。
0416デフォルトの名無しさん
2011/04/26(火) 21:56:29.550417デフォルトの名無しさん
2011/04/26(火) 22:12:07.58> BASICは、LISPよりも後から開発されて、しかも同じダートマス大学発祥だけど、
> リスト処理が実装されていないのもそれなりの理由があったのかなと思う。
LISPとBASICじゃ作られた目的が全然違う
それに当時の計算機の性能ではリスト処理は時間的にもメモリ的にも大変重い処理だった
今の感覚や価値観は60年代の計算機や言語・ソフトの評価や判断には全く通用しない
0418デフォルトの名無しさん
2011/04/27(水) 00:17:49.66その信念に基づいた妄想を長々と書きこむところ、
これはその人の性質をよく表していると思う。
こういうひとのためにも緩い言語は必要。
ML系はそういうのとは全然違う。
0419デフォルトの名無しさん
2011/04/27(水) 14:00:52.81ポインタ+構造体+慎重な操作を免除して、いきなりリストが使えるのが
売りだと思うのだけれど。
また、MLは破壊的代入+whileループが特別な儀式をしなくても使えるの
で、再帰を学ばなくてもある程度は使える。
0420デフォルトの名無しさん
2011/05/18(水) 01:03:29.10やつを追う前に言っておくッ！
おれは今やつのStateTをほんのちょっぴりだが体験した
い…いや…体験したというよりはまったく理解を超えていたのだが……
,. -‐'''''""¨¨¨ヽ
(.＿＿_,,,... -ｧァﾌ| あ…ありのまま 今 起こった事を話すぜ！
|i i| }! }} /／|
|l､{ j} /,,ｨ//｜ 『おれは奴の前で階層を lift していたと
i|:!ヾ､_ﾉ／ u {:}//ﾍ 思ったらいつのまにか lift が消えていた』
|ﾘ u' τ ,ﾉ _,!V,ﾊ |
／´fト､_{λ{,ィ'ｅﾗ , ﾀ人 な… 何を言ってるのか わからねーと思うが
/' ヾ|宀| {´,)⌒`/ |<ヽﾄiゝ おれも何をされたのかわからなかった…
,ﾞ ／ )ヽ iLﾚ u' | | ヾｌﾄﾊ〉
|／_／ ﾊ !ニ⊇ '／:} ∀:::ヽ 頭がどうにかなりそうだった…
/／ 二二二7'T'' ／u' __ /:::::::/｀ヽ
/'´r -―一ｧ‐ﾞＴ´ '"´ ／::::／-‐ ＼ キャストだとかサブタイピングだとか
/ // 广¨´ /' ／:::::／´￣｀ヽ ⌒ヽ そんなチャチなもんじゃあ 断じてねえ
ﾉ ' / ノ:::::`ー-､___／:::::／/ ヽ }
_／｀丶 /::::::::::::::::::::::::::￣`ー-{:::... ｲ もっと恐ろしいものの片鱗を味わったぜ…
0421デフォルトの名無しさん
2011/06/08(水) 22:38:54.290422デフォルトの名無しさん
2011/06/20(月) 02:35:53.95ターミナルでTwitterクライアントが動くらしいので
Ocamltterに手を出してみる。
そういえば親父がLISP好きだったのを思い出す。
0423デフォルトの名無しさん
2011/06/20(月) 02:43:18.060424デフォルトの名無しさん
2011/06/20(月) 02:48:34.900425デフォルトの名無しさん
2011/06/20(月) 07:42:00.20for文と違う。
数学者にやらせると面白いことになりそうな謎のワクワク感を感じる言語ではある。
0426デフォルトの名無しさん
2011/06/30(木) 22:40:46.750427天使 ◆uL5esZLBSE
2011/07/05(火) 04:45:54.85ここで、Ruby以外を選ぶ奴ってマジでなんなんだろうな
ゴミの分際でｗ
0428デフォルトの名無しさん
2011/07/05(火) 11:37:20.29科学計算を主に念頭においてるものだったら、Python一択になってくるよ。
それだけライブラリが充実している。scipy,numpy,matplotlib,mayaviなんて
のがあるからね。
>>415
手続き脳から見れば当然難しいけど、数学の漸化式を知ってれば再帰は
馴染みやすいし問題ないよ。難しくしてるのは頭の中で無理やり手続き型
に想定して理解しようとする癖があるからだよ。手続き型に染まった連中が
苦労するのはその悪癖が抜けないから。
リストとか関数の取り扱い（Cでいうと関数ポインタだな。）は手続きにとって
みれば高嶺の花だけど、そこが一番簡単にさせている要因なんだよね。
手続きに染まった人ってただ頭が硬直しただけなんだよ。
0429デフォルトの名無しさん
2011/07/05(火) 11:40:45.99誤解を招くだけでないかな。
0430デフォルトの名無しさん
2011/07/05(火) 12:09:28.96じゃあどう簡潔に言えばいいか示してくれ。それだけでいいよ。
0431デフォルトの名無しさん
2011/07/05(火) 12:14:26.970432デフォルトの名無しさん
2011/07/05(火) 12:20:26.45手続き脳の人相手に話をする場合、それで通じれば問題がないけど
彼らの試行の中で比較的近いものを取り上げて説明しようとしないと
たぶん、言葉が通じないと思うよ。CS専攻の連中相手に話をするならば
それで問題はないよ。もし知らなければ不勉強だってことだからさ。
0433デフォルトの名無しさん
2011/07/05(火) 19:57:30.540434デフォルトの名無しさん
2011/07/05(火) 20:12:36.48クロージャは、下手にCの概念で説明するよりは、定義をしっかり伝えたほうが、
相手に伝わりやすい代表例じゃないかな。モナドとか継続とかと一緒で。
0435デフォルトの名無しさん
2011/07/05(火) 20:37:31.44C++ユーザならC++用語で言うファンクタ（関数オブジェクト）を結構使うはずなので、
ただの関数ポインタとの違いはわかっていると思う
クロージャが近いのは勿論ファンクタのほうだけど、C++のようにいちいち
classやstructでそれを記述する必要がない
もっともC++のそれがあまりに面倒くさかったので、C++でも0xでついにlambdaが
導入されたわけだけど
0436デフォルトの名無しさん
2011/07/07(木) 11:04:09.840437デフォルトの名無しさん
2011/07/07(木) 13:02:54.88誤爆？
0438デフォルトの名無しさん
2011/07/09(土) 19:06:45.30>一応Cでもgcc拡張ならクロージャはある
nested function の事なら、内部関数から参照している変数のスコープの
外からは使えないのでクローズしているとは言えないんじゃないかな。
http://gcc.gnu.org/onlinedocs/gcc/Nested-Functions.html
C なら Blocks を使う方が良さそう。
0439デフォルトの名無しさん
2011/07/12(火) 19:45:27.51そこを読むとinner functionのアドレスを取れると書いてあるけど、
upward funarg problemを解決しているわけではないの?
0440デフォルトの名無しさん
2011/07/12(火) 20:32:45.49環境を保存しておいてくれる訳じゃないからね
0441デフォルトの名無しさん
2011/07/12(火) 22:06:56.99ということか。
0442デフォルトの名無しさん
2011/07/30(土) 19:06:44.85こういう用途ならこっちのほうがいいとか、なんかアドバイスお願いします。
0443デフォルトの名無しさん
2011/07/30(土) 19:45:47.15では、用途を教えてくだしあ
0444デフォルトの名無しさん
2011/07/30(土) 20:08:56.47こーいうやつはプログラミングの勉強自体が目的だろ。
0445デフォルトの名無しさん
2011/07/30(土) 20:16:25.35プログラミングの勉強自体が目的ならhaskell一択
0446デフォルトの名無しさん
2011/07/30(土) 20:42:08.59はい、その通りです。
PHPとJavaとJavaScriptはある程度書けますが、関数型言語をなにかひとつみにつけようと思います。
>>445
よろしければ理由を教えてください。
ぐぐった感じでは、haskellはモナドというのが難しくて多くの人が挫折しているようので、OCamlに傾いてます。
0447デフォルトの名無しさん
2011/07/30(土) 20:52:58.37勉強ってことだし、関数な考え方を得ようってなら純粋なHaskellの方を推奨
0448デフォルトの名無しさん
2011/07/30(土) 20:54:22.930449デフォルトの名無しさん
2011/07/30(土) 20:56:02.64http://learnyouahaskell.com/
を挙げておきます。下の方にあるonlineを選ぶと、売っているものに近い内容が読めますよ。
0450デフォルトの名無しさん
2011/07/30(土) 21:05:00.48とりあえず借りるか買うかして、それぞれ第1章ぐらいやってみなさい。
0451デフォルトの名無しさん
2011/07/30(土) 21:05:33.97関数型言語の特徴が余す事なく取り入れられてる
モナドは使う分には難しくない
使う分にはシンプル イズ ベストな書き方がやり易い言語
モナドを分からないと使えるようにならないと勘違いして脱落する人多いけど、モナドの理論的背景を理解する必要は無い
気になるなら気長に勉強しなされ
OCamlはループも有るし、副作用対策諦めてるし、手続き型言語に限りなく近い関数型言語って感じ
速いコード吐けるけど、昨今の関数型言語の特徴取り入れた手続き型言語が多い時代に勉強する意味は薄い
0452デフォルトの名無しさん
2011/07/30(土) 21:07:10.730453デフォルトの名無しさん
2011/07/30(土) 21:10:08.690454デフォルトの名無しさん
2011/07/30(土) 21:16:22.99カリー分と遅延評価がデフォルトで付いてない
自分で同じ事を再現とかは出来るけど、それじゃ関数型言語の学習とは違う
0455デフォルトの名無しさん
2011/07/30(土) 21:20:58.25haskellスレで翻訳中って聞いたぞ
あと、kindleでサンプル読んだ限りじゃプログラミングhaskellの内容を砕けた言葉とイラストで書いてるだけに見える
内容的にはすでに翻訳されてるプログラミングhaskellで十分
0456デフォルトの名無しさん
2011/07/30(土) 21:28:52.08OCamlスレなのにHaskell勧める人ばかりなので、OCamlに未練はあるけど、思い切ってHaskellやってみようと思います。
0457デフォルトの名無しさん
2011/07/30(土) 21:34:22.91いや。。。
haskellもMLの子孫なんだが。。。
0458デフォルトの名無しさん
2011/07/30(土) 21:36:14.27俺はHaskell→OCamlと来た。
どっち先でもいいし、両方やればいいんじゃないだろうか。
片方しかやっちゃいけない決まりはないんだし。
面白いことは何でもやるべきだよ。
ミニ四駆だって、マグナムセイバーを買う傍ら、ソニックセイバーも買っただろ。それと同じ。
0459デフォルトの名無しさん
2011/07/30(土) 22:15:41.84http://caml.inria.fr/ocaml
0460デフォルトの名無しさん
2011/07/30(土) 23:17:43.260461デフォルトの名無しさん
2011/07/30(土) 23:23:32.07>>456にはOCamlと縁が無かったんだな。。。
0462デフォルトの名無しさん
2011/07/30(土) 23:29:26.270463デフォルトの名無しさん
2011/07/30(土) 23:50:18.390464デフォルトの名無しさん
2011/07/31(日) 21:38:50.21>描いたのは俺！
>RT @y_echo
>RT @kinaba: なにがあったのwww
>RT @kikx これは変わりすぎだろ！
>RT @yoshihiro503 ちょ、 OCaml のサイトが激しくイメチェンしてる caml.inria.fr
0465デフォルトの名無しさん
2011/08/01(月) 08:56:35.190466デフォルトの名無しさん
2011/08/01(月) 10:15:28.29http://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時ごろ)まで待ちましょう。
それまでに復旧しなければ長期化確定ですね。
0467デフォルトの名無しさん
2011/08/01(月) 10:34:00.780468デフォルトの名無しさん
2011/08/01(月) 22:02:08.55直らんね。もうしばらく待つか。
0469デフォルトの名無しさん
2011/08/01(月) 22:10:14.760470デフォルトの名無しさん
2011/08/02(火) 18:02:01.87ocamlも触ってみたいけど、いまHaskell勉強中なんだ。たぶん、来年くらいには
やれればな。HaskellってLispと同じでプログラム作成までの抽象化も含めた
戦略を練るのに時間がかかる言語って感じがしました。Ocamlも同じなんだろうね。
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系かぁ。そういわれれば納得です。
■ このスレッドは過去ログ倉庫に格納されています