![](https://cdn-ak-scissors.b.st-hatena.com/image/square/4e422dc7785308ddbcf6489c2067bc894a16195b/height=288;version=1;width=512/https%3A%2F%2Fqsf.fs.quoracdn.net%2F-4-images.social_share_brand_logo.png-26-b6922c34f079ee95.png)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
なぜRustに出来ることが今までのプログラミング言語では出来なかったのでしょうか?
回答: まず大きくは、Rustでは過去の言語との上位互換性を保つ必要がなかったことがあります。最新の成... 回答: まず大きくは、Rustでは過去の言語との上位互換性を保つ必要がなかったことがあります。最新の成果を使って現時点での理想と思われる形を追うことができました。 第二には、計算機科学の発展の成果、特に型理論の恩恵を受けていることです。具体的には、RustはClean言語で有名な一意型の概念 [1] 、リージョン推論や線形型、アフィン型などの概念 [2] にヒントを得ているはずです。また、Rustの手続きとデータ型を紐付ける仕組みtraitはHaskellの型クラスに相当します。一般にRustの強力な型システムの諸側面の設計は静的型の関数型言語の実績経験を踏まえているのは間違いないでし...
2022/06/17 リンク