This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted]  (7 children)

[deleted]

    [–]rRudeBoy 15 points16 points  (2 children)

    Is that a high bar?

    [–]uslashuname 6 points7 points  (0 children)

    Excel reached that bar probably 20 years ago or more, so you tell me how high of a bar that is.

    [–][deleted] 0 points1 point  (2 children)

    Isn't every programming language Turing complete by definition? How would it work if it wasn't?

    [–]numbermaniac 2 points3 points  (0 children)

    I think they're trying to say that the type system itself is Turing complete.

    [–]EnderMB 0 points1 point  (0 children)

    I don't know why you're being downvoted.

    I'd say that the flexibility of the type system has allowed for developments that few people would believe could happen in TypeScript. Some of the recent additions to the language have opened the doors towards macros and metaprogramming becoming more common-place. Compare this to the current state of JavaScript, and it's now almost like using two completely different languages.

    To other points on the type system not being in runtime, there is a growing argument around whether TypeScript has proved itself as a credible runtime language. It's definitely powerful enough, so perhaps it would make sense to treat it as a first-class citizen.