An opinionated syntax primer for the Lean programming language, covering definitions, types, and running code.
Explains how to use TypeScript's 'infer' keyword to extract parts of compound types, with examples for arrays, functions, and built-in utilities.
A guide on using TypeScript with React's useState Hook, covering type inference and explicit type arguments for complex state.
Explains why to avoid TypeScript's 'any' type and offers better alternatives like type inference, interfaces, and generics for type safety.
A guide to using a Constrained Identity Function (CIF) in TypeScript to improve type safety for objects like a calculator's operations.
A guide to writing TypeScript types that require minimal maintenance by leveraging type inference and utility types.
Explains TypeScript's const assertions, their syntax, differences from type assertions, and benefits for type inference and immutability.
Guide on calling JavaScript functions from TypeScript, covering configuration, type inference issues, and solutions like declaration files.
Explains how to correctly type a custom React hook to return a tuple instead of an array, fixing TypeScript type inference issues.
