Groups
Groups
Sign in
Groups
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–3 of 1357
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
gmhwxi
3
7/27/16
Q&A
One-liner solution to the N-queens puzzle
I added this "showcase" example to the ats-lang homepage: http://www.ats-lang.org/ You can
unread,
example
high-order
syntax
Q&A
One-liner solution to the N-queens puzzle
I added this "showcase" example to the ats-lang homepage: http://www.ats-lang.org/ You can
7/27/16
gmhwxi
3/24/15
Q&A
Curryied functions in ATS
I said in the Intro-to-ATS book that curried functions are not commonly used in ATS. When playing
unread,
high-order
Q&A
Curryied functions in ATS
I said in the Intro-to-ATS book that curried functions are not commonly used in ATS. When playing
3/24/15
Artyom Shalkhakov
,
gmhwxi
5
1/1/15
Q&A
Some monads without higher-order functions
I added some code to show that (original) Haskell-like syntax for using monads can be simulated in
unread,
example
high-order
Q&A
Some monads without higher-order functions
I added some code to show that (original) Haskell-like syntax for using monads can be simulated in
1/1/15
