しかし、2010年の今、もしもCが発明されていなかったとして、低レベルなシステム開発のためのプログラミング言語を
新たに作るとしたら、Cとは違う言語になるだろう。少なくとも、全く同じにはならないはずだ。
そこで、このスレッドでは、
低レベルなシステム開発のためのプログラミング言語
を一から考えたい。
既存の言語を使って何かをすることが目的ではなく、新たなプログラミング言語を考えることが目的であるから、
「既存のXX言語を使えばいい。」という類の発言は無意味である。
「既存のYY言語のZZ機能は、WWと言う点で有用だから採用したい。」という発言は歓迎だ。
現代の一流のプログラミング言語研究者が、最先端の研究成果を盛り込んで、
一から低レベルなシステム開発のためのプログラミング言語を作るとしたら、どのような言語になるだろうか、
という観点で考えたい。
◆前スレ
【超高速】C/C++に代わる低級言語を開発したい 6
http://pc12.2ch.net/test/read.cgi/tech/1274015781/
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
（１）ハードウェアを直接操作する低レベルの記述が可能
（２）プログラマーが勘違いしてプログラマーの意図と違う動作をしないように言語仕様が直感的で学習が容易
（３）最新のオサレ機能が使えてワクワクしながらプログラミング可能
◆主な要望◆
・デバドラ屋だって、オサレ言語で開発したい！
・プログラマーの言語仕様の学習不足によるヒューマンエラーを最小限にするために、できるだけ小さな言語仕様にしたい。
・組込み屋だけど、関数型とダックタイピングしたい。
・shared_ptrの構文糖が欲しいな
・低レベル記述性（絶対条件） ＞ 構文の美しさ(読みやすさ、学習の容易さ) ＞ 再利用性(抽象性)
・算術演算以外の演算子は後置
・割込み、例外、非同期IOとかを統一扱えるイベント機能が欲しい。
Programming Language I
◆新言語の位置づけ◆
Ruby, Python, Haskell, OCaml, Scala, Clojure, Erlang, …
烏合のごとく言語が生まれてきているのにどれも似たようなLLばかりで、ハードウェア制御のような低レベル処理を行える言語が無い。
一方、Cは40年使われ続けてきているわけで、そろそろ置き換えられる言語が出てきてもいいだろう。
そこで、C程度の性能が出せて、Cが使われている分野を全てカバーでき、
過去の互換性に囚われて構文を妥協せず、今時の機能を使えてCよりもプログラミングしやすい新言語を作りたい。
◆新言語でのリソース管理方針◆
・確保したリソースを明示的に後始末しなくても問題が発生しない
・何らかのメリットのために確保したリソースを明示的に後始末してもよい
※GCは手段であって上記が満たされていれば必ずしも必須ではない。
> しかし、2010年の今、もしもCが発明されていなかったとして、低レベルなシステム開発のためのプログラミング言語を
> 新たに作るとしたら、Cとは違う言語になるだろう。少なくとも、全く同じにはならないはずだ。
概念的には全く同じものになるだろう。
なんでLLが（ハッカーの手により）生まれ、Cみたいなのが生まれないのか
少し考えれば分かるだろ
クロージャー
カリー化
型推定
構文を操作できるマクロ
ファーストクラス関数、正規表現、文字列、スレッド、XML、イベント
◆マクロについて◆
「マクロ」に必要な要件って何なんだろう。
・構文を置き換えるルールを定義できる
・シンボルを置き換えるルールを定義できる
Lisp級の構文木を操作可能なマクロを作る要件
・マッOプログラムが簡単に書ける
・マクロの実行時に構文木を返すプログラムを書ける
また、作るのを容易にするには
・単純な式として構文解析が可能
・ハードウェアを直接操作
・デバドラ
・直接アドレス参照
・OS
・GCとかVMとか目的のプログラム以外のものが動作しなくても動くこと。
・8bit/16bitCPU対応で、RAMが32KBしかなくても動作するプログラムが作れること。
・０オーバーヘッド
Cを作った人こそ
当時のハッカーというよりWizardだろ
有象無象が越えれる壁じゃないよね
LispがCより速い結果だしたそうな
どうみてもCのがわかりやすい
http://www.iaeng.org/IJCS/issues_v32/issue_4/IJCS_32_4_19.pdf
所でこのスレforkしたんじゃねえの
また関数言語とgcがわくぜ
低水準な方は、高級マクロアセンブラっぽいし。
>>1
乙
超高速ってC以上に高速なバイナリ吐くってこと？
機械語に落とす時に最適化される部分をプログラマが
指定できるみたいな要件が
ってとこで>>4読んだ
リソース管理でどっちでもいいよって言うのは
結局プログラマがリソース？の状態を気にしてプログラムしないといけないから
後始末必要の方が好み
RAMリソースなんて0で動かなきゃ
葉っぱの関数ではスタックもいらないのを見越して書く
メモリとかバスユニットの初期化コードとか。
良くないか
問題ない場合もあるしな
見た目は普通に書けるよ
呼び出し側はアセンブラかもしれんけど
数ヶ月たつと忘れちまうし、若い奴に見せてもアセンブラだと敬遠しやがるし
そもそもこのスレのテンプレは
>>1が重要だろうと思ってるレスを 過去ログから拾って来て、
適当に羅列してるだけだから、何一つ決まってないよ。
思いつきで書き込んだんですが、今思えば
コンパイラがやってることをCのレベルに持ってくるのは難しいというか無駄？
上に乗っけるのと違って現状の処理が変わるわけですし優秀なコンパイラあるし。
でもアセンブラいじりましたって状況がなくなるなら面白そうなのかな？
とりあえずC？にもってきたらどんな記法になるかを書いてみたいけど
当方素人なのでGCCが吐いたアセンブラを変更しないといけないシチュエーションが思いつきませんｗ
オブジェクトアセンブラ
関数型アセンブラ
LLアセンブラ
ベル研のPCCはテーブル定義が足りない。
TCCはちょいとでかい。
僕の理由はCの実績。すでにあるプログラムに
手を加えるだけで恩恵が得られるって夢のようだとは思いませんか？
まあCに埋め込むものがどんなものになるかはまだ想像つかないです。
コンパイラ？を拡張するならまったく違う語法？でもいいのかもしれないし
改修してしまうならCがちょっと形を変えたものになるのかもしれない。
ベースになるのはCだろうなとは思ってますが
C++やC++0x、Java、Lisp?、といった言語だけでなく
Struts2やらシンフォニーといったフレームワークだったりとか
も参考にできるところがあるんじゃないかなあと
C++0xについてはいいものを見つけられた気がします。
とりあえず僕は他の言語をつまみ食いしながら
C99をよく見直して吟味するとこからなのでマイルストーンも何も置けない状況
今日は他の事してたので進捗はナシ。
下の方は簡単だが問題は見せ方だよな
XcodeのInstrumentsとか面白い
言語機能には入れないけど作ることにはなるんじゃないですかねー
新言語にしか興味ないので見せ方は他の方がどこかの誰かに丸投げ
僕のがモノになるのはずーっと先だろうなあ。
アセンブラだから評価はステップベースでいいしあとはリソースの扱いを考えて・・・
静的なメソッドごとのステップと消費リソースを吐き出せばおｋだったり
あーあーアセンブリ言語をアセンブルするアセンブラ。
プロファイラ先に作ってみる
・ラムダ式
・名前空間
・テンプレート
・型推論
・マクロ
○動的な機能として
・文字列
・リスト、キュー、スタック、ハッシュテーブル
・正規表現
・並列処理
・多倍長演算
・ベクトル演算
インラインアセンブラでやってくれ
そういう計算機では機械語がベクトル計算なんだが。
それが目的じゃないならインラインアセンブラでやればいいんじゃないの
標準クラスライブラリに含まれて然るべきだろう。
その方が演算器にCPUだけでなくGPUも使えていい。
ベクトルは行列、そして積和演算
> 最近のコンパイラは配列をループで回したら勝手にベクトル化してくれるから、ベクトルかが良くかかるガイドラインを示せば言語仕様には特に組み込む必要は無くないか？
ガイドラインを示すくらいなら、言語仕様に組み込んだほうがいいだろう。
特殊な小手先のハンドオプティマイズより、言語仕様に基づく公式なやり方の方がソースのポータビリティーも確保できる。
つfortran
c = a*b;
int d[3][5], e[2][3], f[5][2];
d = e*f;
こんな感じとか。
記述性を考えればdouble2,int4,float3とかのベクトル型は
組み込みで持っていたほうがいい。
>配列とベクトルは論理的に違うもの。
これはどういう事？
その他は特殊な事ってあったっけ
「行列演算」でググれ
ググったってたくさん出てくるから>>69が何を言いたいのかよく分からないよ。
具体的に説明して欲しい。
配列で十分だろう。ベクトルの足し算だってループでまとめて記述できるしコンパイラが自動的にベクトル化してくれる。
c = a*b;
regster int d[3][5], e[2][3], f[5][2];
d = e*f;
こんな感じで、コンパイラに努力目標を伝えられたらいいかもね。
そういう機能をうまく構文に取り込めるといいね。
FORTRANじゃないぞ？ Fortranだ
>>79
「Fortranを」と言うより、「Fortranのどの機能が良いから新言語に取り入れよう」と提案した方が議論が進むと思うよ。
この流れでは並列演算に決まってるでしょ
それが決まってるのは結構なことだけど、それがどう良いのかの説明があればもっと議論が深まるのにね。
それぞれが知っていること、成し遂げたいことを語ったほうが前向きだからね。
だから、Fortranの並列演算に価値を見出している人がいるなら、その人がどう良いのかを説明して仲間を増やせばいいと思うよ。
どうせならOccamとかの方が面白いだろ
並列演算(SSE2/VelocityEngineほか)を直接制御したいというのは別だろうか。
既存の言語を使って何かをすることが目的ではなく、新たなプログラミング言語を考えることが目的であるから、
「既存のXX言語を使えばいい。」という類の発言は無意味である。
整数の四則演算だってライブラリで提供することは可能だが、多くのプログラミング言語にはしっかり構文があるわけだし。
高速演算ライブラリの必要性や配列の演算出来るって話は否定しないが
言語の話するなら並列実行構文の方が面白くねえかっつってんの
お前みたいな凡人が寄り集まってんだから既存の言語を参考にすんのは当然だろうがよ
並列化コンパイラが作りやすい構文にした方が
自動で並列化してくれるのはもちろん嬉しいけど、プログラマがある程度制御できるようにもしておきたいかも。低レベルを目指しているので。
ってだけじゃなく、出来れば並列に実行して！みたいなのが面白そう
普通のマルチスレッドアプリみたいな処理を分担するものを自動生成できるといいなあ
思いつかないけど
並列度は、明に指定も出来るし、デフォルトはシステムのプロセッサ数とかから
自動的にチューニングできるといいね。
あと、同期とかスレッド間通信もある程度は検討したい。
goのchannelはシンプルながら面白いよね
でもやはり同期と排他と共有メモリは欲しくなるね
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
Visual Studio IDE環境 (541)
Visual Studio 2008 Part 21 (537)
【激突】関数型言語 VS オブジェクト指向言語 (407)
Emacs Lisp 3 (773)
やってて楽しいプログラミング言語は？ 3言語 (912)
CPPUnitについて少し話そうかい (282)
--log9.info------------------
【IWC】今更ながら、インジュニア【カコイイ】 (645)
★★転売・釣り上げ調査団@２ちゃんねる★07★★ (402)
【ルクルト】IWC MARK12 XII 3本目【精巧繊細】 (616)
【角松敏生】ロジェってどう？３【濱田】 (912)
ブライドルレザー（笑） (119)
【Yahoo!で検索→】イソザキ時計【Yahoo!も警告？】 (303)
swatch スウォッチを語ろう (592)
【自社・ETA】機械式ムーブ格付け【欧州・日本】 (624)
【独魂】 クロノスイス Chronoswiss 2【ラング】 (639)
【財布？)マネークリップ(要らねぇよ】 2 (234)
【不況！】アンティークウォッチ店不況【生残れ】 (719)
社会人ってどんな腕時計すればいいの？ (595)
ROLEX エクスプローラⅡ [1655/16570/216570]P2 (973)
セイコー・アルピニスト (447)
IWCパイロットウォッチ1 (432)
【機械式】現行懐中時計を話そうPart2【クォーツ】 (224)
--log55.com------------------
【蚊】 蚊取り・蚊よけについて 7匹目 【カ】
【百足】ムカデがメインのスレ21足目【対策】
ネズミが家に住みついて困ってる人集合 33匹目
正しい野良猫（害獣）の駆除方法 68
カラス被害のスレ2
カツオブシムシ撲滅委員会 17節目
【心筋梗塞】放射線症・傾向と対策82【白血病】
原子力潜水艦ってキチガイじゃね?