Abusing the TypeScript type system

Notable abuse

• Binary adder implemented in the TS type system usage/binary.ts.
• Generic array manipulation implemented in the TS type system usage/array.ts.

Other useful TS features

• https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-0.html#class-property-inference-from-constructors
• https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-1.html#key-remapping-in-mapped-types
• https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-3.html#template-string-type-improvements
• https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-4.html#static-blocks-in-classes

References

• Implementing Arithmetic Within TypeScript’s Type System
• Binary Adder Half and Full Adder
• Binary Subtraction using Logic Gates