Ryan Cavanaugh 👉 searyanc.dev on bsky

Engineering lead for @typescript. Now at

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

Trying out Twitter 2: The Twittening. Follow @ https://t.co/NEHRkr4ILX

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@KentonVarda @loganb @GrantSlatton Everyone says they'd be okay with the limited version of a feature right up until they hit a single limitation of it, at which point they say it shouldn't have existed in the first place because it added complexity to the language for no reason

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@loganb @GrantSlatton @KentonVarda There are things you can trivially check at runtime that can't be represented by the type system, and vice versa, so you'd always have a fairly awkward impedance mismatch

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@Boenau This is why I drive a cement mixer for all my trips

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@colinhacks I'm like 80% of the way there. Takes FAQ markdown as an input, tailors the FAQ output to the user's issue.

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@sclsoftware @typescript That's an odd result; no codebase we've looked so far at has sped up by that little. Do you have a repo we can try building to get a profile with?

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@sclsoftware @typescript Not supported yet. Soon!

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@TheLarkInn Don't put your feet on the dash like this! It's extremely dangerous in the event of a crash

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@iamkunalarya The naming *is* the set theory naming https://t.co/wOpUep3PqU

[Matt Pocock @mattpocockuk]

LIVE NOW with @ahejlsberg:

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@lazytype @drosenwasser @andhaveaniceday We could serialize ASTs, but I'm not sure where that cache would even go (maybe tsbuildinfo?). Validating up-to-dateness implies I/O cost would be unchanged.

Serializing types is pretty gnarly due to the type representation having references to the global symbol table

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@tmikov @pawan_k_sharma_ There are JIT-side optimizations that could help here (e.g. identify "common prefix" object layouts and treat them as monomorphic) but they likely wouldn't pay for themselves in any scenario except this specific one

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@tmikov @pawan_k_sharma_ But if you're accessing highly polymorphic data (e.g. as you would when reading off an AST node, or one type-kind of many), you go megamorphic, and now property access is on par with a hash table lookup

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@acdlite Yeah, the code is basically line-for-line the same

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@theo idk man, I had no problems falling asleep last night. Falling asleep at 10 PM, 1 AM, 3 AM, 3:30 AM, 5 AM, ...

[David Fowler @davidfowl]

Several of you asked me why TypeScript chose Go instead of C#, and what that decision implies about Microsoft's commitment to C# and .NET.

See
https://t.co/Dwp6mE9vAu by @ahejlsberg

TL;DR nothing has changed.

#dotnet #csharp

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@jessfraz Elixir and Smalltalk were RIGHT THERE smh

[Ryan Cavanaugh 👉 searyanc.dev on bsky @SeaRyanC]

@skydotcs "I wonder if the original author agrees" someone get this man a wikipedia

[alistair @alistaiir]

The new TypeScript is *really* fast