Re: 2dsa | !2dsa ?

[Shark8 <onewingedshark@gmail.com>]

On Thursday, December 24, 2020 at 6:30:59 AM UTC-7, Dmitry A. Kazakov wrote:
> On 2020-12-24 13:02, Maxim Reznik wrote: 
> > I forked a older (Garlic) GNAT DSA implementation and found it quite hackable. :) 
> > My idea is to implement a WebSocket/WebRTC transport and compile it by GNAT-LLVM to WebAssembly to have distributed Ada applications in a browser. I have a working proof of concept demo already :) 
> > 
> > https://github.com/reznikmm/garlic/tree/web_socket
> My question is how to proceed without GLADE/Garlic etc. I have DSA 
> implemented, e.g. System.RPC. I need GNAT to accept it as such. 
What do you mean by this?
How is GNAT "not accepting" it?
More, you mentioned the possibility of using a set of tagged-types, "like Storage_Pool", elsethread; is this how you implemented them, or a suggestion for a new standard interface?

> 
> In a more distant perspective I need a work-around of stream attributes. 
> They are non-portable, so there must an option to replace them for DSA 
> and/or provide a non-stream parameter marshaling when the transport is a 
> higher-level protocol, e.g. CANopen, EtherCAT, ASN.1, AMQP etc. For 
> these you must map Ada types into the types defined by the protocol. 
I have some ideas on how this could be achieved.
I'll make a note for my To-Do list on Byron, but I was thinking that a good method to achieve this for an OS (WRT ASN.1) would be to have at the base a SOM-like system with the base meta-object having a serialize/deserialize pair of methods (with one parameter being the encoding scheme)... I don't see why that [the idea, in principle] couldn't be 'lifted' up to the DSA level and integrated into it [PolyOrb or other DSA implementation].