Trying to Understand Copilot's Type Spaghetti

• typelevel-parser

  1 142 0.0 TypeScript

  Experiment to push the limits of TypeScript's type system by writing a "real" tokenizer/parser/interpreter entirely on type-level.

Yes, the idea that there's anything "superhuman" about this code is just an indication that the CEO has severe Dunning-Kruger syndrome. This 100% human TypeScript project, selected arbitrarily, is quite a bit more sophisticated than the example discussed here: https://github.com/anuraghazra/typelevel-parser

I don't know anything about the dev but I would wager that they are more "curious programming dork" than "superhuman god of Typescript."

• type-plus

  1 353 9.6 TypeScript

  Additional types and types adjusted utilities for TypeScript

That’s just how type programming looks.

Here’s (https://github.com/unional/type-plus/blob/main/packages/type...) a human written example that’s well-factored and uses loads of subtypes to clarify what it’s doing - but it’s still going to read like the black tongue of Mordor to you if you’re not familiar with how this kind of type stuff is structured and used.

And factoring all that stuff out may help readability but it doesn’t help comprehension - try and trace what the actual underlying type definitions for some of those utility types like IdentityEqual<> are actually doing (look at https://github.com/unional/type-plus/blob/main/packages/type...) and realize the rabbit hole runs deep in this stuff.

• SurveyJS

  surveyjs.io featured

  Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.

  

Suggest a related project