11 ms·Their formal type system is designed around pointer safety for multithreaded environments.by pnathan 14y agoTheir formal type system is designed around pointer safety for multithreaded environments.