A list is a monad, but not because it wraps another type. What you're describing is higher kinded types. A monad is a specific variant of a higher kinded type whose primary property lies in the fact that its value can…
Simple != idiomatic. It's perfectly idiomatic to `Arc<Mutex<Box>>` in Rust, and it is more complex because it deals with more concerns than a simple reference, namely being thread-safe. Sometimes you need that,…
I have a feeling that most of the clarity you find in your example comes from better use of whitespace. Consider: pub fn read<P>(path: P) -> io::Result<Vec<u8>> where P: AsRef<Path>, { fn inner(path: &Path) ->…
The lossy vs lossless distinction loses its meaning in the absence of provenance. You can compress a bitmap into a .jpg q=1, and then save it as a .png. The .png is technically lossless, but that clearly doesn't tell…
Speaking from the experience of building small web apps for personal use, trying to follow semantic HTML in good faith has been nothing but a source of frustration. The rules are clearly molded around static, primarily…
I'm sure the visually impaired users appreciate that a lot. "Show, don't tell" is good advice for creative writing, which this website isn't. As a potential customer, it shouldn't be my job to cut through the marketing…
I have used Linear on a couple of my hobby projects and it's a great tool to quickly capture features and bugs. My one gripe about the new website (and it's something I notice many projects stumble at) is that the…
A list is a monad, but not because it wraps another type. What you're describing is higher kinded types. A monad is a specific variant of a higher kinded type whose primary property lies in the fact that its value can…
Simple != idiomatic. It's perfectly idiomatic to `Arc<Mutex<Box>>` in Rust, and it is more complex because it deals with more concerns than a simple reference, namely being thread-safe. Sometimes you need that,…
I have a feeling that most of the clarity you find in your example comes from better use of whitespace. Consider: pub fn read<P>(path: P) -> io::Result<Vec<u8>> where P: AsRef<Path>, { fn inner(path: &Path) ->…
The lossy vs lossless distinction loses its meaning in the absence of provenance. You can compress a bitmap into a .jpg q=1, and then save it as a .png. The .png is technically lossless, but that clearly doesn't tell…
Speaking from the experience of building small web apps for personal use, trying to follow semantic HTML in good faith has been nothing but a source of frustration. The rules are clearly molded around static, primarily…
I'm sure the visually impaired users appreciate that a lot. "Show, don't tell" is good advice for creative writing, which this website isn't. As a potential customer, it shouldn't be my job to cut through the marketing…
I have used Linear on a couple of my hobby projects and it's a great tool to quickly capture features and bugs. My one gripe about the new website (and it's something I notice many projects stumble at) is that the…