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
rodol
, …
Richard
3
12/11/19
Q&A
Unit and Void types in ATS3
Though, this should compile correctly, val unit = unit() val tuple = (1, unit) implement main0() = ()
unread,
ATS3
example
type
Q&A
Unit and Void types in ATS3
Though, this should compile correctly, val unit = unit() val tuple = (1, unit) implement main0() = ()
12/11/19
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
Max Hayden Chiz
,
gmhwxi
16
1/13/18
Q&A
How to do type-safe printf and GADT in ATS?
On Saturday, January 13, 2018 at 1:19:54 PM UTC-6, gmhwxi wrote: Since PrintfType can't be an ATS
unread,
dependent-type
example
Q&A
How to do type-safe printf and GADT in ATS?
On Saturday, January 13, 2018 at 1:19:54 PM UTC-6, gmhwxi wrote: Since PrintfType can't be an ATS
1/13/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
,
Raoul Duke
4
11/23/17
Q&A
ATS + ReactJS
I did manage to run some JS code generated from ATS in a React-native project (for printing out
unread,
example
Q&A
ATS + ReactJS
I did manage to run some JS code generated from ATS in a React-native project (for printing out
11/23/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
spearman
, …
August Alm
4
3/2/17
Q&A
Compiling timer.dats example
This works for me: $ patscc -O2 -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -latslib -lrt -o timer timer.dats
unread,
example
Q&A
Compiling timer.dats example
This works for me: $ patscc -O2 -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -latslib -lrt -o timer timer.dats
3/2/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
12/26/16
Q&A
Using templates in ATS to build webpages
These days I have been using ATS to build webpages. I find that the so-called embeddable templates in
unread,
example
template
Q&A
Using templates in ATS to build webpages
These days I have been using ATS to build webpages. I find that the so-called embeddable templates in
12/26/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
6
7/14/16
Q&A
A demo of memorizing functions in ATS
Memoization is a very interesting topic. Here is an example involving the handling of a recursively
unread,
example
template
Q&A
A demo of memorizing functions in ATS
Memoization is a very interesting topic. Here is an example involving the handling of a recursively
7/14/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
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
, …
anonymous anonymous
11
2/11/16
Q&A
Imperative vs. functional vs. linear functional
I am glad you think that way. I also hope you have ATS in your preferences. On Wednesday, February 10
unread,
dependent-type
example
linear-type
Q&A
Imperative vs. functional vs. linear functional
I am glad you think that way. I also hope you have ATS in your preferences. On Wednesday, February 10
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
Yannick Duchêne
3
12/22/15
Q&A
Dataprop: indexes vs constraint parameters
Le mardi 22 décembre 2015 16:08:38 UTC+1, Yannick Duchêne a écrit : I personally will ban the style
unread,
constraint
example
tutorial
Q&A
Dataprop: indexes vs constraint parameters
Le mardi 22 décembre 2015 16:08:38 UTC+1, Yannick Duchêne a écrit : I personally will ban the style
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
He-chien Tsai
, …
Yannick Duchêne
19
7/24/18
Q&A
ATS may need a keywords-indexed reference
Le mardi 24 juillet 2018 04:41:03 UTC+2, Vanessa McHale a écrit : Neat! I've resigned to the fact
unread,
documentation
example
tutorial
Q&A
ATS may need a keywords-indexed reference
Le mardi 24 juillet 2018 04:41:03 UTC+2, Vanessa McHale a écrit : Neat! I've resigned to the fact
7/24/18
gmhwxi
, …
Yannick Duchêne
14
5/28/15
Q&A
Creating a package written in ATS
Le vendredi 29 mai 2015 01:04:28 UTC+2, gmhwxi a écrit : Just to have all the implements available to
unread,
example
library
portability
Q&A
Creating a package written in ATS
Le vendredi 29 mai 2015 01:04:28 UTC+2, gmhwxi a écrit : Just to have all the implements available to
5/28/15
Kiwamu Okabe
, …
gmhwxi
43
6/18/15
How to shape palindrome on ATS/LF?
Congratulations! You finally made it out of the woods :) On Thursday, June 18, 2015 at 1:00:16 PM UTC
unread,
example
theorem-proving
How to shape palindrome on ATS/LF?
Congratulations! You finally made it out of the woods :) On Thursday, June 18, 2015 at 1:00:16 PM UTC
6/18/15
Yannick Duchêne
,
Hongwei Xi
10
2/6/15
Q&A
(In)Equality and conjunction and type mismatch
Le vendredi 6 février 2015 02:27:27 UTC+1, gmhwxi a écrit : This one? https://github.com/githwxi/ATS-
unread,
example
type
type-error
Q&A
(In)Equality and conjunction and type mismatch
Le vendredi 6 février 2015 02:27:27 UTC+1, gmhwxi a écrit : This one? https://github.com/githwxi/ATS-
2/6/15
Yannick Duchêne
,
gmhwxi
24
12/11/15
Q&A
The thread of the errors in the docs
Originally (that is, in ATS1), there is checking to ensure that each declared prfun is implemented;
unread,
documentation
example
tutorial
Q&A
The thread of the errors in the docs
Originally (that is, in ATS1), there is checking to ensure that each declared prfun is implemented;
12/11/15
Artyom Shalkhakov
,
gmhwxi
5
1/1/15
Q&A
Some monads without higher-order functions
I added some code to show that (original) Haskell-like syntax for using monads can be simulated in
unread,
example
high-order
Q&A
Some monads without higher-order functions
I added some code to show that (original) Haskell-like syntax for using monads can be simulated in
1/1/15
gmhwxi
,
Yannick Duchêne
12
5/10/15
Q&A
atscc2js examples
I have taken out the Bacon.js wrapper for atscc2js, which can now be found here: https://gist.
unread,
example
Q&A
atscc2js examples
I have taken out the Bacon.js wrapper for atscc2js, which can now be found here: https://gist.
5/10/15
Yannick Duchêne
,
Hongwei Xi
2
8/8/14
Q&A
Symintr: required or optional?
Right now, if a symbol is available, then it is used, Otherwise, a new one is introduced implicitly.
unread,
documentation
example
general
Q&A
Symintr: required or optional?
Right now, if a symbol is available, then it is used, Otherwise, a new one is introduced implicitly.
8/8/14
Yannick Duchêne
, …
Hongwei Xi
7
8/7/14
Q&A
Can proof functions be overloaded?
Overloading is resolved without using any type indices. Otherwise, it would be too complex. On Thu,
unread,
documentation
example
type
Q&A
Can proof functions be overloaded?
Overloading is resolved without using any type indices. Otherwise, it would be too complex. On Thu,
8/7/14