comp.lang.ada
 help / color / Atom feed
* Ada 2020 Jupyter notebooks
@ 2020-09-02 13:28 Maxim Reznik
  2020-09-03  6:49 ` Emmanuel Briot
                   ` (2 more replies)
  0 siblings, 3 replies; 9+ messages in thread
From: Maxim Reznik @ 2020-09-02 13:28 UTC (permalink / raw)


Hello,

I'm going to write a series of Jupyter notebooks about Ada 2020 support in GNAT Community Edition 2020.

First two are there:
 *  Ada 2020: 'Image attribute for any type
 *  Ada 2020: Redefining the 'Image attribute

https://github.com/reznikmm/ada-howto/tree/ce-2020


Best regards,

^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Ada 2020 Jupyter notebooks
  2020-09-02 13:28 Ada 2020 Jupyter notebooks Maxim Reznik
@ 2020-09-03  6:49 ` Emmanuel Briot
  2020-09-03 21:42 ` Randy Brukardt
  2020-09-19  6:03 ` lorendawhite121
  2 siblings, 0 replies; 9+ messages in thread
From: Emmanuel Briot @ 2020-09-03  6:49 UTC (permalink / raw)


> I'm going to write a series of Jupyter notebooks about Ada 2020 support in GNAT Community Edition 2020. 


Nice idea, this is a nice way to teach Ada indeed

^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Ada 2020 Jupyter notebooks
  2020-09-02 13:28 Ada 2020 Jupyter notebooks Maxim Reznik
  2020-09-03  6:49 ` Emmanuel Briot
@ 2020-09-03 21:42 ` Randy Brukardt
  2020-09-04  6:05   ` Maxim Reznik
  2020-09-19  6:03 ` lorendawhite121
  2 siblings, 1 reply; 9+ messages in thread
From: Randy Brukardt @ 2020-09-03 21:42 UTC (permalink / raw)


"Maxim Reznik" <[email protected]> wrote in message 
news:[email protected]
> Hello,
>
> I'm going to write a series of Jupyter notebooks about Ada 2020 support in 
> GNAT Community Edition 2020.
>
> First two are there:
> *  Ada 2020: 'Image attribute for any type

This is an Ada 2012 (Corrigendum 1) feature; it *predates* Ada 202x. All Ada 
2012 compilers should support it (eventually); the ACATS for Ada 2012 
expects it to be implemented and has a set of tests for it.

> *  Ada 2020: Redefining the 'Image attribute

This is an Ada 202x feature. But the details of this particular feature are 
still open (in particular the Text_Buffers packages), so the GNAT 
implementation may still change. Beware.

                         Randy.


^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Ada 2020 Jupyter notebooks
  2020-09-03 21:42 ` Randy Brukardt
@ 2020-09-04  6:05   ` Maxim Reznik
  2020-09-04 22:06     ` Randy Brukardt
  0 siblings, 1 reply; 9+ messages in thread
From: Maxim Reznik @ 2020-09-04  6:05 UTC (permalink / raw)


пятница, 4 сентября 2020 г. в 00:42:59 UTC+3, Randy Brukardt:
> > * Ada 2020: 'Image attribute for any type
> This is an Ada 2012 (Corrigendum 1) feature; it *predates* Ada 202x. All Ada 

Could you send an ARM link to prove this? Because what I see is

88   S'Image   For every **scalar** subtype S:

http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-K-2.html

TIA

^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Ada 2020 Jupyter notebooks
  2020-09-04  6:05   ` Maxim Reznik
@ 2020-09-04 22:06     ` Randy Brukardt
  2020-09-05  9:56       ` Maxim Reznik
  2020-09-06  9:04       ` Jeffrey R. Carter
  0 siblings, 2 replies; 9+ messages in thread
From: Randy Brukardt @ 2020-09-04 22:06 UTC (permalink / raw)


You have to look to the bottom of the page (it is X'Image that is relevant 
here):

http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-3-5.html#p55.1

The definition is paragraphs 55.1-.4/4. Or you could look in Annex 
K.2(91.1-2/4).

                   Randy.

"Maxim Reznik" <[email protected]> wrote in message 
news:[email protected]
???????, 4 ???????? 2020 ?. ? 00:42:59 UTC+3, Randy Brukardt:
> > * Ada 2020: 'Image attribute for any type
> This is an Ada 2012 (Corrigendum 1) feature; it *predates* Ada 202x. All 
> Ada

Could you send an ARM link to prove this? Because what I see is

88   S'Image   For every **scalar** subtype S:

