Bucklescript's codegen looks really nice. Does it have any convenient way of working with the DOM and generating HTML/SVG? I looked through the docs and it seemed focused on writing javascript libraries rather than UI code.
martin On Sat, Dec 31, 2016 at 8:09 AM, Bob Zhang <bobzhang1...@gmail.com> wrote: > For the JS backend, `int` is always int32, we have int64 too which is > simulated by using two `int`. in OCaml float is always double which is > exactly the same as js number. > The cool thing is that OCaml already has a very optimized native backend, > and its type system is much more expressive (on par with Haskell) > > > On Saturday, December 31, 2016 at 8:35:28 AM UTC-5, GordonBGood wrote: >> >> On Saturday, 31 December 2016 11:44:10 UTC+7, Bob Zhang wrote: >>> >>> >>> Just for fun, I pasted the same code under BuckleScript playground: >>> >>> https://bloomberg.github.io/bucklescript/js-demo/?gist=efaf5 >>> 7aef9b37a38785681ded0ba35a9 >>> >>> The generated code is below >>> >>> ```js >>> function testProg(n) { >>> var lmt = Pervasives.min(n + 100000000 | 0, 1000000000); >>> var _i = n; >>> while(true) { >>> var i = _i; >>> if (i >= lmt) { >>> return i; >>> } >>> else { >>> _i = i + 1 | 0; >>> continue ; >>> >>> } >>> }; >>> } >>> ``` >>> Note that BuckleScript compiler is able to do type specialization for >>> generic comparison, also it heavily optimized curried calling convention >>> >> >> That's interesting; Ocaml is quite a good syntax; this main thing I have >> found wrong with it in the past is how few primitive types it has, as int >> Int is 32 bits on 32-bit platforms and 64-bits on 64-bit platforms; >> actually less then these as there are tag bits. Going by the try site, >> this is still true true; this might not affect it's use for BockleScript so >> much as most things are going to get converted to JavaScript Number's >> anyway, but one might be forced to use floating types more often then >> really required and there still is no way to represent primitive unboxed >> 32/64 bit integers natively. >> >> On Monday, December 26, 2016 at 12:44:49 PM UTC-5, GordonBGood wrote: >>>> >>>> *Synopsis:* Some, including Evan, maintain that Elm can be "faster >>>> than JavaScipt". While that may be true for some use cases including use >>>> of perhaps more efficient UI updates due to compartmentalized use of >>>> VirtualDOM, the actaul Javascript code generated by the compiler is not >>>> very efficient for many/most tight code cases. The reason is often >>>> unnecessary nested function calls that could easily be eliminated by making >>>> full use of the type information that the Elm compiler has. >>>> >>>> Part I >>>> >>>> *An example;* The following tight loop doesn't really do anything, so >>>> should therefore compile into the very tightest of code (and I'm not >>>> expecting the Elm compiler to recognize that the result is actually known >>>> at compile time): >>>> >>>> range : Int >>>> range = 1000000000 >>>> >>>> testProg : Int -> Int >>>> testProg n = -- do some work >>>> let lmt = min (n + 100000000) range in >>>> let loop i = >>>> if i >= lmt then i else >>>> loop (i + 1) in loop n >>>> >>>> which compiles to the following JavaScript: >>>> >>>> var _user$project$Temp1482759649866537$range = 1000000000; >>>> var _user$project$Temp1482759649866537$testProg = function (n) { >>>> var lmt = A2(_elm_lang$core$Basics$min, n + 10000000000, >>>> _user$project$Temp1482759649866537$range); >>>> var loop = function (i) { >>>> loop: >>>> while (true) { >>>> if (_elm_lang$core$Native_Utils.cmp(i, lmt) > -1) { >>>> return i; >>>> } else { >>>> var _v0 = i + 1; >>>> i = _v0; >>>> continue loop; >>>> } >>>> } >>>> }; >>>> return loop(n); >>>> }; >>>> >>> -- > 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 elm-discuss+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- 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 elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
