mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-05 01:55:52 +00:00
f5c7c99d19
System. PR: ports/161575 Submitted by: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
8 lines
340 B
Plaintext
8 lines
340 B
Plaintext
ATS is a statically typed programming language
|
|
that unifies implementation with formal specification.
|
|
It is equipped with a highly expressive type system rooted in
|
|
the framework Applied Type System, which gives the language its name.
|
|
In particular, both dependent types and linear types are available in ATS.
|
|
|
|
WWW: http://www.ats-lang.org/
|