|
|
|
|
|
by ameixaseca
2037 days ago
|
|
I don't want this to sound like a criticism, but I would like to understand your point of view: do you really consider this a reason for choosing a language over any other? Even if you had to use notepad to program - or had very basic syntax highlighting - wouldn't be what the language provides a more compelling point to make these choices? |
|
Ada/SPARK/Ravenscar are a perfect example -- they provide incredibly powerful tools for proven correct programming. They are open source. The ergonomics are nowhere near what you're probably used to having, and that's why odds are very high you've never used them.