ＭＬ！！！！！！

0001あなたの近くの名無しさん

NGNG

Meta-Languageについて語って下さい。
この掲示板の人なら知ってるかなと…
な～んてね

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

NGNG

>１
son of a bitch.

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

NGNG

関数型言語
http://piza2.2ch.net/test/read.cgi?bbs=tech&key=987954395

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

NGNG

age

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

NGNG

Neta?

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

NGNG

というわけで今からここはNeta Languageスレになります。

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

NGNG

検索で、メーリングリストと区別つかないのが悲しい

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

NGNG

>>7
激しく同意。
SML とかで検索すると
Smalltalk 系の ML とかひっかかるし…。

0009名無し

NGNG

801 名前：：01/10/04 01:18 ID:???
その後>>800の姿を見たものは誰もいない…

802 名前：名無しさん：01/10/04 01:20 ID:???
　　　　　　--------　そして伝説へ…　---------

803 名前：800 ：01/10/04 02:03 ID:???
のわ～、生きてるって。(;´Д｀)ノ（ﾜﾗ

それで「～静かなるHDDを求めて～」の結果は…
静音化に成功！　いや、マジでイイヨ、これ。
まぁ、ゴマ声に馴れた頃だったのでちと寂しくなったケドね。

つー訳で、４人目の勇者よ、旅立て！播(ﾟ-ﾟ)

804 名前：：01/10/04 02:09 ID:???
readmeにMD5があるあたりに、なんともいえないあやしさを感じる

805 名前：：01/10/04 02:49 ID:yVMskSvY
>>744使ったらファームウェアのバージョンいくつになったの？

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

NGNG

というわけで今からここはNeta Languageスレになります。

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

NGNG

というわけで今からここはNeta Languageスレになります。

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

NGNG

>>7
Scheme「お前なんかまだましな方だよ…」
Clean「それは俺のセリフだろ…」

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

NGNG

>>12
Scheme はそれほどでもないよ。

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

NGNG

.comとか.netとか

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

NGNG

blue なんかどうするよ。

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

NGNG

.co.jpとか.ne.jpとか

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

NGNG

>>1
のいうMeta-Languageってわからない人が多いようです。
１さん説明してください。
それともヴァカに別れを告げてスレ削除してください。

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

NGNG

Meta Language is not Language!!

0019not 1

NGNG

>>17
自分で調べろよ。

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

NGNG

http://www.google.com/search?q=cache:9oW2EN0V8XE:www.score.is.tsukuba.ac.jp/~minamide/lectures/sml.htm+ML+%83v%83%8D%83O%83%89%83~%83%93%83O&hl=ja

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

NGNG

http://www.google.com/search?q=cache:QJpUIo62oI8:www.yfcbookshelf.com/ml_lisp_scheme.htm+ML+%8A%D6%90%94%8C%5E&hl=ja

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

NGNG

なぜにgoogle経由？

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

NGNG

色がついててキレイだから。

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

NGNG

確かに…

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

NGNG

ocaml って ml ですか

0026not 26

NGNG

htmlって ml ですか

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

NGNG

>>25
ML の一種みたいなもんです。

>>26
Markup-Language ではありますが
Meta-Language ではありません。

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

NGNG

㍉㍑ってmlですか

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

NGNG

合成関数を表す、oの定義ってどんな感じですか？

0030基本的に無知

NGNG

なんかHaskellスレが異様に盛り上がっているのでありますが、
Haskell界とML界の温度差って、どこから来るのでありますか？

0031もっと無知

NGNG

なにそれ？

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

NGNG

関数型プログラミング言語Haskell
http://piza2.2ch.net/test/read.cgi?bbs=tech&key=996131288

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

NGNG

>>29
infix o;
fun op o(f,g)=fn x=>f(g x);
かなぁ？

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

NGNG

>>33様
fun f o g = …の後に続けられる？

003533

NGNG

>>34
すまん、質問の意味がわからん。

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

NGNG

fun f o g = ＿＿＿＿＿;

＿＿＿＿＿の部分の穴埋めをお願いしたい…ってことかな？

0037民族分布図

NGNG

>>30
アメリカ: SML
エゲレス: Haskell
フランス: OCAML

アメリカ: Common Lisp
ユーロ: EuLisp

フランス: Prolog

0038民族分布図

NGNG

あ、それから、
エゲレス: 関数型言語のメッカ

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

NGNG

EuLisp と OCAML って初めて知った。

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

NGNG

>>39 OCAML
http://pauillac.inria.fr/~furuse/jmmm/

004133

NGNG

>>36
そういう書きかたってできるのかなぁ・・。
なんかできないような気もする。

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

NGNG

なんとか出来ませんか？

0043Ruby >>>>> Python

NGNG

