Re: Your wish list for Ada 202X

["Nasser M. Abbasi" <nma@12000.org>]

On 4/12/2014 3:20 AM, Dmitry A. Kazakov wrote:


> I need a language for software engineering. More static checks,
> more means to make static checks possible. The whole language should
> revolute around helping restructuring my programs in order to support
> static checks. No Constraint_Error to me, please!
>

New languages seems to be all going the other way?
the new language Julia

http://en.wikipedia.org/wiki/Julia_%28programming_language%29

It is all about dynamic multiple dispatching

http://en.wikipedia.org/wiki/Multiple_dispatch

In Julia, the way I understand it, when defining a function
with some signature, then a compiled instance of this function
is made for all the possible primitive types (int16, int32,
real32, real64, etc...) and when the program is run,
the run-time automatically dispatches to the correct matching
function based on the argument used at time the call is made.

It seemed to me just Ada generics, but done automatically.

Those good old fashioned, strong static type checking
at compile time computer languages, seem like, well, old
fashioned these days.

--Nasser