Nah, an IDE was already a hell of a drug for the first levels of formalism in paradigms.. The most formal language is going to end up with a lot of transpiled c

Nah, an IDE was already a hell of a drug for the first levels of formalism in paradigms.. The most formal language is going to end up with a lot of transpiled code made in a combat between AI and features like a borrow checker, then once their eyes stop bleeding, the most stubborn will make it marginally better than any less formal language can achieve, then others will be able to work with just eye drops.