comp.lang.ada
 help / color / mirror / Atom feed
From: Daniel Norte Moraes <danielcheagle@gmail.com>
Subject: Re: ANN: Adare_net Ada network lib
Date: Thu, 30 Dec 2021 13:15:34 -0800 (PST)	[thread overview]
Message-ID: <ac2e189a-580f-4592-b440-d495cebb8d13n@googlegroups.com> (raw)
In-Reply-To: <61574676$0$6485$426a74cc@news.free.fr>

Em sexta-feira, 1 de outubro de 2021 às 14:33:45 UTC-3, DrPi escreveu:
> Le 30/09/2021 à 22:10, Daniel Norte Moraes a écrit : 
> > Em quinta-feira, 30 de setembro de 2021 às 09:24:34 UTC-3, DrPi escreveu: 
> >> Le 27/09/2021 à 06:32, Daniel Norte Moraes a écrit : 
> >>> Em quarta-feira, 22 de setembro de 2021 às 08:07:06 UTC-3, joak...@kth.se escreveu: 
> >>>> onsdag 22 september 2021 kl. 11:16:13 UTC+2 skrev AdaMagica: 
> >>>>>> I agree with you Nicolas, they should not be declared Pure. It makes the GNAT compiler check for example that there are no global variables used in the packages but other than that, they (I didn't check all the packages) are not Pure. The pragma Pure worked as expected in Ada83 but the meaning and utility of it disappeared with the Ada95 standard. 
> >>>>> There is no pragma Pure in Ada 83. 
> >>>> Thanks for clearing that up AdaMagica, I wasn't aware. 
> >>>> 
> >>>> Best regards, 
> >>>> Joakim 
> >>> 
> >>> Really? They _are_ Pure. 
> >>> I used linters extensively to result in this. one of these linters made hard use o gnat and gprbuild as his backend. 
> >>> Remember this is target Ada 2012 (update 2016) and beyond => there is 
> >>> no guarantee of operation for Ada versions earlier than Ada2012. 
> >> In a Pure package, shouldn't the subprograms also be Pure ? 
> >>> 
> >>> for now Adare_Net support: 
> >>> MSwindows and Linux. 
> >>> 
> >>> was tested in: 
> >>> Mswindows => starting amd64 windows seven sp1 + msys2 gcc-10.3 gnat-10.3 gprbuild-2021 
> >>> Linux => amd64 gcc-11.1+ gnat-11.1+ gprbuild-2021. 
> >>> 
> >>> 1o.) We need as many volunteers as possible to testing Adare_Net on as many 
> >>> operating systems as possible and reporting his/her result to us. 
> >>> currently linux and mswindows are the targets. 
> >>> 
> >>> Very Very Very Thanks! 
> >>> Enjoy!!! 
> >>> 
> >>> 
> >>> 
> >>> 
> > 
> > Well, :-) 
> > 
> > Why ? 
> > The functions dont are pure ? why? 
> >
> A subprogram returning content read from the network can't be pure. Or 
> there is something I have not understood about the Pure aspect.
> > Maybe we need fix the ARM 2012+ 
> > 
> > The ARM2012 allowed it. gprbuild and gnat just follow ARM :-). 
> > 
> > To made things as a lib be almost all pure (or yet preelaborate) there are a hard and 
> > time consuming way to study and test. This fact is itself the main motive for almost all libs and apps ignore Ada categorizations. 
> > 
> > Then, no one yet say if the lib work... only about pure... why? we need more than a 'freestyle' opinions. 
> >
> My intent is to try Adare_Net. So I started by taking a look at the 
> sources and the first thing I noticed was the Pure aspect of the 
> packages. As I'm far from a Ada expert, and I like to understand things, 
> I asked here about it. 
> 
> Is there a documentation somewhere ?

We will create a pdf with the api,  after upgrading to ada202x and adding support for more operating systems, this includes solving reported 
issues and adding suggestions from all of you, 'pure' and 'global' and 'nonblocking => false' and etc included.

While this, You can use the programs in 'exemple folder'. it contains working client and server src and programs. mostly time Its are in 'pairs' of filenames.
Thanks,
Best Whishes,
Dani.

  parent reply	other threads:[~2021-12-30 21:15 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-09-05  3:54 ANN: Adare_net Ada network lib Daniel Norte Moraes
2021-09-17 21:04 ` DrPi
2021-09-22  8:47   ` Joakim Strandberg
2021-09-22  9:16     ` AdaMagica
2021-09-22 11:07       ` Joakim Strandberg
2021-09-27  4:32         ` Daniel Norte Moraes
2021-09-30 12:24           ` DrPi
2021-09-30 20:10             ` Daniel Norte Moraes
2021-10-01 17:33               ` DrPi
2021-10-01 19:11                 ` Simon Wright
2021-10-12 16:00                 ` Shark8
2021-12-30 21:15                 ` Daniel Norte Moraes [this message]
2021-10-12 15:49             ` Shark8
2021-10-12 19:44               ` Egil H H
2021-12-30 21:30                 ` Daniel Norte Moraes
2021-09-28  4:52       ` Randy Brukardt
2021-12-30 20:56         ` Daniel Norte Moraes
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox