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–11 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
rodol
, …
Hongwei Xi
4
2/7/20
Q&A
ATS3 Temptory
The primary reason is that I had already started working on ATS3 before I did the Temptory experiment
unread,
ATS3
Q&A
ATS3 Temptory
The primary reason is that I had already started working on ATS3 before I did the Temptory experiment
2/7/20
gmhwxi
12/28/19
Q&A
Documenting Xanadu
I have started the process of documenting the concrete syntax of Xanadu: https://github.com/githwxi/
unread,
ATS3
Q&A
Documenting Xanadu
I have started the process of documenting the concrete syntax of Xanadu: https://github.com/githwxi/
12/28/19
Richard
, …
gmhwxi
3
12/27/19
Q&A
ats3 extension - jsonize abstract syntax trees
Yes. And also to other languages such as Python, JS, etc. for, say, web development. On Friday,
unread,
ATS3
Q&A
ats3 extension - jsonize abstract syntax trees
Yes. And also to other languages such as Python, JS, etc. for, say, web development. On Friday,
12/27/19
gmhwxi
12/18/19
Q&A
How is ATS3 implementation structured?
FYI. The following code outlines the implementation of ATS3 so far: val source = source_get() val
unread,
ATS3
Q&A
How is ATS3 implementation structured?
FYI. The following code outlines the implementation of ATS3 so far: val source = source_get() val
12/18/19
gmhwxi
, …
Dan'l Miller
20
12/27/19
Q&A
Are you interested in building tools for ATS3?
This progression might be related to something that I have been pondering: Is the shift away from
unread,
ATS3
Q&A
Are you interested in building tools for ATS3?
This progression might be related to something that I have been pondering: Is the shift away from
12/27/19
gmhwxi
, …
Raoul Duke
5
1/10/20
Announcement
A brief update on ATS3 implementation
my usual usability rant: any language with inference must have a mode that inserts the ascii of what
unread,
ATS3
Announcement
A brief update on ATS3 implementation
my usual usability rant: any language with inference must have a mode that inserts the ascii of what
1/10/20
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
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
, …
girp...@gmail.com
12
4/25/19
Q&A
ATS3: What is it?
I don't really have much to say at this moment other than I am actively working on such a two-
unread,
ATS3
Q&A
ATS3: What is it?
I don't really have much to say at this moment other than I am actively working on such a two-
4/25/19
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
gmhwxi
, …
Dan'l Miller
167
12/7/19
Announcement
ATS3: ATS/Xanadu
Thanks for your interest in ATS! Will take into consideration your suggestions. The current
unread,
ATS3
Announcement
ATS3: ATS/Xanadu
Thanks for your interest in ATS! Will take into consideration your suggestions. The current
12/7/19