An opinionated syntax primer for the Lean programming language, covering definitions, types, and running code.
A Rust programming tip explaining how to add type annotations to match patterns when the compiler cannot infer types, with syntax examples.
Explains how to use TypeScript's 'infer' keyword to extract parts of compound types, with examples for arrays, functions, and built-in utilities.
A TypeScript tutorial explaining how to properly type tuple return values from functions, like custom React hooks, to avoid common type inference issues.
A technical article explaining how to use TypeScript's type inference to reduce explicit type annotations and improve code maintainability.
A guide on using TypeScript with React's useState Hook, covering type inference and explicit type arguments for complex state.
Explains Swift 5.6's type placeholders, a feature that simplifies generic type declarations by letting the compiler infer certain types.
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 Vue.js uses TypeScript's ThisType utility for type inference in the Options API, enabling better type safety.
Explains how to correctly type a custom React hook to return a tuple instead of an array, fixing TypeScript type inference issues.
A tutorial on Dart language features including type inference, final/const variables, and parameter handling for writing cleaner code.
Explores eleven lesser-known but useful features introduced in Java 11, including lambda type inference and new String methods.
A deep dive into Java 10's `var` keyword, exploring type inference, use cases, and advanced techniques like intersection types.
Explores using Java's 'var' keyword to simulate traits and intersection types, discussing its versatility and limitations.
Explores Java's 'var' type inference for anonymous classes, enabling ad-hoc fields and methods, but warns against production use.
Explores the new 'var' keyword for local-variable type inference in Java 10, covering its usage, limitations, and impact on code readability.
