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
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
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
xor.r...@gmail.com
,
Hongwei Xi
4
6/27/17
Q&A
possible fun template misunderstanding
thanks! stupid me. i got confused... i thought when using implement{x} it would do the instantiation
unread,
template
Q&A
possible fun template misunderstanding
thanks! stupid me. i got confused... i thought when using implement{x} it would do the instantiation
6/27/17
August Alm
,
Hongwei Xi
2
2/15/17
Q&A
Compiler error when using fprint_list_vt<charNZ>
Templates and dependent types do not mix well. In general, a dependent type should not be passed as
unread,
template
Q&A
Compiler error when using fprint_list_vt<charNZ>
Templates and dependent types do not mix well. In general, a dependent type should not be passed as
2/15/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
11/23/16
Q&A
Embeddable Templates in ATS
Dependent types, linear types and embeddable templates are three prominent features of ATS. I just
unread,
template
Q&A
Embeddable Templates in ATS
Dependent types, linear types and embeddable templates are three prominent features of ATS. I just
11/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
Artyom Shalkhakov
,
gmhwxi
8
4/29/16
Q&A
C compilation issue with an indexed, abstract, external type (templates not being instantiated)
On Thursday, April 28, 2016 at 11:10:34 PM UTC-4, Artyom Shalkhakov wrote: On Thursday, April 28,
unread,
template
Q&A
C compilation issue with an indexed, abstract, external type (templates not being instantiated)
On Thursday, April 28, 2016 at 11:10:34 PM UTC-4, Artyom Shalkhakov wrote: On Thursday, April 28,
4/29/16
Artyom Shalkhakov
,
gmhwxi
3
3/26/15
Q&A
View equality in template function
On Thursday, March 26, 2015 at 11:51:16 PM UTC+6, gmhwxi wrote: Unfortunately, this cannot be done.
unread,
template
Q&A
View equality in template function
On Thursday, March 26, 2015 at 11:51:16 PM UTC+6, gmhwxi wrote: Unfortunately, this cannot be done.
3/26/15
chotu s
,
gmhwxi
6
3/12/14
Templates and closures
Yes, you can. On Wednesday, March 12, 2014 1:09:43 AM UTC-4, chotu s wrote: Can I also make closure
unread,
closure
template
Templates and closures
Yes, you can. On Wednesday, March 12, 2014 1:09:43 AM UTC-4, chotu s wrote: Can I also make closure
3/12/14
Brandon Barker
,
gmhwxi
8
2/17/14
Q&A
extending an iterative template function to print information
The simple reason is that grcnf is not an abstract type. It can be easily fixed. It may be a good
unread,
template
Q&A
extending an iterative template function to print information
The simple reason is that grcnf is not an abstract type. It can be easily fixed. It may be a good
2/17/14
gmhwxi
1/17/14
Q&A
function template vs. polymorphic functions
FYI. A function template is not compiled; only its instances are compiled. A polymorphic function is
unread,
polymorphism
template
Q&A
function template vs. polymorphic functions
FYI. A function template is not compiled; only its instances are compiled. A polymorphic function is
1/17/14
Brandon Barker
,
gmhwxi
4
1/14/14
Q&A
Testing parametric code with print statements
These have already been implemented: val () = print_val<int> (0) val () = print_val<string
unread,
template
Q&A
Testing parametric code with print statements
These have already been implemented: val () = print_val<int> (0) val () = print_val<string
1/14/14