Skip to content

Conversation

leogermond
Copy link
Contributor

No description provided.

@adacore-bot adacore-bot force-pushed the slides/add-some-idioms branch from 8a300e0 to 4c46d7c Compare September 16, 2024 16:40
@adacore-bot adacore-bot force-pushed the slides/add-some-idioms branch from 4c46d7c to 001668c Compare September 25, 2024 14:56
leogermond and others added 13 commits September 25, 2024 15:08
Overview is very large, and it was getting into lots of details (4
slides) on the type system *before* we get to actually talk about it.

As a result, we had to repeat some of that info where it made more
sense: in the type system slides.

This commit splits that up, by moving the information from overview to
declarations and basic type chapters.
We don't even talk about some of these in the slides (e.g. C variadics support) so there's no point in introducing them on this already quite long overview
Use the same "spec /= impl" as for the subprogram slide above.

Remove the slide on views, this is far too advanced at this point and
the slide just above covers encapsulation.

Move the ADT definition to basic type slide where it makes tons of sense
to be (basically we would re-intro them at this point). Maybe the two
resulting slides could end up being merged?

OOP was referencing ADT, that's too advanced at this point too (people
haven't written a single line of code yet, it's an overview!)
Tasking first slide was a bit abrupt, and in overview there was a
specific slide (of the 2 that were there) that was going into the
details too much, so this moves and merges with the tasking introduction
where it fits nicely as a warm-up and intro to terminology.
@adacore-bot adacore-bot force-pushed the slides/add-some-idioms branch from 201f22f to 5c2405e Compare October 9, 2024 08:49
@adacore-bot adacore-bot merged commit fa09982 into master Oct 9, 2024
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants