Hacker News Reader

What does a more recent language offer that C# doesn't and that would enable more powerful IDEs?

Verified pre and post conditions would be nice. Especially in the era of LLM's, which can usually fill in the implementation given a sufficiently clear specification.

Eiffel is also well over 24 years old (but Albatross is more recent)

Reply on news.ycombinator.com