I wrote a Flappy Bird game in TypeScript's type system