新言語を開発したい

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

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

**デフォルトの名無しさん** · 2020/03/01(日) 04:56:07.46

構文解析のほうで実装してみた
しばらく様子見＼(^o^)／

**デフォルトの名無しさん** · 2020/03/01(日) 12:08:03.80

1--1
1-+1
1+-1
1++1
これが全部エラーにならなければOK

**デフォルトの名無しさん** · 2020/03/01(日) 12:11:42.19

むしろエラーにすべき

**デフォルトの名無しさん** · 2020/03/01(日) 17:04:58.63

>>617
単項+は実装してないな
実装しなくてもいいよね？
あれ使う人いるの？

**デフォルトの名無しさん** · 2020/03/01(日) 17:16:02.26

そういうのも含めて自分で開発するメリットなんじゃないの

**デフォルトの名無しさん** · 2020/03/01(日) 18:27:06.13

>>619
数式としては不要だけど、オペレーターオーバーロードで何か使い途があるかもしれん
ないかもしれん

**デフォルトの名無しさん** · 2020/03/01(日) 20:07:05.56

オペレーターオーバーロードか
それを実装できるまで開発できればいいな

**デフォルトの名無しさん** · 2020/03/02(月) 11:24:05.89

C++で「.」を置き換えたいときってあるよね

**デフォルトの名無しさん** · 2020/03/04(水) 15:07:44.77

>>617
Scalaは連続した記号列をまとめて演算子として扱う
1++1 は 1 ++ 1
1+ +1 は 1+(+1)
と解釈される

**デフォルトの名無しさん** · 2020/04/20(月) 22:56:31.96

import文実装した
これでモジュールが作れるようになった

**デフォルトの名無しさん** · 2020/04/23(木) 02:45:15.33

おめでとう。私は未だに脳内妄想言語でプログラミング中。そろそろ仕様が固まってきたけど，知り合いに「コーディング規則を構文に持ち込んだだけじゃん」言われた。それでもさくさくプログラム組めるのはうれしい。

**デフォルトの名無しさん** · 2020/04/23(木) 02:46:50.44

未完なのでハンドアセンブルでC++に変換して実行。これが面倒。しかも自分の都合の良いようにハンドアセンブルなので先は遠い。

**デフォルトの名無しさん** · 2020/04/23(木) 03:55:23.89

私は良いと思ったが批判された仕様。
var n=10
{
var n=n
pl #(1)$n
set n=5
pl #(2)$n
}
pl #(3)$n
(1)10
(2)5
(3)10

**デフォルトの名無しさん** · 2020/04/23(木) 04:29:51.79

>>626
ありがとう
テストを書いても書いてもエラーが出るよ

>>628
plってなに？

**デフォルトの名無しさん** · 2020/04/23(木) 08:54:54.35

たぶんprint lineか

**デフォルトの名無しさん** · 2020/04/23(木) 12:15:18.28

>>628
変数のシャドーイング？をやりたいんだろうけど、専用の文法を用意するより無名関数を使う方が応用範囲が広がると思う
n=10
function(n) {
pl(n)
n=5
pl(n)
}(n)
pl(n)
をもうちょっといい感じの文法になるように

**デフォルトの名無しさん** · 2020/04/24(金) 02:45:59.69

「意味は同じだけど値を変えちゃうから後で戻さないと」ってことが良くあって，C++だと変数名を変えるか，保存して元に戻すかなんだけど，これが面倒。で言語仕様に入れたら，コーディング規則を…て言われた。
方法1.{int k=n
while(k-->0){k?kって何?nじゃないの?}
}
方法2.{int save_n=n
while(n-->0){nだよねやっぱり}
n=save_n // 保存して戻すの面倒くせー
}
方法3(妄想).{int n=n
while(n-->0){nだよねやっぱり}
}判りやすいけどC++だとダメって言われる。

**デフォルトの名無しさん** · 2020/04/24(金) 02:48:29.29

>>631
無名関数調べたらクロージャが出てきてクロージャが理解できなくて(クロージャを使ってプログラムを組めない)
私の頭では「クロージャ＝メソッドが1個のクラス」に落ち着いた。
あってます？

**デフォルトの名無しさん** · 2020/04/24(金) 03:36:21.85

>>632
その用途だとアセンブラ的なpush/popが近いかもね
確かにあっても良さそうな気もするけど他人からは読みにくくなるかな

**デフォルトの名無しさん** · 2020/04/24(金) 21:24:00.48

