>>What is the final vision for XATSCL0? Will it be compiled into c? Or
directly into native code (via custom backend, or llvm/similar)?
XATSCL0 should most likely be a subset of C.
To get into native code, one needs to remove function calls of C-style in
XATSCL0.
>>What is the effect on compilation speed of having (at least) two full
intermediate languages?
Right now, it is not a big concern as xatsopt does not do time-consuming
optimizations. I suspect that
more time is likely spent on the phase of compiling XATSCL0 to native code.
>>JS doesn't have integers. So how will code that uses integers be
compiled? Is code compiled to js is limited to 32-bit integers, since they
can fit into the range of a double?
When compiled to JS, the int type in ATS is interpreted by some JS
functions in a small library dabbed 'runtime'.
For instance, integer division is given the following implementation:
function
XATS2JS_gint_div_sint_sint
(x1, x2)
{
//
let q0 = x1 / x2;
//
if
(q0 >= 0)
{
return Math.floor(q0);
}
else
{
return Math.ceil( q0 );
}
}
On Sun, Nov 22, 2020 at 6:31 PM Elronnd _ <elro...@elronnd.net> wrote:
> On Sun, 22 Nov 2020, gmhwxi
> wrote:
>
>
>
> > As of today, I am pleased to announce that ATS3 has reached a stage
> where it can be realistically used in software construction. This is
> achieved after slightly more than two and one-half years of continual
> development by yours truly
> :)
>
>
>
> Great to
> hear!
>
>
>
>
>
> > Xatsopt is a functioning compiler implemented in ATS2 for translating
> ATS3 into a typed intermediate language of the name XATSCML, which is both
> C-like and ML-like. It is planned for xatsopt to further translate XATSCML
> into XATSCL0, a low-level C-like
> language.
>
>
>
> What is the final vision for XATSCL0? Will it be compiled into c? Or
> directly into native code (via custom backend, or
> llvm/similar)?
>
>
>
> What is the effect on compilation speed of having (at least) two full
> intermediate
> languages?
>
>
>
>
>
> > Xats2js is a functioning compiler implemented in ATS2 for translating
> XATSCML into
> JavaScript
>
>
>
> JS doesn't have integers. So how will code that uses integers be
> compiled? Is code compiled to js is limited to 32-bit integers, since they
> can fit into the range of a
> double?
>
>
>
> -E
>
>
> --
> 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-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/ca34ad8d-77db-4e91-b548-400c3111c8c9n%40googlegroups.com
> <https://groups.google.com/d/msgid/ats-lang-users/ca34ad8d-77db-4e91-b548-400c3111c8c9n%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
--
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-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq6bS2tuU-WF3-TBjen36hfydPZ-4HHu%2BMfiZMeukRQDw%40mail.gmail.com.
