Functional Programming with TypeScript's Type System

Post by nkrisc » Sun, Apr 16, 2023, 9:12 PM UTC

iudqnolq wrote: post #36

wooly_bully wrote: post #29

Earlier quoted context omitted.

It’s good for reference but not for discovery. If I already know the general concept (let’s say Template Literal Types) I can get good info on it, but if I start with a question like ‘Is there a way to make sure this string literal starts with “id_”?’ then I find it very hard to know. Random but this is what I’m finding GPT-4 best at: translating random questions into domain terminology + providing examples.

maybe this is just an issue with me but I've not found any way to search the docs. the only thing Google seems to index is the release notes, and going backwards from the release notes to guess the appropriate section of the docs that will explain that concept is really annoying.

Post by remexre » Sun, Apr 16, 2023, 9:31 PM UTC

firechickenbird wrote: post #12

At this point I'm wondering if the TypeScript type system can be used for dependant types that would allow formal verification of the programs

Post by nkrisc » Mon, Apr 17, 2023, 2:43 AM UTC

DangitBobby wrote: post #39

nkrisc wrote: post #26

As wonderfully absurd as this is, I learned more about TypeScript’s type system from this post than I have from its documentation. Entirely possible that PEBKAC, but I’ve found TypeScript’s documentation to be on the worse end of the programming language documentation quality spectrum.

It's not just you. To learn how to express more advanced types (or learn whether they are even possible to express), I've had to Google, read source code, or scan random medium articles and blogs from tech companies. Rarely have I learned anything new from the TS docs.

  interface add extends F { out: this['args'] extends   [infer a, infer b]     ?
  a extends Zero         ? b :
  a extends Suc ? Suc> : 

  never : never
}