On Saturday, 14 January 2017 12:40:53 UTC+7, Richard Feldman wrote: > > Keep in mind that code is the easy part > <https://www.youtube.com/watch?v=DSjbTC-hvqQ>; the major thing standing > between Elm and a different compilation target than JavaScript is 1-2 years > of design work to figure out a quality user experience. >
Yes, Richard, I agree with you (and Evan) that "code is the easy part". I don't want a different compilation target other than JavaScript, although eventually asm.js and wasm will likely be a requirement; I just want the current Elm compiler to produce as fast JS as possible. That's why it seemed to me that a re-write of the current code generator to consider types (it seems available from the AST) to produce more efficient JS would be just drop in code that would not affect anything else. > I'm wondering why the Elm compiler is so slow at parsing if that is where >> the slow-down is >> > > Evan recently rewrote the parser to be much faster. > > You can try a preview binary > <https://groups.google.com/forum/#!searchin/elm-dev/parser%7Csort:relevance/elm-dev/c_BDwK5UXFs/zP9aRkMeEQAJ> > > of the new version if you're curious. :) > I saw that over on elm-dev, but haven't tried it because compilation speed isn't a problem for the Elm code I have written so far. The only reason I brought it up is OvermindDL1's comment <https://groups.google.com/d/msg/elm-discuss/Um7WIBTq9xU/JpNNGv1JAgAJ> that compiling a Ocaml/BucketScript code (that presumably did the same thing as the Elm code) took about 0.1 seconds as compared to 40 seconds with the Elm compiler - a 400 times speed-up! We weren't given details of the code or test conditions and whether one was an incremental compilation, but that sounds quite serious and would affect the usability of Elm. If that data is verifiable, a speed up of double or even quadruple doesn't begin to touch the difference and should be investigated. -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
