エリクサーのタイスクリプトがありますか？

Question

As TypeScriptはJavascriptのスーパーセットで、開発者はコンパイル時にチェックできる型を定義できます。

エリクサーのタイスクリプトがありますか？これも動的言語ですか？

コンパイル時に型チェックを可能にするElixirのスーパーセットですか？

Answer 1

エリクシルにはtypespecがありますが、私は恐れています。タイプのチェックを実行するコンパイル段階で動作するツールはありません。しかし、よく知られている第三者のツールDialyzer（Erlang用）とDialyxirがあり、これはElixirプロジェクトでDialyzerを使いやすくしています。提供されたtypespecsを使用してコードを分析します。

ビデオはでご覧になれます（Dialyzerの使い方、エラーメッセージの理解方法、機能への注釈付け方法など）。

エリクシールのtypespecの詳細については、公式documentationページもチェックしてください。

希望に役立ちます！

Answer 2

typespecがあります。これにより、カスタムタイプを定義し、予想される関数の入出力のタイプを指定することができます。 Haskellの型システムのような強力なものはどこにもありませんが、コードの周りにセーフティネットを構築するのに役立ちます。しかし、コンパイル時にチェックできるように、個々の変数の型を宣言することはできません。

Dialyzerは、コードの正確性をチェックするために使用できる第三者静的解析ツールです。タイプエラーとともに、到達不能なコードと不要なテストがないかどうかをチェックします。 Learn You Some Erlangの本に透析装置についてのchapterを分かりやすく解説していますので、興味があればお試しください。