geoffreytools/free-types

A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.

65 best points · 49 comments · 1 Hacker News post · 171 GitHub stars · View on GitHub

Hacker News discussions

• Free-types: Higher kinded types in TypeScript (65 points, 49 comments, by DesertVarnish, 2023-06-09)