Show HN: Conway's Game of Life in TypeScript's type system

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
#TypeScript #JavaScript #Language #Typechecker

Our great sponsors
  • Appwrite - The open-source backend cloud platform
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
Our great sponsors

  • cursed-typescript

    TypeScript's type system is Turing complete - let's abuse that!

  • proposal-type-annotations

    ECMAScript proposal for type syntax that is erased - Stage 1

    this is exactly what I want from the _Types as Comments_ proposal[0] as I think it's the only way that types can feasibly become part of the language. It's hard to imagine how all of the concepts TS introduces via special syntax can be covered otherwise.

    [0] https://tc39.es/proposal-type-annotations

  • Appwrite

    Appwrite - The open-source backend cloud platform. Add Auth, Databases, Functions, and Storage to your product and build any application at any scale while using your preferred coding languages and tools.

  • ts-lambda-calc

    Type-Level Lambda Calculus interpreter with TypeScript

  • TypeScript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts