Tap a claim on the ring to put it at the centre.
← Static typing does not require manifest typing — type inference lets a…
17 connected korrents · 15 moments from 15 Apr 2010 to 6 Oct 2026.
Everything filed under software performance
software performance
Everything filed under Ruby
Ruby
Everything filed under JavaScript
JavaScript
Everything filed under code generation
code generation
Everything filed under Ruby on Rails
Ruby on Rails
Everything filed under TypeScript
TypeScript 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: Static typing does not require manifest typing — type inference lets a language avoid that without becoming dynamically typed. 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: 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. — tap to centre the map on it 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: Forcing an AI to annotate every type would make its programs worse, not better: annotate where there is no context, and let inference do the rest. — tap to centre the map on it Forcing an AI to annotate every type would make its programs worse, not better: annotate where there is no context, and let inference do the rest. Last stated 5 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — 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: 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: 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: 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: What makes TypeScript unlike almost every other language is gradual typing: you can have types, but you do not have to. — tap to centre the map on it What makes TypeScript unlike almost every other language is gradual typing: you can have types, but you do not have to. Last stated 5 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: React and TypeScript developers are infantilized by the ecosystem's thought leaders; anything beyond a simple CRUD app will need generics, mapped types and memoization. — tap to centre the map on it React and TypeScript developers are infantilized by the ecosystem's thought leaders; anything beyond a simple CRUD app will need generics, mapped types and memoization. Last stated 3 years ago
6 Nov 2023
DM
Dillon Mulroy — holds since 2023-11-06 — 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 2 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: A designer's assumption about where a component belongs is a personal assumption and does not mean that the market or the users will react to the component that way. — tap to centre the map on it A designer's assumption about where a component belongs is a personal assumption and does not mean that the market or the users will react to the component that way. Last stated 7 months ago
2 Apr 2026
MS
Marvin Schwaibold — holds since 2026-04-02 — 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: Fiscal multipliers vary across time and place but are generally nonzero, positive for spending, negative for taxes, and larger when monetary policy cannot offset them. — tap to centre the map on it Fiscal multipliers vary across time and place but are generally nonzero, positive for spending, negative for taxes, and larger when monetary policy cannot offset them. Last stated 4 years ago
1 Jun 2022
OB
Olivier Blanchard — holds since 2022-06-01 — 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 6 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: 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 2 weeks ago
6 Oct 2026
DH
David Heinemeier Hansson — holds since 2026-10-06 — tap for who they are
Same subject: Programming languages that LLMs do not choose, like Ruby and Zig, look dead in the long term. — tap to centre the map on it Programming languages that LLMs do not choose, like Ruby and Zig, look dead in the long term. Last stated 4 months ago
12 Jun 2026
BV
Ben Vinegar — holds since 2026-06-12 — tap for who they are
At the centre
Static typing does not require manifest typing — type inference lets a language avoid that without becoming dynamically typed.
Holds 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.
Holds
Forcing an AI to annotate every type would make its programs worse, not better: annotate where there is no context, and let inference do the rest.
Holds
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
The empirical literature on static typing finds effects too small to matter, in the narrow settings it has managed to study.
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
Ruby must never get static typing: dynamic duck typing is the essence of what makes Ruby Ruby.
Holds
What makes TypeScript unlike almost every other language is gradual typing: you can have types, but you do not have to.
Holds
React and TypeScript developers are infantilized by the ecosystem's thought leaders; anything beyond a simple CRUD app will need generics, mapped types and memoization.
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
A designer's assumption about where a component belongs is a personal assumption and does not mean that the market or the users will react to the component that way.
Holds
CommonJS is harder to statically analyze than ES Modules and its synchronous module loading is less efficient at runtime.
Holds
Fiscal multipliers vary across time and place but are generally nonzero, positive for spending, negative for taxes, and larger when monetary policy cannot offset them.
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
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
Programming languages that LLMs do not choose, like Ruby and Zig, look dead in the long term.
Holds