TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...
Show HN: Conway's Game of Life in TypeScript's type system
github.com
Show HN: Conway's Game of Life in TypeScript's type system
1–10 of 48 posts
Re: Show HN: Conway's Game of Life in TypeScript's type system
#2Ha! More performant than I'd have guessed. I tried commenting `PrintBoard>` in and out and it took about 3 seconds (in the ts playground).
Re: Show HN: Conway's Game of Life in TypeScript's type system
#3Cute :)
Any sufficiently advanced type system is indistinguishable from an interpreter!
Re: Show HN: Conway's Game of Life in TypeScript's type system
#4[deleted]
Re: Show HN: Conway's Game of Life in TypeScript's type system
#5How do I run this/see the results? I'm a little lost.
Re: Show HN: Conway's Game of Life in TypeScript's type system
#6It is year 2035. TypeScript type system gained conscious.
Re: Show HN: Conway's Game of Life in TypeScript's type system
#7How do I run this/see the results? I'm a little lost.
Same here. I hit "run" but get an error
Re: Show HN: Conway's Game of Life in TypeScript's type system
#8How do I run this/see the results? I'm a little lost.
Same here. I hit "run" but get an error
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 the TS editor to compute that type and it should display a string corresponding to the board state.
Re: Show HN: Conway's Game of Life in TypeScript's type system
#9It is year 2035. TypeScript type system gained conscious.
Considering that in 2035 all software runs on top of JavaScript [1], I'm not surprised.
[1] https://www.destroyallsoftware.com/talks/the-birth-and-death...
Re: Show HN: Conway's Game of Life in TypeScript's type system
#10It can do a Y Combinator with types can't it?