<p>JavaScript can be hard to write correct programs with but is one of the only ubiquitous platforms in computing. Roy is a safe language for writing correct programs on this platform. It uses type safety and immutability to provide guarantees about your program and help with reasoning. Roy also tries hard to output clean JavaScript to help with debugging, performance, and reasoning.</p>