Tap a claim on the ring to put it at the centre.
← Layering a static type system atop a dynamic one, capable of proving…
17 connected korrents · 16 moments from 15 Apr 2010 to 6 Oct 2026.
Everything filed under TypeScript
TypeScript
Everything filed under software performance
software performance
Everything filed under Ruby
Ruby
Everything filed under Ruby on Rails
Ruby on Rails
Everything filed under TypeScript
TypeScript
Everything filed under design
design Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: Layering a static type system atop a dynamic one, capable of proving the dynamic checks redundant, combines the flexibility of dynamic typing with the performance of static typing. Layering a static type system atop a dynamic one, capable of proving the dynamic checks redundant, combines the flexibility of dynamic typing with the performance of static typing. Last stated 6 months ago
22 Apr 2026
JB
Jamie Brandon — holds since 2026-04-22 — tap for who they are
Same subject: Enforcing safe mutable value semantics (e.g. via borrow-checking) is far easier to do cheaply with a static type system than with a dynamic one. — tap to centre the map on it Enforcing safe mutable value semantics (e.g. via borrow-checking) is far easier to do cheaply with a static type system than with a dynamic one. Last stated 6 months ago
22 Apr 2026
JB
Jamie Brandon — holds since 2026-04-22 — tap for who they are
Same subject: Calling static typing the only way to build reliable systems is idiotic in the face of the evidence, starting with Shopify serving a million requests a second on Rails. — tap to centre the map on it Calling static typing the only way to build reliable systems is idiotic in the face of the evidence, starting with Shopify serving a million requests a second on Rails. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Static typing gives coding agents a small but real edge on hard tasks, by catching crash-class bugs that untyped code ships. — tap to centre the map on it Static typing gives coding agents a small but real edge on hard tasks, by catching crash-class bugs that untyped code ships. Last stated 5 months ago
10 Jun 2026
KC
Kun Chen — holds since 2026-06-10 — tap for who they are
Same subject: Static typing does not require manifest typing — type inference lets a language avoid that without becoming dynamically typed. — tap to centre the map on it Static typing does not require manifest typing — type inference lets a language avoid that without becoming dynamically typed. Last stated 17 years ago
15 Apr 2010
AO
Allan Odgaard — holds since 2010-04-15 — tap for who they are
Same subject: Ruby must never get static typing: dynamic duck typing is the essence of what makes Ruby Ruby. — tap to centre the map on it Ruby must never get static typing: dynamic duck typing is the essence of what makes Ruby Ruby. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2024-09-18 — tap for who they are
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Moving from static design tools to prototypes in code has helped systems-level design work, because you cannot easily grasp the many combinations of states until you have something in some form of code. — tap to centre the map on it Moving from static design tools to prototypes in code has helped systems-level design work, because you cannot easily grasp the many combinations of states until you have something in some form of code. Last stated 3 months ago
18 Aug 2026
PM
Patrick Morgan — holds since 2026-08-18 — tap for who they are
Same subject: The empirical literature on static typing finds effects too small to matter, in the narrow settings it has managed to study. — tap to centre the map on it The empirical literature on static typing finds effects too small to matter, in the narrow settings it has managed to study. Last stated 12 years ago
7 Nov 2014
DL
Dan Luu — holds since 2014-11-07 — tap for who they are
Same subject: People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers. — tap to centre the map on it People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers. Last stated 6 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: "Is the page loaded?" was never a real question, and web performance only became measurable once it was broken into the distinct moments a user actually notices. — tap to centre the map on it "Is the page loaded?" was never a real question, and web performance only became measurable once it was broken into the distinct moments a user actually notices. Last stated 3 months ago
19 Aug 2026
AO
Addy Osmani — holds since 2026-08-19 — tap for who they are
Same subject: "Optimize it later" would be safe advice only if every engineer already knew how to avoid the architectural mistakes that no later optimization can remove. — tap to centre the map on it "Optimize it later" would be safe advice only if every engineer already knew how to avoid the architectural mistakes that no later optimization can remove. Last stated 2 months ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: A 300-millisecond response budget is not an achievement but an admission: 300 milliseconds is an eternity in computing, and a product pitching it shows how far the bar has fallen. — tap to centre the map on it A 300-millisecond response budget is not an achievement but an admission: 300 milliseconds is an eternity in computing, and a product pitching it shows how far the bar has fallen. Last stated 2 months ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: CommonJS is harder to statically analyze than ES Modules and its synchronous module loading is less efficient at runtime. — tap to centre the map on it CommonJS is harder to statically analyze than ES Modules and its synchronous module loading is less efficient at runtime. Last stated 2 years ago
19 Jun 2024
BC
Boris Cherny — holds since 2024-06-19 — tap for who they are
Same subject: Improving Next.js chunking can yield massive efficiency improvements at internet scale. — tap to centre the map on it Improving Next.js chunking can yield massive efficiency improvements at internet scale. Last stated 2 months ago
3 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-03 — tap for who they are
Same subject: Web developers should drop front-end libraries and use the DOM with plain JavaScript. — tap to centre the map on it Web developers should drop front-end libraries and use the DOM with plain JavaScript. Last stated 3 years ago
27 May 2023
DC
Douglas Crockford — holds since 2023-05-27 — tap for who they are
Same subject: For a web developer Linux is simply better than the Mac: closer to what you deploy on, with phenomenal tooling and a reproducible setup. — tap to centre the map on it For a web developer Linux is simply better than the Mac: closer to what you deploy on, with phenomenal tooling and a reproducible setup. Last stated 7 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: Go is no less susceptible to N+1 queries than a metaprogramming-heavy language like Ruby, despite its verbosity. — tap to centre the map on it Go is no less susceptible to N+1 queries than a metaprogramming-heavy language like Ruby, despite its verbosity. Last stated 2 years ago
28 May 2024
BL
Brandur Leach — holds since 2024-05-28 — tap for who they are
Same subject: It is no longer an economically viable enterprise to have humans typing out lines of Ruby, Rust, or C++ because coding agents have become so good. — tap to centre the map on it It is no longer an economically viable enterprise to have humans typing out lines of Ruby, Rust, or C++ because coding agents have become so good. Last stated 4 weeks ago
6 Oct 2026
DH
David Heinemeier Hansson — holds since 2026-10-06 — tap for who they are
At the centre
Layering a static type system atop a dynamic one, capable of proving the dynamic checks redundant, combines the flexibility of dynamic typing with the performance of static typing.
Holds Read this korrent →
Enforcing safe mutable value semantics (e.g. via borrow-checking) is far easier to do cheaply with a static type system than with a dynamic one.
Holds
Calling static typing the only way to build reliable systems is idiotic in the face of the evidence, starting with Shopify serving a million requests a second on Rails.
Holds
Static typing gives coding agents a small but real edge on hard tasks, by catching crash-class bugs that untyped code ships.
Holds
Static typing does not require manifest typing — type inference lets a language avoid that without becoming dynamically typed.
Holds
Ruby must never get static typing: dynamic duck typing is the essence of what makes Ruby Ruby.
Holds
Moving from static design tools to prototypes in code has helped systems-level design work, because you cannot easily grasp the many combinations of states until you have something in some form of code.
Holds
The empirical literature on static typing finds effects too small to matter, in the narrow settings it has managed to study.
Holds
People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers.
Holds
"Is the page loaded?" was never a real question, and web performance only became measurable once it was broken into the distinct moments a user actually notices.
Holds
"Optimize it later" would be safe advice only if every engineer already knew how to avoid the architectural mistakes that no later optimization can remove.
Holds
A 300-millisecond response budget is not an achievement but an admission: 300 milliseconds is an eternity in computing, and a product pitching it shows how far the bar has fallen.
Holds
CommonJS is harder to statically analyze than ES Modules and its synchronous module loading is less efficient at runtime.
Holds
Improving Next.js chunking can yield massive efficiency improvements at internet scale.
Holds
Web developers should drop front-end libraries and use the DOM with plain JavaScript.
Holds
For a web developer Linux is simply better than the Mac: closer to what you deploy on, with phenomenal tooling and a reproducible setup.
Holds
Go is no less susceptible to N+1 queries than a metaprogramming-heavy language like Ruby, despite its verbosity.
Holds
It is no longer an economically viable enterprise to have humans typing out lines of Ruby, Rust, or C++ because coding agents have become so good.
Holds