class Lol {
    get length() {
        console.log('Lol. LMAO even.');
        return 5;

const noLolsAllowed = (notALol: string) => {
    for (let i = 0; i < notALol.length; ++i) {
        console.log('No lols here');

noLolsAllowed(new Lol() as unknown as string);

as is an escape hatch and super dangerous. I think they shouldn’t have given it such a nice name. unsafeCastAs would have been much better IMHO.

It does require the uglier as unknown as in cases where it can provide that the cast is impossible. But that still allows many cases such as Foo|undefined as Bar|undefined working fine (TypeScript assumes undefined and doesn’t require the cast via unknown).

I don’t really get the point of this. Of course the function will accept the value as a string if you specifically tell it to treat it as such (which wouldn’t even be possible without casting it to unknown first)?

Sleepless One

I guess what I’m trying to say is that while Typescript is great, the types just make the development experience much nicer but don’t actually prevent any of the fuckery of Javascript. As for whether it’s strongly typed or not, I don’t find the term helpful. People call Typescript strongly typed, but is a language really strongly typed if you can tell it to ignore types? Strong is a relative term that doesn’t tell you much about the type system.


Yeah, at this point, I’m basically using “strongly typed” as “How expressive/useful is the type system?”.

Haskell, Rust, Scala, OCaml → Strongly typed.
Python, JavaScript, C, Go → Worse than that.

Personally, I would still put TypeScript in the strong category, because unless you are using as, it does have a helpful type system. A language preventing shitfuckery during runtime is kind of too late anyways.

But yeah, sometimes even the best type system cannot express everything you know to be true as a human. Then you need to start casting. But casting can break during refactoring, so a language at least telling you during runtime that the cast is broken, is more helpful than a language just accepting shitfuckery. So, this does make TypeScript somewhat less strongly typed, even with my definition.


I guess the point is, it’s not strongly typed during runtime. In other strongly typed languages, that cast would fail, since the underlying memory layout of some random class does not fit to that of a string.

But yeah, as soon as you break out as, you’re telling the type system to fuck off. So, while it does look freaky to me, too, it doesn’t dispell that TypeScript is strongly typed…

Yeah, I do agree that it’s a bit weird with TS. It’s fully understandable though, since it just transpiles to JS, which doesn’t have any type information during runtime. I think as far as webdev goes though, TS makes it at least somewhat bearable.

Sorry for the downvote btw - that wasn’t me!


God I hate webdev. And its even that much more unbearable without typescript.

Create a post

Post funny things about programming here! (Or just rant about your favourite programming language.)


  • Posts must be relevant to programming, programmers, or computer science.
  • No NSFW content.
  • Jokes must be in good taste. No hate speech, bigotry, etc.
  • 0 users online
  • 1 user / day
  • 1 user / week
  • 11 users / month
  • 37 users / 6 months
  • 1 subscriber
  • 54 Posts
  • Modlog