There are worse choices in the compiled web language niche. Most of the competitors don't qualify, because people don't want to do formal verification for their

There are worse choices in the compiled web language niche. Most of the competitors don't qualify, because people don't want to do formal verification for their side projects.