>>634
↓これも考えたけど他にも仕様があったので，n=n 方式に落ち着いた。
方法4(妄想).{save n
while(n-->0){nだよねやっぱり}
}block を外れたら元に戻す
私は見やすいと思ったけど見難いって思う人もいるんだね。多分作っても自分以外使う人はいないだろうから自分の使いやすさを優先。

**デフォルトの名無しさん** · 2020/04/25(土) 12:36:22.20

オブジェクトの代入をコピーから参照に変更した
ガーベジコレクション実装したからコピーじゃなくても良くなった

**デフォルトの名無しさん** · 2020/04/28(火) 16:36:13.39

bool値が計算式の文脈で整数に暗黙的に変換される言語ってけっこうある？
pythonとかCはそうだけど

**デフォルトの名無しさん** · 2020/04/28(火) 17:25:19.84

javascript perl ruby

**デフォルトの名無しさん** · 2020/04/29(水) 04:58:37.79

>>638
javascriptもそうか

**デフォルトの名無しさん** · 2020/04/29(水) 08:35:38.20

rubyは違うんじゃないかな

**デフォルトの名無しさん** · 2020/05/08(金) 03:15:45.15

>>637
個人的には、論理値は論理演算の結果であって欲しいことが多い。I/Oの時だけ関数を使って変換すれば良いのにと思う。
論理値はたまに true false だけじゃなく unknown が欲しくなる。4値を欲しくなったことはまだない。

**デフォルトの名無しさん** · 2020/05/08(金) 09:53:46.10

型が無いBCPLあたりが整数と論理値を区別しない仕様を導入
↓
Cがその特徴を引き継いだまま大ヒットしてしまう
↓
これじゃまずいとboolを導入したけど後の祭り
Cの真似する言語も出てきて収拾不能

**デフォルトの名無しさん** · 2020/05/08(金) 10:05:18.77

boolがintでも特に問題は無い
Cの時点では崩壊はしていない
崩壊を決定的にしたのはperl

**デフォルトの名無しさん** · 2020/05/08(金) 10:45:08.57

Rubyは、整数の1だけでなく、0もtrue扱いになってしまうのが衰退した1つの原因
だと思う。
後は複数行コメントの書きにくさ。

**デフォルトの名無しさん** · 2020/05/08(金) 11:34:24.30

Cのやり方が普通だと刷り込まれてしまった人がそれだけ多いってことかも

**デフォルトの名無しさん** · 2020/05/08(金) 13:17:31.24

・trueとfalseは、キーワードの長さが違っているので面倒。
　むしろ、0/1 の方が楽。
・トグル動作などは、
　bXxx = 1 - bXxx;
　と書くと楽だし分かり易い。
　しかし、これは、true/false ではなく、0,1 であるからこそ出来るテクニック。
・逆に、bXxx = 2 などと 0/1 以外を入れてしまった場合には問題となるが。

**デフォルトの名無しさん** · 2020/05/08(金) 13:18:36.96

#if 0
・・・
#endif
でコメントアウトできるのは凄くありがたい。
Ruby だと、
if false
end
と書かざるを得ないのが凄く辛い。

**デフォルトの名無しさん** · 2020/05/08(金) 13:21:11.70

>>647
#if 0 だと、#if 1 に変更するのが 1 文字変えるだけだから簡単。
Ruby だと、false を true に書き換えなくてならないのでとても辛い。
グローバル変数で、
$bXxxSwitch = false
を
$bXxxSwitch = true
に書き換えることが面倒なこといったらこの上ない。

**デフォルトの名無しさん** · 2020/05/08(金) 13:36:55.88

昔から、Cだと、TRUE/FALSEなどは余り使わずに、コンパイルスイッチをマクロで
#define XXXX 0
と
#define XXXX 1
で切り替える文化だった。
これだと、0と1を切り替えるのがわずか1文字の修正ですぐに出来るので
開発効率が上がる。
それに対して、Rubyだと、true/false と書き換えなければならないので面倒な
ことこの上ない。Rubyだと
if false
・・・
elsif true
・・・
elsif false
・・・
elsif false
・・・
end
となっているところを、trueの位置を変えようとしたときにすこぶる面倒になる。
それに対してCのやり方はとても効率的だ。

**デフォルトの名無しさん** · 2020/05/08(金) 14:11:41.56

各型に、真偽値を持ってる言語は、テストがやっかい。
JavaScript, Python, PHP など

