「コンパイラ・スクリプトエンジン」相談室16 (648レス)
「コンパイラ・スクリプトエンジン」相談室16 http://mevius.5ch.net/test/read.cgi/tech/1405822579/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
35: デフォルトの名無しさん [] 2014/09/20(土) 16:42:37.06 ID:Vt9JAeIo caperが改善されて大規模なパーサーでも 早く生成できるようになったようです。 http://mevius.5ch.net/test/read.cgi/tech/1405822579/35
232: デフォルトの名無しさん [sage] 2015/05/09(土) 21:02:43.06 ID:SYpntI8c >>231 自分のVMは典型的なスタックマシンで パラメータスタック(データスタック)とコールスタックは別です。 そのうちデータスタックをヒープ内におくか アセンブリでかかれたほうのネイティブの領域におくかってことです。 ネイティブ領域においたほうが実際のアドレスとVM上でのアドレスの変換がないので 速度としては速いのですが 欠点としてバイトコードからスタックを参照することができません 焦点とてしてはそもそもバイトコードからスタックを参照することがあるのかということで、 基本的になければネイティブ領域におこうかとおもっています これまでつくった経験がないので設計としてどちらがよいかわからずお聞きしました http://mevius.5ch.net/test/read.cgi/tech/1405822579/232
345: デフォルトの名無しさん [sage] 2016/01/15(金) 22:22:03.06 ID:EuNWEiBo そこで言う呼び出し規約ってのは引数がスタックでどう配置されるかって話? http://mevius.5ch.net/test/read.cgi/tech/1405822579/345
565: デフォルトの名無しさん [sage] 2016/05/07(土) 12:49:01.06 ID:TEQEM2qu GoogleにはGOMAって名前のビルド専用クラスタ(2〜300台くらい繋げた奴)があるってよ http://mevius.5ch.net/test/read.cgi/tech/1405822579/565
647: デフォルトの名無しさん [sage] 2025/06/30(月) 18:56:31.06 ID:YQWckD/5 あれから色々勉強しましたがCoq(Rocq)での証明や Prolog で操作的意味論や型システムを書くのは楽しいです。 11年かぁ。 $ apt install swi-prolog $ vi e.pl e(I,I):- integer(I). e(E1+E2,I):- e(E1,I1), e(E2,I2), I is I1+I2. :- e(1+2+3+4,I),writeln(I). :- halt. $ swipl e.pl 10 と簡単に言語を作れるので便利だし、最近はAIがプログラム書いてくれるし便利になったなぁ。 http://mevius.5ch.net/test/read.cgi/tech/1405822579/647
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s