[exdsq]

Still working on this, but might give someone a laugh :) Problem 1 from Project Euler in TypeScripts Types

https://github.com/iiTzEddyGG/typing-euler/blob/master/src/p...

[chana_masala]

I am highly interested in type programming lately, exactly the kind of thing you're doing here. Do you have any other resources that inspired you? Here are some of my favorites:

https://gist.github.com/hediet/63f4844acf5ac330804801084f87a...

https://github.com/codemix/ts-sql

https://github.com/jamiebuilds/json-parser-in-typescript-ver...

https://gist.github.com/acutmore/9d2ce837f019608f26ff54e0b1c...

[Xavdidtheshadow]

One of my favorites is Josh Goldberg's implementation of Tic-Tac-Toe in the type system:

https://blog.joshuakgoldberg.com/type-system-game-engines/

[exdsq]

I really like Type Driven Development in Idris but that's a little more serious (it's things you can do in production!). But my all time favourite writing ever is https://aphyr.com/posts/342-typing-the-technical-interview