# \[FOSDEM\] Call for Presentations: Ada DevRoom @ FOSDEM 2025

**URL:** <https://forum.ada-lang.io/t/fosdem-call-for-presentations-ada-devroom-fosdem-2025/1386>\
**Category:** Events\
**Tags:** spark\
**Created:** [October 29, 2024, 9:41pm UTC](https://forum.ada-lang.io/t/fosdem-call-for-presentations-ada-devroom-fosdem-2025/1386 "2024-10-29T21:41:55Z")\
**Posts on this page:** 1\
**Showing post:** 18

<div class="post-metadata">

**Author:** ![JC001](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/j/e56c9b/32.png) [@JC001](https://forum.ada-lang.io/u/JC001)\
**Post date:** [January 13, 2025, 10:51am UTC](https://forum.ada-lang.io/t/fosdem-call-for-presentations-ada-devroom-fosdem-2025/1386/18 "2025-01-13T10:51:05Z")

</div>

I meant to comment on these. I hope I’m not too late.

- “Everything is valid… Ada 2012”: the stack example is not
- You’ve converted compound symbols like `=>` and `>=` into single characters
- Grade is a signed integer type, since declared with **`range`** ; Grade’Base must include -10 … 10; Natural is a subtype of Integer in Ada, so if you’re using it in the mathematical sense, you should probably not capitalize it
- Better\_Grade has a small that is a power of two, probably 1 / 128; this can cause unexpected results
- “Even numbers are (all the positive integer numbers) divisible by two” but `subtype Even is Natural with Dynamic_Predicate => Even mod 2 = 0;` includes zero
- You have an asterisk on “arbitrarily complex” that doesn’t seem to be resolved
- The stack’s Top function probably needs a `not Empty` precondition
- “non Garbage-Collected”: nothing in the ARM excludes GC

---

_[View the full topic](https://forum.ada-lang.io/t/fosdem-call-for-presentations-ada-devroom-fosdem-2025/1386)._