3 ms·

That's a lovely ideal, but could you write some pseudocode for this particular problem in such a language?

• gchamonlive 6y ago
  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.
  • creata 6y ago
    > 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.
    • gchamonlive 6y ago
      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.