On Sunday, 29 November 2020 at 19:09:07 UTC, Mark wrote:
Looking at Ada now.
I found: Ada is not good for me. It has no augmented
assignment. It's just that I want DRY because I use very
verbose variable names
Using a reasonable naming convention should be much easier than
looking for a
Recovering from memory errors at run time is unreliable.
I should add that I have more like a romantic view of software
release cycles where testing is done until the software is in a
very, very sophisticated and stable state. More than usual.
Not that I want to solely rely on such an
Elimination of memory problems is much more valuable than
detection. Recovering from memory errors at run time is
unreliable.
I'm not sure but I have a gut feeling that I am just in a
position that is not good to defend. I want small software that
fails hard on weak causes, and the industry
The reason this distinction is important, and the reason I
bring up graph theory, is that liveness is impossible to prove.
Seriously: it's impossible, in the general case, for the GC to
prove that an object is still alive. Whereas it's trivial to
prove reachability.
My motivation was
ction" is a big
thing and why "garbage detection" is no thing (I think so).
In order to detect garbage, you need extensive run-time
instrumentation, the difficulties of which you have indicated
yourself. In addition comes that detection depends on
circumstance, which is an argument again
On Sunday, 29 November 2020 at 16:05:04 UTC, Mark wrote:
I have no good understanding why "garbage collection" is a big
thing and why "garbage detection" is no thing (I think so).
Because it's just as expensive to do garbage detection as
automatic garbage collection. So i
On Sunday, 29 November 2020 at 16:35:26 UTC, Mark wrote:
Maybe I should just install Linux. But ... the drivers... My
Thinkpad just doesn't like any Linux. I run out of ideas.
In the first place all I wanted to do is make some music.
Kind regards
You could try a linux image in VirtualBox
Looking at Ada now.
I found: Ada is not good for me. It has no augmented assignment.
It's just that I want DRY because I use very verbose variable
names, and in the past I had a real world case (game in Lua)
where I became frustrated when I had to repeat the names. I
understand that NASA or
I could use AddressSanitizer indirectly by using Go. But their
Oh wait, it was ThreadSanitizer that Go uses, right? I failed at
talking.
I would probably use ASAN under Linux, because that is the right
thing to do?
Looking at Ada now.
On Sunday, 29 November 2020 at 16:21:59 UTC, Daniel N wrote:
On Sunday, 29 November 2020 at 16:05:04 UTC, Mark wrote:
Thanks a lot for reading, and sorry for a lot of text that is
off-topic and is not related to D.
Sounds like what you want is ASAN? You can use it with plain C
or D(LDC).
Maybe Ada.
On Sunday, 29 November 2020 at 16:05:04 UTC, Mark wrote:
Thanks a lot for reading, and sorry for a lot of text that is
off-topic and is not related to D.
Sounds like what you want is ASAN? You can use it with plain C or
D(LDC).
https://clang.llvm.org/docs/AddressSanitizer.html
Hi,
can I ask you something in general? I don't know anyone whom I
could ask. I'm a hobbyist with no science degree or job in
computing, and also know no other programmers.
I have no good understanding why "garbage collection" is a big
thing and why "garbage detection"
13 matches
Mail list logo
