concatenative-language

6熱

1答えて

コールスタック？リテストスタック？名前は？正確にこれらを何</p> <ul> <li>datastack</li> <li>retainstack</li> <li>コールスタック</li> <li>namestack</li> <li>catchstack</li> </ul> <p>：継続に保存されたスタックのこれらのタイプについて因子マニュアル交渉の

This pageスタックは保持されますか？私にとって最も混乱しているのは、コールスタック、リテックススタック、ネームスタックです。

0熱

1答えて

ファクタのプログラミング言語：設定。ファクタルーツの設定

私はFactor Mac用のプログラミング言語をダウンロードしました。コマンドラインからコマンドfactorを正常に起動できるようになりました。私はこの言語をカバーする本を読んでいます（他にも7つの言語があります）スタンドアロンプログラムを実行するには、Factorが語彙を検索するルートパスを指定する必要があります。したがって、ホームディレクトリに.factor-rootsというファイルを作成

2熱

1答えて

Juliaでperformantな異種スタックを表現する方法

JuliaのDSLとして単純な連結言語（別名JoyまたはFactor）を実装したいと思っています。スタックを最適に表現する方法に問題があります。データとプログラムコードの両方を表すスタックは、異なるタイプの項目のシーケンスを保持できる必要があります。最も単純なケースでは、Ints、Symbols、そして、再帰的にスタックします（引用符付きのコードを表す）。プログラムは、大量のプッシュを使用します

2熱

2答えて

Forthのような言語を1つのスタックで実装できますか？

Forthにはスタックとリターンスタックがあります。私が理解する限り、リターンスタックのポイントは、プログラムカウンタの以前の値を格納することです。 Cプログラムは、プログラムカウンタの前の値をスタックに置き、戻りスタックを使用しません。 Forthは結果をスタックに返すためreturn-stackだけが必要なので、プログラムカウンタの前の値を埋め込むことができますか？

8熱

2答えて

ハスケルの行多型：「変換」を伴うDSLを書くのに問題がある

最近Haskellのブログ活動に触発されて、HaskellでForthのようなDSLを書くのを手伝ってくれました。これは非常にうまく機能し、 {-# LANGUAGE TypeOperators, RankNTypes, ImpredicativeTypes #-} -- a :~> b represents a "stack transformation" -- from stack