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–6 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
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
August Alm
, …
Artyom Shalkhakov
3
2/20/17
Q&A
Typechecking error involving Either datatype
Hi August, You could use this tool: https://ashalkhakov.github.io/pats-ef/ to turn the error message
unread,
dependent-type
type-error
Q&A
Typechecking error involving Either datatype
Hi August, You could use this tool: https://ashalkhakov.github.io/pats-ef/ to turn the error message
2/20/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
gmhwxi
, …
Yannick Duchêne
16
2/11/16
Q&A
patscc-pp
Le jeudi 21 janvier 2016 00:02:20 UTC+1, gmhwxi a écrit : I recommended this to the students taking
unread,
type-error
Q&A
patscc-pp
Le jeudi 21 janvier 2016 00:02:20 UTC+1, gmhwxi a écrit : I recommended this to the students taking
2/11/16
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