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–13 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Brandon Barker
,
Artyom Shalkhakov
3
3/29/18
Q&A
Example code for traits/mixins/multiple inheritance
Hi Artyom, I believe what is happening is that current Scala actually has literals defined as part of
unread,
general
Q&A
Example code for traits/mixins/multiple inheritance
Hi Artyom, I believe what is happening is that current Scala actually has literals defined as part of
3/29/18
Max Hayden Chiz
,
gmhwxi
2
1/20/18
Q&A
Reason for templates vs monomorphisation
Well, templates are much more than for just supporting polymorphism. I have asked Alan Kay about his
unread,
general
template
Q&A
Reason for templates vs monomorphisation
Well, templates are much more than for just supporting polymorphism. I have asked Alan Kay about his
1/20/18
Steinway Wu
7/14/16
Q&A
Thinking about moving this group to Discourse.
Hi friends, I'm thinking about moving Google Group to a self-hosted Discourse. Discourse is an
unread,
contribute
general
Q&A
Thinking about moving this group to Discourse.
Hi friends, I'm thinking about moving Google Group to a self-hosted Discourse. Discourse is an
7/14/16
Yannick Duchêne
,
gmhwxi
4
5/10/15
Q&A
An extern operator: is this possible?
Le dimanche 10 mai 2015 05:06:28 UTC+2, gmhwxi a écrit : You could try: macdef not(x) = $extfcall(
unread,
documentation
general
Q&A
An extern operator: is this possible?
Le dimanche 10 mai 2015 05:06:28 UTC+2, gmhwxi a écrit : You could try: macdef not(x) = $extfcall(
5/10/15
Yannick Duchêne
,
gmhwxi
5
4/12/15
Q&A
Can static variables play the role of ghost variables (as in SPARK‑Ada)?
Here is my understanding of the situation: You have two functions foo1 and foo2. And you want to
unread,
general
proof
Q&A
Can static variables play the role of ghost variables (as in SPARK‑Ada)?
Here is my understanding of the situation: You have two functions foo1 and foo2. And you want to
4/12/15
Yannick Duchêne
,
Hongwei Xi
3
2/16/15
Q&A
What are ATS2's user defined identifiers name‑spaces?
Le samedi 7 février 2015 22:57:40 UTC+1, gmhwxi a écrit : prfn foo ... // foo is dynamic propdef foo
unread,
documentation
general
Q&A
What are ATS2's user defined identifiers name‑spaces?
Le samedi 7 février 2015 22:57:40 UTC+1, gmhwxi a écrit : prfn foo ... // foo is dynamic propdef foo
2/16/15
Artyom Shalkhakov
,
gmhwxi
2
10/24/14
Q&A
withtype keyword
Yes, it is still supported. It is the keyword for initiating a style of type annotation that was used
unread,
general
type
Q&A
withtype keyword
Yes, it is still supported. It is the keyword for initiating a style of type annotation that was used
10/24/14
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
,
gmhwxi
2
8/8/14
Q&A
Prval vs val: is there still a difference in ATS2?
If you just do typechecking, then 'prval' can be replaced with 'val'. After
unread,
documentation
general
Q&A
Prval vs val: is there still a difference in ATS2?
If you just do typechecking, then 'prval' can be replaced with 'val'. After
8/8/14
Mikko Vanhatalo
,
gmhwxi
3
5/13/14
Q&A
Contributing
I made a minor change in terms of the structure of directories for storing contributed packages. Now
unread,
general
Q&A
Contributing
I made a minor change in terms of the structure of directories for storing contributed packages. Now
5/13/14
gmhwxi
, …
Brandon Barker
4
3/25/14
Q&A
Some interesting notes on C++
On Tuesday, March 25, 2014 12:34:00 PM UTC-4, H Zhang wrote: It seems what he is saying about C++ are
unread,
general
Q&A
Some interesting notes on C++
On Tuesday, March 25, 2014 12:34:00 PM UTC-4, H Zhang wrote: It seems what he is saying about C++ are
3/25/14
Shahab Tasharrofi
,
gmhwxi
4
3/10/14
Q&A
Testing Equality of two Datatypes
Okay, I see.
unread,
datatype
general
Q&A
Testing Equality of two Datatypes
Okay, I see.
3/10/14
Brandon Barker
, …
Yannick Duchêne
17
8/5/18
Q&A
<> in first part of function return type
Le samedi 4 août 2018 16:38:00 UTC+2, gmhwxi a écrit : 'var h:t' means that the size of '
unread,
effect
general
Q&A
<> in first part of function return type
Le samedi 4 août 2018 16:38:00 UTC+2, gmhwxi a écrit : 'var h:t' means that the size of '
8/5/18