Re:Performance Showdown: Rust vs Javascript (2020)
by gchamonlive on Friday February 12, 2021 @08:48AM
(#26113573)
That is beside the point. I could produce something in Haskell, but the "magic" would all done in the compiler, so in the context of my original comment I see no reason why I should.
[ Parent
| on HN ]
Re:Performance Showdown: Rust vs Javascript (2020)
by creata on Friday February 12, 2021 @08:59AM
(#26113674)
> At code level, you should be able to describe your problem in lots of details, use identities to simplify your logic, but leave the optimizations to the compiler.
1. As far as I'm aware, Haskell isn't able to do any of that at the code level. I'm interested in what a language that is able to do that would look like.
2. I'm curious as to what you consider an "optimization" to be left to the compiler, and what you consider part of the "problem". For example, does the compiler decide which implementation of a set to use?
3. I'm also wondering what you mean by "proving correctness." If you're alluding to formal verification, then that is notoriously hard to scale, which conflicts with the stated goal of making optimization easier to scale.
Some pseudocode would shed light on all these questions.
Re:Performance Showdown: Rust vs Javascript (2020)
by gchamonlive on Friday February 12, 2021 @09:15AM
(#26113827)
I guess I have to admit I punched above my pay grade. Because I can't think of a pseudocode that would shed light to those questions.