https://github.com/gabrielelana/type-level-game-of-life

Type Level Game of Life in TypeScript
https://github.com/gabrielelana/type-level-game-of-life

Last synced: about 1 month ago
JSON representation

Type Level Game of Life in TypeScript

• Host: GitHub
• URL: https://github.com/gabrielelana/type-level-game-of-life
• Owner: gabrielelana
• Created: 2022-10-19T16:15:52.000Z (about 2 years ago)
• Default Branch: master
• Last Pushed: 2022-10-23T14:43:21.000Z (about 2 years ago)
• Last Synced: 2024-10-30T16:12:24.168Z (3 months ago)
• Language: TypeScript
• Size: 22.5 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Type Level Game of Life in TypeScript

Not a line of JavaScript will be generated by compiling the code in `gol.ts`

everything that happens it happens at compile time.

The goal was to implement the [Game of

Life](https://en.wikipedia.org/wiki/Conway%27s_Game_of_Life) using only

TypeScript type checker.

What it means is that all the calculations needed to do the simulation are done

by creating types from other types until we have a type (`EvolveU`) that

transform a type that represents a universe (grid of cells) into a type that

represents the evolved universe.

You can find some of the capabilities used in the following pages of TypeScript

official documentation:

- [Generics](https://www.typescriptlang.org/docs/handbook/2/generics.html)

- [Conditional Types](https://www.typescriptlang.org/docs/handbook/2/conditional-types.html)

- [Template Literal Types](https://www.typescriptlang.org/docs/handbook/2/template-literal-types.html)

This exercise is not meant to be of any use if not to explore what you can do

and learn techniques that can be used in real life situations.

If you don't have time to setup a local development environment here's a

[Playground](https://www.typescriptlang.org/play?#code/C4TwDgpgBAogigHgBoBooE0B8UC8UAUCAKpvgJS7ZFQQAewEAdgCYDOUSUA-FAIxQAuKACYKdBi3bFSFHFRr0mbDACgo3PmsEitPYACcArhC1CAZgEMANqwgBuFStCQoRQ2CsRkaLLigBtVAwAXQcncGgAZQB3CzA3Dy9qcSV2fwtGEDQMkGDsPGTFSQCAS0YzCH0ONDKKqvRg3QD0NCRG9SFGCAA3SrCAen6OPxhaSABjBmYVQYw-AHES3sZwl3gibwx813dPBBbYRCCsTDDnaABBVlt9YGQFCWUDYygAHx3EhBy0Z4hMbc4KWKvyaII6wyBygSe1qlQw2UymCa6FMUC6vX0ZwiUAAcgB7O6AorKABGeLxngybw+e2+UDJFIgGX+fiJj3YYI0lhsJnBbNSUG5tlBRl52n5xWhXlh9Rq5ThAH0AFpI9Q8dAPAWctU0rwHIV-LTgqX7H6i1XadF9RyzHEWYCGfTWNGGAC2JMqrFW0AAkoxxvdIew7Q6nVYAZriiHHc6eAADAB0ABIAN5IAC+cctPWt5ygABEIAGJcpo2GI0GoAAiKtNK36VEl9iJ1MyjCZ5GomtYlxl514VgGMoAcwceaVlTxfm73qgAHkun4-QGJ-o8adZ0RolO8MuEAu-mPsUQABb6CDQXf+4jbjd5gBieMdS+vp-Ph9n96Wl6ge8fjrvbFIhKWgXwDL9ekAlxIhzRgwIQYDaCg6AYBKYcT2AeCYOWZDcTKH891Q9DgFwogmHgnF8NwmBPGWeCyMYUjoggKxengmjYNIk8SluC84KvAMtxYyCjxcf99DI8iBOIbjeKYXCvzMBgpN-a9xMkxiBiGSITzxaIoF0-S8wsa5KmAEo8UYdht30ABrWcFV4AAGJz+DwK4bjudYECrBM-KrNA3wvf5ROgRyXOEPwPLMhBvPEtA9yCv4Qoc5ynIAZii0zbliuANiStBC3Ap99H+XDwqcgAWLLPNyjYIIgBLryKhAGrK8q0oAVhqmK4u-QqiwQP9v3arTf1dRJXSYTD8yWABZPFmCgDIlrmwwrCgMplqgYALBKDbz3GR1WG-KBYiyHaWI287lpYKBWEMnaT2gZgSjMOomHGEw81m7oFuYBAtBxSNS3tGMrBQLQ5pB4MwbDSH1DgGHcTh-soFXPEVG2YHKzjVM5vTVt5SqDMsx4X7-s2OamoDOAWSEE04DQHEN1nNarEB9QceJWHQ2sBGoGhys+whrQLmRkW-AxrG-CFnn0cnDRxaEdmEBxAaAzmzA0AuZgAfVqALhShzhBctzDeyry8uIXYkm3NAD21gt5sW1r+tcW8UrzBVTacyL3MtuqEJAtBVYKj31y97EfZczKA9q7yMdD9aZPfNAMbK0KoBjqqepy7zw7Ds8LwdrpM5Nlzuvj3rrYY5OOYPQL5Kjlwc4ANjzq38qYeviB7+cy+N2YAHVoC6CBVsWtBPGAaz9BKBgoAAGQgJTbqWgAlNCMNnFelMDeWTTpHIWTwJtdQQNsDhPztwXrLOt+Ig-2Qv4-EQrQ-ba+TI5TqLZb+zBiHs0BfpqwlqjCGgtwF83DH4PedwKauwNlrXClNuYvxFqHaB4NtiPwwggRB+tQ7GzzLrfW2D4ZQOFhA7YeMUw4kJimAmcZgHLyYMOYAJ5n4CguPoJ0IBv4gCdhvChaMM6smRv4doGgN6NkkW2BUAAJNAfkExtiINIngK9GAcK4UQGmCAN7-FRPfRweZIhwA3hsLQ59MFaA1NQmBfgtx4gFiIxx4NZYpwOFgGWZ9kYY2pAeJoSA5GVlkTqFE4IV7XFPBkTYRjkach4PWVEFirGbD3CcVhCp0pm07kHRugtXYNUCp7VmD41yukiEOHRCFkY1Pnjo5moiNp4HEXgSIyMaxNBxGk5GcYnJEz-ugDsOp7xVMaSOU0gsU4GwYsY8EXTca8GGXCUZcYmgTLxNU2pw4ZlkP3F0Xu8zm4WiEMs+WcZhBrPqGMjQ2zdlNP2QcQ5LiTlN0Yos7QlyX5xnSrc9smzxmTL2QcvWqcS6zI5qcr55yoC-IFHGSqgKNlbNBc88FAN4rQrVp8sq-TcadVRfcngjypl1NeRC0puLYUEqWQMtuJLgUPIxdMqlANEIfNcGcwlVyADszL0U7IpS8nWELsL91VnS75FyBkAA4hUgpFWCjlsVt7AG5Qs2VCKBkAE4lWspVZitVlFjm0vxTq0xm48Sis5riVpAtEXFEHM86cAUobIxNJglGMDtiELxTyxifiHWVmljqZ1ygenqB1FWJytYY0-NRHgu4WsAmTiaEQW1YL4EIC1mgQZqZIiZnhSmvN2BKzBJ1Fmu1ub81QDjKslMxa4ylo1eWr125M3ZsxXWp21yi0luTe2tNlYkrdtravVN-aAXNqHeCMto75biQnTmqd5aC0orna24dT8l0vwaqu3t6761xmJdutte6K3y0Qke6ZfaC1Movbu-B+6BSSpWNWnt96T39sFc+hdI7r0vyIjvL9k796nsVQB7Qi7gMCjNWKHgNa12Qf7QamDnQcyYjMdHTq+Tq752tqrUDmrYAaqduSsFVY26VSrOXb2+G-bOO-XUqjmK430fKkxuOUB2PTM49xly1UCisf2RnLOComNV2dn9V2Scg1Cach3UTdqw7921ZJpj-KCneXU4wfFaB+N1KrGlLjSn5UsbtcZ-ZpmXJcdYQAVUYN+fQtgiARGHgvE8s0ppWQsowe1hQMEQIFgAITccjXh-CEBhe2FIkNwWBSBJ4CIoQznXPuc8953zTATqWQIYNEgaAIsBFURvEreQnMuYxLYXL-mCuOeRhl2rEAPOQG2OkjY2jdEIEcyQ7EhYLDMAAMJXWnNWLOFwrDfjG1YNp1YADEVYs5zYW0N0b433jTdm1darmW2vYjwC1z0h3IBec4fV-LgXVY0ramgNbrNZhgHPMAcylQAC0aFGB4nPLOE7bmICRHNv4LQVZqxoHBwFasEOYfQ6hwLBHcPIfLch7DhHYP0fo9R8j5HmP4fY4J0TxHWPie46hyoUINohgvYgG9kon3vu-e+tiAHthIj+wCPjtHZOkcY-UHz0nPPhfc6W-DnHVYJcQ9F4L3n0uBdC-J6TynOSmN6oKWzoH-BKya-a9APQoptAGiE85DXNXTsc+a+bwHeuNC-CN9YWwFTsQxNYHEwL6CEOhaofLEW2w5Z-NTAww16pukJpjTwA0RptCcnMI7+wuHW5twIxbWqmvgdW4O7bg3Lw488nKsn5jhG7iu-dzeVxrhi7JUk4X3j0Ucr4hLxAWJJ54nvIjgx6OheROp5io3hApfW+BfDi48us4Rvkn0K9Rg9pm9ZoAAp4hOuZArWgRuSJ9SLYIAt8ytJDYP+JI3-BOW3wWeDwJRRNAP4Fo-vBT-5nP08S-iaeCHNVvmB7-g79OyPyfi0d9sMTFsNWFF9l8Ass0J9ftp9Z9WAEB59HUCxWlOtYh4gv4tAA159CokRncXA1sLg7gmsddrcstIAHsN9vct9thr97Vf9t8tBNcrsAs+tsCkln8NBqDb9T8GCSg-NrtmDH8OQ2CdRHN-AUNMVICp8ygYCF8l8F4mCRs0BuDeCmD+t-hpEACMQgCgFE9oAJDoCGBWBHMwAEB19Kx-BN8IF78kCRhEA18v86D1BpYBCdo2CeB-BaCNYCFMBpEhB3Dj979BpODvDWE9CpCDDc1TD5ZzCKDLDCprC8B4AaD-CBYnDWDjAmh-AWoH9P878fCAgWpaCf97Cqdx9J99Dm98w9Ib9yCYFmZYjECPFywbCki78d9BoH8ZZKxkkAgPCFY1w8i-CT8DEgiSi8xQiZ8DCy1IiX5ojajfVwYrDGjrBthEi7Chj0D2iWCujXCAgFNOCBi9xCicjghRiu9K4-A8CCDiCtc0BRD7YI4qsHJC8VNe8iMNg7iK8DxT9xiYCjCEAPiyk8RT82oW4wpC8dNi8g4AS+MSpviyiwjm8-joSMZgSRpQTs5C9LNITvJoSko4SoCETWBKjohAtcTtxUTIJ0SFRC91dsTrZkTJx8TJCJiKiqj-j29xIKTkoC9XInJdN6SikXEmTyjWBc0ySgSjM0SeTeBzZ68u5-icUhSHt4SWTRT11-AFMlS+MpSa9XJOc5SoSR9yTlSCTVSy1xSuTO8k9XI69A4cTNTjSoAfjJj21-BFTHSQScDoAcQIBt4yRjp8D7VCD5ZdcIgBZpiBRZjwY6iYEHCGjfcIE-AlC8sVCWC8AODkiz80ikM2EW9D97CsDszo83Do9E1Li+sTTmTfjjDnTm8IisCsDtZSyY1yzHNKyRS-iFCz8mzE0yyrpAy2ynSVTqyTDhyXSn4uzsjuyBZeynT+yCD2zCT6zpzmz1BWzFyzT21Jz-gZzez1yhzTSYDiSb8xy6z11tzGzdy+z5sByNyjy2TtyezZy5ybyFyDyqyDDjzRzDzxz8ELzuzmz1DtAEtwQpEcl+UU8DStBvJo9-A+cpc5decEK4yuZfT0J-S3MBzrjgdbj28hSLRsCQinxGBgAdteh7Vz5osLABEyKIA1tqQNtHtIsliFtUj-EzDNEoAIlxR5FiYoBlEoBVF1FOKktigqKaKZteh6L3hGKrp-8NBFEotJK6KrpmyeAJ9DASLaLiADEjF5LwQNKtLlKdKuL5KsNNCNDrQHJ5VIK7Ta57jDLSLjKfS-SSpWAsKDscKAg8LyTRpqdNozBDZlL6KVoRAoBfsoBMpaLcQ0KTwML2APtsBBxqL2BrB3YCRnp9BogShbAoBmAmRphZg3oCwCqQq7oorlKYrXLjooBEqnpyI0reg0AMrKhsrcrkqQB2B8rhtZwYBugKRyK18lLdt5sGLSqroBZaKXL0K3LHK994suyprYr4rHLghJFaK1tATqQ8SmgNrVLQLFrlLpq4rZriLgA1qzDZL5tAoq9OK9r5tUQrqrAck9VbKE5rYnq0A+qBqvB7rIEM4qTXqi9Xj5TPrYB+rWJfrgqJqB5uTJMgbbT3qNg-qvqIbyKUaO9AbhN+TkbobrrwafqEAMakorSwogaZMDTvIwbvrIaia8bIFxJSbs4gaXjKaPrxr8aab0b6bJTKTyogaISQag5qa0aoaRrIFEImaFQgasShaqaObIEuaxapKYaP0pagbaS5b2bhtNqCbaaMbSN1beScbCsdaYalbTbNt8aAb+bXJZS7KNgRbCawbHYsbeB9SHbLbdaLawbR83bEaa5cbxbUbnaFabr3wjbeAe82bHaw69byKwbGa3aKbPanbabE6dSHJXreBWbU646fa47Ja3bBaY6vbzbRay78a1a3bZbS606E786KMBs1hRbHMgzM9Ws9cBZRLlBxKTC5KkyBZ4CWKpZJxmL5Y+7Hs-ApFwyajoz5iww1q8BQC5DLIIDTzYDMCoBkyGtAtVCBZPcxK+FqLBFsZlq3LbynS0zXBJFOLuKGZeK-5HMBKhK+LHMNEmhn7kY1tizt6e72BJ65K1LQ0J7j6BFHtVyNAla27Bz36DF58nZ-BysQ7abn7lTNKnLvw1Y1D9KY1zLKhmz8GGxE0iGtCrLvY0pXITb09hAUHegYHsLeApbKGPaka+tGG6GIAGHPLhBy4gA)

for you to play with.

To see representation of the types bring the pointer over the name of the type

or the type expression. In the example there are two universes represented:

`UniverseS1` and `UniverseS2`, by following the Game of Life rules they form a

periodic pattern, `UniverseS2` is the next evolution step of `UniverseS1` and

`UniverseS1` is the next evolution step of `UniverseS2`. You can see the those

two final tests at the end of the file as `type _10001` and `type _10002`.