ats-lang-users

I wrote about them a little: http://blog.vmchale.com/article/ats-templates (more code https://github.

Though, this should compile correctly, val unit = unit() val tuple = (1, unit) implement main0() = ()

Le samedi 4 août 2018 16:43:28 UTC+2, gmhwxi a écrit : Here is what I have in mind at this moment:

Le dimanche 29 juillet 2018 23:55:29 UTC+2, gmhwxi a écrit : Currently, the type 't?' is

Yes, I think so :) On Thu, Jul 5, 2018 at 1:01 PM, 'Yannick Duchêne' via ats-lang-users <

Le vendredi 29 juin 2018 00:45:51 UTC+2, Yannick Duchêne a écrit : […] Talking about type constructor

Le mardi 26 juin 2018 14:52:28 UTC+2, gmhwxi a écrit : This is a confusing part of ATS. When (a :=: b

>>For int-to-string, >>please see the function iota in libats/ML/SAT/string.sats. The

Thanks! That solves that. Arets Paeglis about.me/mindbound On Wed, Oct 19, 2016 at 6:22 AM, gmhwxi

Great! Posted as a news piece at http://www.ats-lang.org/Community.html ---------- Forwarded message

Le vendredi 29 juin 2018 16:33:13 UTC+2, Yannick Duchêne a écrit : * Only the predicative sorts have

Absolutely. When using {e} t(i), you can think of it as a function: {e} () -> t(i). On Thu, Jun 21

>>A variable of a default sort, Professor? A variable of a sort that can only be determined

Le vendredi 6 février 2015 02:27:27 UTC+1, gmhwxi a écrit : This one? https://github.com/githwxi/ATS-

That version is compiling to JavaScript so that the code can run in the browser. Here is the version

Yes, it is still supported. It is the keyword for initiating a style of type annotation that was used

So far, there is no significant work in ATS on handling integer arithmetic overflow. Here is a

Overloading is resolved without using any type indices. Otherwise, it would be too complex. On Thu,

I did get a coroutine style of implementation working for the MNK-game: https://github.com/githwxi/

Yes, toplevel linear resources are not tracked. On Tuesday, May 19, 2015 at 7:01:22 PM UTC-4, Yannick