News for hackers. Stuff that matters.

A comment on Free-types: Higher kinded types in TypeScript. Parent comment

Re:Free-types: Higher kinded types in TypeScript by ivxvm on Friday June 09, 2023 @04:03AM (#36254757)
Not really possible, because Record and Map aren't compatible at all. At best they both have something like `toString`. You'll need to define at least something like RecordFunctor<T> and MapFunctor<T> to make this useful.
[ Parent | on HN ]
Re:Free-types: Higher kinded types in TypeScript by mbwgh on Friday June 09, 2023 @04:10AM (#36254800)
Only if you want to abstract over them at usage-site.

In my case I only ever used the concrete types and converted between them at some point.

[ Parent | on HN ]
Re:Free-types: Higher kinded types in TypeScript by ivxvm on Friday June 09, 2023 @11:31AM (#36259341)
Oh, so it's just a type alias for readability. Then it makes sense.
[ Parent | on HN ]