Programming Languages

Software Development

Software Engineering

Static Typing

Explore recommended reads, summarized by AI

Type Systems in Programming Languages

Explorations of how type systems work in different programming languages and their adoption.

Type Systems in Python and TypeScript

Latest stories

Sae-Hwan Park

Research Python (Also) Needs Explicit Contracts

Yamishift

Pyrefly Is Making Static Typing Fast Again

Yamishift

Ty Isn’t Just Faster Than MyPy It Changes When Developers Trust Type Checking

Sahil Khurana

Statistically Typed vs Dynamically Typed Languages: A Deep Dive

In

ITNEXT

by

Nicolas Fränkel

Making illegal state unrepresentable

See more stories

Who to follow

Latest stories

Sae-Hwan Park

Research Python (Also) Needs Explicit Contracts

Yamishift

Pyrefly Is Making Static Typing Fast Again

Yamishift

Ty Isn’t Just Faster Than MyPy It Changes When Developers Trust Type Checking

Sahil Khurana

Statistically Typed vs Dynamically Typed Languages: A Deep Dive

In

ITNEXT

by

Nicolas Fränkel

Making illegal state unrepresentable

See more stories

Who to follow