I believe this is conceptually similar to how "brands" can operate to add HKTs t... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

girvo on Nov 4, 2021 | parent | context | favorite | on: Luau goes open-source

I believe this is conceptually similar to how "brands" can operate to add HKTs to TypeScript/Flow

https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-ki...

https://cs.emis.de/LIPIcs/volltexte/2015/5231/pdf/21_.pdf

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact