Interesting; I had not seen JSweet before. The javac -> TypeScript -> JS approach is surprisingly parallel (albeit with different selections) to J2CL's ecj -> closure -> JS.
- Stephen On Wed, May 18, 2016 at 8:50 AM Jens <[email protected]> wrote: > Given that Elemental 2 is developed behind closed doors, I would guess it > can take TypeScript definition files and/or some IDL input to generate JS > APIs for GWT / J2CL. That should cover nearly all Web APIs. > IMHO TypeScript definition files would be preferred because there are tons > of them on https://github.com/DefinitelyTyped/DefinitelyTyped for all > kinds of JS libraries and Web APIs. It also has a definition for the Fetch > API: > https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/whatwg-fetch > > > It would be a shame if Elemental 2 would not understand them to generate > APIs. These files are basically what JSweet uses to generate their Candies ( > http://www.jsweet.org/candies-releases/). But even if Elemental 2 only > takes IDL input or html5index.org as input it should cover all standard > web APIs. > > -- J. > > -- > You received this message because you are subscribed to the Google Groups > "GWT Contributors" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/google-web-toolkit-contributors/c72a2088-bc6a-4836-9312-518ec56507cd%40googlegroups.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/c72a2088-bc6a-4836-9312-518ec56507cd%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CANnRKuUsocdMoAJMzhfG2pG%3Du9b1MztdVeU3YwJnwSoRARtQOw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
