InfoQ ホームページ コンパイラ に関するすべてのコンテンツ
-
スペースシャトルとOrion MPCVのソフトウェアをNASAがどのようにテストしているか
NASAは安全性確保のために複数のテストレベル、独立した検証、基準、安全コミュニティ、ツールを活用している。Darrel Raines氏はNDC Tech TownでスペースシャトルとOrion MPCVのソフトウェア開発とテストについて講演した。彼はどのように失敗やニアミスから学び、プロセスを継続的に改善しているかを説明した。
-
マイクロソフトCTO、Rust Nation UKでRustの成功と課題、Rustへのコミットメントについて語る
Microsoft Azureの最高技術責任者Mark Russinovich氏は、Rust Nation UKで講演し、Rustの採用を推進する要因について掘り下げ、マイクロソフト製品におけるRustの使用例を具体的に示し、生成AIを活用してC/C++からRustへの移行を加速するための継続的な取り組みを詳細に説明した。
-
Meta社、Rustで構築された高性能なPython型チェッカー「PyreFly」をオープンソース化
現在アルファ版であるPyreflyは、Meta社が開発した新しいオープンソースのPython型チェッカーで、最大限のパフォーマンスを実現するためにRustで構築されている。Pyre、Pyright、MyPyといったツールに触発されており、以前Instagramのコードベースで使用されていたOCamlベースの型チェッカーPyreを置き換えることを目的としている。
-
スペースシャトルとOrion MPCVの組込みソフトウェア開発に学ぶ
NDC Tech TownでのスペースシャトルとOrion MPCVの組込みソフトウェア開発についての講演の中でDarrel Raines氏は、私たちが使えるツールのおかげでソフトウェア開発はスペースシャトル時代の始まりの頃とは大きく異なっていると述べた。しかしソフトウェアエンジニアリングの技術と実践自体は、ソフトウェア開発の初期の頃からそれほど進歩していない、と彼は付け加えた。
-
コーディングの規約とガイドラインで得られた学び
コーディングの規約とガイドラインに従うことでコードの一貫性が向上するが、運用を誤ると残念な結果につながることがある。 Arne Mertz氏は、規約やガイドラインの採用範囲をソフトウェア開発者で選択し、逸脱箇所を明確に文書化しておくことを提案している。こうすることで、開発者同士がコミュニティや日々の仕事の中でエクスペリアンスを議論でき、不必要で煩雑な書類作業に煩わされることなく、コラボレーションの促進やコード品質の向上を目指すことができる。
-
Metaがどのようにして100万行のAndroidコードをJavaからKotlinに移行したか？
生産性と安全性の面でKotlinがもたらす利点を最大化するため、Metaのエンジニアは1,000万行のAndroidコードベースをJavaからKotlinに翻訳する作業に懸命に取り組んできた。このプロセスの1年で、彼らはコードベースの約半分を移行し、プロセスを可能な限り自動化するための特別なツールKotlinatorを開発した。
-
Steve Klabnik氏とHerb Sutter氏がRustとC++について語る
Kevin Ball氏がホストを務めるSoftware Engineering Dailyのポッドキャストで、Steve Klabnik氏とHerb Sutter氏が、RustとC++に関するいくつかのトピックについて議論している。議論の内容には、これらの言語の共通点と独自性、相違点、進化の仕方などが含まれる。
-
Phoenix LiveViewはリアルタイムサーバーレンダリングアプリにSPAのようなインタラクティビティを約束する
Phoenixウェブ・フレームワークが一般公開されてから9年、Phoenix LiveViewは最近1.0（リリース候補）に達した。LiveViewによって、開発者はJavaScriptを書くことなく、リッチでリアルタイムのサーバー・レンダリング・アプリケーションを作成できる。LiveViewはErlang仮想マシン（BEAM）に依存しており、複数のプロセスで同時に処理される何百万ものWebSocket接続に対応できる。
-
本番環境でのディープネットワークのサービス提供：生産性と効率のトレードオフのバランス
最近公開された取り組みは、ディープニューラルネットワークをサービス提供するための、モダリティの選択肢の1つを提供するものである。組み込みのCPythonインタープリタを使うことで、本番処理でeagerモードモデルコードを直接利用できる。目標は、モデルを研究段階からエンドユーザに提供するまでのエンジニアリングの労力を削減し、将来の数値Pythonライブラリを移行するための概念実証（PoC）プラットフォームを作成することである。
-
Dropbox、ネイティブアプローチへの転換によってAndroidアプリの高速化と信頼性向上を実現
Dropboxは先頃、同社がAndroidのカメラアップロードプロセスの高速化と信頼性向上を実現したプロセスについて発表した。AndroidとiOSで共有していたC++コードを廃止して、Kotlinによるプラットフォームネイティブな実装に置き換えたのだ。これによってエラー率が低下し、アップロードのパフォーマンスも大幅に向上したとして、同社のエンジニアらは、プロセスを書き直すという決定に満足している。
-
lldを凌駕する高速な新リンカmold
現行のUnixリンカを置き換え可能な最新のリンカであるmoldがバージョン1.0に到達した。LLVM lldリンカのオリジナル作者が開発したmoldは、従来のリンカよりも数倍高速であることを目標としている。
-
JetBrainsがKotlinの新コンパイラK2、Kotlin for WebAssemblyなどを発表
先日のKotlin 2021 PremierイベントでJetBrainsは、新しい高速KotlinコンパイラK2、WebAssemblyのサポート、Kotlin Symbol Processor、新しいコードカバレッジプラグイン、静的解析の改善など、大きな発表をいくつも行った。
-
デザイナと開発者の作業受け渡しを合理的にする - Travis Arnold氏のReact Finland 2021での講演より
Travis Arnold氏は先日、JSXとコンパイラのテクノロジを組み合わせて使用することによって、デザイナと開発者の作業の受け渡しをより効率的にする方法について講演した。紹介されたアイデアは、公開されているツールやライブラリとしてはまだ実現されていないが、自身をデザイナ兼開発者だと称するArnold氏のアイデアは、コラボレーションの改善方法として有用な可能性がある。
-
Visual Studio 2022プレビュー2は即時フィードバックにフォーカスしたものに
MicrosoftによるVisual Studio 2022の2回目のプレビューでは、Microsoftが最新のIDEで提供する予定の機能を深掘りしている。開発中のソフトウェアで予想されるように、いくつかラフなものもある。
-
Googleが完全準同型暗号トランスパイラーをオープンソース化
Googleは、汎用トランスパイラーをオープンソース化した。これは、ハイレベルコードを変換でき、完全準同型暗号（FHE）で使用できる。