【衝撃の真実】Pythonユーザはホモ集団！！！
http://piza2.2ch.net/test/read.cgi/tech/965815778/
--------------------------------------------------------
446 ：デフォルトの名無しさん：01/10/05 23:44
ホモフォビックなホモ、愛ゆえのレイプ、そしてクィアなレズビアン
....あぁすばらしい(照)

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

NGNG

>>42
> なんとか出来ませんか？

何をしたいのか説明せよ。>>33は理解したか?

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

NGNG

>>30

元々Meta言語として作られたモノと標準関数型言語として作られたモノの違いかなあ？

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

NGNG

.NETで関数型言語にも風穴があくんでしょうか？

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

NGNG

>>46
> .NETで関数型言語にも風穴があくんでしょうか？

あいたとしても針穴。まあそれはそれでいとおかし

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

NGNG

ML.NETとかHaskell.NETなんていつ出てくるのかな？

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

NGNG

>>48
http://research.microsoft.com/users/simonpj/
http://research.microsoft.com/~dsyme/
とかいるから早いんじゃない？

MSってNTとかSOAPとかC#とか最初の設計をやる研究者は優秀なの呼んできてるから。
経営方針や屑プログラマのせいでなんだかおかしくなるだけで。

ただ、全てのAPIが使えるようになるわけじゃないと思うけどね。
Monad的にinterfaceを変えないといけないからさ。
VBだって使えないAPIたくさんあるよね。

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

NGNG

マイクロソフト自身が実装するのかぁ、、、
でも楽しみだね。なんにしても。

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

NGNG

>>50
水を差すようだけど、MSはC#とVBとC++で手一杯だからそれは無いと思う。
RationalにJAVAを任せたみたいに、FujitsuがCOBOLを実装するようにどっかの
物好きな会社が実装することになるはず。
また、MSは.NETのCLS(Common Language Spacification)に関して複数の準拠
レベルを設けてるので、フルスペック.NET言語となるかどうか未知数ですな。

参考ページ
ttp://www.atmarkit.co.jp/fdotnet/special/dotnetframework_overview/dotnframewk_over06.html

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

NGNG

>>51
そうですか。安心しましたｗ

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

NGNG

>>51
> 水を差すようだけど、MSはC#とVBとC++で手一杯だからそれは無いと思う。
> RationalにJAVAを任せたみたいに、FujitsuがCOBOLを実装するようにどっかの
> 物好きな会社が実装することになるはず。

ん？「～思う。～はず。」って何？もう試験的に実装始めてるじゃん。GHC baseでさ。
http://research.microsoft.com/~dsyme/読んだ?

まあ、実用になるものが出てくるとは思えないけど。

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

NGNG

とにかく処理系のプロトタイプをCLR向けにイッパイ作って
欲しいところなんだろうね。たぶんMSも製品化するつもりで
作っているんじゃんくて、布教活動の一環としてとらえて
いるんでしょ。

算数しかできないミニチュア言語より、少しのがんばりで、
.NETの多くの機能を利用できる方がありがたいに決まってるし。わら

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

NGNG

>まあ、実用になるものが出てくるとは思えないけど。

商用プロダクト実装に向けての実証という段階でないかと"思う"よ。
んで、あらかたの枠組みが決まった段階で丸投げすると。
CLS準拠レベルがどうなるかはサードパーティーのキャパとMSの支援次第。

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

NGNG

ま、IL, CLRの研究の一貫なんでしょ。
Project 7って言うみたいですね。挙げたURL見てね。

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

NGNG

CLRってそんなに凄いのか？

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

NGNG

うん♥

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

NGNG

あっちのほうも満たしてくれるのか？　ｳﾍﾍ

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

NGNG

ふっ…

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

NGNG

あっちのほうも満たしてくれるのか？　ｳﾍﾍ

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

NGNG

涼スレを汚さないで下さい

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

NGNG

３４の質問に答えてないではないか…
では拙者が……
…
ん？
…
わからん…

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

NGNG

>>57
> CLRってそんなに凄いのか？

まずはILの設計次第、次にCLRの実装次第だけど、
ILはJava byte codeの前例を参考にできるからねー。
しかも中間言語の経験が深いSimon Peyton Jones呼んできてるし。

MS得意の、他の人にinnovateさせておいて、後追いでinnovateを標榜する、だな。

> CLS準拠レベルがどうなるかはサードパーティーのキャパとMSの支援次第。

製品としては出ないと思うが…

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

NGNG

MLは言語の筋は良いのに普及がいまいちなのは，
一番メジャーであり割と最近まで唯一のフルセットのフリーな処理系であった
SML/NJの効率や使い勝手があまりよくなくしかも開発のペースが遅かったこと，
そして標準であるSMLの仕様がいまいち古臭く最新の研究成果を反映していないこと．
が挙げられると思う．CAMLはその辺を独自路線で良いものにしたわけだが，
あくまで非標準ということでフランス以外ではあまり受け入れられていない．
MLの基本設計は好きなのでこういった残念な状況は改善されて欲しいのだが．

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

