"Developers don't want their types erased at runtime. Otherwise, it's just labor-intensive to declare them at all when thousands of them can be incorrect on every tenth run of the application. Instead, developers want type guarantees. Essentially, to use the vernacular, they want a sound type system. Our patent-pending technology is the solution here," Poon says.
In a sound type system, type declarations are always guaranteed to be correct. When types can be "guaranteed" to be correct, developers can make small incremental changes to large code bases with confidence. This is known as "optional typing" and provides flexibility in complex software projects. In JS++, "guarantees" are achieved through forced data conversions.
Media Contact: Roger Poon, Onux, 628-222-0010, email@example.com
News distributed by PR Newswire iReach: https://ireach.prnewswire.com
- Personal Finance - Career & Education
- Consumer Discretionary