Re: Ada OS based on Minix3

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

Ivan Levashew schrieb:

> Two general problems of starting an enterprise Ada project are as
> follows:
> Lack of libraries
> Lack of developers
> 
> While you can do little about the second, you can at least do binding
> generators.

Bindings work in a practical sense but they can
only perpetuate the lack of integration at another
level, the level of objects.

I understand there are at least these approaches:
- CORBA and the like
- .NET style type libraries
- OO ABI integration

What these approaches have in common could be condensed into
some sort of pragma Abstract_Machine, in the sense of the B method.