2026年8月18日 statistical debuggingはprintfデバッグを終わらせるはずだった。ほとんどのチームはそれを動かせなかった statistical debuggingはプログラムの動作と失敗を相関させることでバグを正確に特定することを約束した。このアイデアが研究論文から本番システムに移行しなかった理由を解説する。 statistical-debuggingchallengesadoptiondebugging
2026年8月10日 セッション型は機能する。ほとんどの言語がただ実装を拒否しただけだ。 セッション型は通信プロトコルを型システムにエンコードし、実行時のプロトコルエラーをコンパイル時のエラーに変換する。プロダクションコードが使用できるようになるまでに30年間の研究論文に費やされた理由はここにある。 session-typesresearchadoptiontype-systems