0, 0.0, 空文字列、空配列、空辞書とか、
こういうのは各型で、true?, false? みたいなメソッドを作るべき！

各型において、真偽値の意味は決まっていないから、メソッドで定義すべき。
"abc".true?

標準で、真偽値に変換されるのは迷惑。
真偽値は、true/false のみ。例外的に、nil

テストで気づかずに、パスしてしまったら大変！
Ruby だけは、間違わないようにしてる

**デフォルトの名無しさん** · 2020/05/08(金) 17:00:38.05

C# の & とか | (一個の方) って bit 演算かと思ったら
論理演算もこれなんだな

二個の方は論理演算と言わずに実行時の最適化で短縮とか違う目的で使うんだな

**デフォルトの名無しさん** · 2020/05/08(金) 19:49:26.61

>>651
そういえば、もともと、マシン語レベルで見れば、and や or という命令で、
本当は、bit演算も論理演算も、真の値を1、偽の値を0としている限りは
評価結果に限定すれば同じ。
ただ違うのは、&& や || は、以後の値を副作用も含めて完全に SKIP して
全く評価し無い事があるかもしれないということ。
このことは、ANSI Cの仕様には書いて無いかも知れないが、MSが決めた
Standard Cには書いてある。

**デフォルトの名無しさん** · 2020/05/08(金) 19:53:32.82

個人的には真偽値と整数は別物で暗黙の型変換もしない方が好み
利便性より読みやすさ

**デフォルトの名無しさん** · 2020/05/09(土) 07:00:49.65

>>653
言語仕様とは関係ないが、最近
if( a!=b) {
...
}
のようなコーディングをしないで
if( a==b) {
}
else {
...
}
と書くことが増えてきた。
昔はやらなかったけど、最近この方が見やすく感じることがある。年のせいかな。

**デフォルトの名無しさん** · 2020/05/09(土) 09:31:34.54

if( a==b) else {
...
}
とか
if( a==b) ; else {
...
}
って描けないんだっけ

**デフォルトの名無しさん** · 2020/05/09(土) 11:30:27.77

rubyにはunlessがあるね

**デフォルトの名無しさん** · 2020/05/09(土) 13:44:34.03

>>655
if( a==b) else {...} はエラー。
if( a==b) ; else {...} は a==b にコメントを書かない時はやってます。

**デフォルトの名無しさん** · 2020/05/09(土) 13:46:24.94

以下のような文を書きたいと常々思っている。
int a[]={5,2,3,7,2};
int imax=, imin=;
for( int i=0; i< 5; i++) {
if( a[i]< imin) {
imin=a[i];
}
if( a[i]> imax) {
imax=a[i];
}
}
未定義との比較は true にしてくれる言語ってあるのかな。

**デフォルトの名無しさん** · 2020/05/16(土) 06:19:12.59

>>656
undef って日常生活の中で使わないと思っていたが，
雨が降らなければ外出する
というような使い方をすることがある。
この場合
晴れたら外出する
ような言い方もするけど，曇りや雪とかの色々場合分けすると
ライトついてますか？
みたいになってしまうので，言語云々の話では無く設計の問題になってしまう。

**デフォルトの名無しさん** · 2020/05/16(土) 06:20:35.38

>>659
undef じゃなくて unless だった

**デフォルトの名無しさん** · 2020/06/30(火) 21:17:21.34

自作言語の新機能を考えてるけど、いまいち確信が持てず実装がはかどらない

**デフォルトの名無しさん** · 2020/07/01(水) 11:03:25.24

無いものを創るのってそんなもんだろ
とりあえず進めて間違ったらやり治せば良い

**デフォルトの名無しさん** · 2020/07/01(水) 14:51:57.49

そうだな
Gitもあるしな

**デフォルトの名無しさん** · 2020/10/09(金) 05:25:08.17

自己参照ってどうやるんだろう
2回パースさせるのか？

**デフォルトの名無しさん** · 2020/10/09(金) 22:44:45.83

解決した

**デフォルトの名無しさん** · 2021/01/22(金) 23:33:09.87

・言語もデータにならんかな？
→全コードがDBの1テーブルに入る
・テキストエディタもうやめない？
→GUIで作成可能
・メタ的にコードからコードを作れる
・誰でもどこからでも読み込める
・誰でもどこからでも実行可能
・言語のパーサ仕様はCSV
・GUIで見るとc言語っぽく見える
・他言語から容易に呼べる

よっしゃ、作るぜ