「コンパイラ・スクリプトエンジン」相談室16 (649ﾚｽ)
「コンパイラ・スクリプトエンジン」相談室16 http://mevius.5ch.net/test/read.cgi/tech/1405822579/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
632: デフォルトの名無しさん [sage] 2021/06/01(火) 15:25:20.70 ID:IjgT90G7 Prologなら型システムを作るのもお手の物だ。 t(I,int):- integer(I). t(E1+E2,int):- t(E1,int), t(E2,int). :- t(1+2+3,T),!,writeln(T). :- halt. これだけ。Prologは関数というか述語のネストをできなくして 述語の引数は全てクォートとされた式のように扱われ、 変数がアンクォートな感じに書ける。 故にLispのS式より複雑な優先順位付きの演算子を使った式が扱えて便利だ。 ってことで、暇な奴がいたら使ってみて欲しいんダゼ。 じゃあなw http://mevius.5ch.net/test/read.cgi/tech/1405822579/632
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 17 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s