While they're at it, they should also add the following list from the "Static vs dynamic" section of the manual to the web front-page, as a sort of crie de coeu

While they're at it, they should also add the following list from the "Static vs dynamic" section of the manual to the web front-page, as a sort of crie de coeur. If your program compiles, it won't crash. There will never be an unhandled exception. There's no such thing as null, so your program will never try to dereference null. There will never be a data race. Your program will never deadlock. Your code will always be capabilities-secure. All message passing is causal.