Interfere: 決して壊れないソフトウェアを出荷する
Interfereは、ソフトウェアのバグや障害を根本的に排除し、決して壊れない信頼性の高いソフトウェアを出荷するためのプラットフォームまたは手法を提供する。従来の開発プロセスでは避けられないとされてきた不具合をゼロに近づけるアプローチを掲げている。
背景メモ
この記事が紹介する「Interfere」とは、ソフトウェアのバグやクラッシュを発生させないことを目的とした、新たなプログラミング手法またはツールチェーンを指す可能性が高い。あらゆるソフトウェアが何らかのバグを含むという業界の前提（「ソフトウェアにバグはつきもの」という暗黙の了解）を否定し、「絶対に壊れないソフトウェア」を謳う点が特徴。類似の試みとしては、形式的検証（formal verification）やTLA+のような数学的証明を用いたシステム、Rust言語のようなメモリ安全性を保証する言語などがあるが、それらと比較してどのような独自手法を取るのかが注目される。ただし、現時点で具体的な技術仕様やリポジトリは公開されていないため、実用レベルにあるのか概念段階なのかは不明。