問題タブ [dialyzer]
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.
elixir - リッスン プロセスを使用して Elixir GenServer を構成する正しい方法
バックエンド アプリケーションを外部 Websocket に接続する方法として、elixir-socketライブラリを使用しています。このプロセスを管理する必要があります (何かが失敗した場合は再起動し、接続できない場合は指数関数的にバックオフします)。
現在、一定時間後にループ ソケットを生成する管理 GenServer プロセスを作成しました (以下に簡略化)。SocketManager（したがって、リンクされたSocket）プロセスを管理するスーパーバイザーがいます。
socket_manager.ex
socket.ex
上記はうまく機能しますが、これがこれを構築するための最良の方法であるかどうかはわかりません。私が理解していることからTask、永続的なプロセスではなく、定義された寿命を持つタスクに対してのみ使用する必要があります。また、実行するmix dialyzerと、次の出力が得られます ( のTask.spawn_link行を参照SocketManager)。
これを構築する他の方法と、Dialyzerを満足させる方法について、誰かが私に提案を手伝ってくれますか?
ありがとう！
elixir - Dialyzer ウォッチコードを変更する方法はありますか?
Mixにタスクを追加するdialyxirを使用しています。ただし、ファイルの変更時に型チェックを再実行するオプションdialyzerはないようです。--watch
それを達成するためのCLIの方法はありますか?
elixir - ダイアライザーは :httpc を認識していません
私はElixirに取り組んでおり、Erlangの組み込み:httpc関数を使用してgetリクエストを実行しています。
機能は良好に動作しています。その後、mix dialyzer を実行すると、エラーが返されます。
この行を挿入して、関数のチェックをスキップするように Dialyzer に指示します。
ただし、エラーは引き続き発生します