Are we all just pretending that Ada doesn't exist now? It's type safe, thread safe, memory safe, overrun safe, a whole bunch of other sorts of safe. It was designed to accommodate huge projects. It has been used in…
It goes to considerable lengths to discuss formal methods, reasonability, and saner programming languages, yet it doesn't even mention Ada/SPARK? What garbage.
Simple. Design your webpages to only load the functional lighter weight essential stuff by default. Then use javascript to add in all the large assets you want. Users with slow connections can browse with javascript…
Are we all just pretending that Ada doesn't exist now? It's type safe, thread safe, memory safe, overrun safe, a whole bunch of other sorts of safe. It was designed to accommodate huge projects. It has been used in…
It goes to considerable lengths to discuss formal methods, reasonability, and saner programming languages, yet it doesn't even mention Ada/SPARK? What garbage.
Simple. Design your webpages to only load the functional lighter weight essential stuff by default. Then use javascript to add in all the large assets you want. Users with slow connections can browse with javascript…