問題タブ [elaboration]
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.
type-inference - Agda プログラムで未解決のメタを見つける
未解決のメタの原因を突き止める最善の方法は何ですか? 解決可能なすべての周囲のワイルドカードを拡張することにより、すべての未解決のメタ (および未解決のメタのみ) を穴に変える方法はありますか?
他に何もないとしても、未解決のメタを穴に変更すると、未解決のメタに関するメッセージが消えますか? それなら、メッセージが消えるまですべてのワイルドカードとすべての暗黙の引数を穴に変更してから、どれが問題を引き起こしているかを突き止めることができると思います...
components - コンポーネント VHDL コードの詳細化エラー
AES 暗号化および復号化用の vhdl コードを作成し、暗号化コードは機能しましたが、復号化コードを合成するとエラーが発生します。私のコードは次のとおりです。
エラー メッセージは、インスタンスの作成に失敗しました: r_ound0 です。
image - 画像の精緻化 Matlab
私はこれをやろうとしていますが、解決策が見つかりません。
私はこの画像Aを持っています
この画像Bに同じ白い領域が必要です
Matlabでこれを行うにはどうすればよいですか?
ご協力いただきありがとうございます！
idris - idris の説明で不条理/無効を使用する方法
私は idris で簡単な関数を書いています:
今、私は精緻化を使用してそれを書きたい:
不条理/無効を使用する方法を見つけることができないようであり、これに関するドキュメントや例を見つけることができないようです。apply/fill を使用しようとすると、(haskell で記述された) elab のソース コードで使用される変数qquoteTyおよびunqTyに関するエラーがスローされ続け、そこから何も把握できません。
ada - macOS で GNATCOLL を使用した静的および動的な精緻化チェックに関する警告を回避する
追加してGNATCOLL（macOS上）を使用しようとしています
私の.gprファイルに、しかし私はこの警告を受けています：
GNATCOLL をコンパイルしてから、configure オプション --enable-shared を付けて再コンパイルしました。ファイルから判断すると、共有ライブラリのバージョンがインストールされています。
GNATCOLL の共有ライブラリ バージョンを使用するように gnatmake に指示するにはどうすればよいですか? または、少なくとも互換性があるように、プログラムを静的にビルドするにはどうすればよいですか?