4 ms·

The benefit is right there in the line you quoted. TypeScript doesn't offer type safety at runtime, Hegel apparently does.

• vore 4y ago
  The line says no such thing, in fact it says the opposite. From the project page on GitHub, Hegel wants to have zero runtime type checking and have it all be proved statically at compile time.
  • cush 4y ago
    You're reading type safety as type checking
    • vore 4y ago
      Then what does "type safety at runtime" even mean? TypeScript is surely also type safe at runtime then, even if the type system is unsound: that is, after all, its whole value proposition.
• TheRealPomax 4y ago
  Then maybe read the line again, because it very much does not say that =)