今回のCloudflareの大規模障碍をきっかけに、契約プログラミングと形式検証環境の再ブームって来ないのかな？＞＜；
なんかよくわかんないうちにTIOBE IndexでAdaのスコアも急上昇してるし＞＜；
TIOBE Index - TIOBE
The Ada Programming Language
https://www.tiobe.com/tiobe-index/ada/