mirichi https://blog.hatena.ne.jp/mirichi/ mirichiの日記 https://mirichi.hatenadiary.org/ Ruby スタックエフェクトはForthではコメントだがFactorではコンパイル時にチェックされる記述になっている。コンパイルはワードの定義時ではなく実行時にされる。らしい。 例えば、 : aaa ( x -- x ) drop ;などと定義すると、これを呼び出すときに「effect-error f ( x -- ) ( x -- x )」と言う感じにエフェクトエラーが出る。( x -- )じゃねーのかよ、と言っているわけだな。あと、ifワードに渡すQuatationで使うスタック数が食い違っているとこれもエラーになる。こちらはスタックエフェクトは書かないので増減だけチェックされるらしい。増減だけチェ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmirichi.hatenadiary.org%2Fentry%2F20161005%2Fp1" title="連鎖性言語を作る7 - mirichiの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-10-05 00:00:00 rich https://mirichi.hatenadiary.org/entry/20161005/p1 1.0 100%