Re: [ats-lang-users] ATS package repository and Berkeley DB wrapper

[Hongwei Xi <hw...@cs...>]

On Sat, 15 Nov 2008, Michael Maul wrote:

>>I've been working on putting together some library bindings for ATS. I've
>>been trying to use it as a template
>>for putting together a package repository for ATS.
>>
>>Currently I've have a git repository where I'm publishing the libraries. The
>>git URL is git://github.com/mmaul/ats-libs.git and you can browse the source
>>at http://github.com/mmaul/ats-libs/tree/master
>>I've posted a Berkeley DB wrapper, and should have a Postgres wrapper posted
>>in the next few days.
>>I plan on following with wrappers for other things I use. If anyone has any
>>requests or would like to contribute let me know.

It looks good. I am not familiar with git, but from what I read
in the file bdb.sats, it seems reasonable to consider the possibility
of defining the types bdb_db_t, bdb_dbt_t and bdb_dbc_t as linear types.
By doing so, the type system of ATS can automatically track properties
likes whether a bdb cursor is properly closed after its use. I will
try to look into this.

--Hongwei Xi

Computer Science Department
Boston University
111 Cummington Street
Boston, MA 02215

Email: hw...@cs...
Url: http://www.cs.bu.edu/~hwxi
Tel: +1 617 358 2511 (office)
Fax: +1 617 353 6457 (department)