Is this going to be built in a way that lets us adapt it to other VMs? The reliability of software in the JavaScript ecosystem has me a bit worried here, but I guess we could compile plugins written in other languages like Go to asmjs or similar.
As for typescript, it just compiles to us so should just work. Mar 5, 2019, 1:11 PM by [email protected]: > On Tue, Mar 5, 2019, 06:53 Bram Moolenaar <> [email protected] > <mailto:[email protected]>> > wrote: > >> >> Bob Pepin wrote: >> >> > This is to announce the release of an ECMAScript scripting interface for >> Vim. >> > >> > Why? Because it seemed like the right thing to do. >> >> [...] >> >> Interesting. Javascript is a popular language these days, thus I assume >> several users will be interested in this. >> >> I wonder, is this also possible for Typescript? It's like a better >> version of Javascript, and its popularity is growing. >> >> Anyway, I would like to hear whether users would use this. >> > > I definitely plan to check it out. I use JavaScript professionally and used > ActionScript a number of years ago, also, so am definitely interested. > > Salman > >> >> > > > > -- > -- > You received this message from the "vim_use" maillist. > Do not top-post! Type your reply below the text you are replying to. > For more information, visit > http://www.vim.org/maillist.php > <http://www.vim.org/maillist.php> > > --- > You received this message because you are subscribed to the Google Groups > "vim_use" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to > [email protected] > <mailto:[email protected]>> . > For more options, visit > https://groups.google.com/d/optout > <https://groups.google.com/d/optout>> . > -- -- You received this message from the "vim_use" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_use" 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.
