pythonの改良型の新しい言語の提案
pythonは、ステートメントと式が分かれていて、インデントブロックで区切るので、
eval関数で命令を処理できない。(exec関数で処理できるが、インデントの処理が煩い)
命令も全て式とすれば、eval関数で処理できる美しい言語ができる。
CとLISPとPythonを元にして。
CとLISPとPythonのあいの子の書きやすい平易な記述版と思ってくれればよいです。
自分自身をデータとして取り扱えればなお良い。
デザイン草稿 [
式; :: 式; 式;
a = while b == c { 式; 式; }; /* 実行して値を返す */
a = 'while b == c { 式 };'; /* 文字列 */
関数定義は、
a=def func(x,y) { 式 };
マクロ定義は、
a=mac MACRO(X,Y) { (X+Y)*100 };
クラス定義は、
a=class Player { def __init__(self, x) { self.x = x; def func(y) { 式 }}
whileも、defも、macもclassも値を持つ。
自分自身の参照は、
a = 'a'
a = 'a; b;'
a = 'while { 式 };';
eval(a)；でaの実行、値を返す。
｝のあとの;は省略可。
a = [ 1 2 3 ]； でvector。リストを扱えると良い。
a = load('filename'); /* 自分自身やファイルをデータとして取り扱う。 */
eval(a);
まとめると、
eval(load('filename'));
a=load('filename') /* aにファイルの内容を格納する */
include('filename'); は eval(load('filename')); と等価。
while b==c { 式; 式； }は最後に評価された式の値
while b==c { 式1; } then 式2;は正常終了した場合式2の値 /* Pythonはループ正常終了時のelseとthenが逆なので */
b==cは式で置き換えられる
{ 式; }は、式;
ブロックは、{}で記述
{ 式1; 式2; 式3; } ブロックの値は最後に評価された式の値。分岐がないと式3の値
例えば、
{ 式1; if 式2 then 式3 else 式4 }の値は、式2が真の場合式3、式2が偽の場合は式4
{ switch 式1 { case 式2: 式3 case 式4: 式5 case 式6: 式7 default: 式8 } } は、
式1と式4が等しい場合、switchもブロックも式5の値
チューリング完全で。
書きやすさと美しさの妥協点。
マクロもひっくり込める。
・動的型付けがよい。動的型付けだとバグが出やすいが、書きやすいので。いやしかし、静的型付けの方がコンパイラを書きやすいし、バグが出にくいので、静的型付けのほうが優秀。
・ネイティブコードコンパイラ付きで。ネイティブコードコンパイラ付きだと、プログラムをデータとして扱う場合と動的型付けをする場合、難しくなるので、中間コードコンパイラでも良いかも知れない。
関数の中で関数定義可にして、クラスの中でクラス定義可にして、マクロの中でマクロ定義可にして。
オブジェクト指向も書けるようにして。
スクリプト言語として複数行にまたがる記述も可能にして。
Pythonみたいに初心者も書きやすく。
内包表記も扱えるようにして。
なるべく使わないが、gotoありで。
インデントブロック区分はなしにして。
式だから、書くフォーマットは自由で。
手続き型、関数型、オブジェクト指向型言語の記述もできるように。
エラー処理、Noneの処理もきれいにして。
] デザイン草稿end
LISPほど美しくはならないが、記法として存在してほしい。
string処理を強力にして、データとしての式を加工しやすくする。
参考：
LISPはストリング処理がちょっと弱いような気がします。LISPは完全です。
これが完全なプログラミング言語の一つのモデルの提案です。
手続き型+関数型+オブジェクト指向型、構造化言語の完成された、もっと良い言語処理系がありそうです。探しています。情報を提供していただければ幸いです。どうもこういうのも既にありそうやねえ。
これでできるらしいけど、Pythonでは余計なものがついている。これは、ストリング処理はどうなるのだろうか。