Re:C++ at Google: Here Be Dragons
by spitfire on Tuesday May 24, 2011 @02:06PM
(#2580882)
There's ada web server (aws) which is neat. Similar idea to the java web kits like jetty. You can even hotplug code during runtime.
You're right about the concurrency. Ada has a bunch of stuff like that built into the language since 1983.
The particularly cool toys I like are SPARK (a formal verifier tool) and stackcheck - tells you exactly how deep in the stack your code can possibly go. (Yes you have to annotate cycles.)
You're right about the concurrency. Ada has a bunch of stuff like that built into the language since 1983.
The particularly cool toys I like are SPARK (a formal verifier tool) and stackcheck - tells you exactly how deep in the stack your code can possibly go. (Yes you have to annotate cycles.)