http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-K-2.html

TIA 


^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Ada 2020 Jupyter notebooks
  2020-09-04 22:06     ` Randy Brukardt
@ 2020-09-05  9:56       ` Maxim Reznik
  2020-09-06 23:34         ` Randy Brukardt
  2020-09-06  9:04       ` Jeffrey R. Carter
  1 sibling, 1 reply; 9+ messages in thread
From: Maxim Reznik @ 2020-09-05  9:56 UTC (permalink / raw)


But this works only for SCALAR types (in Ada 2012 TC1), right?
While in Ada 202x this works for ANY type, such as records, arrays and access types. That is what I try to describe in the notebook.

-- 
Max

^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Ada 2020 Jupyter notebooks
  2020-09-04 22:06     ` Randy Brukardt
  2020-09-05  9:56       ` Maxim Reznik
@ 2020-09-06  9:04       ` Jeffrey R. Carter
  1 sibling, 0 replies; 9+ messages in thread
From: Jeffrey R. Carter @ 2020-09-06  9:04 UTC (permalink / raw)


On 9/5/20 12:06 AM, Randy Brukardt wrote:
> You have to look to the bottom of the page (it is X'Image that is relevant
> here):
> 
> http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-3-5.html#p55.1
> 
> The definition is paragraphs 55.1-.4/4. Or you could look in Annex
> K.2(91.1-2/4).

That still seems to be limited to scalar subtypes:

55.1/4
    For a prefix X that denotes an object of a scalar type (after any implicit 
dereference), the following attributes are defined:

nor does Annex K differ.

-- 
Jeff Carter
"Don't knock masturbation. It's sex with someone I love."
Annie Hall
45

^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Ada 2020 Jupyter notebooks
  2020-09-05  9:56       ` Maxim Reznik
@ 2020-09-06 23:34         ` Randy Brukardt
  0 siblings, 0 replies; 9+ messages in thread
From: Randy Brukardt @ 2020-09-06 23:34 UTC (permalink / raw)


"Maxim Reznik" <[email protected]> wrote in message 
news:[email protected]
> But this works only for SCALAR types (in Ada 2012 TC1), right?
> While in Ada 202x this works for ANY type, such as records, arrays and 
> access types. That is what I try to describe in the notebook.

Ah, you're conflating the notation X'Image (for objects), which is Ada 2012 
TC1, and Image for all types, which is indeed Ada 202x. When I read the 
title of the notebook, I saw the former, not the latter. Note that S'Image 
works for all types as well in Ada 202x, it's not about the form of the 
attribute.

(I realize that one can just use the object form, since you can always 
qualify any expression that is not allowed as a prefix, and that would be 
only 1 character longer than the subtype form [one extra '; the parens just 
move to the prefix from the attribute argument]. But that really is a style 
guide issue, and not everyone will agree.)

                                     Randy.


^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Ada 2020 Jupyter notebooks
  2020-09-02 13:28 Ada 2020 Jupyter notebooks Maxim Reznik
  2020-09-03  6:49 ` Emmanuel Briot
  2020-09-03 21:42 ` Randy Brukardt
@ 2020-09-19  6:03 ` lorendawhite121
  2 siblings, 0 replies; 9+ messages in thread
From: lorendawhite121 @ 2020-09-19  6:03 UTC (permalink / raw)


On Wednesday, September 2, 2020 at 6:58:09 PM UTC+5:30, Maxim Reznik wrote:
> Hello,
> 
> I'm going to write a series of Jupyter notebooks about Ada 2020 support in GNAT Community Edition 2020.
> 
> First two are there:
>  *  Ada 2020: 'Image attribute for any type
>  *  Ada 2020: Redefining the 'Image attribute
> 
> https://github.com/reznikmm/ada-howto/tree/ce-2020
> 
> 
> Best regards,

^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, back to index

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-02 13:28 Ada 2020 Jupyter notebooks Maxim Reznik
2020-09-03  6:49 ` Emmanuel Briot
2020-09-03 21:42 ` Randy Brukardt
2020-09-04  6:05   ` Maxim Reznik
2020-09-04 22:06     ` Randy Brukardt
2020-09-05  9:56       ` Maxim Reznik
2020-09-06 23:34         ` Randy Brukardt
2020-09-06  9:04       ` Jeffrey R. Carter
2020-09-19  6:03 ` lorendawhite121

comp.lang.ada

Archives are clonable: git clone --mirror https://archive.legitdata.co/comp.lang.ada

Example config snippet for mirrors


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git