News for hackers. Stuff that matters.
Re:Show HN: Prisma Python – A fully typed ORM for Python by probablyrobert on Monday February 21, 2022 @02:05PM (#30419399)
Yes mapped types is a good example, Pick is also a good example:

https://www.typescriptlang.org/docs/handbook/utility-types.h...

Re:Show HN: Prisma Python – A fully typed ORM for Python by dllthomas on Monday February 21, 2022 @02:32PM (#30419655)
Ah, I read "dynamic" as implying something at runtime. I agree that these are extremely useful.