問題タブ [redex]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
makefile - redexのビルド時に二重変換ライブラリをインストールしてください
Redex をビルドしようとしています - 残念ながら、次のエラーで失敗します:
しかし、私はこのライブラリをインストールしました：
https://github.com/google/double-conversionからインストールしました
android - OSX Yosemite で Facebook Redex をコンパイルする
それで、昨夜Ubuntuにredexをインストールしたところ、すべてがスムーズに進みました。今日、Mac での設定に問題があります。
このautoreconf -ivf && ./configure && make && make installステップで 3 つのエラーが発生しました。
Please install double-conversion library
Please install google-glog library
Please install google-gflags library
これらすべてを一度に取得することはできません。最初のものを入手したので、ここで解決策に従いましたが、うまくいかなかったので、configure.ac ファイルからそのチェックを削除しました。これが 2 番目のエラーにつながり、それが 3 番目のエラーにつながりました。
なぜこれが起こっているのかわかりませんが、昨夜とまったく同じ手順を実行しました.
助言がありますか？
だから私はラルフからの提案に従ったが、今は別のエラーが発生した -
android - Android Bytecodes を最適化するために Facebook Redex をセットアップする方法は?
http://fbredex.com/の Redex ページに非常に優れた説明があります。
指示に従いますが、2 つのステップで問題が発生します。
1.最初のコマンドの実行に問題はありません（私のOSはUbuntuです）
ラップトップのどこかに愚かなリポジトリを複製します
ディレクトリに移動します
$ cd android/projects/folly/folly/走ります
git submodule update --initが何も起こりません。このコマンドを実行して$ cd android/projects/folly/も何も起こりません。私は走り
autoreconf -ivf && ./configure && make && make installます。プロセスには 1 ～ 2 分ほどかかり、多くのメッセージが出力されるので、うまくいっているようです。サンプルの .apk ファイルをコピーしてデスクトップに貼り付け、実行します
redex ~/Desktop/my_android_app.apk -o ~/Desktop/my_android_app-redexed.apk。ただし、端末でこのメッセージが表示されます。コマンド 'redex' が見つかりません。つまり、パッケージ 'redet' (universe) redex のコマンド 'redet': コマンドが見つかりません
/home/hesam/android/projects/folly/follyまたはにいるときに上記のコマンドを実行しました/home/hesam/android/projects/folly/。しかし、同じ出力が得られます。
アップデート
私はRedexリポジトリのクローンを作成し、Bert の指示に従いました。それは機能し、実行することで何かが起こっていることがわかりましたgit submodule update --init。バートに感謝します。ただし、autoreconf -ivf && ./configure && make && make installコマンドの最後にエラーが発生しました。
次の出力を見てください。
haskell - 還元可能な式、つまり redex についての私の理解は正しいですか?
ハットンによる Haskell でのプログラミング 言います:
アプリケーションを実行することによって「還元」できる1つ以上の引数に適用される関数の形式を持つ式は、還元可能な式、または略してredexと呼ばれます。
還元可能な式、つまり正確に redex です
関数が別の関数適用の結果ではない関数適用、
同様に、関数が関数名またはラムダ式のいずれかである関数アプリケーション?
上記の 2 点のいずれかが、関数の部分適用とカリー化された関数の適用をどのように評価するかという以前の質問に対する答えですか?
racket - リレーションシップのインホールは、さまざまな方法でホールに一致する可能性があります
(動的) mixin タイプを持つ PLT-Redex で定義された言語があります。式は次のようになります。
言語の評価は、評価コンテキストと還元関係について行われます。
ここで、削減関係は現在、フィールド アクセス ( lkp) に対してのみ定義されており、mixin のルックアップをその値に削減します。
メタ関数 ( fvalue) が機能することを確認するためのテストがあります。しかし、redex は、還元関係がさまざまな方法でホールにマッピングされることを教えてくれます。の異なるバージョンの評価コンテキストについてコメントしてもかまいませんnew C ...。エラーはこの場所から来ています。
問題をデバッグ (または修正) するにはどうすればよいですか? 通常、私は Emacs と Racket モードで開発するか、DrRacket を使用します。問題は、マクロ ステッパーを使用すると、あるステップから別のステップにエラーがスローされることです。どこで失敗したかを理解するために、それがキャプチャする穴を見ることができればいいと思います. だから、なぜそれが正確に失敗するのか理解できるかもしれません。