Saturday, December 26, 2015

Digest for comp.programming.threads@googlegroups.com - 6 updates in 4 topics

bleachbot <bleachbot@httrack.com>: Dec 25 10:53PM +0100

bleachbot <bleachbot@httrack.com>: Dec 25 11:31PM +0100

bleachbot <bleachbot@httrack.com>: Dec 26 12:05AM +0100

Ramine <ramine@1.1>: Dec 25 06:05PM -0800

Hello,
 
As you have seen me talking before in my previous posts,
i have said that C++ and C are bad, and i have explained to
you why, but as you have seen me also, i have invented many
synchronization and parallel algorithms in FreePascal and Delphi,
here they are:
 
https://sites.google.com/site/aminer68/
 
but i must be frank with you, i have tried to port some of
my projects that was wrote in Delphi and FreePascal to
C++ , i have actually ported my SemaMonitor synchonization
algorithm to C++ , and that was easy for me, but i have
encountered some problems inherent to C and C++ language
like the fact that for example implicit conversion from signed long type
to unsigned long type is authorized in C and C++ and that
make C and C++ bad languages as i have explained it to you,
also i have tried to port the scalable Hoard memory allocator and
the scalable Intel tbbmalloc memory allocator to GCC mingw, but
this was not possible because the source code didn't not
compile, but even if the dynamic libraries of those
scalable memory allocators are available, it was
too difficult to change the memory allocator of GCC mingw
for example to use the dynamic libraries, but in FreePascal
and Delphi that was easy because FreePascal and Delphi
was designed like that and permit easily to replace
the memory allocator with those dynamic libraries,
so since i have encountered those problems in C and C++,
that have made me to abondon C and C++ in favor of Delphi and
FreePascal and ADA and Java.
 
 
 
Thank you,
Amine Moulay Ramdane.
Ramine <ramine@1.1>: Dec 25 05:32PM -0800

Hello,
 
 
Now i want to talk about Strong typed safety systems like ADA...
 
In ADA when you define two types like this:
 
type length is new float;
type weight is new float;
 
 
You can not assign in ADA the type length above to the type weight
above, this is possible in Delphi and FreePascal and C and C++.
 
And also you have seen me talking about why C and C++ are bad,
because in C and C++ an implicit conversion from for example
a signed long to an unsigned long is authorized in C and C++,
and that's bad because it can cause bugs and errors of logic and
that's not good for high integrity and realtime safety critical systems,
in ADA and FreePascal and Delphi this type of implicit conversion is not
possible and more than that ADA can not permit
in general to assign a type to another type as i have showed you above,
so ADA is really suited for high integrity and realtime safety critical
systems and this is why C and C++ are bad as i have explained to you
before.
 
 
Thank you,
Amine Moulay Ramdane.
Ramine <ramine@1.1>: Dec 25 04:54PM -0800

Hello,
 
I was working on a project in C++, but i have encountered
a problem with the language that we call C++, this problem
is inherent to C++ and C, here is a small example that
shows the problem:
 
===
 
#include <iostream>
using namespace std;
 
int main()
{
unsigned int u = 1234;
int i = -1233;
 
unsigned int result1 = u + i;
std::cout << "Number is = " << result1 << std::endl;
 
}
 
==
 
 
In this example, C++ and C will convert i from a signed int type to
unsigned int type but this is not good , because this types of
conversion can cause bugs and errors of logic , so i think we must
forbid C and C++ on realtime critical systems... and i have read on
internet that C and C++ are strongly typed languages, how can you
say that ! ingnoring the simple fact that an implicit conversion
in C++ and C takes place between a signed int type and an unsigned int
type for example, so that makes C and C++ problematic and not suited for
realtime critical systems and such, ADA and Delphi and FreePascal are in
fact strongly typed and does not authorize this type of conversion.
 
 
 
Thank you,
Amine Moulay Ramdane.
You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page.
To unsubscribe from this group and stop receiving emails from it send an email to comp.programming.threads+unsubscribe@googlegroups.com.
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)