[steveklabnik]

Fun Trivia Fact: Rust's type system was[1] Turing complete. So you could actually have monads. You just wouldn't want to.

1: The program that proved this no longer compiles, so we're not sure if the type system is or is not at the moment.

[eximius]

I would love to see this program. Maybe even spend some time trying to get it to compile.

[steveklabnik]

https://www.reddit.com/r/rust/comments/2o6yp8/brainfck_in_ru... was one of them