Comments by "Tiago D\x27Agostini" (@tiagodagostini) on "Don't Build Perfect Software" video.

There are proper mathemathical tools that are way more effective than TDD exactly because they are not sampling, see TLA+ for a good example. It grants a much higher level of assurance than any TDD.
3
@kurt7020 Unfortunately the ways are not obvious and the community is very .. reactive to people asking how to change some behavior (real zealotry). Everything would be easy to fix (on my pov) if I could overload the assignment operator (=), with specific signatures for move and copy (just like C++). Each one could make easily code that behaves as they seem fit. I am currently making a project to re learn Rust (I passed a few years without looking at it), or an n-body orbital solver supporting a generative AI to learn to make orbital transfers using the least fuel. I am writing 2 version one in C++ and one in Rust. The C++ one has much less typing and is clearer to read (mostly because math and simulation code is much biased towards copy behavior). Rust can have some gains on other areas but paying that price make its appeal diminish.
2
Yet is is not how math works. Math is a truth. It can define things that are not modeled. Several things were discovered because math demanded them to exist.
1
The issue is, there are not even close the the worst kind of errors neither the most common. A system that looks like it is working but it is resulting in wrong values or actions is far far more dangerous that one that crashes. I agree we should not ever be complacent on mathematical rigor, but the worst problems usually arise of bad system modelling, not a bad language. Most errors caused by languages shortcomings cause immediate and critical failures (although I know there are some exceptions) My view is not that languages need to evolve is that we have too many people that THINK they are capable developers when they are NOT, and unfortunately I think the trend of new " I will hold your hand" languages contributed to the spread of so many bad developers. So while I am all for using safer languages on products, I think learnign shoudl be in a harsher environment.
1
@kurt7020 The zealots are what kill the language for me (that and the default behavior of MOVE instead of copy that make writing math code horribly verbose)
1