Re:Ada's Dependent Types, and Its Types as a Whole
by int_19h on Saturday December 28, 2024 @02:06AM
(#42529190)
Forth is another language with separate control flow and data stacks, for similar reasons, although at a much lower level - the stacks are a part of the language spec that is fully exposed to you, not just an implementation detail.
[ Parent
| on HN ]
There are no comments on this comment yet.