C++17 · bounded Linux compiler-preview candidate

Compile now.
Understand
next.

tscc is a tiny native TypeScript-to-JavaScript compiler with serious transpilation, project, CommonJS and TSX machinery - plus a bounded semantic checker spanning generics, overloads, classes, control-flow narrowing, richer collections, advanced types and JSX contracts.

checker/primitive-literal.ts
// accepted and emitted
const answer: number = 42;

// rejected at the annotation
const answer: number = "forty-two";

error TSCC2001
Type 'string' is not assignable
to type 'number'.
600 / 0 / 18pass / fail / semantic skip · current 618-case corpus
12 / 12multi-file/project evidence gate; 7/7 JS++ runtime intersection retained
C++17native compiler with no JS runtime dependency
TS 7.0.2latest recorded regression oracle
Works today

A capable fast transpiler

Broad TypeScript erasure, runtime transforms, relative project discovery, CommonJS lowering with live reads, and TSX preservation.

Semantic growth

Structure, binding and checking

Canonical primitive, literal, union, callable, object, array and tuple identities now drive bounded checking across files and contextual expressions.

Evidence

Compatibility is executable

A 618-case external contract, 12/12 multi-file/project gate, 7/7 Node/JS++ intersection, a 33-area compatibility matrix and real-package probes separate claims by evidence level.

Destination

Production type checking

The roadmap aims beyond syntax stripping, but gets there through bounded vertical slices—not a compatibility claim made years too early.