Rust and the Blub Paradox

Re:Rust and the Blub Paradox by steveklabnik on Saturday January 23, 2016 @12:47PM (#10959153)

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.

[ Parent | on HN ]

Re:Rust and the Blub Paradox by eximius on Saturday January 23, 2016 @10:02PM (#10961272)

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

[ Parent | on HN ]

Re:Rust and the Blub Paradox by steveklabnik on Friday January 29, 2016 @06:16PM (#10999310)

[ Parent | on HN ]