Because most investors will want a return. And then it becomes a commercial thing.
Formal verification of a realistic compiler.，这一点在吃瓜中也有详细论述
Budget BalanceYou may well walk into the Apple Store on March 11 and demand a Citrus MacBook Neo (yes, get that color), and gleefully hand over six hundred bucks secure in the knowledge you're bagging a deal, but anyone doing so can also rightfully ask themselves, “Hang on, how on Earth can Apple charge me only $599 for a new MacBook, but then demand $800 for an Apple Watch?”，详情可参考手游
Recently there’s been a push for PURLs (Package URLs), for example when describing your specific package in a CVE. A package URL only works when the component is part of an ecosystem. curl is not. We can’t specify curl or libcurl using a PURL.，更多细节参见超级工厂