* Re: Intervention needed?
2019-03-29 22:35 7% ` Florian Weimer
@ 2019-04-01 21:17 0% ` Randy Brukardt
0 siblings, 0 replies; 2+ results
From: Randy Brukardt @ 2019-04-01 21:17 UTC (permalink / raw)
"Florian Weimer" <fw@deneb.enyo.de> wrote in message
news:87zhpdgvhl.fsf@mid.deneb.enyo.de...
>* Randy Brukardt:
>
>>>"Florian Weimer" <fw@deneb.enyo.de> wrote in message
>>>news:87sgv5k1j5.fsf@mid.deneb.enyo.de...
>>>* Randy Brukardt:
>>>
>>>> But a better question is whether the Rust borrow checker allows
>>>> building proper ADTs for most data structures.
>>>
>>> The Rust standard library uses unsafe extensively in the
>>> implementation of containers. I'm not sure if this is a problem.
>>> Most languages have this property (that the standard library cannot be
>>> implemented in the language itself).
>>>
>>> For container libraries, the only widely-used counter-example (of
>>> which I'm aware) is pre-generic Java.
>>
>> You're saying Ada isn't widely used? And I thought the STL was
>> implemented
>> in C++.
>
> The GNAT implementation doesn't seem particularly memory-safe to me,
> looking at Ada.Containers.Bounded_Ordered_Maps (which picked more or
> less at random).
You said "Most languages have this property (that the standard library
cannot be implemented in the language itself)." You didn't say anything
about memory safety -- and it wouldn't make sense anyway, since most
languages don't have "memory safety" (whatever that is) in the first place.
For Ada, the entire idea of the containers was to allow implementations to
have as much (or as little) memory safety as they want. There's none that an
implementation can provide with access types.
Randy.
^ permalink raw reply [relevance 0%]
* Re: Intervention needed?
@ 2019-03-29 22:35 7% ` Florian Weimer
2019-04-01 21:17 0% ` Randy Brukardt
0 siblings, 1 reply; 2+ results
From: Florian Weimer @ 2019-03-29 22:35 UTC (permalink / raw)
* Randy Brukardt:
>>"Florian Weimer" <fw@deneb.enyo.de> wrote in message
>>news:87sgv5k1j5.fsf@mid.deneb.enyo.de...
>>* Randy Brukardt:
>>
>>> But a better question is whether the Rust borrow checker allows
>>> building proper ADTs for most data structures.
>>
>> The Rust standard library uses unsafe extensively in the
>> implementation of containers. I'm not sure if this is a problem.
>> Most languages have this property (that the standard library cannot be
>> implemented in the language itself).
>>
>> For container libraries, the only widely-used counter-example (of
>> which I'm aware) is pre-generic Java.
>
> You're saying Ada isn't widely used? And I thought the STL was implemented
> in C++.
The GNAT implementation doesn't seem particularly memory-safe to me,
looking at Ada.Containers.Bounded_Ordered_Maps (which picked more or
less at random).
^ permalink raw reply [relevance 7%]
Results 1-2 of 2 | reverse | options above
-- pct% links below jump to the message on this page, permalinks otherwise --
2019-03-08 16:43 Intervention needed? Olivier Henley
2019-03-11 15:34 ` Lucretia
2019-03-11 22:08 ` Jeffrey R. Carter
2019-03-12 2:04 ` Lucretia
2019-03-12 16:32 ` Jeffrey R. Carter
2019-03-12 18:14 ` Olivier Henley
2019-03-12 19:21 ` Lucretia
2019-03-12 21:53 ` Randy Brukardt
2019-03-17 12:52 ` Optikos
2019-03-18 23:36 ` Randy Brukardt
2019-03-29 17:56 ` Florian Weimer
2019-03-29 22:17 ` Randy Brukardt
2019-03-29 22:35 7% ` Florian Weimer
2019-04-01 21:17 0% ` Randy Brukardt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox