Especially these ones: https://news.ycombinator.com/item?id=21435869 and https://news.ycombinator.com/item?id=21437498
Sorry if a lazy question, last time I looked at ada was decades ago and I'm surprised to find enthusiasts for it on HN.
edit: an advantage for c is that you can get loads of examples just googling, sucks for less used languages I guess.
- https://en.wikibooks.org/wiki/Ada_Programming/Libraries/GNAT... (search for "C select()")
- https://www.codelabs.ch/anet/
- https://github.com/samueltardieu/adasockets
- https://github.com/rtyler/ada-playground/blob/master/epollec...
Some old reading: https://brokenco.de/2013/04/07/async-with-ada.html
You may want to check how GNAT.Sockets and Anet are implemented, too. I know that GNAT code is heavily documented.
:D
My argument is that if I need that insane speed and safety features have to be off I should actively work for that not the other way around that I should actively work for safety.
Why? Because we forget to do things.
> Another language that does safety like this incredibly well is Ada (Ada/SPARK)
I wanted to learn Ada for a long time. Do you have a guide or tutorial how to get into it?