No Escape Hatches: the TypeScript type system isn't optional
Comments
Search fresh public links, source activity, and post angles for Type Systems.
Fresh curated links around Type Systems are collected here so marketers can spot useful updates and turn timely ideas into posts faster.
Recent items include:
Recent curated links from global sources. Generate one free draft from any story, then use SocialBu to schedule and refine your content calendar.
Comments
There are three ways to turn a JSON response into TypeScript interfaces. You can write them by hand, you can ask an LLM, or you can run the JSON through a deterministic converter....
Associated types let protocols model flexible value containers.
Comments
For decades, formal verification lived in a niche corner of software engineering. It was reserved for aerospace, nuclear systems, and cryptographic protocols—domains where failure...
What are Data Types? Think of a computer like a big storage container. Unless you know the size and type of contents to store, its not possible to store them in available storag...
A couple of years ago, I wrote that The Builder pattern is a finite state machine!. A state machine consists of states and transitions between them. As a developer, I want to make...
As TypeScript developers, we use Tuples when we want to define an array with a fixed number of elements and specific types. It’s a great way to ensure data integrity—or so we t...
Let’s say you’re writing a Python library. In this library, you have some collection of state that represents “options” or “configuration” for a bunch of operations. Such a set of...
Programming languages have always evolved in response to pressure—from hardware constraints, from developer productivity needs, and increasingly, from the demand for correctness. W...
From standard decorators to explicit resource management, TypeScript’s 5.x releases have crossed firmly into backend territory — and if you’re building Node.js services, it’s time...
A Coding Implementation on Pyright Type Checking Covering Generics, Protocols, Strict Mode, Type Narrowing, and Modern Python Typing The post A Coding Implementation on Pyright Typ...
<strong>Topics covered in this episode:</strong><br> <ul> <li><strong><a href="https://tildeweb.nl/~michiel/httpxyz-one-month-in.html?featu...
TypeScript 5.4 to 5.8: The Features That Actually Matter in 2026 I've been tracking TypeScript releases for 3 years. Most release notes are noise — "improved inference in corne...
Hello guys, TypeScript has become the go-to language for modern web development, offering the flexibility of JavaScript with the added power of static typing.Whether you’re a front...
На всех парах движемся к завершению цикла. В шестой главе Скотт Влащин рассказывает о типизированных строках, которые позволяют хранить значения, удовлетворяющие ограничениям, нап...
Every framework's API surface sits on a spectrum, from strict (typed interfaces, schemas, service containers) to loose (string keys, naming conventions, untyped hooks). Strict APIs...
Originally appeared on Giant Robots Smashing Into Other Giant Robots.Duck Typer is a Ruby gem that validates interface compatibility across polymorphic classes sharing the same rol...
A practical guide to modern type annotations in Python for data science The post The Joy of Typing appeared first on Towards Data Science.
Недавно я обнаружил, что далеко не все знают об одной простой вещи — и это меня удивило.Многие думают примерно так: «я описал интерфейс, указал что GET /users возвращает User[], Ty...
Use SocialBu to discover ideas, generate post drafts, and schedule them across your social channels.