News for hackers. Stuff that matters.
Re:Correctness and composability bugs in the Julia ecosystem by nickm12 on Tuesday May 17, 2022 @03:51AM (#31407264)
There are non-subjective arguments. See EWD831: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/E...
Re:Correctness and composability bugs in the Julia ecosystem by ModernMech on Tuesday May 17, 2022 @09:20AM (#31410132)
I referenced that one in my post. It hinges on a concept of “ugliness” which as I said can mean anything to anyone. It also presumes that this argument based on ugliness is the only one; even if we take his entire argument at face value, that the method he proposes is more “beautiful” than the rest and we agree on what that means, we still can’t say it’s the preferred methods in situations where beauty or ugliness of code doesn’t matter, because Dijkstra doesn’t even acknowledge they exist.