undefined | Better HN

0 points_5ysi8y ago0 comments

Wow Ada syntax is not what I'm used to! This is interesting; it seems like a very simple solution to make the problem less widespread. It is still on you though to use the correct version of the equivalents of memcpy() and memmove() though?

0 comments

1 comments · 1 top-level

pjmlp8y ago

Ada has not stand still, the latest standard revision is from 2012.

http://www.ada2012.org/

It has all the modern goodies in it, OOP, interfaces, contracts alongside type safety.

Then if you really care about high integrity systems, there is its brother SPARK, which is a hardened version of Ada, the latest revision being from 2014.

http://www.spark-2014.org/

Regarding calling memcpy() and memmove(), the compilers should be able to produce the right kind of code.

Now if you really mean the C functions, the aliasing declaration should be part of declaration.

Not sure what is the current state of Ada's POSIX specification.

j / k navigate · click thread line to collapse