241–250 of 279 posts
We totally tried to write this twice then we switched to language x and everything is great. Feels like something a language zealot would say. I would scoff if someone at my company rewrote a core section in a different language. It is their language so maybe they just told them to do it that way ha.
Earlier quoted context omitted.
I knew you could turn off the runtime but not about the formal verification lint tools that make it safe to do so. My reference for performance is the benchmark game. If you or someone else can mod those programs to beat rust I'd be thrilled. I like Ada.
Many planes, trains, rockets and medical devices run on Ada. There is more to commercial compilers than winning the benchmarks game.
Earlier quoted context omitted.
I write Java daily, I haven't seen one in a production environment in... at least recent memory. Most common NPEs I've seen can be resolved by doing two things: 1) for returning a single, nullable value, wrap it in Optional. 2) Never return null collections, always default to an empty collection instead. More nuanced ones can often be caught by using all args constructors and requiring the constructor values with Obj…
NPEs literally The Billion Dollar Mistake, and you don't think they are a big deal? https://www.infoq.com/presentations/Null-References-The-Bill...
Earlier quoted context omitted.
A system crash is a bug. Period. In many cases it could lead to Denial of Service. An insulin pump can stop working. I remember when C# came out almost 20 years ago. People said "I can forget about managing memory so I can focus on the logic". Programs kept crashing, memory problems were still there. The article goes with "...remove the burden of memory safety from our shoulders, allowing us to focus on logical corre…
A crash is a bug but not a security problem.
"Families are LOCKED OUT of or INSIDE their homes as Yale 'smart' security app crashes leaving dozens stranded"
https://www.dailymail.co.uk/news/article-6268379/People-lock...
"Households up and down the UK were unable to lock or unlock their doors"
An unlocked door it's a security problem too...
Earlier quoted context omitted.
I knew you could turn off the runtime but not about the formal verification lint tools that make it safe to do so. My reference for performance is the benchmark game. If you or someone else can mod those programs to beat rust I'd be thrilled. I like Ada.
Many planes, trains, rockets and medical devices run on Ada. There is more to commercial compilers than winning the benchmarks game.
Earlier quoted context omitted.
Many planes, trains, rockets and medical devices run on Ada. There is more to commercial compilers than winning the benchmarks game.
Those things don't need to be particularly fast. What they need is consistent and predictable performance and resource usage.
Earlier quoted context omitted.
Many planes, trains, rockets and medical devices run on Ada. There is more to commercial compilers than winning the benchmarks game.
Those things don't need to be particularly fast. What they need is consistent and predictable performance and resource usage.
Earlier quoted context omitted.
>> [...] solves the same problems without a runtime, and about 3 times the performance. I think you should look more into Ada. The only "runtime" is for the exception handling and bounds checking, both of which can be turned off if needed. And I don't know where you got that "3 times" figure from? Do you have an example you are referring to?
I knew you could turn off the runtime but not about the formal verification lint tools that make it safe to do so. My reference for performance is the benchmark game. If you or someone else can mod those programs to beat rust I'd be thrilled. I like Ada.
Earlier quoted context omitted.
For me, also primarily a Java person before Rust, it’s datarace safety that captured me. Java’s executors improve the world, but I can’t count the number of concurrency bugs that I had in Java that are not possible in safe Rust. This isn’t just my code, btw, but large teams where it’s hard to disseminate good practices when building threadsafe code. If it had been in Rust, those issues wouldn’t have happened. Other t…
Curious about memory usage too
Earlier quoted context omitted.
I knew you could turn off the runtime but not about the formal verification lint tools that make it safe to do so. My reference for performance is the benchmark game. If you or someone else can mod those programs to beat rust I'd be thrilled. I like Ada.
I believe the performance differences on The Computer Language Benchmarks Game is largely due to the implementations themselves. For one, pidigits have been translated from Pascal to Ada using p2ada. I do not think that this is a fair comparison at all.