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–30 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Yannick Duchêne
, …
gmhwxi
5
7/25/18
Q&A
stacst: abstract or not abstract?
'stacst' is used to introduce a name for a constant of a chosen predicative sort. For
unread,
documentation
Q&A
stacst: abstract or not abstract?
'stacst' is used to introduce a name for a constant of a chosen predicative sort. For
7/25/18
Yannick Duchêne
, …
Artyom Shalkhakov
4
7/22/18
Q&A
var … with pf
It may actually stand for three declarations! There is also the implicit declaration of a static
unread,
documentation
Q&A
var … with pf
It may actually stand for three declarations! There is also the implicit declaration of a static
7/22/18
Po-Yu Hsieh
, …
Yannick Duchêne
6
7/8/18
Q&A
Example of "dot notation on non-linear values"
Since 2015-05-16, parentheses are required there, but it was not the case before. May be some
unread,
call-by-value
documentation
example
Q&A
Example of "dot notation on non-linear values"
Since 2015-05-16, parentheses are required there, but it was not the case before. May be some
7/8/18
Yannick Duchêne
,
Hongwei Xi
2
7/7/18
Q&A
Tupz: is it syntactic sugar or more?
At one point, I wanted to give the user a way to introduce special syntax into ATS. I did not really
unread,
documentation
Q&A
Tupz: is it syntactic sugar or more?
At one point, I wanted to give the user a way to introduce special syntax into ATS. I did not really
7/7/18
Yannick Duchêne
,
Hongwei Xi
2
7/5/18
Q&A
extype (witout the dollar sign)
Yes, I think so :) On Thu, Jul 5, 2018 at 1:01 PM, 'Yannick Duchêne' via ats-lang-users <
unread,
documentation
type
Q&A
extype (witout the dollar sign)
Yes, I think so :) On Thu, Jul 5, 2018 at 1:01 PM, 'Yannick Duchêne' via ats-lang-users <
7/5/18
Yannick Duchêne
, …
Hongwei Xi
8
6/29/18
Q&A
Indexed type vs type of functional sort
Le vendredi 29 juin 2018 00:45:51 UTC+2, Yannick Duchêne a écrit : […] Talking about type constructor
unread,
documentation
type
Q&A
Indexed type vs type of functional sort
Le vendredi 29 juin 2018 00:45:51 UTC+2, Yannick Duchêne a écrit : […] Talking about type constructor
6/29/18
gmhwxi
,
Brandon Barker
8
3/10/18
Q&A
ATS-CodeBook
export PATSHOMELOCS=./node_modules:./../node_modules:./../../node_modules:./../../../node_modules On
unread,
documentation
example
Q&A
ATS-CodeBook
export PATSHOMELOCS=./node_modules:./../node_modules:./../../node_modules:./../../../node_modules On
3/10/18
gmhwxi
1/6/18
Q&A
Stream binge
I wrote an article in the Effective-ATS series on streamization and stream-processing in parallel:
unread,
documentation
example
Q&A
Stream binge
I wrote an article in the Effective-ATS series on streamization and stream-processing in parallel:
1/6/18
gmhwxi
12/9/17
Q&A
Divide-and-Conquer in Parallel
I have just written a piece in the Effective-ATS series: http://ats-lang.sourceforge.net/EXAMPLE/
unread,
documentation
example
Q&A
Divide-and-Conquer in Parallel
I have just written a piece in the Effective-ATS series: http://ats-lang.sourceforge.net/EXAMPLE/
12/9/17
gmhwxi
11/12/17
Q&A
How to install ATS library (libatslib.a)
I have been using ATS more and more for non-systems related programming. For convenience and
unread,
build
documentation
Q&A
How to install ATS library (libatslib.a)
I have been using ATS more and more for non-systems related programming. For convenience and
11/12/17
gmhwxi
10/25/17
Q&A
Help needed to format documentation for library functions
Hi, I am working on documenting some of the functions in the library specifically made for the book
unread,
documentation
library
Q&A
Help needed to format documentation for library functions
Hi, I am working on documenting some of the functions in the library specifically made for the book
10/25/17
gmhwxi
,
Raoul Duke
8
12/23/17
Announcement
Crash into ATS
After using the book during Fall, 2017, I tidied up a few things and fixed many typos. Cheers! On
unread,
documentation
example
Announcement
Crash into ATS
After using the book during Fall, 2017, I tidied up a few things and fixed many typos. Cheers! On
12/23/17
gmhwxi
8/1/17
Q&A
Using linear streams to avoid stack overflow
I wrote a paragraph on using linear (lazy) streams to avoid potential stack overflow: http://ats-lang
unread,
documentation
linear-type
stream
Q&A
Using linear streams to avoid stack overflow
I wrote a paragraph on using linear (lazy) streams to avoid potential stack overflow: http://ats-lang
8/1/17
gmhwxi
,
Yannick Duchêne
3
7/26/18
Q&A
Support for [reassume]
Yes, this is intended. In theorem-proving, this is often referred to as selected use of definitions.
unread,
documentation
example
Q&A
Support for [reassume]
Yes, this is intended. In theorem-proving, this is often referred to as selected use of definitions.
7/26/18
gmhwxi
2/23/17
Q&A
Effective-ATS article on building a simple package
Here is the link: http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/DivideConquer/index.html In
unread,
documentation
example
Q&A
Effective-ATS article on building a simple package
Here is the link: http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/DivideConquer/index.html In
2/23/17
gmhwxi
2/11/17
Q&A
Parallelization via fractional continuation
I recently implemented a package for supporting generic divide-and-conquer: https://github.com/
unread,
documentation
Q&A
Parallelization via fractional continuation
I recently implemented a package for supporting generic divide-and-conquer: https://github.com/
2/11/17
gmhwxi
1/28/17
Q&A
Effective ATS: Let's start with package-based programming
I wrote a short article on programming with packages in ATS: http://ats-lang.sourceforge.net/EXAMPLE/
unread,
documentation
package
Q&A
Effective ATS: Let's start with package-based programming
I wrote a short article on programming with packages in ATS: http://ats-lang.sourceforge.net/EXAMPLE/
1/28/17
Steinway Wu
,
Yannick Duchêne
3
12/1/16
Q&A
ATS Tutorials
I guess substituting HTTP for HTTPS in the tutorial URL may solve the issue. Le vendredi 5 août 2016
unread,
contribute
documentation
Q&A
ATS Tutorials
I guess substituting HTTP for HTTPS in the tutorial URL may solve the issue. Le vendredi 5 août 2016
12/1/16
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
7/23/16
Q&A
gprint
Gprint in ATS kind of means 'generic print'. However it does not have to do with print.
unread,
documentation
example
Q&A
gprint
Gprint in ATS kind of means 'generic print'. However it does not have to do with print.
7/23/16
Steinway Wu
,
gmhwxi
2
7/21/16
Q&A
StackOverflow Documentation Beta
This looks like a very good ecosystem. Yes, we should definitely try hard to get in. Please click. On
unread,
contribute
documentation
Q&A
StackOverflow Documentation Beta
This looks like a very good ecosystem. Yes, we should definitely try hard to get in. Please click. On
7/21/16
gmhwxi
, …
Martin DeMello
4
7/12/16
Q&A
Effective ATS: linear streams for memory-clean programs
Here is a backup site: http://ats-lang.github.io/EXAMPLE/EFFECTIVATS/ On Tuesday, July 12, 2016 at 7:
unread,
documentation
linear-closure
linear-type
Q&A
Effective ATS: linear streams for memory-clean programs
Here is a backup site: http://ats-lang.github.io/EXAMPLE/EFFECTIVATS/ On Tuesday, July 12, 2016 at 7:
7/12/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
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
anonymous anonymous
,
Hongwei Xi
2
2/11/16
Q&A
Is it possible to change some wording on the site?
Fixed. Thank you! On Thu, Feb 11, 2016 at 5:06 AM, anonymous anonymous <4get...@gmail.com>
unread,
documentation
Q&A
Is it possible to change some wording on the site?
Fixed. Thank you! On Thu, Feb 11, 2016 at 5:06 AM, anonymous anonymous <4get...@gmail.com>
2/11/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
gmhwxi
1/1/16
Q&A
Stack-allocated closures
I added a chapter on stack-allocated closures in the ATS-Tutorial book. It is currently Chapter 27:
unread,
documentation
tutorial
Q&A
Stack-allocated closures
I added a chapter on stack-allocated closures in the ATS-Tutorial book. It is currently Chapter 27:
1/1/16
gmhwxi
,
Kiwamu Okabe
3
1/4/16
Q&A
A section on linear strings
Thanks! Fixed. On Mon, Jan 4, 2016 at 7:25 AM, Kiwamu Okabe <kiw...@debian.or.jp> wrote: On Fri
unread,
documentation
Q&A
A section on linear strings
Thanks! Fixed. On Mon, Jan 4, 2016 at 7:25 AM, Kiwamu Okabe <kiw...@debian.or.jp> wrote: On Fri
1/4/16
Mike Jones
, …
gmhwxi
33
1/1/16
Q&A
GC of closures
Here is the code making use of unsafe casting: // // HX-2015-12-31: // this one need a cast: // fun{}
unread,
documentation
Q&A
GC of closures
Here is the code making use of unsafe casting: // // HX-2015-12-31: // this one need a cast: // fun{}
1/1/16
Yannick Duchêne
, …
Hongwei Xi
5
12/27/15
Q&A
Staload and namespace which is a single underscore (“_”)
No difference besides being anonymous. On Sun, Dec 27, 2015 at 3:31 PM, Barry Schwartz <
unread,
documentation
Q&A
Staload and namespace which is a single underscore (“_”)
No difference besides being anonymous. On Sun, Dec 27, 2015 at 3:31 PM, Barry Schwartz <
12/27/15