4 ms·

Will the safety work reliably in a multithreaded environment?

• jacques_chester 14y ago
  They claim so, using M:N threading. Data race safety is one of the design constraints.
• pnathan 14y ago
  Their formal type system is designed around pointer safety for multithreaded environments.