新言語を開発したい

**デフォルトの名無しさん** · 2010/05/30(日) 21:52:01

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

**デフォルトの名無しさん** · 2011/10/29(土) 14:09:02.64

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

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

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

**デフォルトの名無しさん** · 2011/10/29(土) 14:12:30.42

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

**デフォルトの名無しさん** · 2011/10/29(土) 14:16:30.09

だからなんだよｗ

**デフォルトの名無しさん** · 2011/10/29(土) 14:19:40.36

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

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

**デフォルトの名無しさん** · 2011/10/29(土) 14:24:19.28

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

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

**デフォルトの名無しさん** · 2011/10/29(土) 14:39:12.77

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

**デフォルトの名無しさん** · 2011/10/29(土) 15:06:11.79

言いだしっぺからどうぞ

2011/10/29(土) 15:15:44.70

こうか

◆zQSWiGWUZ6 · 2011/10/29(土) 15:32:05.31

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

◆R8FrGenb6Y · 2011/10/29(土) 15:32:28.97

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

◆.EsjK4Weww · 2011/10/29(土) 15:33:35.39

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

**デフォルトの名無しさん** · 2011/10/29(土) 15:42:36.82

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

**デフォルトの名無しさん** · 2011/10/29(土) 15:44:47.55

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

**デフォルトの名無しさん** · 2011/11/08(火) 23:07:44.93

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

**デフォルトの名無しさん** · 2011/11/08(火) 23:59:51.76

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

**デフォルトの名無しさん** · 2011/11/09(水) 01:11:28.86

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

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

**デフォルトの名無しさん** · 2011/11/09(水) 01:13:16.02

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

**デフォルトの名無しさん** · 2011/11/09(水) 01:38:10.65

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

**デフォルトの名無しさん** · 2011/11/09(水) 05:10:07.71

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

**デフォルトの名無しさん** · 2011/11/09(水) 13:04:26.33

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

**デフォルトの名無しさん** · 2011/11/12(土) 21:38:55.58

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

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

**デフォルトの名無しさん** · 2011/11/12(土) 22:04:28.44

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

**デフォルトの名無しさん** · 2011/11/12(土) 22:27:02.77

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

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

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

**デフォルトの名無しさん** · 2011/11/12(土) 22:39:42.29

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

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

**デフォルトの名無しさん** · 2011/11/12(土) 23:06:30.35

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

**デフォルトの名無しさん** · 2011/11/12(土) 23:33:15.12

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

**デフォルトの名無しさん** · 2011/11/13(日) 01:38:38.72

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

**デフォルトの名無しさん** · 2011/11/13(日) 02:10:10.38

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

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

**デフォルトの名無しさん** · 2011/11/13(日) 02:13:06.13

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

**デフォルトの名無しさん** · 2011/11/13(日) 02:15:27.61

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

**デフォルトの名無しさん** · 2011/11/13(日) 10:15:38.45

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

**デフォルトの名無しさん** · 2011/11/13(日) 20:54:58.22

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

**デフォルトの名無しさん** · 2011/11/13(日) 21:10:12.22

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

**デフォルトの名無しさん** · 2011/11/13(日) 23:18:16.24

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

**デフォルトの名無しさん** · 2011/11/14(月) 00:28:30.86

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

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

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

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

**デフォルトの名無しさん** · 2011/11/14(月) 00:30:02.21

追加

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

**デフォルトの名無しさん** · 2011/11/14(月) 00:45:16.79

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

**デフォルトの名無しさん** · 2011/11/14(月) 01:27:46.29

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

**デフォルトの名無しさん** · 2011/11/14(月) 01:35:02.56

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

**デフォルトの名無しさん** · 2011/11/14(月) 14:12:17.53

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

**デフォルトの名無しさん** · 2011/11/14(月) 21:32:25.37

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

**デフォルトの名無しさん** · 2011/11/14(月) 21:59:22.95

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

**デフォルトの名無しさん** · 2011/11/14(月) 22:16:57.35

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

**デフォルトの名無しさん** · 2011/11/14(月) 22:34:12.17

パス

**164** · 2011/11/14(月) 22:52:59.80

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

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

**デフォルトの名無しさん** · 2011/11/19(土) 16:32:25.73

ないね

**デフォルトの名無しさん** · 2011/11/21(月) 19:55:38.62

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

**デフォルトの名無しさん** · 2011/11/29(火) 23:11:00.82

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

**デフォルトの名無しさん** · 2012/01/09(月) 12:40:05.42

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

**デフォルトの名無しさん** · 2012/01/09(月) 19:33:11.40

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

