Types are definitely a stumbling block for LLMs. I think you are onto something there.
My personal guess is that there’s just so much crappy TypeScript code out there that without a ton of guardrails it’s just a pasta machine.
Second to that is the lack of understanding of category theory which IMO needs some level of reasoning.
TS & CT? where? 🧐
What’s CT?
Category Theory
Ah, gotcha. What was your question?
Oh, just curious how category theory and typescript are intertwined.
Well, more like type theory has to do with category theory. It’s One of the first things you’ll like encounter when learning functional programming. Type operations, follow the rules from category theory (from math).
