Bug#725033: marked as done (ITP: ats2-lang -- ATS (v2) is a statically typed programming language that unifies implementation with formal specification.)
Your message dated Fri, 02 May 2014 18:00:05 +0000
with message-id <E1WgHkj-000443-Ot@franck.debian.org>
and subject line Bug#725033: fixed in ats2-lang 0.0.7-1
has caused the Debian Bug report #725033,
regarding ITP: ats2-lang -- ATS (v2) is a statically typed programming language that unifies implementation with formal specification.
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact firstname.lastname@example.org
Debian Bug Tracking System
Contact email@example.com with problems
--- Begin Message ---
- To: Debian Bug Tracking System <firstname.lastname@example.org>
- Subject: ITP: ats2-lang -- ATS (v2) is a statically typed programming language that unifies implementation with formal specification.
- From: Matthew Danish <email@example.com>
- Date: Mon, 30 Sep 2013 14:29:12 -0400
- Message-id: <firstname.lastname@example.org>
Owner: Matthew Danish <email@example.com>
* Package name : ats2-lang
Version : 0.0.3
Upstream Author : Hongwei Xi <firstname.lastname@example.org>
* URL : http://www.ats-lang.org/
* License : GPL
Programming Lang: ATS, C
Description : ATS (v2) is a statically typed programming language that unifies implementation with formal specification.
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. The
current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can
be as efficient as C/C++ (see The Computer Language Benchmarks Game for
concrete evidence) and supports a variety of programming paradigms that
Functional programming. The core of ATS is a functional language based on eager
(aka. call-by-value) evaluation, which can also accommodate lazy (aka.
call-by-need) evaluation. The availability of linear types in ATS often makes
functional programs written in it run not only with surprisingly high
efficiency (when compared to C) but also with surprisingly small (memory)
footprint (when compared to C as well).
Imperative programming. The novel and unique approach to imperative programming
in ATS is firmly rooted in the paradigm of programming with theorem-proving.
The type system of ATS allows many features considered dangerous in other
languages (e.g., explicit pointer arithmetic and explicit memory
allocation/deallocation) to be safely supported in ATS, making ATS a viable
programming language for low-level systems programming.
Concurrent programming. ATS, equipped with a multicore-safe implementation of
garbage collection, can support multithreaded programming through the use of
pthreads. The availability of linear types for tracking and safely manipulating
resources provides an effective means to constructing reliable programs that
can take advantage of multicore architectures.
Modular programming. The module system of ATS is largely infuenced by that of
Modula-3, which is both simple and general as well as effective in supporting
large scale programming.
In addition, ATS contains a subsystem ATS/LF that supports a form of
(interactive) theorem-proving, where proofs are constructed as total functions.
With this component, ATS advocates a programmer-centric approach to program
verification that combines programming with theorem-proving in a syntactically
intertwined manner. Furthermore, this component can serve as a logical
framework for encoding deduction systems and their (meta-)properties.
ATS2 is the second major version of ATS, a complete rewrite of the compiler system.
--- End Message ---
--- Begin Message ---
We believe that the bug you reported is fixed in the latest version of
ats2-lang, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to email@example.com,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
Matthew Danish <firstname.lastname@example.org> (supplier of updated ats2-lang package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing email@example.com)
-----BEGIN PGP SIGNED MESSAGE-----
Date: Wed, 02 Apr 2014 17:09:12 -0400
Architecture: source amd64
Maintainer: Matthew Danish <firstname.lastname@example.org>
Changed-By: Matthew Danish <email@example.com>
ats2-lang - ATS version 2 programming language compiler
ats2-lang (0.0.7-1) unstable; urgency=medium
* Initial release (Closes: #725033)
* Should have eliminated all traces of LGPL
* Upstream has decided to go GPL-3 for full source
edb86ab19fe39271dc593595df200f9e8b1d672b 1097 ats2-lang_0.0.7-1.dsc
0b734151d7dbd43a04d5998f8c2687faa87815e2 3103196 ats2-lang_0.0.7.orig.tar.gz
f7c6049e79e6bab944a9e2d77cdd6935ca2d7637 4500 ats2-lang_0.0.7-1.debian.tar.xz
b3d1e4326ed29c9ead4cbd2f045c25debc1916b2 641000 ats2-lang_0.0.7-1_amd64.deb
be2501272e6b231e482221ec7fec602d64f6b07a39f28f0ef2b9a03066760e68 1097 ats2-lang_0.0.7-1.dsc
dda17a39f79a61e3d8e89fa6b18918827856d79c51004be7f846bae4946267b3 3103196 ats2-lang_0.0.7.orig.tar.gz
1bea79665466e15bb0b3f10ece9ba837d699e425d64123ffdb595ddbf0b573a1 4500 ats2-lang_0.0.7-1.debian.tar.xz
9cb6f264932fb2bc1924627b19996d2387a62468e1bedadf4118ae46844bbb2d 641000 ats2-lang_0.0.7-1_amd64.deb
2c42927019f29afaa194e1d2b92a1866 1097 devel optional ats2-lang_0.0.7-1.dsc
5b1609ff30b4187d06ce462398a709e5 3103196 devel optional ats2-lang_0.0.7.orig.tar.gz
e1dca3444d34f6c6d2c9b02a670b9120 4500 devel optional ats2-lang_0.0.7-1.debian.tar.xz
542678acd57c9b308e7eb1e869d2f6f4 641000 devel optional ats2-lang_0.0.7-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
-----END PGP SIGNATURE-----
--- End Message ---