The struggle with Rust

Re:The struggle with Rust by bpicolo on Tuesday January 24, 2017 @08:28AM (#13471116)

I'm a big fan of hybrid functionals. I think being able to fall back to somewhat imperative code makes sense on occasion. Some things are better expressed in either paradigm, and that's OK.

[ Parent | on HN ]

Re:The struggle with Rust by pka on Tuesday January 24, 2017 @10:15AM (#13471923)

You can do that perfectly fine even in a pure language like Haskell.

[ Parent | on HN ]

Re:The struggle with Rust by omaranto on Tuesday January 24, 2017 @11:01AM (#13472389)

Or maybe Haskell is also a hybrid? I know about the type theoretic accounting tricks used to stay pure, but when I really need unboxed mutable arrays and several tight loops, I just use the ST monad and write code that is psychologically completely imperative. And it compiles to pretty fast executables too, especially using the LLVM backend.

[ Parent | on HN ]

Re:The struggle with Rust by pka on Tuesday January 24, 2017 @11:36AM (#13472836)

Yeah, that's what I meant.

You can't tell from the type signature alone if a pure function uses ST though, so I'd say that counts as pure :)

[ Parent | on HN ]