- 1 名前：デフォルトの名無しさん mailto:sage [2009/06/15(月) 07:15:21 .net]
- 関数型言語MLについて語るスレッドです。
MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても優れています。
総本山
Standard ML www.smlnj.org/
Objective Caml caml.inria.fr/ocaml/
前スレ
関数型言語ML(SML, OCaml, etc.), Part 5
pc12.2ch.net/test/read.cgi/tech/1186292994/
- 196 名前：デフォルトの名無しさん mailto:sage [2009/09/17(木) 12:56:31 .net]
- open M in e は
let module M' = struct open M let v = e end in v
に変換されるので、ブロックを一つ作る。
普通はたいしたこと無いが、再帰関数中で open M in するのは少し考え物だ。
- 197 名前：デフォルトの名無しさん mailto:sage [2009/09/17(木) 13:09:21 .net]
- すまん、let module M' = struct open M let v = e end in M'v の間違い
let rec f x = open M in e (* e 中に f の再帰呼出あり *)
とか書くと f の呼出しごとにブロックが出来て、時間とメモリを食う。
- 198 名前：デフォルトの名無しさん mailto:sage [2009/09/17(木) 13:13:49 .net]
- M'.v ですー。
- 199 名前：デフォルトの名無しさん mailto:sage [2009/09/19(土) 14:39:44 .net]
- 時間とメモリを食うのはコンパイル時じゃないの？
- 200 名前：デフォルトの名無しさん [2009/09/21(月) 22:22:32 .net]
- 実行時にもオーバーヘッドがある。気になるならベンチ取ってね。
- 201 名前：デフォルトの名無しさん mailto:sage [2009/10/18(日) 14:08:13 .net]
- 浅井さんの「プログラミングの基礎」のサポートページって消えてる？
- 202 名前：デフォルトの名無しさん mailto:sage [2009/10/31(土) 11:31:30 .net]
- birdの書いたsudokuの解放プログラム面白かった。
www.cs.tufts.edu/~nr/comp150fp/archive/richard-bird/sudoku.pdf
- 203 名前：デフォルトの名無しさん [2009/11/09(月) 04:34:20 .net]
- Practical OCaml 買おうかと思ったのですが、評判悪いのが気になりました。
実際に読んだ方いましたら、感想を聞かせてください。
- 204 名前：デフォルトの名無しさん [2009/11/09(月) 23:09:48 .net]
- > Practical OCaml 買おうかと思ったのですが、評判悪いのが気になりました。
> 実際に読んだ方いましたら、感想を聞かせてください。
たった今、ゴミだからいらないという人にもらいました。確かにゴミです。ネタとしてならどうぞ。
- 205 名前：デフォルトの名無しさん mailto:sage [2009/11/10(火) 00:11:27 .net]
- 俺はocamllex ocamlyacc の簡単なチュートリアルが欲しくて買ったけど、
そこについては別にひどくは無かったと思ったよ。
- 206 名前：デフォルトの名無しさん [2009/11/10(火) 04:23:58 .net]
- コードのインデントが至るところで狂っている時点でダメでしょう。
どのページを開いても何かツッコミどころがあるというある意味貴重な本。
値段も安くはないし絶対にお薦めしない。
- 207 名前：デフォルトの名無しさん [2009/11/10(火) 21:20:02 .net]
- d.hatena.ne.jp/camlspotter/20091110/1257833616
rainyday.blog.so-net.ne.jp/2006-11-25
shuns.sakura.ne.jp/?%BD%B5%B5%AD%2F2006-4-
これ出た当時はオライリーのフランス語のやつ（当時すでに絶版）以外ではこれしか本がなかったけど
日本語書籍がいくつもある今買う価値はないと思いますね。
- 208 名前：デフォルトの名無しさん [2009/11/12(木) 00:57:52 .net]
- SML#の大堀先生は、最近、何してるの？
継続してれば、有望だと思ったんだけどな・・・ > SML#
- 209 名前：デフォルトの名無しさん mailto:sage [2009/11/14(土) 00:34:44 .net]
- >>201
apressの書籍ってほとんどハズレだと思う
これもハズレだったよ
- 210 名前：デフォルトの名無しさん mailto:sage [2009/11/14(土) 02:34:17 .net]
- 【科学】道路に軍手が落ちているワケ、名城大研究チームが突き止める[09/11/05]
namidame.2ch.net/test/read.cgi/hidari/1257990721/
- 211 名前：デフォルトの名無しさん mailto:sage [2009/11/17(火) 02:45:27 .net]
- くそう軍手……気になる
- 212 名前：デフォルトの名無しさん mailto:sage [2009/11/17(火) 13:34:53 .net]
- 推測の為の方程式として，土礼君の方程式がよく知られている．
しかし，パラメータの値には様々な見解がある．
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:道路上の軍手の寿命
- 213 名前：デフォルトの名無しさん mailto:sage [2009/11/17(火) 17:11:18 .net]
- 靴とか靴下が落ちているワケも気になるぞ
誰か研究してくれ
- 214 名前：デフォルトの名無しさん mailto:sage [2009/11/17(火) 23:27:17 .net]
- そりゃ浮いてたら邪魔だからじゃないか。
- 215 名前：デフォルトの名無しさん mailto:sage [2009/11/17(火) 23:53:58 .net]
- 軍手なんて色気のないものに血眼になるなよ。
- 216 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 00:15:00 .net]
- >>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:道路上のパンティーの寿命
- 217 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 01:10:38 .net]
- パンツのことをパンティと呼ぶのは４０代以上。
４０代未満はパンツかショーツと呼ぶ。
- 218 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 01:23:51 .net]
- >>214
ウーロン知らないの?
- 219 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 02:10:39 .net]
- 最近は単語で会話するのが流行っているの？
例：
「お茶」→「俺は紅茶が飲みたい。お茶といえば緑茶じゃなくて紅茶でしょ。緑茶とかジジくさいし。」
- 220 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 02:30:26 .net]
- >>214
類似定理に「キャロライン洋子を知っている人は1969年以前生まれ」がある。
- 221 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 03:07:49 .net]
- ならばこれはどうだ
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:道路上のブラジャーの寿命
- 222 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 03:16:53 .net]
- やめてけーれ
- 223 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 03:50:10 .net]
- >>217
72年生まれでびっくり日本新記録を見ていた私はなんですか？
- 224 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 12:01:06 .net]
- びっくり日本新記録は1975年から1985年までやっていたようだから、
72年生まれなら13歳中一まで見れていたことになる。
特別なことはなにもないと思うが。
マッハGoGoGoとか鉄腕アトムの第一作目をリアルタイムに見ていたとかいうなら驚愕ものだが。
- 225 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 19:34:27 .net]
- ここに1967年生まれの俺が居るわけだが
- 226 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 20:22:40 .net]
- 5年前の俺なら老害呼ばわりしたかもしれないが、
最近はむしろ尊敬するようになってきた。
なんつーか、歳を重ねるってのはそれだけで立派だよ。
対して俺はゆとりに「この昭和生まれが」と言われてショックを受けた
- 227 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 20:26:52 .net]
- >>223
rougai
- 228 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:29:42 .net]
- >>223
- 229 名前：そうは思わない
> 最近はむしろ尊敬するようになってきた。
ああ・・・ついにお前も老害の仲間入りか。
人間というのは自分の置かれた環境や立場によって考え方を変える生き物だというだけのこと。
お前が老害ジジイを擁護するようになったということは、
老害扱いされる時期がもうすぐ目の前に来ている証拠なんだよ。
たしか60歳以上の老人たちは日本が持っているカネの55%を持っているんだよな。
そしてそのカネを何に使うかというアンケートによると、
がんばってきた自分へのご褒美に贅沢するために使うのだそうだ。
若者が苦しんでいるときにそんなことを許していいわけがないだろ。
老人を過剰に保護するのをやめても老人は困らないし、
財源確保のために老人たちから搾り取ればいいと思う。 [] - [ここ壊れてます]
- 230 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:37:01 .net]
- あと、就業における年齢制限もやめるべきだと思う。
定年を設けている企業や官公庁が大半だと思うけど、それって年齢差別だよね。
60歳でもまだまだ働ける人がほとんどなのに定年で辞めさせるのはどうかと思う。
そうする代わりに、経営者に自由に解雇する権利を与えて、年功上列・終身雇用も撤廃して、
終身雇用に安住している無能なやつ（老害）をどんどん解雇していけばいいと思う。
無能な奴は一生平社員の単純労働でこき使えばいいよ。
長い間単純労働してるからといって才能の無い奴を無理に昇進させる必要もないと思う。
- 231 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:41:57 .net]
- アホかｗ
- 232 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:42:48 .net]
- >>223
歳を重ねるだけで得られるようなものなら誰でも手に入るから価値は無い。
- 233 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:45:57 .net]
- >>226
解雇すればいいのに、こき使うの？
- 234 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:49:56 .net]
- 俺も高齢者は手厚く保護されすぎているように思う。
もっと若者と同じように扱えばいいのにね。
具体的にどこか体が故障している人を障害者認定して、
障害者として文化的な生活をおくるために補助をするなら分かるけど、
高齢者だからという理由だけで保護するのは過保護というものじゃないかな。
- 235 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:52:31 .net]
- ML と関係ない話は他所でやれ
- 236 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:53:24 .net]
- ジジババとかマジいらねえ
団塊世代は頭が鈍くて経験も役に立たないし物事を計画的にするのも下手だし散らかすのだけは一流で後片付けのことは微塵も考えないゴミなんだよなぁ
- 237 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:53:31 .net]
- >>225
> がんばってきた自分へのご褒美に贅沢するために使うのだそうだ。
金が回るならいいことじゃないか
- 238 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:54:24 .net]
- そう、そのウンコどもが苦手な分野こそが関数型言語
- 239 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:56:33 .net]
- >>233
ところが、使った分が戻っていくのが世にも奇妙な現象
- 240 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 21:57:38 .net]
- さっさとMLをブームにして金を使わせろ
- 241 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 22:02:41 .net]
- >>236
ダメ、ジジババはコンピュータ音痴だから。
- 242 名前：デフォルトの名無しさん mailto:sage [2009/11/18(水) 22:17:02 .net]
- なにやら怨念めいたものを感じるな
南無阿弥陀仏
- 243 名前：デフォルトの名無しさん mailto:sage [2009/11/25(水) 12:41:38 .net]
- 'M`L < 新言語できたよー
- 244 名前：デフォルトの名無しさん mailto:sage [2009/11/26(木) 15:44:50 .net]
- 団塊世代は経済の成長期に楽しくお仕事して、下向きになったらつまらないから働くのやめるとか言い出す。
おいしいところだけ食べてトンズラとかマジきめえｗ
自分たちの責任を後世に押し付けて、自分は今まで楽しく稼いだお金で楽しく老後を過ごす予定なのか？
そんなことが許されるわけがない。
世の中みんなが辛いと思っているんだから自分だけ良い思いをしようとするなんて許されるわけがない。
団塊世代は身勝手だ。
搾取されるべきは団塊世代だ。
金があるんだから搾取してもかまわないだろ？
- 245 名前：デフォルトの名無しさん mailto:sage [2009/11/26(木) 16:25:40 .net]
- 一番の癌は大企業にぶらさがってる労組だな
特にJALやJRや某新聞社の労組
それから日教組
こいつらが日本のまじめな生産者の利益を貪ってる
- 246 名前：デフォルトの名無しさん mailto:sage [2009/11/26(木) 16:27:14 .net]
- 企業経営者が自由に社員をクビにできないのが問題。
- 247 名前：デフォルトの名無しさん mailto:sage [2009/11/26(木) 16:47:17 .net]
- 正社員を簡単にクビに出来ないから
会社は正社員じゃなくて派遣を使いたがる
派遣ピンハネ業だけが儲かる
- 248 名前：デフォルトの名無しさん mailto:sage [2009/11/26(木) 16:52:24 .net]
- クビにできないのを良いことに労働組合を背景にやりたい放題やって楽して金だけもらって逃げた団塊世代
- 249 名前：デフォルトの名無しさん mailto:sage [2009/11/26(木) 16:53:19 .net]
- 良いこと考えた
正社員を派遣すればいいんじゃん
- 250 名前：デフォルトの名無しさん mailto:sage [2009/11/26(木) 18:11:29 .net]
- マルチのコピペにいちいち釣られてんのか
コピペした奴が自分で反応してんのか
どっちにしてもアホだ
- 251 名前：デフォルトの名無しさん mailto:sage [2009/11/26(木) 18:58:16 .net]
- >>245
面倒だから経営も外注するか。
労組嫌ってるやつは公務員か？死ねよ
- 252 名前：デフォルトの名無しさん mailto:sage [2009/11/26(木) 19:03:43 .net]
- pc12.2ch.net/test/read.cgi/tech/1189246532/l50
- 253 名前：デフォルトの名無しさん [2009/12/06(日) 22:09:27 .net]
- >>243
欧州のどこだかは、派遣使うとそれだけ割高になるような法律になってるとか
聞いたことある。
- 254 名前：デフォルトの名無しさん [2009/12/07(月) 00:49:50 .net]
- >>245
プログラマの派遣なら、正社員の派遣が主流じゃないか？
>>249
法律なんか作らなくても、市場原理に任せておけば派遣のほうが高くなる。
レンタルとリースのどっちが割高かってこと。
むしろ、法律によって市場を歪めているのが諸悪の原因。
- 255 名前：デフォルトの名無しさん [2009/12/31(木) 15:29:23 .net]
- >>250
どの法律のこと？
- 256 名前：デフォルトの名無しさん mailto:sage [2009/12/31(木) 19:26:50 .net]
- おい、押すなよ、、絶対だぞ」
- 257 名前：デフォルトの名無しさん mailto:sage [2009/12/31(木) 21:53:25 .net]
- ポチっとな
- 258 名前：デフォルトの名無しさん mailto:sage [2010/01/03(日) 16:49:17 .net]
- val () = print "あけおめ\n"
- 259 名前：デフォルトの名無しさん mailto:sage [2010/01/07(木) 21:35:11 .net]
- OCaml用のlibcurlバインディングらしい、ocurlを入れようとしたのですがエラーが出ます。
curl-helper.c
主に「dereferencing pointer to incomplete type」というエラーが大量に出ます。
どうすればいいのでしょうか。
./configやlibcurlのインストールなどは済ませています。
環境はMSYS + MinGW、Windows 7です。
- 260 名前：デフォルトの名無しさん [2010/01/08(金) 18:36:46 .net]
- libcurl のバージョンは。
- 261 名前：デフォルトの名無しさん [2010/01/08(金) 18:43:34 .net]
- バージョンはよいみたい。一度古いので苦労した記憶がある
- 262 名前：デフォルトの名無しさん mailto:sage [2010/01/09(土) 03:51:07 .net]
- libcurlはWindows版では最新の7.19.7を入れました。
MinGWは最新のものを入れています。
ところで、jocaml.inria.fr/ や caml.inria.fr/ が落ちているのですが。
- 263 名前：デフォルトの名無しさん mailto:sage [2010/01/09(土) 04:31:29 .net]
- 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でやりました。
- 264 名前：デフォルトの名無しさん mailto:sage [2010/01/09(土) 08:51:21 .net]
- >>259
Cランタイムのシンボルを見つけられてない、ということで
>Cygwinでocamlc -c modwrap.cすると何故かアクセスが拒否されるので modwrap.cとmod.mlのコンパイルはMinGWでやりました。
が怪しい。
この部分MinGWとCygwinの互換性はあるの？Cygwin知らんけど、全部-mnocygwinならどうだろう。
- 265 名前：デフォルトの名無しさん mailto:sage [2010/01/09(土) 09:28:15 .net]
- >260
>この部分MinGWとCygwinの互換性はあるの？
エラーが出てるのは正に MinGW と Cygwin で互換性のなさそうな部分だね。
>259
>何故かアクセスが拒否される
modwrap.c を Windows ネイティブのアプリで編集していたりすると発生する場合もあるので
・Cygwin アプリで編集する
・mkpasswd とか使って /etc/passwd を見直してみる
・とりあえず chown / chmod してみる
・ACL 周りの設定を変えてみる(mount とか環境変数 CYGWIN とか)
あたりはどうだろ。
- 266 名前：デフォルトの名無しさん mailto:sage [2010/01/11(月) 21:48:13 .net]
- >>260
>>261
助言ありがとうございます。
レスを頼りにいろいろ試してみましたが、だめでした。
OcamlもCygwinも使ってまだ日が浅いので大事なところを見落としているのかもしれません。
今忙しいのであまり時間が取れないのですが、Cygwinで揃えてまたいろいろと試してみようと思います。
本当にありがとうございました。
- 267 名前：デフォルトの名無しさん mailto:sage [2010/02/06(土) 21:54:14 .net]
- Moscow ML 使ってみようと思ったら、もうずっと更新されてないんだね…
- 268 名前：デフォルトの名無しさん mailto:sage [2010/02/19(金) 00:01:29 .net]
- SchemeとMLは、心が洗われるわー
- 269 名前：デフォルトの名無しさん mailto:sage [2010/02/19(金) 23:52:14 .net]
- あー汚れてるんですね
- 270 名前：デフォルトの名無しさん mailto:sage [2010/02/22(月) 10:15:16 .net]
- はい
- 271 名前：デフォルトの名無しさん mailto:sage [2010/02/26(金) 18:43:33 .net]
-
- 272 名前：デフォルトの名無しさん mailto:sage [2010/03/18(木) 02:27:03 .net]
- OCamlはCにembedできますか？
- 273 名前：デフォルトの名無しさん mailto:sage [2010/03/22(月) 23:27:08 .net]
- Milnerが亡くなったそうだね
- 274 名前：デフォルトの名無しさん mailto:sage [2010/03/22(月) 23:32:10 .net]
- lambda-the-ultimate.org/node/3863
ホントだ。ご冥福をお祈りします。
ML は勉強していて楽しかったです。
- 275 名前：デフォルトの名無しさん mailto:sage [2010/03/28(日) 22:50:27 .net]
- 『プログラミングの基礎』 浅井健一著 を買ってポチポチ楽しく
やってるんですが、著者のサポートサイトに書いてあるように
やっても、未だに日本語の表示が出来ません。
ttp://pllab.is.ocha.ac.jp/~asai/book/Linux.html
環境はWinXPのVMPlayer上のDebian(lenny)でやってます。
端末でインタープリタ走らせてる場合も、Emacs上でtuareg-
modeでやってる場合も文字コードが表示されてしまいます。
助けてけろ〜
- 276 名前：デフォルトの名無しさん mailto:sage [2010/03/28(日) 23:42:03 .net]
- 分からんけど、なんでLANG=en_USのISOなんとかなんだろ？ja_JP.eucJPとかじゃないのか
- 277 名前：デフォルトの名無しさん mailto:sage [2010/04/09(金) 23:58:56 .net]
- OCamlはoreilly本来ないね
- 278 名前：デフォルトの名無しさん mailto:sage [2010/04/11(日) 20:56:52 .net]
- >>270
奥さん亡くなった三日後に心筋梗塞か。
- 279 名前：デフォルトの名無しさん mailto:sage [2010/04/11(日) 21:10:03 .net]
- ご冥福をお祈りします。
- 280 名前：デフォルトの名無しさん mailto:sage [2010/04/12(月) 22:51:23 .net]
- あの世で福？？
- 281 名前：デフォルトの名無しさん [2010/04/21(水) 21:04:50 .net]
- signatureのfunctorの使い方がよくわかりません。
signatureを受け取ってstructureを返すfunctor Aと、
signatureを受け取ってsignatureを返すfunctor Bを定義したとします。
signature CにAとBを適用したものをA(C), B(C)としたとき、
A(C)にB(C)を適用したstructureはどうしたら使えますか？
- 282 名前：277 mailto:sage [2010/04/21(水) 21:06:26 .net]
- 言い忘れました。OCamlの話です。
- 283 名前：277 mailto:sage [2010/04/21(水) 22:56:41 .net]
- すみません、自己解決しました。
- 284 名前：デフォルトの名無しさん mailto:sage [2010/04/22(木) 01:34:18 .net]
- あれ？OCamlのfunctorってsignatureを受け取ったり返したり出来るの？
受け取るのも返すのstructureだけだと思ってた
- 285 名前：デフォルトの名無しさん mailto:sage [2010/04/22(木) 01:38:21 .net]
- ドキュメント読んでみたけど、
caml.inria.fr/pub/docs/manual-ocaml/manual019.html#toc67
やっぱりfunctorがsignatureを受け取れるようには見えないなぁ
- 286 名前：デフォルトの名無しさん mailto:sage [2010/04/25(日) 12:26:40 .net]
- 質問していいですか。
'a * 'bの値を受け取り、型'aと'bが等しいか否かを判定する関数はo'camlで書けますか？
- 287 名前：デフォルトの名無しさん [2010/04/25(日) 22:33:07 .net]
- >>283
- 288 名前：デフォルトの名無しさん mailto:sage [2010/04/25(日) 22:54:26 .net]
- >>284
- 289 名前：デフォルトの名無しさん mailto:sage [2010/04/26(月) 00:03:13 .net]
- >>282
何がしたいのか分からないけど
OCamlでは型情報は実行時には残っていないので
そういう型を扱うプログラムは一切かけないとおもう
- 290 名前：デフォルトの名無しさん mailto:sage [2010/04/26(月) 21:09:56 .net]
- OCamlってなんで最上位ビットをゴミ集め様に使っちゃうようにしたのかな。
なんか、これが凄くアダになってるように思えるのだが
- 291 名前：デフォルトの名無しさん mailto:sage [2010/04/27(火) 20:51:34 .net]
- Lisp系含めてわりと見かける仕様なんじゃ
- 292 名前：デフォルトの名無しさん mailto:sage [2010/04/29(木) 20:07:48 .net]
- $ 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 のディスク領域が新たに消費されます。
(＃＾ω＾)ﾋﾟｷﾋﾟｷ
- 293 名前：デフォルトの名無しさん mailto:sage [2010/04/29(木) 20:14:14 .net]
- >>288
ocaml-nox
- 294 名前：デフォルトの名無しさん mailto:sage [2010/04/30(金) 12:32:47 .net]
- こそは自分でMakeだろJK
- 295 名前：デフォルトの名無しさん mailto:sage [2010/05/01(土) 16:43:51 .net]
- SML#は生きていた
- 296 名前：デフォルトの名無しさん mailto:sage [2010/05/02(日) 01:19:01 .net]
- 音沙汰なくてちょっと諦めかけてたから新バージョンリリースめでたい
|
 |
