新言語を開発したい

http://pc12.2ch.net/test/read.cgi/tech/1274015781/l50 の継続スレのかたわれです。
低水準言語にこだわる人は「低水準言語を開発したい」のほうへどうぞ。

Ｃん言語だって？

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

関数型とか、GCありとかな言語を作りたい人用らしいです

アイちゃんのための自然言語は可？

今時GC無し言語なんてありえないだろ

いまさら、GCありの言語を作ってもね。
関数型でGCなしとかどうだ。

これからはテストがしやすい言語が出てくるだろうな。
ユニットテスト普及以降、テストの考え方が変わった。
コードでテストするようになった。

だけど既存の言語はテストしやすいようには作られていない。
ユニットテストというフレームワークを使うことである程度改善できるけど
さらなる機能が必要。

たとえばprivateメソッドをテストのときだけ外部から呼び出し可能にしたり、
テストのときだけ、関数内部で生成しているクラスのインスタンスを
コードを変えることなく、テスト用のインスタンスにすり替えたり、
テスト対象のコード任意の地点の値をテストコードから監視したり。

アスペクト指向はあまりはやってないけど、テストするには使える技術だと思うな。

>>8
C#で不満なところは？

>>8
うん。大規模なプロジェクト、あるいは一人だけで作る場合の生産性を上げるようなものだね

>>9
上司にC#の言語の制約で出来ませんと言い訳できないところ。

オブジェクト指向寄りでGC有りより、
関数型寄りでGC,VM無しのCって方が面白そうだわな。

そんな時代遅れ言語はあっちでよろしく

scalaでいいじゃん

あっちは紙降臨した模様

髪(笑)

Gentee でいいだろ

ここが一番負けてるな

見えない敵と戦ってる人こわい

見えない敵が一番手ごわい

分割前のスレに書いたことの要約

【新言語開発が破綻する典型的なパターン】

言語比較厨登場。言語仕様を大量に盛り込む。工数が膨大に。
↓
開発者が不足。しかも楽しい仕事しかやりたがらないダメな奴ばっかり。
↓
よってライブラリ、デバッガ、IDEの製作やドキュメントの整備等の
面倒だが重要な仕事は手抜きし放題。場合によっては完全放置。
↓
使えない糞言語なので、ユーザーが集まらない。
誰も使ってくれないので開発者のモチベーションが保てない。
↓
終了。

【対策】

・言語ヲタを排除する。工数を増やす人はいらない。

・達成目標をよく議論して明確にする。無計画に始めない。

・小さい言語仕様にする。出来上がってから少しづつ拡張すればいい。

・他の言語に勝てる分野で勝負する。使えない言語を開発することに意義はない。

まだ始まってもいないのに気の早いやつだな

汎用言語を作っても無視されるか他言語の劣化コピー扱いされるのがオチだし
ライブラリ作成の工数を減らす意味でも対象にするドメインを絞ったほうがいい。
自分が勝算がありそうだと思う分野をあげておく。

【ゲーム専用言語】

有名なところだとノベルゲームやアドベンチャーゲーム用の吉里吉里2やNScripter
なんかがあるが、GOTO指向の時代遅れの言語なので普通にやれば勝てると思われる。
ネトゲは無理でも、アクションゲーム、パズルゲーム、シューティングゲーム
くらい対応できれば十分。

【携帯用言語】

携帯電話やAndroidやiPad上でプログラミングできるようにする。
既にやってる人もいるだろうが、メジャーなものはないから今なら
まだ勝てるチャンスがある。ライブラリが小さいもので済むのも利点。

【日本語プログラミング言語】

現在は"なでしこ"一人勝ち状態だが実はかなり低速な上にバグだらけ。
文法も破綻気味なのでもう少し洗練された言語を作ればシェアを
全部奪えるのではないかと思う。

【画像/動画/音声 処理用言語】

例えば本格的な画像編集をGIMPとScript-Fuなんぞで頑張るのには無理があるし
GPLでがっちり固められてしまっているのでつまらない。
およそマルティメディア関係のアプリケーションでは速度の問題が大きすぎて
結局C++でプラグイン書いてリンクのパターンになってしまう。
簡単な記述でそこそこ高速なデータ処理言語があればシェアがとれるはず。

gotoは速いんだよ

gotoはゲームシナリオとの親和性が高いしな

>>25
いやノベルゲームのバグの原因の大半はGOTOとグローバル変数だと思うけど。
ノベルであっても関数言語的な構造をもっているなら自動テストを行って
ある行動をプレーヤーがとると無限ループになるとか
絶対に取れないフラグが存在するとか、バグを検出するのが容易になるので
素人こそ先進的な道具を使わせておくべきじゃないの。

バグの原因は素人

結局フラグ使ったステートマシンにするしかないんだから
switchのラベルでもgotoのラベルでも同じことだろう。

>>28

例えば