**デフォルトの名無しさん** · 2012/01/09(月) 20:24:39.33

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

**デフォルトの名無しさん** · 2012/01/10(火) 08:02:41.79

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

**デフォルトの名無しさん** · 2012/01/10(火) 21:35:12.49

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

**デフォルトの名無しさん** · 2012/01/10(火) 22:28:33.77

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

**デフォルトの名無しさん** · 2012/01/10(火) 22:45:13.88

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

**デフォルトの名無しさん** · 2012/01/10(火) 23:57:21.67

時間のムダ

**デフォルトの名無しさん** · 2012/01/11(水) 08:03:15.03

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

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

**デフォルトの名無しさん** · 2012/01/11(水) 18:28:33.15

0は、偽
それ以外は真

false
true
それ以外は灰色

**デフォルトの名無しさん** · 2012/01/11(水) 18:30:44.18

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

**デフォルトの名無しさん** · 2012/01/12(木) 20:19:18.79

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

**デフォルトの名無しさん** · 2012/01/24(火) 20:37:29.85

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

**デフォルトの名無しさん** · 2012/01/25(水) 21:11:27.47

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

**デフォルトの名無しさん** · 2012/01/25(水) 21:14:10.72

机上の空論

◆khwKd8pYFQ · 2012/02/06(月) 02:37:50.26

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

**デフォルトの名無しさん** · 2012/02/09(木) 16:51:09.63

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

◆khwKd8pYFQ · 2012/02/09(木) 22:32:55.52

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

**デフォルトの名無しさん** · 2012/03/07(水) 13:32:15.95

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

**デフォルトの名無しさん** · 2012/03/07(水) 14:22:26.39

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

**デフォルトの名無しさん** · 2012/03/18(日) 11:04:29.26

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

**デフォルトの名無しさん** · 2012/06/15(金) 14:29:44.32

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

**デフォルトの名無しさん** · 2012/06/15(金) 14:43:24.72

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

**デフォルトの名無しさん** · 2012/08/18(土) 05:27:14.55

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

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

**デフォルトの名無しさん** · 2012/08/18(土) 09:34:49.27

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

**デフォルトの名無しさん** · 2012/08/18(土) 19:25:42.16

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

**デフォルトの名無しさん** · 2012/08/19(日) 08:27:07.41

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

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

**デフォルトの名無しさん** · 2012/10/14(日) 16:43:59.00

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

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

**デフォルトの名無しさん** · 2012/10/14(日) 16:53:38.76

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

**デフォルトの名無しさん** · 2012/10/14(日) 16:59:07.20

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

**デフォルトの名無しさん** · 2012/10/15(月) 05:45:57.03

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

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

**デフォルトの名無しさん** · 2012/10/15(月) 07:23:34.76

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

**デフォルトの名無しさん** · 2012/10/21(日) 05:53:13.79

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

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

**デフォルトの名無しさん** · 2012/10/21(日) 06:08:08.25

何言ってるんだこいつ

**デフォルトの名無しさん** · 2012/10/22(月) 22:58:28.88

ghc-mod

**デフォルトの名無しさん** · 2012/10/27(土) 13:29:22.38

織田信長？

**デフォルトの名無しさん** · 2012/10/28(日) 15:10:02.60

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

**デフォルトの名無しさん** · 2012/10/28(日) 16:16:03.41

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

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

**デフォルトの名無しさん** · 2012/10/28(日) 16:20:52.13

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

**デフォルトの名無しさん** · 2012/10/28(日) 16:43:13.32

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

**デフォルトの名無しさん** · 2012/10/28(日) 16:53:30.79

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

**デフォルトの名無しさん** · 2012/10/28(日) 17:07:18.60

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

**このスレのコテ** · 2012/10/28(日) 17:08:43.97

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

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

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

**デフォルトの名無しさん** · 2012/10/29(月) 00:14:11.35

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

**デフォルトの名無しさん** · 2012/10/29(月) 00:23:10.93

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

**デフォルトの名無しさん** · 2012/10/29(月) 00:30:45.17

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

**デフォルトの名無しさん** · 2012/10/29(月) 00:50:09.87

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

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

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

**デフォルトの名無しさん** · 2012/10/29(月) 02:26:26.12

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

**デフォルトの名無しさん** · 2012/10/29(月) 02:49:40.72

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

**デフォルトの名無しさん** · 2012/10/29(月) 03:20:57.64

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

**デフォルトの名無しさん** · 2012/10/29(月) 03:32:52.84

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

**デフォルトの名無しさん** · 2012/10/29(月) 10:53:37.81

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