4 ms·
IntelliJ is designed for refactoring. I'm not sure how a programming language could be designed for refactoring. What would that look like?
by hasbot 10y ago
IntelliJ is designed for refactoring. I'm not sure how a programming language could be designed for refactoring. What would that look like?
- AstralStorm 10y agoSaid language would make contracts easy to write and first class citizens. It would help you formalize parts of the typically non-formal programming, allowing automated or semi-automated formal verification. The language would allow you to bypass accidental hard restrictions imposed by type system - essentially duck typed but only if formal requirements are met on the types. Hey, I've described Isabelle/HOL; another language that is pretty close but more typical looking is Pyret.