ストーリー() {出会い, 事件, 別れ}
出会い() {移動, 発見, 挨拶}
移動() {台詞="
長い文章"}
…

と構造化されてるのと

*ストーリー
(長い文章)
goto 出会い
*出会い
(長い文章)
goto 移動
*移動
(長い文章)
goto 発見
…

が同じわけがねえ。

実際はif文とクラスに属してない総称型のフラグが散らばっててさらに
分けわかんないことになってるんだよ。よくあんな言語使うと思うけど。

エロゲ作ってんの？くれよ

総称型じゃないやw。型の決まってないフラグね。さっきまでJavaの本読んでたんでスマン。

ｗ。

エロゲスクリプトで総称型ってなんに使うんかな。

モザイクの量とか

巨乳でも貧乳でも同じメソッドを

着衣プレイの時の制服の種類とか

AS3を汎用言語にしたい
30歳になったら本気出す

普通にjsのエンジンは一杯あるわな

いや、AS3です^^;

おっと、調べたらかなり違うのね
でもあそこまでやるなら他の言語でも良さげな

>着衣プレイの時の制服の種類とか
詳しく

そこかよ

∨∨
(((((((((( >着衣プレイの時の制服の種類とか ))))))))))(キリッッッッ!!!!

ゴミグラマじゃねーか

これ ； デリミタっていうんだけどさ、これをつけなきゃエラーになるような
そんな言語使ってる奴ってどうみてもゴミだと思うんだけど

もしかして「；」これ打ち忘れてコンパイルエラー出すのが楽しいの？
そうか、二度と話かけんなよ
なんだ、ただのゴミか（笑）

カオスラウンジ死ね

ここもやはりgdgdか。上げ。
このままだと数年後も完成しないだろうから手法を提案をするか。

まず、初心に戻って明確なプロパガンダといいますかキャッチコピーを決めるといい。
可能であれば利用状況などの想定を盛り込んだ短編小説もね。すると必要なものがわかる。

例えばコピーであれば、
- ロケット制御用言語なら「Rock:et を使って月のウサギに会いに行こう」
- 日本語異性型ロボットAI言語はぢらひ「俺の嫁、旦那様、バーニング」
- 従来の汎用言語の改良であれば「あなたは今日からリア充です(※効果には個人差があります)」
など...。

こういう言語が欲しい、作れというのであれば、一通り網羅した仕様書書いたほうが受け入れられやすい。
それに仕様は複数存在しても別に問題はないよ。rejectされても別プロジェクトでやればいい。

つか欲しい・作れって言うだけでは、仕様書いている人からすれば
「これこれこういう言語があるからそっち使っては？」になることが多いと思うよ。

言語仕様を書きあげるのは意外と大変だからねえ。
やっぱり謎の重圧と戦う、調べることが数千件、細かいことに
配慮して悩みぬくなどあります。使うと書くとでは大違いですよ。

では押しの強いひとが現れることを願って。以上。

新言語→信玄後→

やっぱなんらかの既存処理系においては存在しない、または直接扱うのが困難な計算モデルがあって
それを容易に扱う為の言語といった形の必要性で無いと作る意義が乏しいだろうな
こう言語仕様においてはその扱いたい計算モデルに都合の良い文法とそのプログラミング言語としての意味論を定義することが
結構大きな割合占めてると思うのよね

>>50
俺はそんな、適用する場所があまりない、つまり効果が薄いことよりも
もっと人間が楽になる言語がほしいよ。

具体的には、言語機能として、ユニットテスト、リファクタリング、
デザインパターン、ドキュメントの書き方まで考慮されていて、
特別な何かを別に用意しなくてもこれらが簡単に実行できること。
簡単にというのは、正規表現やワンライナーができるということも含まれている。
それでいてstrictモードなら、型をきっちり明記して、様々な統合環境を作ることも可能。

なんていうか言語よりも開発環境の問題だろう。

>>52
言語によって開発環境ができることが限られてくるんだよ。

たとえば変数に型を持たない言語では、
メソッドの補完は不可能。

だからそういうのを減らして、言語がコードの解析をして全体を理解し、
その情報を開発環境に提供することで開発環境の機能を
さらに向上できるように考慮された言語。

それは結果的に人間を楽にしてくだれる。

あと、開発環境に頼り過ぎなのも良くない。
たとえば名前でも意味が違う変数があるだろ？

それは開発環境ではどれが同じで違うか理解できても
テキストエディタでは理解出来ない。

もしこれが開発環境ではなく言語自体で情報を提供されるようになったら
テキストエディタからでもコマンド一発で簡単に知ることができるだろうし
テキストエディタを拡張することも簡単だろう。

だから開発環境の問題ではなく、その問題を言語側に移そうという話でもある。

言語処理系と言語そのものがごっちゃになってるな
リフレクションの機構は処理系が提供するものだ
仕様としてその言語処理系対する要件として定義はできるがな

Google、新プログラミング言語 " Dart " を来月発表、「構造化ウェブプログラミング」向け
http://japanese.engadget.com/2011/09/09/google-dart/

>>55
リフレクション？ リファクタリングの間違い？


リファクタリングは確かに処理系が提供するもの。
だけど、なにかの機能を載せたいと思ったとき、
その機能を実現するためには、その機能を実現するための情報が
ソースコードに書かれていないといけない。

だから、開発環境、処理系、にフォーカスを当てて
それに搭載したい機能を考え、
その機能を実現できる言語を作りましょうってことだよ。

>リフレクション
プログラムの実行中、コンパイル中にそのプログラム自身の構造を参照したり書き換えたりする機構の事だよ
インスタンスから自分自身の型や型からその属性や継承木を言語内で1級のオブジェクトの形で取得できるわけだ
そのインスタンスが生成されたコード内の位置を取得することができるものもある

>>58
リフレクションの機能がわからいんじゃなくて、
どこからそんな話が出てきたんだってことなんだが。

プログラミング押しえてぇえええええええええええええええええええええええええ

>>51
具体的に新しい言語によって何を解決したいのかが何一つ読み取れない。

例えばC#（＋VisualStudio）なら何が不満なの？
どういう部分に考慮が足りないと感じる？

>>59
ゴミ相手に何マジレスしちゃってんの？

これでわかっただろ
ここには58こういうゴミみたいな「知ったか」しかいない事実
覚えたての単語を使いたがる精神年齢中学生
適当にカタカナ言葉を混ぜておけば
>>58
いっぱしに、プログラマー気取りっすかあああああああああああああｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
カンケーネータンゴダシテシッタカデスカアォアアアアアアアアアアア！！！！！！！！！
さっさと死ね　　黙って死ね　今すぐ死ねよ　ゴミ

ゴミはさっさと死ねばいいのに

>>50
よくある方法で思い切って概念の整理を行うことで新しい言語を生み出すこともできる。
また一般に難しいとされるものをすっきり記述できるようにするといいと思う。

例えばオブジェクト指向や関数という概念などを、もっと単純でなものにできるか、
バグの出ない記法や間違っているものを間違っているように見せる方法はあるか、
など未だ色々と解決する問題はあるね。

>>51
それって...まだ未実装のようだが Cobra だよな...
ttp://cobra-language.com/
ttp://cobra-language.com/docs/quality/

cの完全上位互換にとなっているobjective-cのアプローチが好きだ
ネイティブ吐いて、オブジェクト指向で理想的な言語だ
だが、objective-cは何かが違う。あの言語は何かを間違えた。

stとCのハイブリッドだしな
@なんちゃらを無くして
gc前提なら悪くないかもしれん

かもしれんね

objective-cってi-phoneアプリでも使われている言語だよね？
純粋なC言語ではi-phoneアプリは組めないのかな？
もしCで書けるならJAVAでも書けるって事だから
そうなるとJAVAプログラマーはキャッキャウフフになるんだけど
それを実現するには努力が必要だよね

iPhoneを駆逐するために、Javaプログラマはもっと熱意を持ってAndroidアプリに取り組むべき

そういうことは自分が率先してやれ

>>68
Cで作れるならJavaでも作れる？
どういう論理か教えて欲しい

>>71
まずCでJavaバイトコードを実行するVMを書きます

それを煮ます

なるほど。そりゃ努力が必要だわな

JNIの事だと思うよ

dartがえらく素っ気ないc++もどきでワロタ

>>75
でもそれじゃiPhoneで走らないだろ
あ、JNIを呼び出す為にVMも実装するのか
偉いな

perlやphp,pythonの失敗を見てわかる通り、
個人やコミュニティが開発する規模の言語が
普及してから大きなメジャーアップデートしても誰もついてこない
最初に文法を決めてしまったのであれば、後から修正してはならない

失敗してんの？

個人が作った言語だろうが、大企業が作った言語だろうが、委員会が作った言語だろうが、
アップデートについてこれない低能を相手にしてたらやってられるわけがない。

そういう低能は切り捨てるだけ、そういうレベルの企業には潰れる以外の末路はない。そんだけ。

文法を修正したら駄目だろ。できるのは追加だけだ

文法を修正したら別言語じゃんｗ

言語自体古い

文字通り生きてる有機コンピューターつくれよ

脳みそ直結だろ
防壁は張っとけよ

現生人類と比べ、喉の奥（上気道）が短い。このため、分節言語を発声する能力が低かった可能性

ネアンデルタール人 - Wikipedia

甘ったれた滑舌の悪いネアン
可愛いかもしれん

このスレを総合すると c++ が良いということですね。

それだけは無いな

というか、コンセプトがみんなバラバラなんだよね、多分
汎用言語を作りたいのか
専用言語を作りたいのか
汎用の言語なら、動的言語か、静的型付け言語かでざっくり分かれるけど
代替の場合、自分の使っている or 愛している言語に、ほかの言語の機能を取り込む方で頭が回っている
自分の場合、Rubyのメタプログラミングの機構や、Object型にくっついている、黒魔術的なメソッドの細かい仕様バグを取り除いて再設計されたものとかを欲しいと思ってしまう

汎用型で静的型付け言語、
それでいて動的言語で出来るメタプログラミングを
できるようにした言語が作りたい。

あとコンパイラのアーキテクチャを変更したい。
今のように実行したらバイナリが出来る方式ではなく
”プロジェクト” を "コンパイラーサーバー" に読み込ませると
ファイルを更新するたびに、コンパイル可能な所をリアルタイムでコンパイルし、
コンパイルができてる場所、エラーにある場所、その他様々な情報を取得できるという設計。

言語仕様ももそれが出来るように考慮する必要があるだろう。

そしてリファクタリングやコーディング規約チェックなど、
コンパイラの助けを得たほうが出来ることを、コンパイラにやらせ、
その機能の呼び出しをテキストエディタから行いたい。

>>90
最新のIDEを使えばオケ

>>91
最新のIDEの限界を超えた所を狙ってる。

なら言語じゃなくIDE作れよ
今の言語の文法難しくてパーサー作れない
処理系の吐く情報難しくて解析出来ない
よしオラ言語作る！
これでは進まないのも当たり前

>>93
言語（ソースコード）はデータであり
IDEはそのデータを処理するツール

いくらツールがすごくても
データがなければ、なにも処理できない。

つまりIDEを更に進化させるためには
データである言語をIDEに適したものに改良する必要がある。

普通に静的型付けなら実現不可能ではない内容に見えるが

>>94
その考えが既に浅薄だとは気づかないのか
構文解析やリンケージやシンボル情報うんぬんありきのIDEだと気づけ

文法をパーサが簡単になるようにするとかは
別に構わないが、IDEありきの言語とか
本末転倒にもほどがある
最近のだどgolangの設計方針とか
パッケージとかgocodeとかみてみ

>>96

IDEありきなんて言ってないですよ？

>>90を読んでください。むしろ180度逆で
IDEがやっているようなことをコンパイラサーバーに
やらせることで、テキストエディタでも
IDEと同等の高度なことができるようにするという書いてあるでしょ。

なんでこう人の話聞かないかな。

本質的に同じだろ
パーサにどう吐かせるか
吐いた情報をどう加工するかだけの話
そんなのは言語自体ではなく単なる処理系のバックエンドの話
その辺と言語をごっちゃにしてるから浅薄だと

>>98
頭悪いねぇ。

吐いた情報？ じゃあその情報はどこから持ってきた。

言ってみ。

パーサーと書いてるだろ
ASTなりなんなりを吐くんだよ
サーバに置こうがローカルだろうがやることは同じに決まってんだろ
処理系の知識0ならまずは
ドラゴンでも中田さんのでも読んで来い

コンパイルフェーズをプラガブルにしてフロントエンドだろうが、中間言語処理部だろうが、バイナリに落とすところだろうが
どこでも割り込み可能にしたら多分なんでも持ってこれる
昔、gccで中間言語をXMLに落としたり、情報拾って部分式の型や逆参照を類推するような実験的プロジェクトがあったんだけどそういうやり方だった
まぁ当時はgccプラグインとか無かったから、無理やりコード改変でやってたけど今ならもう少し楽かも

LLVM

まあコンパイラの基本だよな
gccも昔は弄りやすかったけど
今はモンスターになっちまって見る気にならんけど

>>100
> パーサーと書いてるだろ

パーサーはなんでもでてくる四次元ポケットじゃないぞｗ
パーサーはただ情報をコンピュータが理解できる形に変換するだけ。

情報はそもそもソースコードにある。

ソースコードになにを書くか。それは言語によって決まる。
言語によって、どれだけ情報を取り出せるかが決まる。
多くの情報を取り出せるようにするには、言語を作るという話になる。

ここまで説明すれば理解できるよな？
単純にパーサーが頑張ればなんでもできるってわけじゃないことが。

じゃあどんな情報が必要だと思ってるんだ

たとえばJavaに「このメソッドは自分自身のオブジェクトを変更しない」という情報をつける構文があれば、
自分自身を変更しようとした時に警告を出せる。

これはいくらパーサーが頑張ってもできないことだ。

他にも、言語仕様が不足していたためIDEで
コーディングサポートが実装出来なかった機能として
Javaのenumがあるよな。昔のJavaはenumがなかったら
引数に入る値のコーディングサポートが出来なかった

パーサーや言語以外の何かが頑張ればなんでもできるってわけじゃない。
言語仕様によって、IDEが出来る機能は変わってくる。
これは紛れも無い事実。

なら逆に、IDEの機能をさらに発展させるには
言語仕様を変える必要があるという発想は自然と出てくるはずだ。

なんというか、自説を認めさせたいだけでそこまで凄いアイデアがあったわけじゃないのね

あと、言っておくがIDEを出したのは話がわかりやすいからであって
別にテキストエディタでも同じ事だぞ。

俺は存在を知らないが、高度なテキストエディタがあれば
IDEと同等の文法を理解した上での、コーディングサポートをしてくれるだろう。

で、なぜそんな高度なテキストエディタは存在しないのか？俺は存在を知らんのだｗ
その理由は、今のコンパイラは、コンパイルすることしか出来ず
コンパイル途中の情報を取り出せない。

IDEなみの機能を搭載するには、テキストエディタ開発者がコンパイラを作らなきゃいけない。
それは普通に考えてありえない話。だからコンパイラのアーキテクチャも変更しないといけない。
それがコンパイラのサーバー化という話。

テキストエディタを進化させるためのコンパイラサーバー化だ。

>>108
誰がすごいアイデアといったんだ？

最初から、このスレらしく「そういう言語を開発したい」と言ってるだけだろ。
　　↓
>>90
> できるようにした言語が作りたい。

そんだけしか言うことがないなら、難癖つけてくんなよ。

ここまでで、開発全体を快適にするためには、
IDEで頑張る前に、言語仕様を頑張る必要があるという話に
同意いただけましたでしょうか？

constをあんなに早くに導入したC++は神ということで

>>112
おい、答え言うなよｗ

せっかく、そんな機能に何の意味があるんだ？って
素人丸出しレスを待っていたのにｗ

意味が全くわからん
enumがIDEとかエディタとか
IDEとエディタを分けて考えてたり
コンパイラが情報を出してくれないとか
色々ツッコミ所が多すぎて…
モノを知らなさ過ぎる

enumもconstもvolatileもprivateなんてのも
言語の必要性から来たもの
人間にもコンパイラにも理解出来るものは
IDE/エディタにも理解させれるのは当然だが…

後は冗長で縛り過ぎる言語は誰も使わないぞ
契約プログラミングとか今や何それだろ

興味があるなら色々処理系みて見るといい
gccなんかの中間情報もだが
goとかは自分のパーサが標準ライブラリだし
エディタで補完するための情報吐くツールもある

>>114
意味がわからんのはお前が馬鹿だからじゃね？

そもそも言語の必要性ってなんだ？ｗ
enumになんの言語の必要性があるんだ。
言語の必要性で言えば、constで十分じゃねぇか。
実際ちょっと前まではenumしか無かったんだし。

極論いえば、全部アセンブラでも作れる。
言語っていうのは「人間が書きやすくするため」に作られたもんだ。
ならば、人間がさらに書きやすくするためには、言語を改良するのは当たり前の話。

IDE・エディタが頑張るのは、その次の段階だし、
言語機能が不足していれば、IDE・エディタががんばろうとしても
不可能なのは、enumやメソッドのconstで例に出したとおり。

具体的な例は出てる。それが違うというのなら、関係ないごちゃごちゃとして文章はいらない。
「言語仕様によって、IDE・エディタがサポートできる機能が変わってくる」
このことに”だけ”に反論してくれ。

>>115
理想のIDEを作るために最適な言語仕様を考えよう
と言いたいなら理解できる。

本末転倒であることは分かってると思うが
百歩譲って、それが生産性や快適さをどう改善するんだ？

>>116
理想のIDEというのは正確じゃないな。

コーディングサポートと言ったほうが的確。テキストエディタであっても
多かれ少なかれコーディングのサポート機能はあるだろう。

例えば、構文に色をつけるのだってその一つだ。
さすが色があっても生産性や快適さを改善することにならないと
主張するわけじゃあるまい？

あとは「どう改善するんだ？」という話じゃないのは解るかな？
どう改善するかではなく「どう改善したいか？」だよ。

それが、言語仕様で決まっていなくてもできることなら、言語仕様の変更はいらない。
だがenumみたいに、言語仕様があることでコーディングサポートが改善する、
ということはあるというのが事実。

もう限界でこれ以上生産性も快適さも上がらないよ。言語はもう発展しきった。と
いうのなら、そいつには、君のとってはそうだねって俺は言うだけだ。

その「どう改善したいか」を君が示せないから賛同を得られないのだが

>>118
つ「言語仕様によって、IDE・エディタがサポートできる機能が変わってくる」
このことに”だけ”に反論してくれ。

コテハンかトリップ付けてくれ

俺の好きにする

114だがconstやenumを#defineがわりとしか見てないとか、もう…

とにかく言語云々よりIDE()が作りたい事だけはわかった

もし実際になにかを作り始めたら
いずれ俺の書いた意味がわかる日も来るよ

>>122
なんか偉そうだなｗ

俺の書いたことに一切反論出来なかったくせに。

>>122
お前卑怯者。

#defineという単語を出したのはお前が初めてだ。
お前の書き込みは、#defineがわりとしてみていると
周りの人に錯覚させようという書き込みだろ。

#defineがわりと勘違いしているのはお前だけだ。

どう見ても、そうとしか見えない、と表明したら、
「周りの人に錯覚させようという書き込み」になるのかwwwwwwwwwwww

>>122では
「がわりとしか見てない」

>>125では
「そうとしか見えない」

相手に対して言った言葉が、
自分の感想に摩り替わってる。

無意識で自分の都合の言いように
自分の発言を思い込む人なのか？

違うならどう違うか、具体的に反論すればいいだけなのに、人格攻撃しかできないの？

なにに反論すればいいかわかんなくなってきてるみたいだから
もっかい書いておくわ。

> 「言語仕様によって、IDE・エディタがサポートできる機能が変わってくる」
> このことに”だけ”に反論してくれ。

これに対する反論はでてない。

それ以外の主張はどうでもいいことだから無視していいわけね。
全く見なかったものとして、無視しても一切文句ないわけね。了解。

>>129
そもそも>>90になにがしたいかは書いてある。

それにして、反論したい人がいるみたいだが、
その内容が、「お前はわかってない（その理由は書いてない）」ばかりで
何の反論にもなってないのだ。

そしてそいつは質問ばかりする。それに対して
enumやconstの例を出して説明があるが、
それに対しても「お前はわかってない（その理由は書いてない）」と
言うばかりで、何の反論もない。

どっちのワンサイドゲームになっているか一目瞭然だろう。

挙句の果てに、constを#defineの代わりとか言い出す。
話をちゃんと見ていれば、ここで出ているconstは
定数のconstではなく、メソッドのconstであることはわかるはず。

そこに根本的なレベルの差を感じるよ。

根本的なレベルの差、って、2ちゃんねるに思いのたけを書き綴るしかできないレベルの低さのこと？

人格攻撃しかできないの？

「言語仕様によって、IDE・エディタがサポートできる機能が変わってくる」
別にそのことそれ自体に対しては誰も否定していないので安心してね

という事でこの話はもう終わりにしよう

完全勝利で終わらす気かｗ

反論しろよ。

だってそれ以外には何も書いてない、とみなしていいということなんだから、
そういうことでしょ？

どうでもいいよ。
ここまでの間>>90の言うことに
まともな反論はなかったという事実が全てだから。

自分の主張している範囲を絞って相手に同意させて
元々の主張全体を正しいように見せる

この詭弁のテクニックは何か名前がついてた気がするけどなんだっけ

> なにに反論すればいいかわかんなくなってきてるみたいだから
> もっかい書いておくわ。

> > 「言語仕様によって、IDE・エディタがサポートできる機能が変わってくる」
> > このことに”だけ”に反論してくれ。

このこと以外についての反論は相手にしない、って明言してるもんな。

で>>90に負けたわけかｗ
情けないな。

実装してから勝利宣言しろよw

「開発したい」スレでなに言ってんだ？

全ての視点がツールでのサポートがどうたらで
その事を言語仕様の重要点にする意味が
ないって指摘をしてんだが
フルシカトだから話にならんね

あ、constがあればenumいらねと書いた事は面倒だから忘れてやるよ

>>143
言語仕様ってのは、人間が使いやすくするために存在するもの。
すべてがシンタックスシュガーであるといってもいい。

使いにくくてもいいなら、比較とジャンプができれば、事足りるんだからさ。


人間が使いやすくする＝ツールのサポートも含まれる。
最終的な目的は何だ？　ツールを使ったらダメなのか？
そうじゃないだろ。使いやすく出来るのであれば
どんな手段もとっていいはずだ。

普通チューリング等価であることをシンタクティックシュガーと表現したりはせんぞ

だからなんだよｗ

コーディングサポートの為だけに言語仕様を追加するのは効果が薄い（無い）のではという批判が主なのに
何ズレた反論を延々としてるんだろう

例に上がってるenumやconstだって開発環境の為のヒントの為だけに作られたわけじゃないし
ぶっちゃけそういうのはアノテーションで十分じゃん

> コーディングサポートの為だけに言語仕様を追加するのは効果が薄い（無い）のではという批判が主なのに

その批判に根拠が無いから
だらだらと続いているんだろ。

快適なスレッドリーディングサポートのために
コテハンの追加を所望

言いだしっぺからどうぞ

こうか

ほらよ、コテハン。
これでなにがしたいのかしらんが。

ちなみに、こんなのもある。

さて、これでなにが快適になると思うか。
だがコテハンできたのだから、満足したろ？

コテハンと言われてトリップを付けるか。
まぁ他人になりすまされることがないからそのほうがいいか。

じゃあそういうことで。なお、コテハンもトリップも
つけたり外したり変えたりするのでよろしくｗ

それなら言語の処理系本体に持たせて、各々のIDEが車輪の再発明しないだけでも
小さな一歩と言えると思うんだけど
全体的に見て、後退と言える要素がほとんど見当たらないんだけど
>> 97
の意見は私はいいカンしているように見える

外部ツールで補完の情報やらクロスリファレンスを
出させてエディタで利用する
なんてのはかなり昔から存在する
構文解析はエディタの外部だと反応が鈍くなる
どっちにしろ新言語というより処理系の話

かといってemacsのように重たくなっても困るしな

だれかemacsにコンパイラ仕込んだ奴いる？

excelなら見たことあるな、うろ覚えでググる気にもならんが・・・

エディタにコンパイラ仕込むっていう意味が不明だが
flymakeで裏で文法チェックとか出来る
eclipseもjavaは知らんがCDTはgccとかを呼んでるだろ

>>160
これのことか？
http://d.hatena.ne.jp/n7shi/20100519

面白いな、これのemacs版でも作ってみるといいかもな

http://babanba-n.iobb.net/mylang.txt
マジレスするとこんな感じの言語が欲しい

中二病の妄想投下だよね、失礼…

真面目な回答をすると人工言語ロジバンがコンパイルして実行可能なので
院生とかでこのコンパイラ作れば歴史に名を残せそう…

GUI の作成を含め、IDE が作りやすい言語、作りにくい言語と
いうのはある

Smalltalk は、IDE が作りやすい言語

C++ は、IDE が作りにくい言語
Microsoft の Visual C++ なんて、Visual という言葉を捨てた
方がいい

>>166
VC++を捨てるのはいいとして、
Smalltalkは使われてないだろｗ

他にまともなものを出さないと
捨てようにも捨てられない。

C++は文法が複雑になり過ぎて
機械的なパーザが作りにくいからな
STはObjectiveCとして生きながらえるしか…

>>168
よくわからん。
いくら複雑といってもコンパイラはパース出来るんだろ？
ならIDEだって同じ方法で理解できると思うんだが。

IDEで開発支援するなら動的言語が最適

>>170
動的言語で一括りにするなよ。
っていうか、世の中のほとんどは動的言語じゃね？

IDEが発達している言語は、Java、C++、
C、C#、VB.NET、Smalltalkぐらいじゃね？
あとの言語は数世代遅れた所で止まってる。

>>169
文字打つたびに長ったらしいコンパイルなんてやり始めたら作業にならんだろ

>>172
バックグラウンドでやるから関係ないよ。

デバッグしながらコード書ける？

>>172
BoostのTMP系でも食ってなきゃ滅多にないだろ。

>>164
俺も昔はこんなのだったなあと思いつつ言うので許してね…。
ぶっちゃけ酷い。プログラマーとして初心者以下のレベル。

ひどい理由が書いていない。
ぶっちゃけ評価する人間として、初心者以下のレベル。

>>177
これで軽く気持ち悪くなった。
＞i=0.to_i // 一度Int型で固定
＞i : Obj // どんな方でも受け入れることに変更

モンキーパッチ推奨、DRYと真逆の発想、可読性無視、スコープ破壊
もうお腹いっぱいです。

・動的型と静的型の違いは明確に。
・シノニムが多い。統一性を。(これではただの変態Ruby)
・ライブラリ、型、言語仕様の境界が曖昧すぎ。
　NullContext： 継承による拡張はライブラリ側。スコープは言語。

・メソッド接尾子
　if enabled? ... else ... :　truthy、falsyが曖昧。可読性悪。
　array.push! : 強制すると感染しますので破綻します。
　　万が一実装するにしても、これこそ型を使うべき。(C++のconst)

追加

・オペレーターオーバーロードっぽい機能は静的型用。動的メソッドは無理。

いい過ぎた。すまん。
読んでて実装無視の仕様に腹が立っただけなんだ。
本人も中二と認めてるものにいちいち口出して済まんかった。

一時の感情で発言して、その後謝罪するという無駄行為は謹んでください。

どっちもキモイので謹んでください。

ide言語君よりかなりマシな流れ

>>183
なにも言うことがないお前よりも、ide言語君の方がマシ。

とりあえず、そのide言語君が「何を、いつまでに」作ってくるか
答えるまでは評価しないという方向で・・・
ネタは>>162で与えた筈

>>185
言い出しっぺの法則。
まずお前から

パス

>> 180
どうも、真面目な話参考になりました
具体的に非難されるとよく考えるきっかけになるし、ありがたかったです
ちょいちょいと修練しなおしてきます

少し恥ずかしいですが、恥の記念碑みたいなもので少し残しておきます
こういうスレは進みが遅いので、1000行くまで残すことはないですが

ないね

まずは 新言語からCに変換してgccで実行ファイル作るとこまでやる
これだけでも世界が変わる
納得いくものができたら次のステップへ

今ならjs吐かせてブラウザから
試せるようにしたら話題を少し掴めるかもな

sapphireって名前にしようと思ったんだけど、すでにそういう言語あるんだね
http://d.hatena.ne.jp/Matthew/20110908

｢新言語｣と言うがあまり新しさのある言語は出てきてないな。
もうそんなに新しいのはないということかな？
どっか隠れたところに思わぬ見つけ物はないんかな？

多くの論理や構造の表現は既存言語上で動くライブラリやフレームワークで実現できるからな。

>>194
俺の誤読かもしれんが、それは新言語が出てこん理由にはならんな。
”多くの論理や構造の表現は機械語上で動くライブラリやフレームワークで実現できるからな。”
も言えるからな。

目新しいパラダイムの大きなのがないし
しかたなくね？

最近のじゃ目新しいのはπ計算ぐらいか？
それでも、ラムだ計算をデフォルトで並列に対応させた体系って意味じゃ目新しくないかもだが

おとなし過ぎるな。
まじめにお勉強しているようなのはダメかもな。
なんかトンデモに近いようなのでもないんかな？
ジョブスだったらどんなのやるかな？

時間のムダ

> ジョブスだったらどんなのやるかな？

テンプレートそのままのバカだな

0は、偽
それ以外は真

false
true
それ以外は灰色

ファジィ制御（ファジィせいぎょ、Fuzzy Control）

>>197
π計算ってλ計算を並列にしただけじゃないから。

scratchとかのビジュアルプログラミング環境は新しいって言えるかな？
プログラマの感覚としては、なんかこのスレの趣旨とズレている感じもするんだけど
時代には合っていると思うんだけ

ファジィ制御って3の倍数と5の倍数がどうのって話だっけ

机上の空論

>>193
存在すると思うよ。
俺が苦心しているのはそれがプログラマーの仕事を奪う可能性があるので公開しない方針。
つまり素人でもプログラミングできてしまうことでプログラマーが用無しになるのは困る。

俺の場合はそういうことをスレに書き込むことも自重してる。

俺の場合、業界の情況を見るといいたくもなる。

黙ってそれ使って金儲けするのがお前の為であり社会の為

プログラミングなんて人間がやることじゃない

プログラミングなんて、人間にしか出来ないだろ

いや、そう遠くない未来に。

人類が絶滅しているかも知れません

俺は非ノイマン型の言語を開発中だよ、オマエラ程度では非ノイマンの
可能性すら分からないだろうけど。

多くのものがチャレンジした従来型の非ノイマンの類はどれもそれぞれの
パクりにすぎないわけで。新しい概念を生み出すことが一番障壁になる。

分からないから早く完成させてきてね

非ノイマン型言語ってどういうことなん？
Cみたいな命令型言語じゃなく、Haskellみたいなやつってことかい？

データフローアプローチなんて既にいくらもあるし。

Prologあたりとかぜんぜんノイマン型じゃないけど、そういったことも
知らないバカのようだから、反応する必要ないよ。

言語を作るのはいいが、
開発に便利な機能を取り入れた言語を作ってくれ。

いつまでもコード補完機能をコンパイラじゃないIDEが
担当するのはおかしいと思わないのか？
コンパイラは100%コードを理解できる。
ならコンパイラに聞けば良い。
再発明する必要はない。

何も分かってない恥さらしはしない方がいいと思うんだ

言い返せないのなら、黙ってれば？ｗ

書きかけのプログラムが問題で、プログラムとしては不整合な状態だから
型推論とかがうまく行くとは限らないが、
書いてる最中なのでまさに入力補完機能とかが欲しい

たぶんアドホックな手法を導入する必要がある

コンパイラのフロントエンドの処理をIDEと共有しようというのはあるかもしれない。

そのとおりだな。
そうなれば、vimやemacsの低機能なエディタでも
完全なコード補完が出来るようになる。

今テキストエディタが低機能なのは
コンパイラを再発明しなければ
ならないような状態だからだ。

何言ってるんだこいつ

ghc-mod

織田信長？

DLLみたいに、読み込んで加工せずに実行できるコードとか、exeファイルに組み込みたい場合もあるよね。
加工が必要なファイルでも、暗号化だけ施したコードとか、ソースコードで表現するならIDEと連携する必要があるね。

そーゆーのは言語とは独立したユーティリティとして実装できるじゃん

独立させられるものは独立させといた方が、一般的にはいい

中間コードという概念がある言語ならユーティリティでも実装できないかも。
でも、中間コードという概念自体、配布以外で意味があるのかどうか。

219: 言語と開発環境を区別して考えられない。
230: 言語と実行環境を区別して考えられない。
231: 仕様と環境を区別しないと考えられない。

なんか、どうやって実行するかという話ばかりで、具体的にどういう言語仕様にしようかという話が出ないね。

仕様語るのは難しいから。それなりの教養がないと。

不毛な話ばかりだから、強引に展開しよう。

動的型言語の利点は、classなどの代入を簡単にすることにある。
しかし、一般的なプログラミングの仕方では、3種（もしくは2種）以上の型を代入しながら作るという事はしない。
それならば、静的型言語に「一回だけならどんな型を代入しても良い」という機能を付けた方が良いのではないか。

異論があっても構わない。動的型言語の存在意義も見出したいから。

>>231
なぜ区別しないといけないのか？
頭が硬すぎる。

言語と実行・開発環境をセットにしたくてしたくてしょうがない人が少し前から居ついちゃったねw

つ 目の前のものしか考えられない頭

まあ言語と環境は完全に切り離せないからな。

動的型付け言語で、まともに静的コード補完が出来ないのは
言語仕様のせいなわけだし。

開発環境を補完するための言語仕様があってもいいでしょ。

くっつけると新しいものが生まれてくると思い込んでる頭がいるね

>>239
それは正しいよ。
たとえばVisual StudioとかEclipseとかね。

うわべだけ別の話を持ち込まれても何にもならないね

そのコメントも意味が無いねｗ

とりあえず使える文字決めようぜ

プログラムの最後は.にするか。

begin end でプログラムを区切ると、使える記号増えるけど、begin end　という名前の関数と変数が使えない

環境込みの言語を開発するのは良いよ。
でも、その前に何故Smalltalkではダメなのか
はっきりさせないと、車輪の再発明になるだけだよ。

>>224
>>223の方法でemacsやvimでコード補完できる言語（コンパイラ）あるよ。

Smalltalkの良さを語ってくれ。

OCamlとかな

「環境込みの言語」ってのは、なに言ってるのかさっぱり分からん。
単に開発環境と実行環境を統合した環境のことを言っているのだろうか、
それともさらにリフレクション機能がを持った環境のことを言っているのだろうか。

いずれにせよ言語仕様と言語処理系実装を区別して考えられない人らしい。

環境込みの言語とは、これの事じゃ！
http://www.runexy.co.jp/personal/ultra_c/outline/

C言語という独立した仕組みがあるんじゃ…という突っ込みは無し。

環境を実装と直結した形でしか考えられないほうが
どうかしてるよ。
環境というものを抽象化する能力が欠如してるだけじゃなく、
その発想すら無いってことだからね。

ぷｗ　今までと同じやり方の
発想しか出来な人がなんか言ってるよｗ

このスレに今までと違う発想なんて
一片たりとも存在してないけど……

一片たりとも存在していないのであれば、
一体何に対して反論していたというのか？

このスレって要するに

・Haskell, OCamlレベルの型推論があって
・Visual Studio並みのコード補完がEmacsやvimのようなエディタからも使えて
・馬鹿でも使いこなす事ができる

そんな言語が欲しいってことでしょ？

> 馬鹿でも使いこなす事ができる
これさえ満たしていれば後はどうでもいい

じゃあVBとPHPを参考にすれば良い

それは馬鹿なら使いこなせる言語。
馬鹿でも使いこなせる言語は別物。

じゃあJavaだな
馬鹿用に設計され、初心者も熟練者も一律して冗長なコードになる

馬鹿には、汎用言語すらむいてない。

馬鹿にも分かってほしい最低要素

・プログラムカウンタとスタックカウンタ
・フラグレジスタと、その他のレジスタ
・スタティック領域、ヒープ領域、スタック領域の違い。
・関数と変数のポインタ

・ポリモーフィズムとインターフェース
・コンパイル時リンクと、実行時リンクの違い

・GUIとCUIの最大の違い

COBOLでいいじゃん

たし算すら統一されてない言語のどこがいいんだ。

ぶっちゃけ制作中だが宣伝してもいいかい？Ｃベースの図形言語なんだけど

>>264
IDE言語統合厨がいるから、何でもいいから話を作ってくれ

ぶっちゃけIDEのコード補完が重要なのは冗長な言語だけ
他は「あったら良いけど、無くても問題無い」レベル

>>234
それ、型を宣言するのと何が違うん？

ああ、実行時に異なる変数を代入すれば違う型として扱えるってことか。

んでも、違う型になりえる変数を使うことにイマイチメリットが見いだせないなぁ。

>>265

んじゃ、「12」っていうんだが・・・

http://d.hatena.ne.jp/programmingshape12/20121028/1351384322

>>267
例えば、関数の引数なんかが何でも代入できたら便利って思わない？
でも、実行コードは、テンプレートと同じように膨れ上がるけど。

それって只の多相型じゃん
静的型付け関数型言語なら大抵あるぞ
テンプレートのように実行コードが膨れ上がったりもしない

テンプレート関数って、多相型あればいらなくね？

>>269
> 例えば、関数の引数なんかが何でも代入できたら便利って思わない？

例えば、fooという関数があって、intとstringを引数に取れるとする。

それはfoo(int value)とfoo(string str)の２つの関数を定義するのと同じ事。
オーバーロードって呼ばれる機能のことね

君がそういう意図で書いたのではないということはわかっているが、
つまり、「関数の引数なんかが何でも代入できる」というのは
オーバーロードを備えている言語、Javaなども当てはまる。

そう、オーバーロードやテンプレートで関数の引数は
なんでも代入できるってのは実装できる。

ここで比較するべきことは、
「オーバーロードやテンプレートを使ってなんでも代入できる」と
「型がないがゆえになんでも代入できる」の２つの違い。

型が違えば、処理もわずかながら違ってくる。
つまり、後者は引数に何が入っているかで処理を切り替えないといけなくなる。
そして想定外のものが入っている可能性もあるので、引数チェックも必要になる。

つまり、後者は劣った方式。

Javaにはジェネリクスもあるのに
何でオーバーロードで例えるんだよ
ほんとに分かってんのか？

型無しの変数だけ、型名にvarと宣言させれば、
オーバーロードと同時に使えるかもしれない

メソッドのオーバーロードの話をしているのか
型システムでいう多相型の話をしているのか
（動的型付け言語で見られる）型の無い変数の話をしているのか

多相型を予約語一つで実装しながら、オーバーロードも実装したいという話。

多相型って、OCamlとかにあるアレのこと？
それともVBのVariantのこと？

OCamlとかのアレのことです

>>271
C++のtemplateは、
・クラスごとに実装を別に出来る
　(実装を別にしたくない場合は、templateでなくvirtual関数を駆使する)
・クラスだけでなく整定数ごとに別の実装を持てる
・再帰的に定義できる (コンパイル時に原始帰納関数が計算できる)
という特徴がある。
後者２つのせいでtemplate meta-programmingが炸裂した。

多相型を実現する機能とメタプログラミングを実現する機能、
それぞれ分かれてる方が良いんじゃないかな

>>277
型クラス

多相とオーバーロードって
関数のエントリポイントが
同一か型ごとに分かれてるかの違いだろ？

型推論しないなら、多相型とオーバーロードの共存も難しく無いよ

＞273
そういうのはダックタイピングで対応できる。
完全には行かないけどね。

C++のtemplate、メタプログラミングは発展途上だと思う。
もっと使い易くしてほしい。

それはconceptでFA．

ダックタイピングってインターフェースを
定義しないインターフェース。

型安全性をなくしたインターフェースなんだよね。

いやインターフェイスだけを定義したといった方がいいだろ。
型安全がないから例外は必須だよね

テンプレートもインターフェースも多用すると
マクロ展開多用したコードみたいになる。何事も
バランスというか節度は大切やね

で、その多層型のメリットは何？

map :: (a -> b) -> [a] -> [b] とか、もし多相型が無かったら
全ての型a,bに対してmapを定義する必要があるじゃん？

動的型と違うのは、map f xs としたときに
fの引数の型とxsの要素の型が一致してないと
型エラーになるところ

仕様ができたので公開します。

http://d.hatena.ne.jp/programmingshape12/searchdiary?word=%2A%5B12%B4%D8%CF%A2%5D

>>292
> 全ての型a,bに対してmapを定義する必要があるじゃん？

ないよ。その為のinterfaceでありgenericsだろ。

>>294
Javaのgenericsは多相型（パラメータ多相）

JavaのGenericsはびっくりするくらい不完全なゴミだけど
一応多相型

そもそも、多相型を使うメリットは何？

型ごとに関数やクラスを作らなくていいし、
対応している型が何かが、関数の定義としてすべて簡単にわかる。

コードを書く量が減るってことか？

対応してる型が何かが分かるというのは、型ごとに作る場合も一緒だろ？
それは多相型のメリットではない。

型により挙動が変わるコードを書くことができるので便利ということなら
逆に動作が分かりにくいコードを書けることにも繋がるので
邪魔な機能という気がするがなあ。

びっくりした。
コレクションごとにfor文も別に用意するか？

それならCのキャストでも良いだろ？
動かしてみないと実際の中に見合った型が分からないのはバグの温床。

>>299
例えば配列があったとするよね？

数値用配列と文字用配列はどちらも配列だから
配列として作りたい。

だけど数値用配列には数値しか入れたくない。
数値しか入らないのであれば、数値以外を間違っていれようとしたらエラーにできるし
配列から取り出したものは必ず数値だから高機能エディタは数値用のメソッドだけを
コード補完できるようになる。

まったく多相型のメリットになってないけど、それがどうした？

>>303
多相型ってわかってる？
ちょっと説明してみせて。

>>304
日常的に使われる加算演算子‘＋’が
整数・実数・複素数等、型を意識しなくとも同様に使えるように、

コンピュータ言語において、変数や関数の型を意識しなくても同様の挙動をするものを
まとめて扱う機能のこと。

馬鹿な意見が出てくるわけだ…

>>305
それは「型」じゃねぇ。

で此処の人たちは能書きばかりで実際に言語作る気あるのん？

＞307
複数の型を同じように処理できるって言う正しい説明だ思う。

多相型は最初に書きやすくてもメンテしづらい。
作り捨てプログラマなら平気なんだろうけど。
メンテしづらい言語仕様は糞だよ糞。

>>310
動的型付け言語はもっとダメだろうなｗ

>>305
それはオーバーロード

>>310
お前の使って言語は型推論もしてくれないようなクソ言語なわけだ

型だけ違ってアルゴリズムが同じコードを
コピペしまくった方がメンテしやすいとは
>>310は面白い奴だなぁ

>>314
そこで void * ですよ

型安全なコードより
キャストを使ったコードの方がメンテしやすいとは
>>310は面白い奴だなぁ

そこで始原クラス
class Object
ですよ

Objectも元の型に戻すのにキャストいるだろw

幸せなやつばかりでいいな。

多相型を使っても使わなくても、ポリモーフィズムは実現できるし
メンテしやすいように書くこともできる。

しかし、よりメンテしづらいものを書けてしまうのが多相型。

共通する動作を1か所にまとめ、異なる動作をする部分は別々に記述する。
これが、バグを作り込まないための言語としてあるべき姿。

異なる部分が、共通する部分の中に取り込まれる形では
（プログラムの正しさではない）仕様の正しさを人間が検証するのに不向き。

お気楽プログラムしか書かないなら気にしないんだろうけど。
いや、そういうのしか書かないなら本当に気にしなくていいことだよ。

内容がない文章だな。
俺が反論を書いてやろう。


多相型を使っても使わなくても、ポリモーフィズムは実現できるし
メンテしやすいように書くこともできる。

しかし、よりメンテしづらいものを書けてしまうのが多相型を使わない方式

共通する動作を1か所にまとめ、異なる動作をする部分は別々に記述する。
これが、バグを作り込まないための言語としてあるべき姿。

異なる部分が、共通する部分の中に取り込まれる形では
（プログラムの正しさではない）仕様の正しさを人間が検証するのに不向き。

お気楽プログラムしか書かないなら気にしないんだろうけど。
いや、そういうのしか書かないなら本当に気にしなくていいことだよ。

なぜこのような反論が成り立ってしまうかというと
>>319に”理由”が書いてないからだ。

理由がなくて主張だけするのであれば、
ほらこのように言葉を入れるだけで成り立ってしまう。

>>319は次レスするときは、
多相型を使った場合と、使わなかった場合の
実装例を出すべきだな。

それ以外に反論する方法はなかろう。

荒らしと思われると困るのでレス無用だが、現金より強力な最強プログラミング言語を拳固以外で何かあれば手に入れたい。

反論になってないものに反論することは出来ないし
俺も困らないからどうでもいいや。
少なくとも俺の作ってるのには含まれない機能だしね。

int用リスト、double用リスト、string用リスト、その他ユーザ定義型用リストを作って
それぞれにsort関数書く方がメンテしやすいんですよね？www

多相型ってパターンマッチングとかで使うものじゃなかった？
今話されているような使い方されることもあるの？

C++0xにconceptが入らなかったことが悔やまれる

326のことは忘れてください

＞312
多層型を実現するのにオーバーロードを使ってるんだろ。
ソート関数いくつも書くより比較演算子をオーバーロードした方が楽だって事。

Parametric polymorphism
Inclusion polymorphism
Ad-hoc polymorphism

全部違うものなのに、区別しないで議論しても仕方ない

何を言っているのかわかりづらいので、
Adhoc polymorphism
Parametric polymorphism
Subtype polymorphism
という用語を使って話してもらえますか？

オーバーロードというのは、型ごとに別の定義を持つ(組み込みのものを含む)
adhoc polymorphismのことを言っているということでいいですか?

>>329
めっさかぶった！w
inclusion = subtypeね。

>>328
とりあえずソート関数の型を書いてみようか

sort[T <: Comparable] : Seq[T] => Seq[T]

sort :: Ord a => [a] -> [a]

haskellはList限定なのね

コンテナの中身は多相型で、sort関数自体は
List, Seq, ByteString などでオーバーロード的に定義されてる

あ、ごめん
オーバーロード的に、は嘘だった

>>335
配列対象だとモナらないといけないので型もSTな感じに変わってくる。

オブジェクト指向と関数型、静的型とRubyのような簡潔さ
JVMならどこでも動くポータブルさとJavaの豊富なコード資産

思いつく限りの良い性質を取り入れたScalaが
残念な言語になったのは何故だろう？
良い性質を取り入れるだけでは新言語は良くならないという事か

scalaは型システムが一般人向きじゃない。

>オブジェクト指向と関数型、静的型とRubyのような簡潔さ
>JVMならどこでも動くポータブルさとJavaの豊富なコード資産

この2行だけだと、「思いつく限り」という程いい点が多いように思えない。

Ｊａｖａっていう名の知れたものの資産ぐらいだね。
それもそんなにあるかどうか・・・

やっぱりRubyのような機能を
取り入れたのが失敗のもとなんじゃないですか？ｗ

Javaがコード資産ないという評価だと、ほとんど全ての言語はアウトだな。

ほかとの比較でね。
優位である点が見当たらない。

トップクラスの豊富さなのに、
それをそのまま使えるんだから優位以外の何物でもないと思うが。

Scala大人気でした…
http://jp.techcrunch.com/archives/20120912javascript-tops-latest-programming-language-popularity-ranking-from-redmonk/

Haskellの隣の順位という時点で
大人気とは言いがたい

Javaは優位な点だらけでしょｗ

静的型付け言語というのが一番のメリットで、
その中でここまでうまくやれてるのって
他にないでしょ。

Javaは冗長すぎてウンコ

java は参照渡しができなくてウンコ

そんな細かい指摘しか無いの？

○○をするにはどうすればいいんだろう？と思った時
他の言語なら最近出てきたものが、
Javaの世界には既にあったって驚くことばかりなんだけど。

Ｊava は参照渡しができなくてウンコ

参照渡しの代わりになる技術はあるが、
その逆はない。

例えば、eclipseのリファクタリング機能。
あれと同等の数と信頼性を持ったものはない。

これはecliseが凄いだけというやつがいるが、
Javaだからこそ、ここまで作ることが可能だった。

>>354
＞参照渡しの代わりになる技術はある
ない
そしてJavaは参照渡し（call by reference)はない、あくまでも値渡し(call bye value)のみしかもたない
結論：Javaはウンコ

>>355
参照渡しができなくても
参照渡しをすることで作りたかったアプリは
別に参照渡しを使わなくても作れるということ。

目的は参照渡しではない。
真の目的はアプリを作ることだ。

>>356
Eclipseのリファクタリング機能がなくても
Eclipseで作りたかったアプリは
別にEclipseを使わなくても作れるということ。

目的はEclipseによるリファクタリングではない。
真の目的はアプリを作ることだ。

> 他の言語なら最近出てきたものが、
> Javaの世界には既にあったって驚くことばかりなんだけど。

他の言語なら昔からあったクロージャが
Javaにはまだ無いって驚くわ。

Javaの基本データ型に参照が必要だと感じたことはないけど、
プログラミングスタイルがそういうやり方に慣れちゃってるんだろうね。
必要なら、mutableなオブジェクト型を作って渡してやればいいだけだろうけど。

こんな感じ

class Reference<T> {
T val;
void set(T v) { val=v; }
T get() { return val; }
}

class Example {
public static void main(String[] args) {
Reference<Integer> ref = new Reference<>();
f(ref);
System.out.println(ref.get());
}

static void f(Reference<Integer> ref) {
ref.set(777);
}
}

>>357
はいその通りですね。
もう一つの目的、早く作るってことができるのは
Javaだけです。
参照わたしはなくても、早く作れますのでｗ

>>358
クロージャなくても作れるからねぇ。

戦術と戦略の違いかな。
戦略上重要なものがJavaの世界にはあふれている。

Javaでクロージャのようなことしたかったら、こんなかんじ。
interface Closure {
　void call();
}

class Example {
　public static void main(String[] args) {
　　final Reference<Integer> ref = new Reference<>();
　　f(new Closure() {
　　　　public void call() {
　　　　　ref.set(777);
　　　　}
　　　});
　　System.out.println(ref.get());
　}

　static void f(Closure c) {
　　c.call();
　}
}

>>363
そういうクロージャもどきが
いろんなライブラリで定義されてて
互換性がないところが生産性悪い

一方のライブラリで作ったクロージャを
別のライブラリに直接渡せないとか馬鹿かと

>>363
クロージャの説明に、mainとかclassいらなくね？

お前の説明は無関係ない部分が多いんだよ。

>>364
直接渡せないなら
変換すればいいじゃない？

ほんの数行で書けるでしょ？

そうやって可読性を落とすからJavaはゴミなんだよ

>>364
どんなライブラリ使ってるの？
普通のJavaの流儀だとクロージャを使うことはないと思うけど、
自分の知ってる機能が言語に無いと不便に感じるかもしれないね。

Apache Commons
totallylazy

現状のJavaが優れているからといって、新言語をJavaに似せても
その言語が良い物になるかっていうと違うだろ
Javaの強みは圧倒的なコード資産とノウハウなワケで
それは新言語にそっくりコピーは出来ないんだから

http://e-words.jp/w/E58F82E785A7E6B8A1E38197.html

クラスへの参照を渡すのは参照渡しじゃないのか。

>>371
参照渡しじゃない。
それは「参照の値渡し」

言ってる意味はわかるけど渡された参照値経由で操作するなら
アクセスコスト的にもロジックの理解度的にも問題なくね？

似ていると理解するのは間違っていないと思うが、同じだと考えるのは危険でしょ
渡されてきた仮引数に代入しても
値渡しだからオリジナルは書き換わらない

同じだと書いてる人いるか？

違うものであっても結果的に同じことが出来るなら問題ない。
もっとも、それがとても大変な手間がかかるというのなら話は別だが。

大変な手間＝タイピング時間 のことではないよ。

「ほげ言語」のパラドックス
http://practical-scheme.net/trans/beating-the-averages-j.html

>>377
前半をチラッと見ただけで書くけど、

俺は学習用の言語と
アプリを作る実用用（使い続ける、メンテナンスが必要なもの）の言語は
別の特性を持っているものだと考えている。

今、学習用の言語ってある？昔はPascalだったそうだけど。

LispとかPrologじゃないの。

今はほとんどJavaでしょ。
学習用も業務用もJava。

LispやPrologは毛色の違うのを学ぶ程度。
LispやPrologでカリキュラム組んでる大学ありますかね?
(探せば１つ２つ出てくるかもしれないが)

PythonやCを使ってる大学もあるよね。
この２つもどちらもカバーする言語。

>>381
20年前の時点で ML があった。勝手に無断出席しておけばよかった。

特定の言語でプログラミングを学習するということ自体、おかしい。
テンプレートとかは、その言語特有の記号や文字の並べ方を学習しないといけないけど。
アセンブラ言語の構文糖が全部揃ってる言語じゃないと、最適化やアルゴリズムは学べない。

Knuth先生かよw

>>384
例えば普段Javaを使っている人が関数型言語を学ぶと、J
avaの技術力も上がる。文法もなにかも違うのにだ。

つまり、言語を学ぶと「文法」と「考え方」の2つを学ぶことになる。
文法は他の言語に応用はあまりできないが考え方は応用できる。

で実際のアプリ開発の話をすればどんな凄い言語であっても
0の状態からウェブフレームワークやデータベースアクセスライブラリや
HTMLパーサーを書けるわけじゃない。簡易的なものはできても
実用レベルに到達するにはすごく時間がかかる。

そういう点で実際にアプリを作るのであれば言語周辺技術が
発展している必要がある。量が多くて質も良くて互換性が高いものが良い。

最新の技術を取りれていくような言語は、変化が大きくそれ故に
互換性がなくなりがちになる。そうするといままで動いていたものが
動かなくなる。だからアプリ作成には向かない

学習用の言語とアプリ作成用の言語は、言語が目指す目的が違っている
だから学習用とアプリ作成用の言語は違うものになる。

Java製のデータベースサーバーってどんなのがあるの？

いきなり何の話だ？

そもそもJavaは「サーバを作るための」言語ではない。

最近はJavaはウェブサービスを作るのによく使われてるね

「サーバソフトウェア」を作る言語ではない。

だからなんなんだよｗ
アセンブラだってサーバー作る言語じゃねーだろ。

馬鹿には無理

簡易的なものはできても
実用レベルに到達するにはすごく時間がかかる。
だからJavaはデータベースサーバー作成には向かない。

> 実用レベルに到達するにはすごく時間がかかる
言語関係なくね

学習用の言語とアプリ作成用の言語は、言語が目指す目的が違っている
だから学習用とアプリ作成用の言語は違うものになる。

Javaで書いたDBあるよ。当たり前だけど。

全ての機能が備わってる←低スペックCPU向け or 学習向け

いくつかの機能が無い←高スペックCPU向け or 大規模アプリ制作向け

>>386
学習用、の言語をいくつか教えてください。なんだか行き詰った感じを打開したいです
はじめての言語は pascal, c/c++/java をちょとだけかじりました、z80/6809/i8086 ならなんとか、他はしりません

>>399
つ LEGOマインドストーム、プログラミン

学習用ってか、教育用だろうね

言語を開発するには、たとえば awk ぐらいの言語を開発するには
どんな本を読めばいいの？

コンパイラコンパイラ

ぐぐってみればわかるよ

>>402
素人が本を読んでも理解できない。
大学で専門知識を身につける過程で
教材として読むのが本なのだから。
まずは良い先生のいる大学に入ることが先決。

>>402
> たとえば awk ぐらいの言語
awk のソース読めばいいんじゃね
現実問題 awk(awkでも何でもないawk) なんて知れてる行数だよね

% pwd
/usr/src/contrib/one-true-awk
% wc *.[chy]
233 1052 6431 awk.h
486 2452 13914 awkgram.y
976 3868 23267 b.c
582 2238 13104 lex.c
706 2838 17340 lib.c
218 884 5961 main.c
168 820 5138 maketab.c
276 861 5185 parse.c
195 984 6859 proto.h
1960 7223 44856 run.c
457 2000 12574 tran.c
6257 25220 154629 total

何の知識もない人が、いきなりlexerやparserのソースコードを読んでもむずかしいと思う。
最近なら素人向けにそういうのを解説した本や雑誌がありそうだけど。

最近だと『言語実装パターン』辺りが

いやー難しいもんだね。
言語理論自体が一つの学問になっているくらいの難解さなうえに
言語を作るためには何かしらの言語を操れるスキルが必要。
独学でやったら人生を浪費してしまうよ。
素直に大学の専門学部に行くべし。

http://www.amazon.co.jp/dp/4797337958/

大学行っても勉強するのは自分だよ。

>>410
「ふつう」の人にオススメできない本でした。
環境を486・linux・javaに限定しているのでWindowsで動くバイナリを期待した人は落胆するでしょう。
「x86系CPUを選んだ理由は、現在この地上において最も普及しており、、、」と書いているわりには
Windowsを完全にスルーするのはどうかと思います。まあパーサやアセンブラの関係なんでしょうけど、、、。
各章でコンパイラ・リンカ・ＣＰＵ・実行の仕組みなど多くを扱っている為かページ数だけ増大し、内容が薄いものになっています。
構文解析には既成のパーサを用いている為、その実装や理論・アルゴリズムは他の書籍に丸投げしているので残念ながらこの本1冊でコンパイラを理解するのは無理でしょう。
また486に関しても同様です。
コンパイラ本にはドラゴンブックや中田育男先生の本、486には「はじめて読む486」など名著が存在するのでしょうがないですが、、、。
逆にいうとそれらの名著をすでにお持ちの方は「この」本は必要ないように思われます。
著者はあくまで「現実的な」コンパイラを目指していますが、その「現実的な」コンパイラを実装したところでそれをどうように活用するの？という疑問が沸いてきました。
速い実行速度が必要ならばＣ言語で事足りるし、柔軟な言語が必要であればperl・rubyやjavaで十分だと思います。
コンパイラの理論を勉強するのであればこの本の存在意義は皆無です。

「俺は天才だからコンピュータ言語に新たなパラダイムを吹き込む！」といった人は読むべき本です。
最後に良心と思ったのは価格です。これが倍以上の値段だったら発狂しているところでした。

馬鹿には無理

構文木理解しろ。

「Cで書いたプログラムがたいてい高速に動作する（中略）
Cはカミソリのように切れ味鋭いツール」

『プログラミング作法』p.105　ブライアン・カーニハン、ロブ・パイク

これはどうかな
言語実装パターン――コンパイラ技術によるテキスト処理から言語実装まで
Terence Parr　著、中田 育男　監訳、伊藤 真浩　訳
原書: Language Implementation Patterns
http://www.oreilly.co.jp/books/9784873115320/

>>412
unix/linux上でjavaって、工学部出身だとすごく平凡な環境
サービスエンジニアが発狂してるのかな？

>>著者はあくまで「現実的な」コンパイラを目指していますが、その「現実的な」コンパイラを実装したところで
>>それをどうように活用するの？という疑問が沸いてきました。
コンパイラを作ってやろうと思ってるなら

>>速い実行速度が必要ならばＣ言語で事足りるし、柔軟な言語が必要であればperl・rubyやjavaで十分だと思います。
この発想自体がおかしい。
そもそも本を手にした時の発想とピントがずれてますね。
加えてプログラミング言語に目的を絞っている点で視野が狭い。

命令型でもないし関数型でもない言語を考えてる人とか研究室・研究所ってあるん？
あるいは、言語として命令型か関数型以外のタイプは存在し得ないともう分かってるの？

Prolog とか

ああ、述語のやつか。あんまりぱっとせんね

ないものは創れば良い

SQL で 8-Queens 解いてるひといたけど
あれはどういうジャンルなんだろ

劣化関数型言語じゃねーの

集合型とか言ってる人がいたな。

非手続き＆非手順、言語に興味ある奴いる？
つまり論理に依存しないプログラムなんだが存在否定するほど無知な奴は
どうでもいい。

>>426
Haskellじゃダメなの？

世の中、手続きが大事だから、それが表現できない言語は失敗するよ。
（通信・ハードウェア制御・UI等）

>>426
興味ある、てか同じような事考えてるかも
どんなの？

>>426
ﾉｼ

>>428
ネットワーク型で非論理を布石のように結ぶことで一定の働きを表現できる。
>>427
いつ誰がやっても同じ結果になるなら、そんな言語は捨てるほどある。
チューリング＆ノイマン的な方法論で言語を作るなら
デザインも含め、時間と労力があれば金だせば誰でも発注できるだろ。

言葉に酔ってる

>>430
言っている意味が欲分からない。

何となくだが、LabviewやMATLABのSimulinkみたいなものを作りたいの？

ニューラルネットじゃね。

>>430
非論理で布石ってどんなの？
俺が思ってるのは転置？インデックスで、要はその時々の確率で動くプログラム
チューリング的な意味では同じ様な事かも

普遍性は科学の基盤なのに。
それを捨てたら、応用できなくなる。

というか、そもそも道具としても有用なのか？
砂上に楼閣を建てようとする人なんていないだろ。
アナログコンピュータが消えた理由を考えた方が良い。

>>432
そういう表現するなら無視してくれ、完全に別次元。

>>434
原因と結果が因果していない類とか偶然成立するものとか
ランダムとランダムを重ねることで模様を生み出すとか。
論理思考に捉われるとすべて論理に見えてくる。
非論理なら意味不明な働きで何が悪いのかという話しになる。

論理じゃないんだから、働きが意味不明でもそれはそれで正しい。
何に利用するのみたいな煽りがでてきそうだけど、利用するとか関係ないのに
利用する前提になっているのが痛い。

>>435
応用の必要が無いもの、道具ではないもの。
そんなものを考えるのに何で応用や道具が必要なの？

非論理な言語に向かって論理的じゃないよと突っ込む、その心とは？

先に書いちゃっていい？タイミング的に後先なるかもだけど

フリーソフトつくりますってスレの22にも概要的な所書いたんだけど、基本的に普遍性が使いにくい所でしょ？PCとかプログラム言語って
アレして、が通用しない所
でも、特定のタイミングでアレとは何なのか世界中で蓄積したら機械にも分かるんじゃない

機械語の次に高級言語があって、それらって基本的にかぶり倒してるよねやる事。
だからもう高級言語いらないんじゃないかって。学習コストばっかり掛かって世界中のリソースが無駄になってると思う

やっぱ後先なったか。

あとほんでそういうのを有用にする為には巨大なデータの蓄積が必要で、
それってGoogleとかカノニカルとかがやって今集めてるような、個人の動きを儲けにする、「道具」にしてしまうのはまずくて、「言語」とかベースになるべきものだと思う

論理に依存しないじゃなくて頭が論理についていけないだけ

非論理言語としてこんな言語＝�A（従来の論理型言語は�@）
�@if 条件 then 実行
�Amaybe 条件 also 創作

>>436
先に語り倒してしまったゴメン

ランダムでも非論理でも利用できるまで集めたら利用出来るでしょ
その"利用する"瞬間がその言語にとってのtrueみたいな。またそれは変わるけど

>>443
偶然の原理において結果が必然に発生するかもしれないって領域。
ゴミを捨てまくれば山になる、これは条件付きで必然になる。

情況において何かをゆがめれば絶対的な結果ではなく可能性が高い誘導が
なされるって話し。

例えばサイコロの中に偏った重りや形状の歪をつければ、サイコロは確率的に
同じ面を出すのではなく歪んだ結果となる。
常に正しい結果になるわけではなく、可能性が歪む。

前提を曖昧に知覚し、それをもって布石（可能性としての）を行う。
結果として可能性はさらに累積して歪む。
これは論理なのかを答えてくれたら嬉しい。

>>444
歪んでるのが正解、って考え。
答え先行

っていうので解答になってる？？

>>445
論理だと原因が先で結果が後になる、これは科学的思考だと思う。

で私が考えているのは結果が先で、原因が後、
思考としては恐ろしく歪んでいるがそれが何といわれても困るわけで。
新しいアイデアなんてそんなもんじゃないかな。

>>446
最初に書いた人？
だったらその辺りは同じだよねきっと考えてる事

>>447
そのとおり、

哲学板でオカルトを展開している人ですｗｗｗｗ

>>448
おお、やっぱ似たような事考えてる人っているんだねー
結果が先だよね。

演算機って基本、右手に三個・左手に四個ボールを持っていますそれを流し込んだらホラ七個、っていう
それお前が最初から七個ボール持ってない限り出てこんやろその答え、って思う

>>449
もし→ならば（過去の技術
もし→たぶん（ジョンタイターのコンピュータ言語の予言

こんなのも触発されている。

板的に技術板だから、非技術的な言語となるものを妄想するのは
否定されても仕方が無いんだが、そういう類を考えている人が他にいるだけ
面白いかもしれない。
論理だけで成立する仕組みではない何かとなれば当然として変な方向に
至るというのが持論である。技術系の２ｃｈではオカルト拒否で終わるのが日常

>>449
思想の根源の原理から表すと布石やら嘘やら錯覚というのがその類となる。
意味や正しさや判断やらは不要という話し。

たとえば嘘という原理で言語を考えてみれば嘘を８００付けば、それは現実になる。
半島の技術ニダ（オリジナル）

物事は個と環境によって個の意味が環境に対する関係で成立していると考えている。
つまり従来論では環境を定常と考え普遍に近いものと見なし個の意味が変化することで
世界に対する働きや論理が成立するように受け止められる。だがそれを歪めて
世界のほうが何も変わらない個に対して変化しえれば個の意味が変わってくる。
布石と表現した類は世界の性質を変えることで個の必然性をゆがめ、偶然を
誘導できるはずだと妄想するのです。そんな原理をもとに非論理系の
言語の土台という発想なので論理思考の人にはキモチワルイとしか印象を
与えられない気がします。

>>450
具体的には、副作用なし・機械が認識できる全ての情報は関数。そして関数の全ての結果を一つの値を返す関数として再定義する。って所になると思う
実際に使った答えだけを残すのがミソというか、組み合わせ爆発の限界以下を切り捨てつつやる、でどこまでいけるだろう

>>452
関数は受け入れます、しかし関数の元となる素の定義を否定します。
関数が呼ばれるという構造があるとすれば関数が行う論理構造の情報の
関係性はその時点で自己組織化のように自動で場の空気を読むように
自然再生されるべきです。つまり関数のメンバーは不明が羅列されている
ってこと。作られた時点では関数メンバーの働きは全く分からないという
構想です。

Ｃ言語的に
戻り＝function (パラメータ１、パラメータ２)

とする場合、
functionの実行内容は
function (){
不明関数1();
不明関数2();
不明関数3();
不明関数4();
}
であり不明関数の中もさらに不明です。
具体的に不明とは？ですが、不明とはデタラメでもいいのです
function (){
ランダム取得();
一意の意味処理();
ユーザーに処理を聞く();
情報を忘れる();
いいかげんに何かしてみる();
}

>>453
それじゃほんとにランダムになってしまわない？現代アートだね

"実際に使われた関数"は次に優先的に選ばれる、一点だけ足したら実際に便利なものになるはず。時間はかかるだろうけど

どっちが良いとかではなくてね勿論
アートと生活は比べられない

>>455
そうですよ、技術からみたら「現代アート」という表現でも正しい。
目的は技術の再現ではなく未来への布石、つまり芸術の領域。オカルト的には
予言（ノストラダムス）のような方向性。

ただ、機能の中に意味が９９．９９９９９９９％だとしましょう。
それは１００％の論理性はないですが実効の範囲はかなり狭くなります。
完全チューリングマシンにはなりえず、可能性が１００％に至らない部分が
アートになります。単純にみれば作成者が布石で示せない部分が幽霊関数の
ように身勝手に曖昧に振る舞い情況にあわせたアートが生じるはずです、
その評価が評価者としてデタラメにしか見えなくてもそれは機能している
元としては正しい働きだと思います。芸術は爆発だ（岡本太郎）
つまりデタラメそのものがアートであって、芸術が理解できないと言われても
それは芸術なのだから仕方が無いのです。感性で生じる働きなど論理性で
計れるとは考えたくない。

>>456
言ってる事は多分、数学の真髄に行くような大事な部分で(全然詳しくないけど)

けど…話し方でビビられるでしょw
オモロイw

ちょっと仕事戻ります
自分は"得意言語vbスクリプト"っていう底辺プログラマなので皆さんツッコミ期待してますー！

君らに必要なのはニューラルネットワークとセルオートマトンではないだろうか（適当）

ピタゴラスイッチを作っておいて「これは論理の絡まないアートだと言ってる」ような違和感。

相手にしてもらいたいのに仲間に入れなかった

仲間になりますか？
人間ではない宇宙人ですがいいですか？

　　　　　　　 ノ´⌒ヽ,,
　　　　γ⌒´　　　 　 ヽ,
　　　／／ ""⌒⌒＼　　）
　 　 ｉ /:::::::::⌒　 ⌒ ヽ　）
　 　 !:::::::::::(○）｀ ´(○） 　　　　　新言語！！
　 　 |:::::::::::::::（__人_）　 |
　　　＼:::::::::::::｀ー'　 ／
　　　　/::::::::::::　　　　＼

おれが最新ＣＰＵ=Haswellに最適化したスーパー言語を作るから


みてろよ、おれスゲー。

プログラミング言語自体の新しいパラダイムが何かあるのかと思ったけど、方向がちと違うね

>>464
そういう最適化は紙一重の天才たちに任せておけばいい
出来上がった成果を上手く利用するのが凡人の知恵

最適化するのは言語じゃなくてコンパイラじゃなイカ

最適化しやすい仕様の言語とか最適化しにくい仕様の言語というものはあるはずだから、それはそれでいいんじゃないか

ないよ

微妙な問題
例えばC言語はポインタのおかげで低水準で高効率なコードを書ける面もあるが、
別名の問題で最適化を妨げている側面もある

どうせ新しいもの考えるならCPUも込みで考えるのも面白そう。CPU全体でもいいし、ALU部分だけオリジナル追加でもいい。
FPGAでちょっとしたのならアマチュアでも簡単に作れるよ。

CPUまで飛ばなくてもソフト屋ならVMでいいか

BCD演算支援命令まだ？

>>451
遅レスだけど流して読んでしまってたので
。
ざっくり言うと数学だろうが哲学だろうがどこからスタートしても最後は量子論的な所に行き着いてしまう、みたいなとこあるよね
論理、論理って言っても余りにも行き過ぎると最後ボヤってなるんだよね確か。誰が言ってた何て概念か忘れたけど

ほんとそうだと思う。論理でも割と適当さがあるというか。
全ての質問に嘘を答える人が居て云々とかさ、あんなん絶対おかしいじゃん
"全ての質問に嘘を答える人"ってなんでお前分かったんだよって
どう経緯を積んでも「あ、これは全ての質問に嘘を答える人だ」ってならないでしょw
そんなもんお前の妄想と采配一つで何がパラドックスや！って思う

>>450
ジョンタイター気になって見てみたら、2011年のアメリカ連邦帝国すでに外してんじゃん！
if / then / maybe になるって書いてるけど微妙に外れて if / then / hey!! とかだったらどうするw？テンションだけ高機能化

>>474
といっても従来の範囲のプログラムという価値観は嘘であっても
適当でおかしくても、それは論理的にしか機能していない。
プログラムが自らの相性や好き嫌いで物事を処理したりするか！
そんなことはない、人が論理ではない要因によって動くか！
論理を無視して本能で機能するのは 知識を持たない動物的な
何かがあるはずと思われる。コンピュータが表現する何かが
何で芸とかデザインじゃいけないのか？誰も評価しない何かを
作り出すような妄想ができるコンピュータがあってはいけないのか！
新言語という別のベクトルを考えれば非論理に向かうのは理解しがたい
何かかもしれないが、そういう何かを否定したら従来型の
派生で無数にあるコンピュータ言語で問題がないと、誰もが考える？

>>475
>if / then / maybe になるって書いてるけど微妙に外れて if / then / hey!!
それは論理に従っていれば、過去の正当性に該当していないものは意味不明だから
あってはならず見たいな方向性を言っているんだろうか！
if / then / maybe が if / then / hey!!で何も問題はない、
それは従来の常識を否定することで新しい"非道具"の能力を得る為のもの
まとめて「if / then / デタラメ 」これがその本質と思っている。
デタラメから生じて得る何か、そんなものはデタラメだといいたいなら
それでもいいとおもう、昆虫からみれば人間社会などデタラメそのものと
思うから。主観的な働きは他は理解される必要は必ずしもないはず。
デタラメという一種の模様を得ようとしてそのデタラメにも質や粗さなど
模様があるはず。それを主観的対象と考えたい。

>>476-477
非論理と称するものはその仕組みが解明されてないだけでその本質は決して非論理ではない。
人間はいたって論理的であり、その行動が非論理的に見えたのだとしたら
論理を構築する材料が観測者の手元に揃っていないだけである。

役に立ってはいけないという目線からのアプローチなら面白いと思う。

科学万能主義だと全てが科学で自然などないってことになる。
自然崇拝だとすべてが自然で科学などないという話し。

人工的が自然ではないというか、人間も自然だから人類の都市も公害も
自然そのものだと言う詭弁もある。

>>476
無意味にも意味はあるよね
"ランダムが持つ物"っていうのなんとなく分かる
整然に見える物とランダムに見えるもの、情報量は本来一緒だよね
NASAが作った解読に100年係る暗号データとか、多分ブラウザで見たら偶然深田恭子似のjpgだったりするよ間違いなく

それに、言いながら皆そんな論理論理で生きてる訳じゃないよね人間。それはプログラマだろうと

皆エクリプスとemacsとかvimとか、最後はテキストエディタで落とし込んで行く作業すると思うんだけど、これずっと疑問で
なんで完全にアウトライン編集になったエディタが主流にならないんだろうと思う。
どの言語も本来セマンティックがある訳で、キーワードレベルにもそこを外したらシンタックスがあるわけで、
自由にカーソル移動する意味なんか全くないじゃん。完全に入力値制限した方が良いでしょ
んでセミコロン打ち忘れたりするんじゃんw
でそういう人が変数の型が〜動的が〜とか言ってんだからもう

んでちょっと話戻すと
そのランダム性とか失敗とかも、一つ一つは無意味でも、かき集めたら別な人には必要な情報だったり、問題化しやすい箇所が分かったりするよね。

これはいわゆるロングテール的な話で珍しくもなんともないんだけど、今世界中で作ってるプログラムってほっっっとんど、多分全部ってくらい一度誰かが作ったものだよね。アルゴリズムとか。言語自体も。そして設計。
これすげえ無駄だと思うんだよね。というかリファクタリングして浮いたリソース集めたら割と国とか世界が救える量の労働力なんじゃないかな。

で、論理よりも確率とかランダム性に重きを追いた物世界中で使って統計とればって話に繋がるんだけど疲れた長文…

論理を確立するためにはありったけの時間の中で仮説、実験、検証を繰り返す必要があって、
それが>>434の言うランダム性なんじゃないの。

>>480
すべては無意味 所行無情

すべてが等価なランダムであれば、そこに意味が１つも見出せないなら
世界は１つ、意味もランダムが１つ。

区別が付かないものが無情に続く

だがその世界の住人はどう思うだろうか？世界は意味に満ち溢れている（1つ）
なのに、無数のランダムが存在するのに。
住人は何もない意味などないとしか思わないのでは？

>>485
無も有である。無から有が生まれるのは物理法則。

>>486
じゃあさ
０ × ∞ = を定義してくれ。
ゼロ×無限な。

>>487
ヒント
計算できるなら両方とも値であるから、値は観測できる計れるもの
つまり極限の最小値と極限の最大値の掛け算となる。
そして無限とか値で表せる無限の大きさ（＝無限大）で変動する変数ではない。
定数同士の掛け算など論理的に表さなければ論理にはなりえない。
つまりコンピュータの数学専門の計算ソフトでやらせた答えが正しい答えになる。

>>488
それ違うだろ０×無限＝不定形、つまり答えは存在しない。
なんでも論理で割り切れると思うから答えがでてくるんだよ。

真のランダムとはランダムではないものと区別がつかない
真のランダムの前ではあらゆる事象は起こりうる存在だからだ

時空連続体が有限なら世界は決定論に支配される。
起こり得るなどは現象の予測にすぎない。

世界で起きることは過去が変更できないように未来も自由意志で変更することは
不可能である。
可能性という自由意志が存在証明できるなら決定論は否定できる。

要するに今論じている言語には何があるのかがわからない。

サンプルは無いのか。サンプルは。

>>492
よく気が付いた、たんなる釣り。
>>493
おまえバカだろ。

言語どころかこんぴゅーたのしくみから違う気がする

無視しとけよ

0 * ∞ = 「0*∞」(←一文字に詰め込んだフォント)でしょ
または function zeroKakeruMugen(null){return true} とか

ステップ数が1以上の論理はそもそも可能性の話なんじゃないかな
x=1
-------(ここでハイバネート)--------
x=x+1
とか出来るしね機械だと
てかそれを上手く活用できないんだろうか

だいぶ観念論になっちゃったけど、
例えば 2 * 4 = 8 とかってのも、それぞれ数字と関数の公理性を疑わずに済むから使ってる訳じゃない
それにまず10進である事も前提だし。

逆にプログラムだと、例えば変数の型に「人(アドレス帳的な意味で)」とか「都道府県」とか、誰かが一度プログラムを作って充分使えるものってもう公理にしてしまって良いと思うんだけどそっちはなかなかならない

より抽象的な観念論が出来ない奴は、創作も創造も開拓もできないから
パクリが安易な理解しやすい具体性が無いとたたき出すのが２ｃｈの法則

日曜になると必ず涌いて出て来るな
公務員か？それとも生協職員か？

私が神です

ぶっちゃけDって将来性ある？

プラットフォームや開発環境がキラーアプリ創出に寄与した事実は確認されていない

>>502
習得しておいて損はないが本格的なアプリとか作るのには向かない

>>500
ヒント スルー力

>>501
神を神というとそれに気が付けば恨病になるぞ。

恨病て火病のことか？

巣に帰れ

>>508
荒らすかコピペするしか能のない無能は黙っていろ。

多重仮想マシンを見ると分かりやすい。プログラム言語は無限に再発明できる
好みや使い心地などバリエーションの為には再発明が必要だが、プログラム言語の発展というのは横方向より縦方向であるべき
そういう考えると初心者用と言われるscratchが全く違う物に見える

ブレイクスルーのない発明などゴミ

なんでーつまんねーの。

>>512
おまえがつまんねーの。

言語はライブラリだのフレームワークだのビジュアルなツールだのといったもので多重に隠蔽される。
言語によって改善されるべき領域などもはや無いのだ。

つまんねーの

http://d13n9ry8xcpemi.cloudfront.net/photo/odai/400/debb710822534507b5695c886af49184_400.jpg

あほかと

スレの流れぶった切って悪いんだけど、相談聞いてくれ藻前ら。

いま、オレ言語の処理系をピュアC++で書いてて、コアはできてきて、
A.実用に使うために、IOとかのCライブラリのバインディングを書く。
B.高速化のために、ネイティブコンパイラを書く。
あたりをやろうと思ってる。

しかし、どっちを実現するのにも、サポートしてる各OSのローダーの実装に深く依存しないといけないし、普段使ってないOSについて調べるのはめんどい。

アイディアとしては、今までのコードを捨ててJavaかJavascript上に移動すること。
メリットは上に書いたような点でOS非依存なこと、ネイティブコードを生成するのが容易なこと。
デメリットは、OSのサポートが減るから起動が遅くなる、#!が使えないとか。

どっちがいいかなぁ？

>>518
いきなりネイティブにしなくても、C言語あたりに変換できれば
後はgccで多様なプラットフォームに対応できる。
I/O周りは標準C関数でもいいし、用途とプラットフォームを限定できるなら
qtやSDLなどの外部ライブラリを利用できる。

中間言語ならDが医院で内科医

精神科をおすすめする

性的言語と動的言語どっちよ。

静的言語じゃないとCに変換するのは難しいんじゃない？

実行環境にJavaを選ぶとしても、そのコンパイラをJavaで書かなきゃいけない理由はない
C++で書かれたコンパイラがJavaのクラスファイルを生成したっていい
必ずしも今までのコードを捨て去る必要はない

>> 522
後出しでごめん、めっちゃ動的言語です。
JavaScriptとPythonとRubyをあわせた感じの言語になってます。

>>519
gccにバイナリを吐かせるのは良いアイディアだと思うけど、
できれば、コンパイルされたのとインタプリタのと混ぜて動作させたい。
クラスAとクラスBがあって、お互いにお互いに依存しているような場合、
クラスAは実行ファイルにあって、そいつがgccを呼んでクラスBを含むライブラリを作り、読み込む場合、
AをBから見つける方法がないと思う。
少なくともUnix系OSのローダーはAからBへの呼び出しはできてもBからAへの実行時リンクはしてくれないと思う。
ちょっとググったら、自前でローダーを書けっていう話を見つけた。

>>523
うん。もしJavaを選んだらそうするつもり、
オレ言語のインタプリタをオレ言語で書いて、それをオレ言語で書いたオレ言語からJavaへのコンパイラに通すと、
JVMで動くオレ言語インタプリタができて、次の世代のコンパイラはC++部分無しでいけると思う。
上のGCCのアイディアに近いけど、javaのソースを出力するつもりで、オレ言語からJavaへのコンパイラは少し書いてる。
継続とかの実装が難しくて挫折気味だけど。GCとかが不要な分楽。
インタプリタ内で継続を使わないようにすれば最後まで行けると思う。
(つまりインタプリタとコンパイラはオレ言語じゃなくてオレ言語liteで書く。)

ﾄﾞﾗｲﾊﾞｰがやることを高級言語ややっちゃダメ。

新言語はどこで公開すべきか迷ってる。
ネットで公開するとパクられそうだし、
情報処理学会の会員からは会費未納で除名されてるし。

>>527
どこで後悔しても朴李はある。
なぜって？パクられるような規模でコテ先の技は世界には通用しねー

小手先のパクリはできないと思う。小手先の技ではないから。
言語仕様がシンプル過ぎるので全体をパクられる可能性を心配している。

公開しない、というのがいいと思います。

2ちゃんねるへの書き込みから推測されるかもしれませんから、今後2chへの
書き込みも止めた方がいいです。できればインターネットにパソコンを
接続するのもやめましょう。

そうしましょう。やはり他人というのは他人に対して神経質に反感を持つものですね。

俺も公開しない派だな。

半年に一個ぐらい言語作ってるけど、自分で使う以外公開してない。
せっかく、便利な言語を使って差別化要因になってるのに、人に分け与える必要ない。

良さげなアイディアで、自分には実装力が足りない時だけ、誰かが実装してくれることを期待して公開することはあるがな。

>>531
違います。あなたの妄想が酷いので、やめとけと言ってるのです。

妄想が何割なのかは自分でもわからないが、
しかし常識的観点からいきなり見下してくる人が居る。しかも常識的でそんなに頭が悪そうじゃない。
頭が悪くないということはそれなりに立場のある人間。
そんな業界ならなおさら妄想も膨らむw

そんなことより、おまいら　Java仮想マシン仕様ってどこ行ったかしらね？
あちこち見たけどリンク切れで。

ttp://docs.oracle.com/javase/specs/jvms/se7/html/index.html

�d

無関心なのか。膠着状態なのか。秘密にしてるのか。待っているのか。
よくわからないけどスレが止まってますね。

>>538
不完全な状態なら秘密にするだろ、曖昧な話ではたたかれるだけ、
既出な言語を作る話なら別だけどね。

コンピュータ言語なんて発表されないものを含めれば万単位であるとは思わない？

そうやね

もし画期的な新言語を設計しているなら２ｃｈで漏らすわけねぇだろ。
ここでそれを漏らすとかバカか天然ぐらいだ。

どうでもよいレベルの既存パクリな新言語をここで話題にすと
変なのが沸いてきて二度と来るなみたいになるのかな？

言語とは「コトノハ」から派生したものだから、本質を悟らないと
歪んだ目的に特化するだけかと思うわ。

自然言語と形式言語は全く違うものですが

で？

つまり >>543 の言ってることは全く頓珍漢、だということもわからないのか。
バカだな。

これが人格障害ったやつか。

自己紹介か？

幻想が見えるらしい。

>>546
あんたバカ？

バカってのは「本質を悟らないと歪んだ目的に特化するだけ」とか、
全く何の内実もないたわごとを得意気に言う奴のことを言います。

おまえらの喧嘩をみるとアリンコの餌の取り合いの方がまだマシにみえるw

だよな、真理的なこと言われたら逆切れしちゃう火病にはなりたくない。

既知しか学べない奴に何をいっても無意味なんだけどｗ

人格障害がいるようだねｗ

>>551

>>551
おまえだｗ

だな

単に形骸化していることに気が付いていないのが形式だけコピーして
うはうは言う時代だからな。動けばいい、でもパクリだよ。
完璧にパクリしてもそれって部品をパッチワークしているだけで
著作権に問題がでないように書き換えしているだけ。

アナログ的な言語って抽象的観念だけ扱えばいいかと思っていたが
完全な大間違いだった、その辺の本やら論文はみんなその流れだから
流されるところだった。

高級言語は抽象的なクラスというか意味を少なく記述することで
より多くの難解な類を表現できる言語なんだろうか？

１行ですべてが記述できるのがいいね。

言葉の力は１行でも一言でも

酷いスレだな
キチガイをからかって楽しんでるつもりが
みんなに引かれてだれも残らなかったという無残なパターン
反省したか？

ビジュアル表現に特化したProcessingみたいな感じの言語はどうかの

Proce55ingみたいなのはそれなりにけっこうよくある。

ビジュアルとか言うならVisulanないしVisulanインスパイア系みたいに、
絵でプログラミングするんだ、ぐらいの気合いが欲しい。

誰か作ってる人いないの？

>>21-23 辺りを読んで理解できるアタマがあればこんなクソスレがグダグダ続かずにすんだのに

おっぱいを揉むような言語くれ

おっPython

Nim Nim...

強い性的型付けで
Pythonライクな文法で
Traitがあって
ＤＩが言語サポートされてて
ラムダ式が扱える
ＬＬＶＭで動く言語ください

CoffeeScript

if文いらない
全部switch文にしてくれ

switch文ってcaseに定数しかもって来れないんだろ？
全然機能足りないじゃん

だからつくればいいじゃん

>>575
Ruby とかあるし
そもそも switch は syntactic sugar

switch (x == y) {
case 0:
stmt0;
break;
default:
stmt1;
break;
}

if (x == y) {
stmt0;
} else {
stmt1;
}

勤怠管理システムで残業０
http://www.fsas.fujitsu.com/service/idlm/
定時で強制ログオフシャットダウン
省エネ効果抜群

>>578
それは逆