D easily overlooked?

[Moritz Maxeiner via Digitalmars-d]

On Saturday, 22 July 2017 at 15:13:12 UTC, Ali wrote:
> On Saturday, 22 July 2017 at 14:39:17 UTC, Moritz Maxeiner 
> wrote:
>> On Saturday, 22 July 2017 at 13:27:03 UTC, aedt wrote:
>>> Unless some miracle happens and makes the GC better by 
>>> preventing stop-the-world
>>
>> I have yet to see a (working, correct) non-STW GC that doesn't 
>> make other trade offs not acceptable for D (extra thread(s), 
>> memory barriers for all writes, etc.).
>> There's room for improvement of the current GC, but I 
>> sincerely doubt we will see one that's not STW.
>>
>>> or gets rid of the GC
>>
>> And remove one of the primary reasons why one doesn't have to 
>> prototype in some script language (e.g. python)? No thanks.
>
> Ocaml comes to mind, it is being used bu jane street for high 
> frequency trading
> and they dont complain
>
> I think the key point it, is that if stw fast enough, it is 
> good enough for most uses
>
> I think a very fast GC should be next on the list for D

Ocaml's GC is stop-the-world for both its minor and major heap 
[1], so if someone wants to write another GC implementation for 
D, that's a good place to draw inspiration from, yes.

[1] 
https://realworldocaml.org/v1/en/html/understanding-the-garbage-collector.html