12 ms·
The a typing feature[1] in the language Eiffel was based on the assumption of the author that the typing holes it apparently introduced could be statically dete
by _a_a_a_ 3y ago
The a typing feature[1] in the language Eiffel was based on the assumption of the author that the typing holes it apparently introduced could be statically detected. It turned out he was wrong after the language was released IIRC. I guess you have to be pretty certain of something before basing a language around it.
On top of that being a generally shite language doomed Eiffel.
[1] IIRC again, you could cancel features in subtypes, so "all birds can fly" but "penguins are birds but can't fly". That would break the Liskov Substitution Principle, which Bertrand Meyer thought he could deal with but apparently couldn't.
- pjmlp 3y agoMay many languages be as successful as Eiffel is. Eiffel Software is still in business, whereas many others hardly reach any audience.
- Tozen 3y agoVery true. So many languages people haven't heard of. It's like if not in the top 10 or 20, some think they don't matter. In regards to Eiffel, always felt that hindrance to wider adoption was more about the licensing. Still, they are in business and in use.
- mardifoufs 3y agoI know it is used in education in some parts of Europe. But now I'm wondering, is it used in production? Or rather, does it have a niche or an industry where it is more widely used? I'd be curious to know what software is written in Eiffel! (Mainly to get an idea of what Eiffel source code looks like, beyond toy examples)