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–9 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
Yannick Duchêne
,
Hongwei Xi
2
8/3/18
Q&A
The lin effect on ordinary (not lambda) function
Right now, 'lin' in the following declaration is ignored: fn g():<lin> void = () The
unread,
effect
linear-type
Q&A
The lin effect on ordinary (not lambda) function
Right now, 'lin' in the following declaration is ignored: fn g():<lin> void = () The
8/3/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
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
Steinway Wu
, …
Hongwei Xi
11
7/7/18
Q&A
Linear component may be abandoned.
The symbol '_' refers to a "special" value that is unspecified. This feature is not
unread,
linear-type
stream
Q&A
Linear component may be abandoned.
The symbol '_' refers to a "special" value that is unspecified. This feature is not
7/7/18
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
, …
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
Shea Levy
,
Hongwei Xi
2
11/30/15
Q&A
wrt effect when assigning view of vtype reference
Thanks! I fixed this one. For now, you could do prval () = $effmask_wrt(fp := foo_p) to suppress the
unread,
call-by-reference
effect
linear-type
Q&A
wrt effect when assigning view of vtype reference
Thanks! I fixed this one. For now, you could do prval () = $effmask_wrt(fp := foo_p) to suppress the
11/30/15
gmhwxi
3
8/2/14
Q&A
ATS for MCU programming
... and accurate as well. On Saturday, August 2, 2014 12:59:16 PM UTC-4, gmhwxi wrote: Slide no. 12
unread,
dependent-type
linear-type
Q&A
ATS for MCU programming
... and accurate as well. On Saturday, August 2, 2014 12:59:16 PM UTC-4, gmhwxi wrote: Slide no. 12
8/2/14
chotu s
, …
gmhwxi
14
3/13/14
same linear variable in an argument
One can define read-only views on one's own. On Thursday, March 13, 2014 6:02:24 PM UTC-4,
unread,
linear-type
same linear variable in an argument
One can define read-only views on one's own. On Thursday, March 13, 2014 6:02:24 PM UTC-4,
3/13/14