ty: An extremely fast Python type checker and LSP
Introducing ty, a new, extremely fast Python type checker and language server from Astral, promising massive speed improvements over mypy and Pyright.
Introducing ty, a new, extremely fast Python type checker and language server from Astral, promising massive speed improvements over mypy and Pyright.
Explains TypeScript's limitations with Map key checks and Array index access, offering practical solutions and workarounds.
Explains TypeScript's `satisfies` operator, showing how it checks type compatibility without widening inferred types, with examples.
An in-depth look at how type system compilers like TypeScript work, focusing on type checks and building a custom compiler.
How to use JSDoc comments for TypeScript-like type checking in JavaScript files without a compilation step.
A guide to building a statically typed functional language, covering type checking, interpretation, and transpilation to JavaScript.
A tutorial on setting up and using Flow for type checking in a React + Redux application to prevent bugs and improve development.
Introducing StronglyTyped, a JavaScript library for adding strongly typed properties and constants using ES5 getters/setters.
Comparing JavaScript type-checking methods, showing that elegant, short code isn't always the fastest, with performance benchmarks.