4 ms·
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/mast
by exdsq 5y ago
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/problem0001.ts https://github.com/iiTzEddyGG/typing-euler/blob/master/src/p...
- chana_masala 5y agoI 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/63f4844acf5ac330804801084f87a6d4 https://gist.github.com/hediet/63f4844acf5ac330804801084f87a... https://github.com/codemix/ts-sql https://github.com/codemix/ts-sql https://github.com/jamiebuilds/json-parser-in-typescript-very-bad-idea-please-dont-use/ https://github.com/jamiebuilds/json-parser-in-typescript-ver... https://gist.github.com/acutmore/9d2ce837f019608f26ff54e0b1c23d6e https://gist.github.com/acutmore/9d2ce837f019608f26ff54e0b1c...
- exdsq 5y agoI 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 https://aphyr.com/posts/342-typing-the-technical-interview
- Xavdidtheshadow 5y agoOne of my favorites is Josh Goldberg's implementation of Tic-Tac-Toe in the type system: https://blog.joshuakgoldberg.com/type-system-game-engines/ https://blog.joshuakgoldberg.com/type-system-game-engines/