redex

2熱

1答えて

評価コンテキストを使用せずに自分の言語の評価ルールを書くことは完全に可能です。私のセマンティクスは完全に価値によって呼び出され、ラムダの中でその言葉が前進していくことを許さない。それにもかかわらず、私が見たすべてのリソースは、何らかの形で還元コンテキストを使用しています。私が紛失している文脈を使う良い理由はありますか？

0熱

2答えて

OSXのFacebook RedexをコンパイルするYosemite

私は昨晩Ubuntuにredexをインストールしました。今日私のMacに設定するのに問題があります。私はこのautoreconf -ivf && ./configure && make && make installのステップで3つのエラーが発生しています。 Please install double-conversion library Please install google-glog