70年代、Cは生まれ、それから30余年、現代においてもなお、低レベルなシステム開発に広く使われている。
しかし、2010年の今、もしもCが発明されていなかったとして、低レベルなシステム開発のためのプログラミング言語を
新たに作るとしたら、Cとは違う言語になるだろう。少なくとも、全く同じにはならないはずだ。
そこで、このスレッドでは、
低レベルなシステム開発のためのプログラミング言語
を一から考えたい。
既存の言語を使って何かをすることが目的ではなく、新たなプログラミング言語を考えることが目的であるから、
「既存のXX言語を使えばいい。」という類の発言は無意味である。
「既存のYY言語のZZ機能は、WWと言う点で有用だから採用したい。」という発言は歓迎だ。
現代の一流のプログラミング言語研究者が、最先端の研究成果を盛り込んで、
一から低レベルなシステム開発のためのプログラミング言語を作るとしたら、どのような言語になるだろうか、
という観点で考えたい。
◆前スレ
【超高速】C/C++に代わる低級言語を開発したい 7
http://toro.2ch.net/test/read.cgi/tech/1275235018/l50
探検
【超高速】C/C++に代わる低級言語を開発したい 8
1デフォルトの名無しさん
2012/08/23(木) 23:03:00.69230デフォルトの名無しさん
2015/03/05(木) 23:02:51.16ID:rUbEobY5 >>229
具体的に知りたいな
具体的に知りたいな
231デフォルトの名無しさん
2015/03/06(金) 18:39:28.57ID:CTj2h1Ar 逆に超高級言語を作りたいな(´・ω・`)
今一番超高級な言語って何がありますか?
今一番超高級な言語って何がありますか?
232デフォルトの名無しさん
2015/03/06(金) 21:17:39.74ID:k288A3Sb haskell
233デフォルトの名無しさん
2015/03/06(金) 22:48:44.48ID:K7+tV1QH 依存型のAgda、Coq、Idris、ATSとか
234デフォルトの名無しさん
2015/03/07(土) 10:12:36.84ID:pum8dd/R235デフォルトの名無しさん
2015/03/08(日) 19:10:07.23ID:KcdPJfzn 日本語かな
236デフォルトの名無しさん
2015/03/08(日) 23:03:34.99ID:52zFOAkV マイナーな言語は習得が大変なことと、わからないことがあったとき情報やノウハウがないので
全部自分で何とかしないといけない。普及している言語の中から好きなのを選んで使いこなすのが一番いいよ。
全部自分で何とかしないといけない。普及している言語の中から好きなのを選んで使いこなすのが一番いいよ。
237デフォルトの名無しさん
2015/03/08(日) 23:13:29.78ID:mm6WxmZr マイナーだけどメジャーになりそうなら本書いて印税うはうは
238デフォルトの名無しさん
2015/03/19(木) 21:48:47.69ID:QTBsG6tP 高級言語を使いこなすってC++を使いこなすより大変じゃないのか?
で結局パワーではC++に敵わない
で結局パワーではC++に敵わない
239デフォルトの名無しさん
2015/03/20(金) 16:42:34.97ID:sriWfzYS >>238
C++ほど大変な高級言語はなかなか無いと思うぞ
C++ほど大変な高級言語はなかなか無いと思うぞ
240デフォルトの名無しさん
2015/03/20(金) 19:26:50.44ID:e2IVv9/F C++ほど変態な高級言語はなかなか無いと思うぞ
241デフォルトの名無しさん
2015/03/20(金) 22:14:20.35ID:1BR7B8ZR C++ほど変変な高級言語はなかなか無いと思うぞ
242デフォルトの名無しさん
2015/03/21(土) 00:46:15.62ID:m0LUk3nX c++のunsigned long 型の変数を >=0で評価するとーの値が存在しないので必ずTureになって
forループが無限ループになるバグの説明が面白かった
アセンブラならループのインデックスを引いたあとキャリーフラグ調べて分岐じゃないか
ループ離脱の条件が単純比較じゃなくて条件式を容認してるからだろうけど
forループが無限ループになるバグの説明が面白かった
アセンブラならループのインデックスを引いたあとキャリーフラグ調べて分岐じゃないか
ループ離脱の条件が単純比較じゃなくて条件式を容認してるからだろうけど
243デフォルトの名無しさん
2015/03/21(土) 02:54:48.44ID:x0x7jBK5 Cの骨にテンプレートの肉を詰め、OOの毛皮を被った化物だよ
骨だけ使った料理もできるし肉を焼いてもいいし、毛皮からコートを作ったっていいが、
他人が作ったものはまだ蠢いているかもしれないから怖い。
骨だけ使った料理もできるし肉を焼いてもいいし、毛皮からコートを作ったっていいが、
他人が作ったものはまだ蠢いているかもしれないから怖い。
244デフォルトの名無しさん
2015/03/21(土) 07:42:06.13ID:zBl3Ii3W >>242
そもそもループカウンタにunsignedを使うこと自体、バグと言うべき話なのでわないかと・・・
そもそもループカウンタにunsignedを使うこと自体、バグと言うべき話なのでわないかと・・・
245デフォルトの名無しさん
2015/03/21(土) 10:14:12.91ID:9V6972Qg 必ずTureになるのが1番の問題
246デフォルトの名無しさん
2015/03/21(土) 11:05:05.60ID:rA11USYH ×Ture
○True
○True
247デフォルトの名無しさん
2015/03/21(土) 12:01:32.67ID:/IY/BI0W while(true)で評価するとーの値が変化しないので必ずTureになって
whileループが無限ループになるバグの説明が面白かった
ループ離脱の条件が条件式だけじゃなくてbreakやreturnを容認してるからだろうけど
whileループが無限ループになるバグの説明が面白かった
ループ離脱の条件が条件式だけじゃなくてbreakやreturnを容認してるからだろうけど
248デフォルトの名無しさん
2015/03/21(土) 14:50:37.16ID:TeX2vL/Q 高級な変態というと・・・女体盛りで大トロとかヒラメの縁側を使う感じか。
249デフォルトの名無しさん
2015/03/21(土) 15:50:58.96ID:xKri6eTm250デフォルトの名無しさん
2015/03/21(土) 20:43:28.09ID:zBl3Ii3W251デフォルトの名無しさん
2015/03/22(日) 00:05:49.26ID:SsX9i6KK C++/CLIはC++の顔してて勝手にスレッド作りやがる
252デフォルトの名無しさん
2015/04/13(月) 21:56:18.38ID:1Ez10RQf FORTHという>>1の要件をほぼかなえる言語がある
これをベースにすればよい
これをベースにすればよい
253デフォルトの名無しさん
2015/06/10(水) 13:56:59.28ID:/kHDwUM2 while( c )
{
...
c -= 2;
}
{
...
c -= 2;
}
254デフォルトの名無しさん
2015/06/10(水) 23:35:06.95ID:bjmIAJs7 好き / “アセンブリ言語のみで言語処理系を作った話 // Speaker Deck”
ttps://speakerdeck.com/nineties/bootstrap
これ見て元気だせ
自分でも出来そうな気がするだろ
実際、大学あたりではcコンパイラの実装までやらせてるんじゃないの?
ttps://speakerdeck.com/nineties/bootstrap
これ見て元気だせ
自分でも出来そうな気がするだろ
実際、大学あたりではcコンパイラの実装までやらせてるんじゃないの?
255デフォルトの名無しさん
2015/06/11(木) 02:58:17.97ID:wwX+zBdZ256デフォルトの名無しさん
2015/06/11(木) 18:03:31.89ID:mzhQ9y6C257デフォルトの名無しさん
2015/06/13(土) 22:22:22.81ID:ueb0hiNe あー、ドアドアの人? と思ったら違ったヽ(´ー`)ノ
むかーし(20年ちょっと)、アセンブラに構造化マクロを追加して『生産性が超上がる!』って
謳ったPDS(今で言うフリーソフト)があったけれど、当時意味分からなかったなあ。
と言うかGCCの吐くアセンブラコードを読んで、自分で書くより綺麗でスッパリ諦めた(^^;
むかーし(20年ちょっと)、アセンブラに構造化マクロを追加して『生産性が超上がる!』って
謳ったPDS(今で言うフリーソフト)があったけれど、当時意味分からなかったなあ。
と言うかGCCの吐くアセンブラコードを読んで、自分で書くより綺麗でスッパリ諦めた(^^;
258デフォルトの名無しさん
2015/06/14(日) 01:34:40.73ID:et+uySKI 少し前、x265のエンコードダーをアセンブラで記述してる人達の話題で
プログラムを組む上で何が問題なのかって話題があって
OSのシステムコールを行うとレジスターが壊れるのが気に入らないって事だった
オレは重要なアルゴリズムに係わる高度なコーディング作業をしているのだから
システムコール如きへの配慮で煩わしい事をさせるなってことかな
システムコール用のレジスタ退避マクロなり
システムコールをラップしてレジスタを退避復旧したり
もう少し便利なアセンブラの処理系を作ってみたりしないのかな〜
既存コードとの互換性問題とかあるのかな
アセンブラ関係のTool類はかなり保守的で目新しい道具類がガンガン使われる様子は少な目??
>>254の記事を読むと、コンパイラ系統ってリストへの変換ー>実行コード(アセンブラ)への還元って事が凄くよく判るんだよね
物凄く大雑把に言うと、LISP処理系への構文糖衣≒コンパイルする対象(プログラム塊) な構図
プログラムを組む上で何が問題なのかって話題があって
OSのシステムコールを行うとレジスターが壊れるのが気に入らないって事だった
オレは重要なアルゴリズムに係わる高度なコーディング作業をしているのだから
システムコール如きへの配慮で煩わしい事をさせるなってことかな
システムコール用のレジスタ退避マクロなり
システムコールをラップしてレジスタを退避復旧したり
もう少し便利なアセンブラの処理系を作ってみたりしないのかな〜
既存コードとの互換性問題とかあるのかな
アセンブラ関係のTool類はかなり保守的で目新しい道具類がガンガン使われる様子は少な目??
>>254の記事を読むと、コンパイラ系統ってリストへの変換ー>実行コード(アセンブラ)への還元って事が凄くよく判るんだよね
物凄く大雑把に言うと、LISP処理系への構文糖衣≒コンパイルする対象(プログラム塊) な構図
259デフォルトの名無しさん
2015/06/20(土) 16:36:37.21ID:lPLujLwf Objective-ASM
260デフォルトの名無しさん
2015/10/31(土) 22:45:31.32ID:z7pRF+TT261デフォルトの名無しさん
2015/10/31(土) 23:17:02.36ID:d1AV3Byr 54 :デフォルトの名無しさん [sage] :2013/04/07(日) 22:40:29.84
262デフォルトの名無しさん
2015/11/01(日) 07:59:19.09ID:xEvp3/ht VS2013のC++x64でアセンブラコードみてるんだけど
かなり良さそうなコード吐き出している
問題はC++の仕様が大きいので他人の書いたコードが理解できないこと
C++の仕様の大きさが問題ならC++のコードを吐き出すプリプロセッサ?
みたいなものを企画してあとはC++にお任せが一番楽そうだね
unionを使った偽装もキャストって呼ぶんだな
&を使うリファレンスも別名とか名称変更とか説明があってやっと理解できた
C++もC並みにフリーダムだからお行儀の悪いコードが書けてしまう
提案になってないな
アイデアとしては、cpuやハードを直接叩く記述をする場合明確に宣言させて隔離とか
_low_level_fuc みたいなキーワード導入してその内部のみ色々悪さが出来るとか
これは運用の問題なので今のC++でも可能なんだろうけど
pythonのサブセット、お行儀の悪いpythonとかpychonとかoppayとかwww
C++の複雑さって仕様が大きくなって新たなキーワードを導入して何でもかんでも
詳細にテキストで記述しようとした結果じゃないかな
本来ライブラリなりフレームワークなりにお任せすべき部分までやらかしていると
かなり良さそうなコード吐き出している
問題はC++の仕様が大きいので他人の書いたコードが理解できないこと
C++の仕様の大きさが問題ならC++のコードを吐き出すプリプロセッサ?
みたいなものを企画してあとはC++にお任せが一番楽そうだね
unionを使った偽装もキャストって呼ぶんだな
&を使うリファレンスも別名とか名称変更とか説明があってやっと理解できた
C++もC並みにフリーダムだからお行儀の悪いコードが書けてしまう
提案になってないな
アイデアとしては、cpuやハードを直接叩く記述をする場合明確に宣言させて隔離とか
_low_level_fuc みたいなキーワード導入してその内部のみ色々悪さが出来るとか
これは運用の問題なので今のC++でも可能なんだろうけど
pythonのサブセット、お行儀の悪いpythonとかpychonとかoppayとかwww
C++の複雑さって仕様が大きくなって新たなキーワードを導入して何でもかんでも
詳細にテキストで記述しようとした結果じゃないかな
本来ライブラリなりフレームワークなりにお任せすべき部分までやらかしていると
263デフォルトの名無しさん
2015/11/01(日) 08:07:06.43ID:xEvp3/ht Cの複雑さってint,char,とか扱う型の種類とサイズが多い事も理由っぽいので
ここはきっぱりアルゴリズムを記述する為に扱える数値の種類を1,2種類に限定して
そのほかはデーターベースの記録管理みたいに色々なコストをかけて
型変換なりレンジチェックなり圧縮なり手間隙かければ良いのでは?
いっそ64bitサイズの何かで統一してしまう
charもintも実数も全部64bitの何かw
ここはきっぱりアルゴリズムを記述する為に扱える数値の種類を1,2種類に限定して
そのほかはデーターベースの記録管理みたいに色々なコストをかけて
型変換なりレンジチェックなり圧縮なり手間隙かければ良いのでは?
いっそ64bitサイズの何かで統一してしまう
charもintも実数も全部64bitの何かw
264デフォルトの名無しさん
2015/11/01(日) 09:17:05.73ID:v5UlfxKI >>261
単に型なしのオブジェクト言語使えばいいのでわないかと
単に型なしのオブジェクト言語使えばいいのでわないかと
265デフォルトの名無しさん
2015/11/11(水) 11:53:35.17ID:iOpec/0o 型無しのオブジェクト言語って言えばluajitがかなり高速なんだよな、確か。
あれの仕様を上手く転用できないかな。
あれの仕様を上手く転用できないかな。
266デフォルトの名無しさん
2015/11/11(水) 20:22:43.34ID:1hY3wyl+ 多分スクリプトとアセンブラの悪いとこ取りじゃね
267デフォルトの名無しさん
2015/12/14(月) 21:02:53.45ID:LOQs7wcg268デフォルトの名無しさん
2016/04/08(金) 01:45:14.02ID:sej0xQjF void*最強って話か?w
コンパイラが勝手にトレードオフして機能の一部をFPGAに突っ込んでくれよ
コンパイラが勝手にトレードオフして機能の一部をFPGAに突っ込んでくれよ
269デフォルトの名無しさん
2016/05/24(火) 08:42:53.66ID:67ul01kR 高速とは無縁だけど多倍長整数ってあるよね
これをビット単位でやるの、管理も緩く1ビットで1バイト使って管理
速度で無いけど全部の計算表現できるよね
文字列とかは考慮してないけど
色々考えた結果、変数の精度、byte,word,duble word,q...
ここら辺がいかにCPUの効率都合に合わせた制限だってよく判る
制限して精度に条件が付いても効率と速度が欲しいって言う
たった1ビットの多倍長数が扱えるだけで何でも表現できるなと思った。ww
これをビット単位でやるの、管理も緩く1ビットで1バイト使って管理
速度で無いけど全部の計算表現できるよね
文字列とかは考慮してないけど
色々考えた結果、変数の精度、byte,word,duble word,q...
ここら辺がいかにCPUの効率都合に合わせた制限だってよく判る
制限して精度に条件が付いても効率と速度が欲しいって言う
たった1ビットの多倍長数が扱えるだけで何でも表現できるなと思った。ww
270デフォルトの名無しさん
2016/05/24(火) 15:58:40.37ID:AJNPSyjI せめてBCDにしれwww
271デフォルトの名無しさん
2016/06/02(木) 01:23:18.32ID:RwzROqD7 何で10進数にしたがるかね
272デフォルトの名無しさん
2017/03/25(土) 08:50:12.87ID:Wiqnaowk RustがC++に並ぶぐらい速くなってるみたいだけどRustのサブセットみたいなの作ったら良いのかね
273デフォルトの名無しさん
2017/04/03(月) 00:12:39.32ID:Eo4f9wsY 修理するより買い換えた方が安いって話は多いが
もはや解読不可能になったコードのメンテナンスに金は出すくせに
新しく作り直すのはNGってのは恐ろしいな
大手では比較的作り直しもするようだが
もはや解読不可能になったコードのメンテナンスに金は出すくせに
新しく作り直すのはNGってのは恐ろしいな
大手では比較的作り直しもするようだが
274デフォルトの名無しさん
2017/04/03(月) 00:14:37.85ID:Eo4f9wsY もしあらゆる面でC++に勝る言語が出来たとしても、それが流行るかどうかは怪しい
275デフォルトの名無しさん
2017/04/03(月) 00:53:32.18ID:OlsWZk+G >>272
なんでサブセット?
なんでサブセット?
276デフォルトの名無しさん
2017/08/25(金) 04:46:53.19ID:QVMMnsrU ネタがないんだね
Cに代わるっておそらく劣化Cになるだろうし
C++は現状仕様が巨大過ぎて大変な状態らしい
最後は、ライブラリーを移植するとき仕様差による移植性の低下をどうカバーするか問題がでる
(ライブラリーなんて一から書いてられないから)
ー> 結果現行のC++でも良いじゃん
設計とかコード書くときの作法が問題じゃねーのみたいに収束するのかな
あとは、コードの様子を解析するツールやAIっぽい機能を備えた解析などを行うアシストツールが必要になりそう
10進数の需要って金銭関係や丸め切り捨ては四捨五入で行いたい方面に需要があるんかな、やっぱ
Cに代わるっておそらく劣化Cになるだろうし
C++は現状仕様が巨大過ぎて大変な状態らしい
最後は、ライブラリーを移植するとき仕様差による移植性の低下をどうカバーするか問題がでる
(ライブラリーなんて一から書いてられないから)
ー> 結果現行のC++でも良いじゃん
設計とかコード書くときの作法が問題じゃねーのみたいに収束するのかな
あとは、コードの様子を解析するツールやAIっぽい機能を備えた解析などを行うアシストツールが必要になりそう
10進数の需要って金銭関係や丸め切り捨ては四捨五入で行いたい方面に需要があるんかな、やっぱ
277デフォルトの名無しさん
2017/08/25(金) 11:22:12.03ID:KodDhcxm 最近のC++は何を勘違いしたか高級言語気取っててウザイ。
278デフォルトの名無しさん
2017/08/25(金) 21:39:31.76ID:BZOsNf+t 高級っぽく見える言語だな
279デフォルトの名無しさん
2017/08/26(土) 11:55:56.79ID:lejZryYl トンキンではC++関係者は不審者に見えるらしいw
280デフォルトの名無しさん
2018/03/25(日) 14:11:56.44 >>3
>◆新言語でのリソース管理方針◆
>
>・確保したリソースを明示的に後始末しなくても問題が発生しない
>・何らかのメリットのために確保したリソースを明示的に後始末してもよい
こういう魔法みたいなことってどうやったらできるんだろうね
もちろん効率重視なのは言うまでもない前提条件として
数十〜数百マイクロ秒単位で使用元・使用先スレッドがガチャガチャ入れ替わる環境で
>◆新言語でのリソース管理方針◆
>
>・確保したリソースを明示的に後始末しなくても問題が発生しない
>・何らかのメリットのために確保したリソースを明示的に後始末してもよい
こういう魔法みたいなことってどうやったらできるんだろうね
もちろん効率重視なのは言うまでもない前提条件として
数十〜数百マイクロ秒単位で使用元・使用先スレッドがガチャガチャ入れ替わる環境で
281デフォルトの名無しさん
2018/05/23(水) 20:03:50.70ID:Au5e7VGg 僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
BTGPU
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』
BTGPU
282デフォルトの名無しさん
2018/07/05(木) 01:37:35.74ID:RfoszcD2 DKB
283デフォルトの名無しさん
2018/10/20(土) 20:00:04.70ID:YPDT0Cqq Cは8進10進16進数が扱えるのに、何で2進数が扱えないんだろう。
ちょっとの工夫でどうとでもなるけど、やっぱ標準であると嬉しいなあ。
ちょっとの工夫でどうとでもなるけど、やっぱ標準であると嬉しいなあ。
284デフォルトの名無しさん
2018/10/21(日) 14:55:24.25ID:YTn6F4Fk 16進数の方が分かりやすいからじゃないの
1010000とか書かれても1の位置がどこかすぐに分からないし
0x50なら一目で分かるけど
1010000とか書かれても1の位置がどこかすぐに分からないし
0x50なら一目で分かるけど
285デフォルトの名無しさん
2018/10/21(日) 17:25:58.13ID:3rYBWp0g gccはじめメジャーなコンパイラなら大抵は2進数リテラルは扱えるから
よく使う処理系基準でいいでしょ
よく使う処理系基準でいいでしょ
286デフォルトの名無しさん
2018/10/21(日) 20:17:45.60ID:IbAoaMml C++では0bが使えるようになったけど、Cはまだなのか
つか素直にC++使おう
つか素直にC++使おう
287デフォルトの名無しさん
2018/10/21(日) 21:24:49.94ID:y1FMkoBF 最近のc++は糞化拡張が止まらないから。
あくまでアセンブラの代替として使いたいのであって、ハード寄りのコードを書きたいのであって、
速度重視、メモリ効率重視が根底にあるのに、c++の仕様拡張してる奴らはただの言語オタクでうざい。
あくまでアセンブラの代替として使いたいのであって、ハード寄りのコードを書きたいのであって、
速度重視、メモリ効率重視が根底にあるのに、c++の仕様拡張してる奴らはただの言語オタクでうざい。
288デフォルトの名無しさん
2019/05/25(土) 11:08:30.63ID:jbgB9jQg Rustが正解に近い。
メジャー化してエコシステムが充実すればいける。
メジャー化してエコシステムが充実すればいける。
289デフォルトの名無しさん
2019/06/03(月) 11:49:30.62ID:561P/qAZ armcc, armclang, Linaro GCC
ARMR コンパイラ armcc ユーザガイド
http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0472jj/index.html
armcc は、標準 C および標準 C++ のソースコードを ARM アーキテクチャベースプロセッサのマシンコードにコンパイルする、最適化 C および C++ コンパイラです。
ARMR コンパイラ armcc ユーザガイド
http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0472jj/index.html
armcc は、標準 C および標準 C++ のソースコードを ARM アーキテクチャベースプロセッサのマシンコードにコンパイルする、最適化 C および C++ コンパイラです。
2901
2019/08/13(火) 23:00:51.64ID:oTlgbS6H Rustが正解であることが確認されました。
10年弱に渡りお付き合いいただきありがとうございました。
10年弱に渡りお付き合いいただきありがとうございました。
291デフォルトの名無しさん
2019/08/21(水) 20:28:24.91ID:6xsUkfpB 言語が
理解習得し易い
誤認間違い難い
というのもお願いしたい
理解習得し易い
誤認間違い難い
というのもお願いしたい
292デフォルトの名無しさん
2019/08/31(土) 17:50:09.35ID:54Etlgy2 MIT「えっまた俺なんかやっちゃいました?」
julia、軌道に乗る
julia、軌道に乗る
293デフォルトの名無しさん
2019/08/31(土) 22:20:26.54ID:XxwPKKvU294デフォルトの名無しさん
2019/09/01(日) 01:01:46.09ID:JdN5NInb >>288
バスト占い思い出した
バスト占い思い出した
295デフォルトの名無しさん
2019/09/01(日) 13:35:22.25ID:gzRpR9B4 c++が示したことってのは結局
ランタイム速度
高級機能を追加
の2点だけ追求すれば馬鹿プログラマは寄ってくるってことなんだわ。
ランタイム速度
高級機能を追加
の2点だけ追求すれば馬鹿プログラマは寄ってくるってことなんだわ。
296デフォルトの名無しさん
2019/09/14(土) 20:38:11.35ID:IbeHy12P どうみても今はコード書かない言語オタクが好き勝手に拡張してる。
C++にくだらん機能追加したいなら名前変えろよ。
C++系言語で普及した言語はJavaやC#などいっぱいある。
C++にくだらん機能追加したいなら名前変えろよ。
C++系言語で普及した言語はJavaやC#などいっぱいある。
297デフォルトの名無しさん
2020/02/17(月) 23:02:27.37ID:R0DiDWe7 Low* (Low star)という言語は型システムがすごいのでぜひ取り入れていくべき
298デフォルトの名無しさん
2021/10/27(水) 10:06:43.69ID:XE3bmMwX 演算子オーバーロードって難読化だよね
299デフォルトの名無しさん
2021/10/28(木) 12:18:05.54ID:VQB5DVZJ まあ、もともとCは最適化はあまりやらなくて、プログラマの意思をなるべく素直に伝えるという思想だしな。だから、a=a+1;とa++;は演算後の値は同じでもプログラマの意図は違う。前者は加算命令、後者はインクリメント命令に落ちてほしい。
コンパイラのエラーチェックも最小限で、チェックはlint使えって感じだし。
Rust屋の主張するメモリ安全なんかも「うっせえわ!黙って言う通りにやれ!」って感じ。
あぁ、キャリー/ボローフラグが使えたら良いなあって時はあるかな。
コンパイラのエラーチェックも最小限で、チェックはlint使えって感じだし。
Rust屋の主張するメモリ安全なんかも「うっせえわ!黙って言う通りにやれ!」って感じ。
あぁ、キャリー/ボローフラグが使えたら良いなあって時はあるかな。
300ハノン ◆QZaw55cn4c
2021/10/30(土) 16:29:48.11ID:nIglmucm301デフォルトの名無しさん
2021/11/06(土) 14:48:01.13ID:b1XdA94q int と size_t がいつも混在して面倒になる
302デフォルトの名無しさん
2021/11/26(金) 11:52:34.78ID:ARqZ/fb1 勝手な整数拡張をやめてくれるある意味cより低級なcが欲しい
パフォーマンス的にワード長で扱うのが良いというのもわかるが
あえてintより小さい型で計算したい時というのはそれなりの理由があるからやるわけで
その型内でオーバーフローしたら切り詰めずに素直に落ちろ
パフォーマンス的にワード長で扱うのが良いというのもわかるが
あえてintより小さい型で計算したい時というのはそれなりの理由があるからやるわけで
その型内でオーバーフローしたら切り詰めずに素直に落ちろ
303デフォルトの名無しさん
2022/04/19(火) 01:58:13.78ID:TThcYTpA しかしそこまで低級なところに降りていくとマクロアセンブラみたいなのが使いやすい感じになっちゃうんだよね。
言語上の表現がどういう機械語に対応付くのか意識するともう直接書いた方がええわ……となる。
言語上の表現がどういう機械語に対応付くのか意識するともう直接書いた方がええわ……となる。
304デフォルトの名無しさん
2022/04/19(火) 14:30:56.58ID:1/h8QBeL 呼び出し前後のレジスタ退避と回復だけやってくれれば意外とアセンブラはほぼforthだよね
305デフォルトの名無しさん
2022/04/21(木) 17:35:30.02ID:+ZjRtsOn forthは言語とマクロ用言語が同一言語なアセンブラだな
gforthみたいなリッチ実装はコンパイル済の定義を参照するとx86の標準文法を曝け出しちゃってなんだかなぁ、と思う
gforthみたいなリッチ実装はコンパイル済の定義を参照するとx86の標準文法を曝け出しちゃってなんだかなぁ、と思う
306デフォルトの名無しさん
2022/04/21(木) 20:15:20.64ID:O4XEE7U4 >>304
forthは呼び出し規約の抽象化じゃなくて、型と引数という概念を捨てて自由になった
マシン依存性を排除するためにレジスタを抽象化した汎用dスタックに全ての命令が型と個数の解釈をモラルを守って作用することで成り立ってる
(暗黙の)引数渡しに関してはオーバーヘッドは大きくないので普通はマシンの最大スカラー型
floatはさすがにfスタックがあるけど
dスタックだけで複雑なデータ操作は厳しいから、最大スカラー型である事が保証されてるrスタック(生ハードウェアスタック)が一時領域に便利なのが闇
制御構造も戻りアドレスや添字を積むだけだから、うっかり積み残しがあると戻りアドレスやデータが添字代わりにインクリメントされ続けたり不可解な事に
あとは拡張性が売りの癖に制御構造のポータブルな拡張が難しいのがな…
もちろん制御構造と整合性のある単純な命令くらいは添えられてるのであくまで例だけど
指定回数ループをbreakするには最低で添字と戻りアドレスをpopする必要があるけど、たいてい実装拡張として積まれてるデータは不定、何回popしたらセグフォるか試すことになる
規格の制御構造には不備があるから(これは本当)うちの拡張を推奨ってのが普通の世界
制御構造すら定番がなくて、同じ言語といえるのかという疑問すら湧く
forthは呼び出し規約の抽象化じゃなくて、型と引数という概念を捨てて自由になった
マシン依存性を排除するためにレジスタを抽象化した汎用dスタックに全ての命令が型と個数の解釈をモラルを守って作用することで成り立ってる
(暗黙の)引数渡しに関してはオーバーヘッドは大きくないので普通はマシンの最大スカラー型
floatはさすがにfスタックがあるけど
dスタックだけで複雑なデータ操作は厳しいから、最大スカラー型である事が保証されてるrスタック(生ハードウェアスタック)が一時領域に便利なのが闇
制御構造も戻りアドレスや添字を積むだけだから、うっかり積み残しがあると戻りアドレスやデータが添字代わりにインクリメントされ続けたり不可解な事に
あとは拡張性が売りの癖に制御構造のポータブルな拡張が難しいのがな…
もちろん制御構造と整合性のある単純な命令くらいは添えられてるのであくまで例だけど
指定回数ループをbreakするには最低で添字と戻りアドレスをpopする必要があるけど、たいてい実装拡張として積まれてるデータは不定、何回popしたらセグフォるか試すことになる
規格の制御構造には不備があるから(これは本当)うちの拡張を推奨ってのが普通の世界
制御構造すら定番がなくて、同じ言語といえるのかという疑問すら湧く
307デフォルトの名無しさん
2022/04/21(木) 21:15:26.12ID:O4XEE7U4 >>305
コメント無くなってたり、埋め込んだ定義が等価な表現に置き換わってたりするから、seeは既存のコードを参照してるのでなくて、ブロブからforthコードへのディスアセンブラ(再構築)
ワードを渡せば' でそのワードの指すアドレスは取れるけど、そこから何バイト読むかのオフセット指定をseeは取らない、かなりヒューリスティックだと思う
seeで標準される開始-終了アドレスに、読みすぎてそうなら適当に足すか、途中で切れてるようなコードなら適当に足してaddr nbyte discloseと呼べば大体復元できると思う
dis、+disとかも入ってたっけ
まあ、具体的なレジスタやメモリの名前が分かるだけでforthコードとそんな変わらないという悲しさはあるが
コメント無くなってたり、埋め込んだ定義が等価な表現に置き換わってたりするから、seeは既存のコードを参照してるのでなくて、ブロブからforthコードへのディスアセンブラ(再構築)
ワードを渡せば' でそのワードの指すアドレスは取れるけど、そこから何バイト読むかのオフセット指定をseeは取らない、かなりヒューリスティックだと思う
seeで標準される開始-終了アドレスに、読みすぎてそうなら適当に足すか、途中で切れてるようなコードなら適当に足してaddr nbyte discloseと呼べば大体復元できると思う
dis、+disとかも入ってたっけ
まあ、具体的なレジスタやメモリの名前が分かるだけでforthコードとそんな変わらないという悲しさはあるが
308デフォルトの名無しさん
2022/07/30(土) 16:21:32.91ID:paa5jUiA Nim++
309デフォルトの名無しさん
2022/08/03(水) 08:36:38.78ID:G37dUWbH 低級言語ならx64特化して構造化アセンブラみたいな感じで
ちょっとオシャレだけどやってる事はほぼむき出しのレジスタ操作みたいな?
ちょっとオシャレだけどやってる事はほぼむき出しのレジスタ操作みたいな?
310デフォルトの名無しさん
2022/08/03(水) 11:55:01.67ID:GLMdE3Py masm64でinvokeしまくれば
311デフォルトの名無しさん
2022/08/04(木) 05:27:08.29ID:Xs8BUVRi 例えばループが多重化してループカウンタが複数必要な場合
作法としてRCXを使うけど、処理系が最適化で空いてるレジスタを割り当てたり
退避復帰をしつつRCXを使うとか
固定領域を確保してカウントに使用するとか自動でやってくれるみたいな
プログラムコードは雰囲気コーディングだけど最終出力は忖度された何かみたいな感じ
作法としてRCXを使うけど、処理系が最適化で空いてるレジスタを割り当てたり
退避復帰をしつつRCXを使うとか
固定領域を確保してカウントに使用するとか自動でやってくれるみたいな
プログラムコードは雰囲気コーディングだけど最終出力は忖度された何かみたいな感じ
312デフォルトの名無しさん
2022/08/04(木) 18:25:34.25ID:+TMVVsOn アセンブリ並みの変態低級言語作る?
313デフォルトの名無しさん
2022/08/06(土) 14:07:02.72ID:eSBCWCwI Nim++
314デフォルトの名無しさん
2023/09/21(木) 12:59:48.22ID:7twnyTUv もうそろそろ、おしで祭りや
315デフォルトの名無しさん
2023/11/01(水) 03:29:10.04ID:5z6NYMjm Nim#
316デフォルトの名無しさん
2023/11/05(日) 10:42:59.68ID:ol9bMVcc Rust++
317デフォルトの名無しさん
2023/11/05(日) 16:32:02.05ID:M+aCXIKU 最近のCPUのアセンブラはほとんどCと変わらないようだけど
318デフォルトの名無しさん
2023/11/06(月) 06:07:34.02ID:bdWb9xgB 昔のCはアセンブラとほとんど変わらなかったから
差は縮まっていない
なにも変わってない
差は縮まっていない
なにも変わってない
319デフォルトの名無しさん
2023/11/06(月) 16:20:14.87ID:cmjYyIPB 最近はむしろC標準が直接サポートしてない命令が増えてるからな
ローテイトなんていまだにないし
ローテイトなんていまだにないし
320デフォルトの名無しさん
2023/11/11(土) 12:31:46.21ID:fuGMacjx321デフォルトの名無しさん
2024/02/11(日) 03:12:32.56ID:morq3qnL >>294
Aカップが好きなアセンブラ君、食わず嫌いはいけません高級言語は恐くありませーん
Bカップが好きなBASIC君、少しは毛が生えたけどまだまだ修行が足りません関数に興味はないのですか
Cカップが好きな君は正解に限りなく近い。有象無象の言語はたくさん出てきたけれど結局Cが手ごろサイズで限りなく正解に近いです
Jカップが好きな君は煩悩に振り回されっぱなしです。たまには太陽だけでなく月にも興味を持ちなさい
Aカップが好きなアセンブラ君、食わず嫌いはいけません高級言語は恐くありませーん
Bカップが好きなBASIC君、少しは毛が生えたけどまだまだ修行が足りません関数に興味はないのですか
Cカップが好きな君は正解に限りなく近い。有象無象の言語はたくさん出てきたけれど結局Cが手ごろサイズで限りなく正解に近いです
Jカップが好きな君は煩悩に振り回されっぱなしです。たまには太陽だけでなく月にも興味を持ちなさい
322デフォルトの名無しさん
2024/04/19(金) 10:13:34.89ID:uD5nyH4z >>1
仮想アセンブラを作ることになるが、かえって誤ったハードウェアと勘違いしそうw
仮想アセンブラを作ることになるが、かえって誤ったハードウェアと勘違いしそうw
323デフォルトの名無しさん
2024/04/19(金) 10:14:46.38ID:uD5nyH4z >>317
アセンブラがわからないのに語る変なやつw
アセンブラがわからないのに語る変なやつw
324デフォルトの名無しさん
2024/05/02(木) 01:06:39.68ID:f54xPIPf >>321
どうでもいい話だけど、J が Java のことを言ってるようにも見えるので
実際には J 言語てのがあるんだけどね
J はJava や JS とは全く関係ない、APL (という言語) の派生言語で
APL と違って特殊キャラクタを使用せず ASCII のみで記述可能にしたもの
どうでもいい話だけど、J が Java のことを言ってるようにも見えるので
実際には J 言語てのがあるんだけどね
J はJava や JS とは全く関係ない、APL (という言語) の派生言語で
APL と違って特殊キャラクタを使用せず ASCII のみで記述可能にしたもの
325デフォルトの名無しさん
2024/12/11(水) 21:59:47.09ID:bqdEzJrv326デフォルトの名無しさん
2025/03/24(月) 12:24:27.59ID:tWxitKr9327デフォルトの名無しさん
2025/03/24(月) 13:15:17.83ID:a0wY9RFf >>326
https://docs.rs/bit-vec/ がいいかな
use bit_vec::BitVec;
fn main() {
// 32bit全てfalseで作成
let mut bv = BitVec::from_elem(32, false);
// 7bitおきにtrueセット
for index in (0..32).step_by(7) {
bv.set(index, true);
}
// 0, 7, 14 , 21, 28番目のbitがtrueになった
assert_eq!(bv.get(0), Some(true));
assert_eq!(bv.get(1), Some(false));
assert_eq!(bv.get(7), Some(true));
assert_eq!(bv.get(28), Some(true));
// イテレータでtrueになってる位置のリスト
let v = bv.iter().enumerate().filter_map(|(i, bit)| bit.then_some(i)).collect::<Vec<_>>();
assert_eq!(v, [0, 7, 14, 21, 28]);
// 内部構造は標準でVec<u32>を使っているのでu32が1つ分
assert_eq!(bv.storage(), [0b_10000001000000100000010000001]);
// バイト列にすると4バイト
assert_eq!(bv.to_bytes().len(), 4);
assert_eq!(bv.to_bytes(), [0b_10000001, 0b_00000010, 0b_00000100, 0b_00001000]);
}
https://docs.rs/bit-vec/ がいいかな
use bit_vec::BitVec;
fn main() {
// 32bit全てfalseで作成
let mut bv = BitVec::from_elem(32, false);
// 7bitおきにtrueセット
for index in (0..32).step_by(7) {
bv.set(index, true);
}
// 0, 7, 14 , 21, 28番目のbitがtrueになった
assert_eq!(bv.get(0), Some(true));
assert_eq!(bv.get(1), Some(false));
assert_eq!(bv.get(7), Some(true));
assert_eq!(bv.get(28), Some(true));
// イテレータでtrueになってる位置のリスト
let v = bv.iter().enumerate().filter_map(|(i, bit)| bit.then_some(i)).collect::<Vec<_>>();
assert_eq!(v, [0, 7, 14, 21, 28]);
// 内部構造は標準でVec<u32>を使っているのでu32が1つ分
assert_eq!(bv.storage(), [0b_10000001000000100000010000001]);
// バイト列にすると4バイト
assert_eq!(bv.to_bytes().len(), 4);
assert_eq!(bv.to_bytes(), [0b_10000001, 0b_00000010, 0b_00000100, 0b_00001000]);
}
328デフォルトの名無しさん
2025/03/24(月) 13:30:34.57ID:S5TsEiko CはPDP-11のアセンブラの高級言語化でしたっけ?
消えたアーキテクチャとは言え未だ有用ではありますが、現役アーキテクチャの8086-64やARMのソレとかの命令セットはどうなっているんでしょ?
多分基本命令そのものは大差ないと思うけど、マルチメディア拡張? MMXみたいな専用命令はCで直接記述出来ないですよね。
他にも、最近のナウいアーキテクチャは文字列をそのまま扱えるとか聞いて想像の範疇超えてます。
高級言語も楽で良いけど、そういうのは楽なアセンブラの上に構築出来ればそれで良いなあ。
消えたアーキテクチャとは言え未だ有用ではありますが、現役アーキテクチャの8086-64やARMのソレとかの命令セットはどうなっているんでしょ?
多分基本命令そのものは大差ないと思うけど、マルチメディア拡張? MMXみたいな専用命令はCで直接記述出来ないですよね。
他にも、最近のナウいアーキテクチャは文字列をそのまま扱えるとか聞いて想像の範疇超えてます。
高級言語も楽で良いけど、そういうのは楽なアセンブラの上に構築出来ればそれで良いなあ。
329デフォルトの名無しさん
2025/03/24(月) 19:01:49.54ID:/lNBwDBZ 25年位前のレスのコピペかよω
レスを投稿する
ニュース
- 習政権、高市首相への態度硬化 台湾有事発言で連日非難 中国 ★11 [ぐれ★]
- 国内ホテル、既にキャンセルも 訪日客関連業界、事態見守る ★3 [蚤の市★]
- 日本損失1.7兆円に修正 中国渡航自粛の影響試算 [蚤の市★]
- 「どうしようもない」 ため息つくアジアの玄関口 中国の訪日自粛で−福岡市 [蚤の市★]
- 「アベノミクス」で投資対象と化したマンション ローンの低金利続き「年収の12倍」借りる20代出現 [蚤の市★]
- 食品の高騰対策、政府が交付金の「特別枠」検討 原則全ての自治体で [蚤の市★]
- 【超絶悲報】日本政府「高市さんの答弁撤回はない。政権として弱腰と映る姿勢は見せられない」これもう立憲岡田の議員辞職しかないだろ [519511584]
- 【実況】博衣こよりのえちえち朝こよ🧪
- 台湾「高市さんが台湾人の悲願を叶えてくれた!」これじゃ高市さん発言撤回できないぢゃん😰 [523957489]
- 高市周辺、さすがに焦り始めるww「小さな火種が火事になりかけている。早く鎮火しなくてはいけない」 [271912485]
- 【超悲報】中国への武力行使、世論調査で「賛成」「どちらかといえば賛成」48.8% 「反対」「どちらかといえば反対」の44.2%を上回る [314039747]
- 中国「高市が頭を下げて謝罪しない限り、絶対に許さない」 [329329848]
