typescriptlang.org
Languages and libraries
type system demo
SHOW HN2024
typescriptlang.org
Program will only compile if the grid on line 30 is a magic square
typescriptlang.org10points
5comments
#2,671of 3,515 in 2024
Top 76%of 2024 by points
How HN took it
QuietFewer than 5 comments about the project
1 positive, 0 neutral or asking, 0 mixed, 0 critical, out of 1 comments about the project.
Idea: 1 for, 0 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
Helps build intuition that type checking can be undecidable
From 1 comment
Wow! This may help with the intuition that typechecking for some type systems is an undecidable problem.
schoen on HN
Objections
Maker admits the solution is ugly and hardcoded for a 3x3 grid
From 1 comment
It's ugly and hardcoded for a 3x3 grid. Can we improve this? Slightly better:…
amenghra on HN
Requests
Generalize the solution beyond a 3x3 grid
From 1 comment
It's ugly and hardcoded for a 3x3 grid. Can we improve this? Slightly better:…
amenghra on HN