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.
Similarly, even before dwohnitmok, I can read your Haskell example much faster than the curly example.