## Memo - Morning paperの最終回で紹介されている。[The ants and the pheromones | the morning paper](https://blog.acolyer.org/2021/02/08/the-ants-and-the-pheromones/) - Programmable Cloudの提案 ## Abstract AWSが登場してから20年近くが経過しましたが、多くの開発者にとって、クラウドの大きな可能性を利用することは困難なままです。本稿では、新世代のクラウドプログラミング研究のためのアジェンダを提示し、研究のアイデアをプログラマに進化的に提供することを目的としています。我々のアプローチの鍵となるのは、分散プログラムを、プログラムセマンティクス、可用性、整合性、最適化のターゲットという4つのファセットからなるPACTに分離することです。さらに、各段階で人間が読めるコードを生成するマルチステージのコンパイラを提案し、制御性を求める開発者が手動で調整できるようにします。私たちの課題は、言語設計、クエリ最適化、トランザクション、分散型整合性、コンパイラ、プログラム合成など、複数の分野にわたる多くの研究課題を提起しています。 ## 1. Introduction