not that i like javascript systems at all but

[Raoul Duke]

Has anybody had the infinite luxury of trying to use Duetoo/Cheerp
with ATS to run it on a JavaScript platform? In theory ends up being
quite performant even vs. Emscripten.

http://www.leaningtech.com/cheerp/

[gmhwxi]

Before moving forward on this, I'd like to know whether
someone could use Cheerp to compile libgc (Boehm-GC).
Without libgc, ATS programs in functional style cannot run for long
before memory is exhausted.

[Raoul Duke]

hi,

If one were to use ATS with linear types etc., to avoid needing a GC at all, then could ATS generate C++ which then goes to Cheerp, and then Cheerp basically ignores any "free" statements and leaves those up to the JavaScript GC instead?

[Hongwei Xi]

But that is a very EXPENSIVE way to write JS code.

On Thu, May 12, 2016 at 1:29 PM, Raoul Duke <rao...@gmail.com> wrote:

hi,

If one were to use ATS with linear types etc., to avoid needing a GC at all, then could ATS generate C++ which then goes to Cheerp, and then Cheerp basically ignores any "free" statements and leaves those up to the JavaScript GC instead?

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAJ7XQb70sr%2BUHaVS0HiXXghtgHMfAQkMyRZjwFkgmAy%2BeyxARw%40mail.gmail.com.

[Raoul Duke]

In what sense do you mean?

[Raoul Duke]

PS, for me it is not only about JS. It is about targeting as many back ends as possible.

[Hongwei Xi]

Manual memory management.

On Thu, May 12, 2016 at 4:44 PM, Raoul Duke <rao...@gmail.com> wrote:

In what sense do you mean?

--

You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAJ7XQb5jyiEM%2BTLAAMQgK7nsWmC%2BLLZNWqyhQVVeQSgLu1447w%40mail.gmail.com.