Comment by pjmlp

With enough interest in integrity computing, that they are still in business, selling development environments (there are community editions available).

Eiffel was also the very first OOP language to introduce non nullable references, which I bet many folks in HN would attribute to something more trendy.