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–20 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
whyu
, …
Vanessa McHale
3
3/25/20
Q&A
simulating typeclasses in ATS
I wrote about them a little: http://blog.vmchale.com/article/ats-templates (more code https://github.
unread,
type
Q&A
simulating typeclasses in ATS
I wrote about them a little: http://blog.vmchale.com/article/ats-templates (more code https://github.
3/25/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
Yannick Duchêne
,
Hongwei Xi
9
8/4/18
Q&A
Effects of proofs on types as a side effect
Le samedi 4 août 2018 16:43:28 UTC+2, gmhwxi a écrit : Here is what I have in mind at this moment:
unread,
proof
type
Q&A
Effects of proofs on types as a side effect
Le samedi 4 août 2018 16:43:28 UTC+2, gmhwxi a écrit : Here is what I have in mind at this moment:
8/4/18
Yannick Duchêne
,
Hongwei Xi
3
7/29/18
Q&A
What is the ptr_type left after freeing a linear constructed value?
Le dimanche 29 juillet 2018 23:55:29 UTC+2, gmhwxi a écrit : Currently, the type 't?' is
unread,
linear-type
type
Q&A
What is the ptr_type left after freeing a linear constructed value?
Le dimanche 29 juillet 2018 23:55:29 UTC+2, gmhwxi a écrit : Currently, the type 't?' is
7/29/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
Yannick Duchêne
,
Hongwei Xi
3
6/26/18
Q&A
`var` type annotation: implicit sub‑tytping?
Le mardi 26 juin 2018 14:52:28 UTC+2, gmhwxi a écrit : This is a confusing part of ATS. When (a :=: b
unread,
type
type-error
Q&A
`var` type annotation: implicit sub‑tytping?
Le mardi 26 juin 2018 14:52:28 UTC+2, gmhwxi a écrit : This is a confusing part of ATS. When (a :=: b
6/26/18
Lance Galletti
,
gmhwxi
3
7/26/17
Q&A
Type casting and truncation
>>For int-to-string, >>please see the function iota in libats/ML/SAT/string.sats. The
unread,
template
type
Q&A
Type casting and truncation
>>For int-to-string, >>please see the function iota in libats/ML/SAT/string.sats. The
7/26/17
Arets Paeglis
,
gmhwxi
5
10/18/16
Q&A
Initialisation of a record
Thanks! That solves that. Arets Paeglis about.me/mindbound On Wed, Oct 19, 2016 at 6:22 AM, gmhwxi
unread,
type
type-error
Q&A
Initialisation of a record
Thanks! That solves that. Arets Paeglis about.me/mindbound On Wed, Oct 19, 2016 at 6:22 AM, gmhwxi
10/18/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
Yannick Duchêne
,
gmhwxi
7
6/29/18
Q&A
Wording question: predicative and impredicative
Le vendredi 29 juin 2018 16:33:13 UTC+2, Yannick Duchêne a écrit : * Only the predicative sorts have
unread,
documentation
type
Q&A
Wording question: predicative and impredicative
Le vendredi 29 juin 2018 16:33:13 UTC+2, Yannick Duchêne a écrit : * Only the predicative sorts have
6/29/18
Yannick Duchêne
,
Hongwei Xi
8
6/21/18
Q&A
Is `a: some_type` a boolean expression? (or of sort boolean)
Absolutely. When using {e} t(i), you can think of it as a function: {e} () -> t(i). On Thu, Jun 21
unread,
documentation
type
Q&A
Is `a: some_type` a boolean expression? (or of sort boolean)
Absolutely. When using {e} t(i), you can think of it as a function: {e} () -> t(i). On Thu, Jun 21
6/21/18
Yannick Duchêne
,
Hongwei Xi
12
5/14/15
Q&A
Indexed-type vs dependent-type
>>A variable of a default sort, Professor? A variable of a sort that can only be determined
unread,
dependent-type
type
Q&A
Indexed-type vs dependent-type
>>A variable of a default sort, Professor? A variable of a sort that can only be determined
5/14/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
Marko Schütz-Schmuck
,
Hongwei Xi
5
12/2/14
Q&A
newbie question about type error
That version is compiling to JavaScript so that the code can run in the browser. Here is the version
unread,
type
type-error
Q&A
newbie question about type error
That version is compiling to JavaScript so that the code can run in the browser. Here is the version
12/2/14
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
,
gmhwxi
2
8/7/14
Q&A
Available arithmetic types provided in prelude
So far, there is no significant work in ATS on handling integer arithmetic overflow. Here is a
unread,
documentation
package
type
Q&A
Available arithmetic types provided in prelude
So far, there is no significant work in ATS on handling integer arithmetic overflow. Here is a
8/7/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
gmhwxi
4
5/19/14
Q&A
M-N-K-game
I did get a coroutine style of implementation working for the MNK-game: https://github.com/githwxi/
unread,
example
type
Q&A
M-N-K-game
I did get a coroutine style of implementation working for the MNK-game: https://github.com/githwxi/
5/19/14
Brandon Barker
, …
gmhwxi
20
5/19/15
Q&A
packing a view and address in local scope
Yes, toplevel linear resources are not tracked. On Tuesday, May 19, 2015 at 7:01:22 PM UTC-4, Yannick
unread,
portability
type
Q&A
packing a view and address in local scope
Yes, toplevel linear resources are not tracked. On Tuesday, May 19, 2015 at 7:01:22 PM UTC-4, Yannick
5/19/15