if StackOverflow wouldn't lie about Rust being #1 most beloved than:
- haskel must have been at #2 place.
- haskel should have been at #1 place, way before Rust became popular
but it's at 21 place in Loved category, 29 place in Popular category of '22 report. And in later '23, '24 they made it hard to sort & view, to become more vague & opaque.
Programers are humans, humans not used to think in types & don't like to, neither they adore thinking about low level mem management.
Bugs are not always guaranteed to happen. Tests are not always even being written in first place for many software programs, code.
And even if bug happen in C, today with plenty of enemployed Bachelors, junior devs, in 3rd world, who struggle find a job at market and GPT availability - it's easier to have some one fix bug in easy lang (such as C), than pay x3 to smartass rewrite from scratch in Rust/Haskell.
I wrote a piece of static functional code yesterday, it compiled, typechecker said it is correct. It even looked correct at first glance. Only later I've noticed, the logic & variables names were wrong.
You will not have safe correct guarantees of quantum fluctuations around, but people been dying & starving on a Hill of 'Strong Static Typesystems & Safe Memory management'. Are we willing to die there?
string strong man static type systems are just strong & static as Cuba.
An idea to statically analyze, typecheck everything is insane ... seriously how you going to statically typecheck (automatically evaluate in your compiler) if 100mb ai generated videofile output is of High Quality?
You know, I'm not a Lisper/Schemer by no means, but at this minute here I compliment Scheme/Lisps dynamic type system & macro - because it makes easer to think & reason about code.
SchemeBBS should consider implementing #tag based posts, cuz this post could be considered reply to both threads, this 776 & 771.
---
ps
I noticed lesser amount of 403 for me, so issue seem fixing & we kind of nicely geting along? I have not expect to embrace Lisp, because friend of mine compared it mostly vs Dynamic langs in 777 thread, but in comparison vs Rust/Haskell as we see here ITT it does have very nice attractive advantages
(. ) ( .)
Those are Marjorie Simpson irises