Show HN: Program will only compile if the grid on line 30 is a magic square

typescriptlang.org

10 pointsamenghra5 comments

Open articleView on HN

It's ugly and hardcoded for a 3x3 grid. Can we improve this?

Slightly better: https://www.typescriptlang.org/play?#code/PTAEBUAsEsGdQA4CcD...

Tada: https://www.typescriptlang.org/play?#code/PTAEBUAsEsGdQA4CcD...

Wow! This may help with the intuition that typechecking for some type systems is an undecidable problem.

https://beza1e1.tuxen.de/articles/accidentally_turing_comple... lists a few type-related things.

Type inference has been proven to be undecidable in some cases (e.g. with dependent types).

Sorry, by "the intuition that..." I didn't mean "reason to believe (a result that isn't established)" but more like "an aid to understanding (a result that was already proven)".

Thanks for the link!

Reply on news.ycombinator.com