News for hackers. Stuff that matters.
Re: Haskell is our first choice for building production soft... by jhayward on Tuesday January 12, 2021 @10:06AM (#25747808)
I haven't been back to rust since, so I don't have the specifics. But it was clear to me that this was not a helpful way to program.

It was also crystal clear that, like C++, Rust puts many barriers to true abstraction. You have to know many, many details of how a specific type is implemented, sometimes several levels deep, to correctly use it at a high level. The cognitive overhead is enormous.

Re: Haskell is our first choice for building production soft... by Rusky on Tuesday January 12, 2021 @11:50AM (#25749516)
In Rust's target domain(s), those details often turn out to be quite relevant.

Hiding them basically amounts to targeting a different domain. This is very different from being irrelevant and noisy.