News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by yakubin on Thursday August 12, 2021 @05:47AM (#28154158)
I don't spend much time with Haskell, only sometimes I'll read a blog post using it. But still, to me it's one of the most readable languages out there. Day-to-day I work with C++ and Rust and I'm really annoyed with the amount of irrelevant punctuation they force on the programmer. I look at the code, and instead of seeing what it expresses, first I need to peel off the noise, curly braces, colons in weird places, commas, just noise. Scheme and, to a greater extent, SML are really good here.

Similarly, even before dwohnitmok, I can read your Haskell example much faster than the curly example.

There are no comments on this comment yet.