- 1 名前：デフォルトの名無しさん mailto:sage [2007/08/05(日) 14:49:54 ]
- 関数型言語MLについて語るスレッドです。
MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても優れています。
総本山
Standard ML www.smlnj.org/
Objective Caml caml.inria.fr/ocaml/
前スレ
関数型言語ML(SML, OCaml, etc.), Part 4
pc11.2ch.net/test/read.cgi/tech/1133003340/
- 906 名前：デフォルトの名無しさん mailto:sage [2009/05/09(土) 22:30:47 ]
- ここまでGUIプログラムを開発した人なし
- 907 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 11:28:08 ]
- LablGtk の glade インターフェースを 5 年前に使ったけど、まあ、glade だったよ。
- 908 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 14:22:49 ]
- GUIイラネ
- 909 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 15:00:29 ]
- >>908
で？
- 910 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 15:01:42 ]
- 別にGUIイランやつはイランで結構だろ。
誰も強制なんかしてないんだし。
ここでそんなこと表明する意味がわからん。
- 911 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 16:25:14 ]
- GUIイラネの人じゃないけど、言語処理系をパッケージシステムで
インストールするとき、最近はGUIツールキットまで一緒に入れようと
するのが結構あってうざいんだよね。幸いML関連でそういうのにあたった
ことはないけど、こないだMacPortsでSWI-PrologとErlangを入れたら
いろいろ勝手に入って来て大変だった。オプションでも外せないし。
将来lablgtkなんかを強制されるようになったらOCaml捨てたくなる。
こっちは今後もコマンドラインだけでひっそり生きていきたいんだから
ほっといてほしい。
- 912 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 16:42:41 ]
- そんなもん、自分でコンパイルすりゃ良いんじゃねーの？
GUI無きゃないで、
「今時、言語側でdefaultでGUIぐらいつけろ。」
とか言う人出そうだし。
オメーン所の、パッケージ作成者に言うことだろうが。
- 913 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 16:50:45 ]
- デフォルトでついていても使わなきゃいいだけの話。
もしデフォルトで付いていればインストールの手間もなくなるし、
公式お墨付きということでヒューマンインターフェースが共通化されて利用者にとって便利になる。
どうしてもそれに不満があれば別のライブラリをインストールすればいいだけのことだし。
言語にGUIライブラリがくっついていたら何が不満なのかわからん。
容量にしてもインストール時間にしても対して違わない。
処理系を自前でコンパイルしてるやつは多少コンパイル時間が長くなるが、些細な問題だよな。
- 914 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 17:53:25 ]
- >>913
たとえば、SWI-Prologのインストールで入ったライブラリのために、
別の言語のインストールでエラーになるということはあるよ。
- 915 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 17:56:07 ]
- ディスク容量が限られてる環境なので、依存するライブラリをあれこれ
入れられるとうっとおしい、とか、サーバサイドアプリで、サーバには
あれこれ入れたくないとか、パッケージ管理システムがバイナリベース
じゃなくてゴリゴリコンパイルするのでやってられない、とか。
（パッケージのメンテナが）簡単に分離できるような構成にしておいて
ほしい、という要望はありなんじゃないか？
- 916 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 18:10:00 ]
- つGentoo
- 917 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 18:20:41 ]
- >>911
MacPortsならパッケージ作成者がGUI無しのvariantsを用意すればいいだけの
話だよな。それが嫌だったらパッチ書いて送るしかないだろ。
- 918 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 18:21:16 ]
- >>915
> （パッケージのメンテナが）簡単に分離できるような構成にしておいて
> ほしい、という要望はありなんじゃないか？
それはアリだな
- 919 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 18:28:08 ]
- 似たような文句のある人っているんだね。
X関連をいろいろ入れろと要求するのは勘弁してほしいよね。
あくまで言語を入れたいんだからGUIはあくまでオプションにしていてほしい。
こっちはGnomeみたいなリッチなデスクトップじゃなくてまだtwmなんだよ。
- 920 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 19:12:50 ]
- >>919
twmって割と重くて使いにくいと思ってたんだがまだ使ってる人いたんだww
みんなawesomeとかfluxboxとかに移行しちゃったと思ってた。
- 921 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 19:24:48 ]
- 基本的にUIに興味ないもんでいろいろ試すのが面倒で。
言語は片っ端から使ってみているのだけど。
# 言語もある意味UIの一種だというツッコミを受けそうだ :-)
- 922 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 19:39:25 ]
- コンピュータを何につかってんの？
どうせ論文にもならないような研究ごっこやって妄想して遊んでるだけだろ。
- 923 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 21:38:30 ]
- たぶん>>921さんみたいな人はWindows（メイン）ともう一台（実験用）みたいな構成だと予想。
- 924 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 21:44:55 ]
- まぁ2chよりでくだらない煽りを書いてるよりは有意義なことかと
- 925 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 22:25:07 ]
- >>922
俺は自宅で10台ぐらいのクラスタで論文にできる研究やってるよ
- 926 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 22:27:37 ]
- ただ並列化して測定しました、という類の論文は勘弁してくれ
査読するたびにうんざりする
- 927 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 22:35:02 ]
- >>925
InfiniBandか10GbEか分からんけど、電気代凄そうだな
- 928 名前：925 mailto:sage [2009/05/11(月) 22:44:36 ]
- >>926
そんなどこかの高校生じゃあるまいしｗ
- 929 名前：925 mailto:sage [2009/05/11(月) 22:48:01 ]
- >>926
頼まれたこともないくせにｗ
- 930 名前：925 mailto:sage [2009/05/11(月) 22:49:09 ]
- >>927
家庭用だぜ？
1GbEに決まってるだろ
- 931 名前：デフォルトの名無しさん mailto:sage [2009/05/11(月) 22:58:29 ]
- これは推して知るべしだな
- 932 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 00:46:29 ]
- 10台ぽっちでクラスタって…
- 933 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 12:42:55 ]
- >>911
macports使ってるけど、Xがからまないと確かに気楽だなあ。
macportsだったら、swi-prolog-liteがおすすめ。
- 934 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 13:12:16 ]
- 関数型言語の話題になっていない件について。
ライブラリが豊富なのが魅力で最近やっとSML/NJからOCamlに移行したんだが、
SMLで書いたコードを書き換えるのが結構面倒。
文法的にもOCamlって面倒臭く感じるんだけど、単なる慣れの問題？
- 935 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 13:20:43 ]
- let fun や let val とか tuple には必ず括弧を書いていた癖に、
何が面倒なのかわからんが、camlp5 には pa_sml があるのでそれを使ってみ？
- 936 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 14:15:41 ]
- 再帰関数の定義がlet recだったり関数引数のパターンマッチングを
let funcName = function ... | ... のように書くのが面倒に思えたんで。
確かにSMLにも冗長な部分はあるし、慣れだとは思うんだが。
何らかのトランスレータはあると思っていたのだが、camlp5なんて便利なものが
あったとは。2000行程のSMLコードをうまく変換出来たよ。どうもありがとう。
- 937 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 14:50:17 ]
- >>932
どうでもいいけど、計算そのものの研究ならクラスタであれば台数は関係ないのでは？
- 938 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 16:03:34 ]
- >>936
ホントに変換できたんだ！知らずに教えといてすまんが、使ったことなかったんで。
- 939 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 16:45:46 ]
- >>938
camlp5 pa_sml.cmo pr_o.cmo -impl MyModule.sml
で変換できた。printをprint_stringに置換する必要はあったけど。
まじで助かった。
- 940 名前：デフォルトの名無しさん mailto:sage [2009/05/12(火) 17:41:59 ]
- それはよござんした
- 941 名前：デフォルトの名無しさん [2009/05/12(火) 23:47:13 ]
- 関数型言語って、常微分方程式の初期値問題の数値解を求めたりするのには向いてますか？
科学技術計算を中心にした関数型言語の入門書でなにかいいのありますか？
- 942 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 00:31:28 ]
- f# for scientists
- 943 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:36:30 ]
- >>925
なぜ自宅で?
まともな研究じゃないな
- 944 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:37:24 ]
- 粘着乙
- 945 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:38:10 ]
- >>944
早ッ!!
- 946 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:39:01 ]
- >>942
Harrop の本なんか読むなよ、頼むから。
- 947 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 14:57:42 ]
- >>943
大学にいる人間じゃないから、そういう研究は自宅でしかできないんだよ。
- 948 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 22:16:09 ]
- >>946
その著者が書いた唯一の本のようだが。
- 949 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 22:52:58 ]
- >>947
計算機科学の研究は分野によってはPC1台でも十分に出来るのが良い所。
ぜひ成果を出して論文投稿してくれ。
- 950 名前：デフォルトの名無しさん mailto:sage [2009/05/13(水) 22:56:19 ]
- 成果が出なくても rm するだけというのも良い所。
- 951 名前：デフォルトの名無しさん mailto:sage [2009/05/14(木) 08:42:20 ]
- >>948
その著者が書いたSpamは山程ある。
- 952 名前：デフォルトの名無しさん [2009/05/14(木) 22:02:27 ]
- うまいこといいやがって
- 953 名前：デフォルトの名無しさん mailto:sage [2009/05/17(日) 19:01:26 ]
- >>946 >>951
ｋｗｓｋ
- 954 名前：デフォルトの名無しさん mailto:sage [2009/05/21(木) 09:43:34 ]
- john harrop troll でググレカス
- 955 名前：デフォルトの名無しさん mailto:sage [2009/05/21(木) 14:26:16 ]
- John Harropってtrollすぎてワロタ
|
 |
