Re: Various Language Architecture Questions

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 24 Sep 2005 19:37:12 -0700, frankgerlach@gmail.com wrote:

> Is is possible to safely allocate objects on the stack and then pass a
> pointer to these objects to a procedure ?

Why should you? Ideally in a high-level language there should be no
pointers but objects. The way objects are passed should be up to the
compiler.

> (The stack is very fast, but I cannot tolerate invalid references from
> the heap or from "older" stack regions)
> Are the common Ada runtimes performing range checks on Arrays,
> including "casted" pointers ?
> (Typecasting is necessary for high-performance access,

This is a wrong proposition. You don't need type casting to achieve the
best possible performance. Otherwise, a need in type casting just indicates
weakness of the type system.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de