Groups
Sign in
Groups
ats-lang-users
Conversations
Labels
API
ATS3
AVR
Clojure
Erlang
IDE
JVM
JavaScript
PHP
Perl
Python
Scheme
arduino
atsccomp
build
call-by-reference
call-by-value
closure
constraint
contribute
datatype
dependent-type
documentation
effect
emacs
example
general
high-order
install
library
license
linear-closure
linear-type
macro
package
polymorphism
portability
proof
refinement
session
stack-allocation
stream
syntax
tail-recursion
template
termination
theorem-proving
tutorial
type
type-error
About
Send feedback
Help
ats-lang-users
Contact owners and managers
1–21 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
gmhwxi
, …
Kiwamu Okabe
16
10/21/18
Q&A
ATS3: syntax
On Mon, Oct 22, 2018 at 11:59 AM Hongwei Xi <gmh...@gmail.com> wrote: > It is all explained
unread,
ATS3
syntax
Q&A
ATS3: syntax
On Mon, Oct 22, 2018 at 11:59 AM Hongwei Xi <gmh...@gmail.com> wrote: > It is all explained
10/21/18
gmhwxi
, …
Artyom Shalkhakov
4
10/11/18
Q&A
ATS3: Parsing
>>Do you write program using Smart phone? Very rarely. I do read code on a phone, sometimes. On
unread,
ATS3
syntax
Q&A
ATS3: Parsing
>>Do you write program using Smart phone? Very rarely. I do read code on a phone, sometimes. On
10/11/18
Yannick Duchêne
,
Hongwei Xi
3
6/23/18
Q&A
Patterns and integer/float literals
Le dimanche 24 juin 2018 01:34:53 UTC+2, gmhwxi a écrit : Intrep allows you to use negative integers
unread,
syntax
Q&A
Patterns and integer/float literals
Le dimanche 24 juin 2018 01:34:53 UTC+2, gmhwxi a écrit : Intrep allows you to use negative integers
6/23/18
Yannick Duchêne
,
Hongwei Xi
3
6/21/18
Q&A
What is a pattern for a when‑guard?
Oh, thanks :;) . I missed it because it's not in my local installation. I have an ats/doc
unread,
syntax
Q&A
What is a pattern for a when‑guard?
Oh, thanks :;) . I missed it because it's not in my local installation. I have an ats/doc
6/21/18
Yannick Duchêne
,
Artyom Shalkhakov
3
6/19/18
Q&A
User defined functions like print! ?
Additional thanks for the mention of the ATS-Postiats-test repository I did not knew, it will be
unread,
syntax
Q&A
User defined functions like print! ?
Additional thanks for the mention of the ATS-Postiats-test repository I did not knew, it will be
6/19/18
Yannick Duchêne
,
Hongwei Xi
2
6/13/18
Q&A
Syntax of records and arrays
>>@{0=int, a=char} This may look unorthodox, but it is supported. A label in ATS2 can be either
unread,
syntax
Q&A
Syntax of records and arrays
>>@{0=int, a=char} This may look unorthodox, but it is supported. A label in ATS2 can be either
6/13/18
theindi...@gmail.com
, …
gmhwxi
4
3/7/18
Q&A
Grammar for ATS2?
Thanks for your effort! Please don't wait for ATS3, which is just a dream as of now :) On
unread,
emacs
syntax
Q&A
Grammar for ATS2?
Thanks for your effort! Please don't wait for ATS3, which is just a dream as of now :) On
3/7/18
August Alm
,
gmhwxi
6
2/5/17
Q&A
Syntactic use of curly braces
WOW! Now I have to figure out how to seriously prove my loyalty and contribute to the ATS community.
unread,
syntax
Q&A
Syntactic use of curly braces
WOW! Now I have to figure out how to seriously prove my loyalty and contribute to the ATS community.
2/5/17
gmhwxi
,
Steinway Wu
2
8/1/16
Q&A
Pats2xhtmlization as a service
Neat! On Monday, July 25, 2016 at 12:58:55 PM UTC-4, gmhwxi wrote: I am thinking about building some
unread,
documentation
syntax
Q&A
Pats2xhtmlization as a service
Neat! On Monday, July 25, 2016 at 12:58:55 PM UTC-4, gmhwxi wrote: I am thinking about building some
8/1/16
gmhwxi
3
7/27/16
Q&A
One-liner solution to the N-queens puzzle
I added this "showcase" example to the ats-lang homepage: http://www.ats-lang.org/ You can
unread,
example
high-order
syntax
Q&A
One-liner solution to the N-queens puzzle
I added this "showcase" example to the ats-lang homepage: http://www.ats-lang.org/ You can
7/27/16
gmhwxi
,
Steinway Wu
4
7/4/17
Q&A
Declaring a static constant with an external name
I put up a PR for your consideration. https://github.com/githwxi/ATS-Postiats/pull/170 On Tuesday,
unread,
constraint
documentation
syntax
Q&A
Declaring a static constant with an external name
I put up a PR for your consideration. https://github.com/githwxi/ATS-Postiats/pull/170 On Tuesday,
7/4/17
Artyom Shalkhakov
, …
Zhiqiang Ren
11
8/17/16
Q&A
Lexical format for floating-point constants
Great. Looking forward to using it. On Tuesday, August 16, 2016 at 1:15:51 AM UTC-4, gmhwxi wrote:
unread,
syntax
Q&A
Lexical format for floating-point constants
Great. Looking forward to using it. On Tuesday, August 16, 2016 at 1:15:51 AM UTC-4, gmhwxi wrote:
8/17/16
Kiwamu Okabe
,
Hongwei Xi
30
7/10/16
Real-time OS system state captured by ATS language (and questions)
Great! Posted as a news piece at http://www.ats-lang.org/Community.html ---------- Forwarded message
unread,
constraint
syntax
type
Real-time OS system state captured by ATS language (and questions)
Great! Posted as a news piece at http://www.ats-lang.org/Community.html ---------- Forwarded message
7/10/16
gmhwxi
,
Steinway Wu
3
5/23/16
Q&A
ifcase-expressions
This is cool! On Sunday, May 22, 2016 at 12:24:21 AM UTC-4, gmhwxi wrote: ATS2 now supports ifcase-
unread,
example
syntax
Q&A
ifcase-expressions
This is cool! On Sunday, May 22, 2016 at 12:24:21 AM UTC-4, gmhwxi wrote: ATS2 now supports ifcase-
5/23/16
gmhwxi
2
5/22/16
Q&A
state type annotation
I forgot that the new trend should be using glot.io :) https://glot.io/snippets/eex5kpwvqd On
unread,
example
syntax
Q&A
state type annotation
I forgot that the new trend should be using glot.io :) https://glot.io/snippets/eex5kpwvqd On
5/22/16
gmhwxi
,
Kiwamu Okabe
15
5/7/16
Q&A
Syntax-hilighting for ATS code in docbook
On Sat, May 7, 2016 at 10:31 PM, Hongwei Xi <gmh...@gmail.com> wrote: > Please take a look
unread,
documentation
syntax
Q&A
Syntax-hilighting for ATS code in docbook
On Sat, May 7, 2016 at 10:31 PM, Hongwei Xi <gmh...@gmail.com> wrote: > Please take a look
5/7/16
Artyom Shalkhakov
,
gmhwxi
10
1/18/16
Q&A
Line pragmas in ATS2 source
This style of #pragma is now supported. It should be going into the next release of ATS2. On Monday,
unread,
documentation
example
syntax
Q&A
Line pragmas in ATS2 source
This style of #pragma is now supported. It should be going into the next release of ATS2. On Monday,
1/18/16
Yannick Duchêne
,
Hongwei Xi
5
12/22/15
Q&A
Recursion inside well founded dataprops: any implicite termination metrics?
Le mardi 22 décembre 2015 22:14:34 UTC+1, gmhwxi a écrit : ATS is not a formal theorem-proving system
unread,
constraint
syntax
Q&A
Recursion inside well founded dataprops: any implicite termination metrics?
Le mardi 22 décembre 2015 22:14:34 UTC+1, gmhwxi a écrit : ATS is not a formal theorem-proving system
12/22/15
Yannick Duchêne
,
gmhwxi
6
12/12/15
Q&A
`dataprop`: is requiring multiple premisses instead of a single one possible?
I would suggest that you declare DATA as an abstract prop. Instead of introducing constructors like
unread,
example
proof
syntax
Q&A
`dataprop`: is requiring multiple premisses instead of a single one possible?
I would suggest that you declare DATA as an abstract prop. Instead of introducing constructors like
12/12/15
Yannick Duchêne
,
Hongwei Xi
2
12/11/15
Q&A
`showtype` vs `$showtype`
See the end of the file: https://github.com/githwxi/ATS-Postiats/blob/master/prelude/macrodef.sats
unread,
syntax
Q&A
`showtype` vs `$showtype`
See the end of the file: https://github.com/githwxi/ATS-Postiats/blob/master/prelude/macrodef.sats
12/11/15
Yannick Duchêne
,
gmhwxi
3
12/1/15
Q&A
Escaped character in single quoted string
Yes, '(, '[, and '{ are special tokens. '(...) for a boxed tuple while @(...) for a
unread,
syntax
Q&A
Escaped character in single quoted string
Yes, '(, '[, and '{ are special tokens. '(...) for a boxed tuple while @(...) for a
12/1/15