Live data from Hacker News

HypeScript: Simplified TypeScript type system in TypeScript's own type system

github.com

1–10 of 84 posts

Re: HypeScript: Simplified TypeScript type system in TypeScript's own type system

#2
This is epic. There’s a parser in there.

Edit: this is explained a bit here [1]. It uses Template Literal Types[2].

1 https://blog.joshuakgoldberg.com/type-system-game-engines/

2 https://www.typescriptlang.org/docs/handbook/2/template-lite...

Re: HypeScript: Simplified TypeScript type system in TypeScript's own type system

#5
This article is intriguing, I liked the playful tone, particularly in light of the subject. I’m hoping the talk gets streamed to YouTube.

This also makes me interested in the formalization attempts I have heard are ongoing for TS’s type system. Anyone with good paper/videos on that development feel free to drop a link.

Re: HypeScript: Simplified TypeScript type system in TypeScript's own type system

#10
Am I the only one that feels uncomfortable with all that usage of strings in TS’s type system? Why not use pure literals instead of string literals? This is a genuine question, I’m trying to find out what the pros and cons where in the decision making process.
Post reply on HN