cursed-typescript
Languages and libraries
type system experiments
SHOW HN2023
How HN took it
5 positive, 10 neutral or asking, 0 mixed, 6 critical, out of 21 comments about the project. Thread score -0.03.
Idea: 3 for, 1 againstPerformance: 1 for, 1 againstDesign: 0 for, 2 againstExecution: 0 for, 1 againstDocs: 0 for, 1 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Clever and fun demonstration of TypeScript's type system
From 3 comments
Love it! Reminds me of the hilarious "Typing the technical interview" [1] and "Typescripting the technical interview" [2], a couple of my favorite blog posts of all time. [0]…
vishnumenon on HNSometimes I think I don't understand TypeScript's type system and then I see something like this and I realize I know even less than I thought
hbn on HNI'm happy to see people learning the Curry–Howard isomorphism the fun way.
maxbendick on HN
Objections
Hard to read and understand the type code
From 2 comments
I though I knew TypeScript pretty well, but I can barely read that.
dmalvarado on HNI'm really confused, is it what TS is supposed to looks like?
Thaxll on HN
Slow to compute
From 1 comment
This is probably the slowest Game of Life ever.
thdespou on HN
Requests
Explain how to run or see the output
From 2 comments
How do I run this/see the results? I'm a little lost.
calebegg on HNSame here. I hit "run" but get an error
aazo11 on HN
Questions
How to view the board state in the playground
From 2 comments
Because it's all just types, there's nothing _to_ run. Instead, you'll want to hover your cursor over the `PGunX` types at the end of the file in the playground; this will cause…
_jab on HNIn the typescript playground, the best way to see the output of any evolution number is to have it autocomplete a string literal! Uncomment one of the PGunXX types that you want…
dag11 on HN
Alternatives named
Other type-level programs such as a TypeScript lambda calculus interpreter
From 2 comments
You can also easily implement meta-languages. Eg. lambda calculus: https://github.com/desi-ivanov/ts-lambda-calc
evolveyourmind on HNYes: https://github.com/desi-ivanov/ts-lambda-calc
evolveyourmind on HN