NGNG

>>65
ｵｲｵｲ普及しないのは、まず名前のせいだろ！
地味すぎだし、勘違いされるし（ｗ

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

NGNG

ＭＬの目的ってのはなんですか？
つまりＭＬの存在意義というか…
どうなんでしょう？

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

NGNG

６７の目的ってのはなんですか？
つまり６７の存在意義というか…
どうなんでしょう？

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

NGNG

６９の目的ってのはなんですか？
つまり６９の存在意義というか…
どうなんでしょう？

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

NGNG

>>67-69 は爆撃で塵と化しました。ｱﾒｰｿ

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

NGNG

meta langってなんかどうしようもなくベタですね。
leibnizとかにしてくれればよかったのにｗ

>>69
愛の表現形式です。それ以上のでも以下でもありません。

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

NGNG

>>71
LCFが本題だったから、軽い気持ちでつけたんじゃないかな？

それとも、わざとそっけない態度、それが愛の表現形式…

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

NGNG

Goferは名前はｽｺﾞそうなのにあんま普及してないぞ？

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

NGNG

>>６８
答えられないからって…(ﾌﾟ
>>６９
愛ですね。

0075忠告

NGNG

良スレだと思う奴らは絶対ageんな。

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

NGNG

以後、
http://www.amazon.co.jp/exec/obidos/tg/detail/glance/-/books/4756116418
これをまず読んでから書き込んでね

ところで2chはアマゾンとのアファリエイトはやってるのかな？
あるサイトから来た客が買い物したらその何パーセントがその
サイト運営者に落ちるっていう。どうなんだろう。
だとしたら本の紹介するときはアマゾンを使うことにしたいところなんだけど

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

NGNG

>>76
＞最新トレンドを満載したプログラミング言葉である。
なんか泣けてきました。

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

NGNG

>>77
でも本当では？
関数型はトレンドを先取りしてきた感がある。

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

NGNG

XMLっていうのは関数型言語の逆襲だと思ってました

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

NGNG

MLとかHaskellなんて名前じゃ永遠に市場から評価されるわけないし

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

NGNG

>>80
名前と市場の評価が関係あるのか？
普及しそうにない名前だってのは同意するけど。

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

NGNG

>>73 研究社英和中辞典より
go･fer 米俗 (会社の)使い走り，雑用係.

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

NGNG

はは、だめじゃん。

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

NGNG

>>80
Microsoft ML2001とかJavaMLではどうでせう？

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

NGNG

ML.NETに期待！

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

NGNG

>>37
国で分けても意味無いと思うよ。
大学/研究機関で分けたほうがいいよ。

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

NGNG

Haskell と Scheme があれば ML っていらなくねぇ?

とか言ってみるテスト。

008887

NGNG

Scheme があれば Haskell もいらねぇよ。

とか言われそうな予感。

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

NGNG

いや、逆だろ。
SchemeでHaskell的なプログラムするのはめちゃ大変。
逆はすぐできるけど。

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

NGNG

Haskell挫折しました。

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

NGNG

ここのスレ読んでやってみたくなったんだけど、
いい本なんかないかな？>>76の本以外に何かある？
教えて下さい。

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

NGNG

とりあえず>>76がいいと思うよ。
MLにこだわらないなら、Haskellスレも読んでくれぃ。

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

NGNG

>>91-92
StandardMLとかいう本が出版されてますが。
ｷｼｭﾂ?

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

NGNG

たしか、日本人の団体（京大？）が書いた本があったよ。
上・下巻。ちょっと前、図書館でみつけた。
厳密にはML専門の本では無かった気がするけど、
良い本だった。

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

NGNG

amazon.comで検索すると10冊ぐらい出てくるけど、
びっくりしたのはどれも最近出版されていること。

ところでそれらの中で一冊といったらどれがお勧めですか？
なにかMLの英語の本でいいものを知ってる人がいたら教えて
下さい。それとも一冊ぐらいじゃマスターできないものでしょうか？

金が無いので沢山本を買うことができません。

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

NGNG

http://www.jaist.ac.jp/~ohori/mltext.html
どうなの?

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

NGNG

http://www.gin.or.jp/users/daikoku/lang/func/ml.htm

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

NGNG

>>96
ありがとう。ここでまず基本をみっちりやってみようと思います。

009996

NGNG

>>98
え?
別に>>96の本を薦めてるわけじゃないぞ…。

0100ゴルゴ

NGNG

シネクドキ

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

NGNG

http://www.amazon.com/exec/obidos/ASIN/052156543X/
これよめ。これで分からなかったらあきらめろ