TypeScript 7

devblogs.microsoft.com38 pointsby DanRosenwasser6 comments

Comments

Hacker News

sub-1day-first-frame-of-DOOM LFGGGGGG

by MiTypeScript

Are there any plans about wasm version?

by terpimost

Yes, but no official builds yet that I know. This is a really important issue for online playgrounds and IDEs.

by spankalee

really excited to see this release! i've been using TypeScript for several projects like https://github.com/dyad-sh/dyad which is >250k lines of TypeScript and the speed-up makes things like running typescript check as a pre-commit hook painless

thanks DanRosenwasser and team for building such an awesome tool for so many years!

by willchen

the real story here is an incredible team that managed to simultaneously keep two separate codebases alive for the most advanced type system known to mankind (yeahhh yeahh Hindley-Milner eat your heart out).

huge congrats to the team!

looking forward to the Rust rewrite ;)

by dimitropoulos

> most advanced type system known to mankind (yeahhh yeahh Hindley-Milner eat your heart out)

This TypeScript release is largely about performance. Isn't OCaml still at least twice as fast (and maybe even faster for incremental compilation on very large codebases)?

by tshaddox

Most complex, perhaps, but not "most advanced". I don't think there's necessarily a meaningful "correct" choice for that title, but surely one of the proof assistant languages would be a more likely candidate?

(I don't say this to be disparaging of TypeScript's type system, by any means — it's very interesting stuff!)

by DonaldPShimoda

I am not sure a rust rewrite would be meaningful.

Go is great because it's fast to code.It's easy to reimplement typescript in go 1:1 just by looking at the code.

Rust on the other hand would take a lot longer to develop.

Maybe rust is 20% faster than go but overall the increase from typescript with go is good enough.

Maybe rust would yield a 14 times speedup over the 11 times in vscode but go is already good enough to make a huge difference.

by hoppp

finally it uses a normal language backend =)

by blurb2023

I'm glad the JSDoc syntax is still getting some focus. It's my favorite way to use typescript in my own projects. Some of the syntax changes will be annoying to update but most of them seem to be for the better.

by chroma_zone

Remember when people would argue about how types weren't worth the effort?

I love TypeScript, if nothing else for how it's been able to popularize types.

by adamddev1

I don't think ... serious people... argued that.

That's a bit hyperbolic so I'm sure I'm wrong, but I have an ace: if you point me at very smart people who argued against types I'm gonna say that they weren't serious. I think it's not possible, if you have the relevant experience of working on both typed and untyped codebases of at least moderate complexity with at least one collaborator, to come away seriously believing that the untyped way is superior (unless you were forced to use a really bad typed language, I guess). And arguing that untyped languages are better without that experience is also not serious, in the sense that anyone can unseriously say anything if they don't care about being well-informed enough to be right.

by ajkjk

Join the discussion

Write your take first — we'll ask for email only when you're ready to publish.

  • Hacker News
  • sub-1day-first-frame-of-DOOM LFGGGGGG
    by MiTypeScript
  • Are there any plans about wasm version?
    by terpimost
  • Yes, but no official builds yet that I know. This is a really important issue for online playgrounds and IDEs.
    by spankalee
  • really excited to see this release! i've been using TypeScript for several projects like https://github.com/dyad-sh/dyad which is >250k lines of TypeScript and the speed-up makes things like running typescript check as a pre-commit hook painless

    thanks DanRosenwasser and team for building such an awesome tool for so many years!

    by willchen
  • the real story here is an incredible team that managed to simultaneously keep two separate codebases alive for the most advanced type system known to mankind (yeahhh yeahh Hindley-Milner eat your heart out).

    huge congrats to the team!

    looking forward to the Rust rewrite ;)

    by dimitropoulos
  • > most advanced type system known to mankind (yeahhh yeahh Hindley-Milner eat your heart out)

    This TypeScript release is largely about performance. Isn't OCaml still at least twice as fast (and maybe even faster for incremental compilation on very large codebases)?

    by tshaddox
  • Most complex, perhaps, but not "most advanced". I don't think there's necessarily a meaningful "correct" choice for that title, but surely one of the proof assistant languages would be a more likely candidate?

    (I don't say this to be disparaging of TypeScript's type system, by any means — it's very interesting stuff!)

    by DonaldPShimoda
  • I am not sure a rust rewrite would be meaningful.

    Go is great because it's fast to code.It's easy to reimplement typescript in go 1:1 just by looking at the code.

    Rust on the other hand would take a lot longer to develop.

    Maybe rust is 20% faster than go but overall the increase from typescript with go is good enough.

    Maybe rust would yield a 14 times speedup over the 11 times in vscode but go is already good enough to make a huge difference.

    by hoppp
  • Steve Francia (author of Hugo and a bunch of other top Go projects) wrote up some thoughts of Go's fit in the agentic era:

    https://spf13.com/p/go-the-agentic-language/

    by samuell
  • finally it uses a normal language backend =)
    by blurb2023
  • I'm glad the JSDoc syntax is still getting some focus. It's my favorite way to use typescript in my own projects. Some of the syntax changes will be annoying to update but most of them seem to be for the better.
    by chroma_zone
  • I'm glad that TypeScript uses JSDoc and not the hideous XML format [1] that Microsoft's other languages use.

    [1] https://learn.microsoft.com/en-us/dotnet/csharp/language-ref...

    by raddan
  • Remember when people would argue about how types weren't worth the effort?

    I love TypeScript, if nothing else for how it's been able to popularize types.

    by adamddev1
  • dhh is still not very fond of it. To each their own.

    https://world.hey.com/dhh/turbo-8-is-dropping-typescript-701...

    by chem83
  • I don't think ... serious people... argued that.

    That's a bit hyperbolic so I'm sure I'm wrong, but I have an ace: if you point me at very smart people who argued against types I'm gonna say that they weren't serious. I think it's not possible, if you have the relevant experience of working on both typed and untyped codebases of at least moderate complexity with at least one collaborator, to come away seriously believing that the untyped way is superior (unless you were forced to use a really bad typed language, I guess). And arguing that untyped languages are better without that experience is also not serious, in the sense that anyone can unseriously say anything if they don't care about being well-informed enough to be right.

    by ajkjk

Related stories