Fwd: [Haskell] ANNOUNCE: Galois web libraries for Haskell released

[Justin Bailey]

This looks like some neat stuff. Would anyone be interested in hearing
about these libraries, and is anyone at Galois interested in talking
about them at an upcoming meeting? Personally, I would like to hear
more about the UTF-8 and XML libraries.

---------- Forwarded message ----------
From: Don Stewart <do...@galois.com>
Date: Mon, Apr 21, 2008 at 11:11 AM
Subject: [Haskell] ANNOUNCE: Galois web libraries for Haskell released
To: has...@haskell.org
Cc: libr...@haskell.org, haskel...@haskell.org

Galois, Inc. is pleased to announce the open source release of a suite of
web programming libraries for Haskell!

The following libraries are available, providing support for a
wide range of Haskell web programming scenarios:

* json
JSON (JavaScript Object Notation) is a lightweight data-interchange
format. It is easy for humans to read and write. It is easy for
machines to parse and generate. It is based on a subset of the
JavaScript Programming Language, Standard ECMA-262 3rd Edition -
December 1999.

This library provides a validating parser and pretty printer for
converting between Haskell values and JSON.

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/json

* xml
A simple, lightweight XML parser/generator.

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xml

* utf8-string
A UTF8 layer for IO and Strings. The utf8-string
package provides operations for encoding UTF8
strings to Word8 lists and back, and for reading and
writing UTF8 without truncation.

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/utf8-string

* selenium
Haskell bindings to communicate with a Selenium Remote
Control server. This package makes it possible to use
Haskell to write test scripts that exercise web
applications through a web browser.

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/selenium

* curl
libcurl is a client-side URL transfer library, supporting FTP,
FTPS, HTTP, HTTPS, SCP, SFTP, TFTP, TELNET, DICT, LDAP, LDAPS
and FILE. libcurl supports SSL certificates, HTTP POST, HTTP
PUT, FTP uploading, HTTP form based upload, proxies, cookies,
user+password authentication (Basic, Digest, NTLM, Negotiate,
Kerberos4), file transfer resume, http proxy tunneling and more!

This package provides a Haskell binding to libcurl.

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/curl

* sqlite
Haskell binding to sqlite3 <http://sqlite.org/>, a light, fast
database.

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sqlite

* feed
Interfacing with RSS (v 0.9x, 2.x, 1.0) and Atom feeds

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/feed

* mime
Haskell support for working with MIME types.

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mime

Together these fill in a big chunk of the web programming stack for Haskell.

Get the code! You can find all the cabalised packages on hackage.haskell.org.

About:

Galois <http://galois.com> researches, designs and develops high
assurance technologies for security-critical systems, networks and
applications. We use Haskell as a primary development tool for producing
robust components for a diverse range of clients.

Web-based technologies are increasingly important in this area, and we
believe Haskell has a key role to play in the production of reliable,
secure web software. The culture of correctness Haskell encourages is
ideally suited to web programming, where issues of security,
authentication, privacy and protection of resources abound. In
particular, Haskell's type system makes possible strong static
guarantees about access to resources, critical to building reliable web
applications. We hope that the release of this suite of libraries to the
community will push further the adoption of Haskell in the domain of web
programming.

This release brought to you by:

Iavor Diatchki
Trevor Elliott
Sigbjorn Finne
Andy Gill
Eric Mertens
Isaac Potoczny-Jones
Don Stewart
Aaron Tomb

_______________________________________________
Haskell mailing list
Has...@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Patrick Logan]

I'd be interested in hearing about these.

[Kevin Scaldeferri]

Next month is no good for me, but maybe in June I could do something
of a tour of the various XML libraries for Haskell.

-kevin

[Igal Koshevoy]

Justin Bailey wrote:
> Galois, Inc. is pleased to announce the open source release of a suite of
> web programming libraries for Haskell!

> [...]

> This release brought to you by:
>
> Iavor Diatchki
> Trevor Elliott
> Sigbjorn Finne
> Andy Gill
> Eric Mertens
> Isaac Potoczny-Jones
> Don Stewart
> Aaron Tomb
>

Congrats to the Galois team for releasing these useful libraries. It's
nice to see all those familiar names too.

I'd also be interested in hearing more about these libraries, and the
challenges the team faced while building them.

-igal

[Igal Koshevoy]

Kevin Scaldeferri wrote:
> Next month is no good for me, but maybe in June I could do something
> of a tour of the various XML libraries for Haskell.

Thanks, Kevin, that'd be interesting. Seems timely too, I've been
running across various articles on applying HaXml to tasks ranging from
processing SVG files to spidering web pages.

Note to self and others: Remember to check in with Kevin once we get
closer to June. :)

-igal