なぜ最近は静的型付けが主流になりつつあるのですか? nosqlなどとの相性も聞かせて |
|
|
結論から言うと、最近静的型付け言語が主流になりつつある理由は主に次の4つです。
そして、NoSQLとの関係は **「型を持たないデータをどう扱うか」**という問題に関係しています。 順番に説明します。 1 コード規模が巨大化した昔のソフトウェア
現在のソフトウェア
この規模になると、動的型付けは問題が出ます。 例 この どれなのかコードだけでは保証できません。 そのためバグが します。 静的型付けだと なので できます。 つまり 巨大コードほど静的型付けが有利になります。 2 クラウド・分散システム現代システムは などで分割されています。 例えば この時問題になるのが 例 サービスA サービスB 動的型付けだと ことが起きます。 静的型付けでは などで インターフェース契約 を作れるため安全です。 3 IDE・ツールとの相性最近の開発は に依存しています。 静的型付けは があるので IDEが を高精度で行えます。 動的型付けは ため精度が落ちます。 4 ランタイムエラーのコストが高い昔 でした。 今 です。 つまり 本番バグのコストが桁違いです。 静的型付けは ができるので安全です。 では動的型付けは終わるのか全く違います。 むしろ のハイブリッドが増えています。 例
NoSQLとの関係ここが面白いポイントです。 NoSQLは基本的に です。 例 同じコレクションに 全部入ります。 つまり データに型がありません。 動的型付けとの相性動的言語は として扱えるので 非常に相性が良いです。 Python で終わります。 静的型付けとの問題静的言語は なので 例えばGoだと のようになります。 つまり が増えてしまい 型安全が崩れます。 そのため最近はこうなっています最近は が増えています。 例 つまり する流れです。 理由は単純で 巨大システムでは型が必要だからです。 実は面白い逆転現象昔の考え 現在 つまり 両者が近づいています。 まとめ静的型付けが増えた理由
NoSQLとの関係 という流れです。 |
|
|

この記事へのコメント