blob: c5c4eaaf2c9ef3ab7693d4cb0d41d2e83423e582 (
plain)
1
2
3
4
5
6
|
I've done something terrible.
You can [solve the N-Queens problem in Haskell with type-level programming](https://aphyr.com/posts/342-typing-the-technical-interview).
And [Rust's type system allows for type-level programming](https://sdleffler.github.io/RustTypeSystemTuringComplete/).
So what if you solved the N-Queens problem in Rust with type-level programming?
|