Dear Haskellers,
This year's Haskell Workshop, held in Uppsala as a part of PLI, traditionally
concluded with a discussion on the future of Haskell. This time an attempt
was made to structure the discussion a little bit by focusing on two specific
topics, and by having each topic being introduced
==
CALL FOR PAPERS
CLIMA IV
Fourth International Workshop on Computational Logic in Multi-Agent Systems
January
> It looks interesting. Where can I download and try
> it?
Oops. I forget to post the url.
http://htoolkit.sourceforge.net
__
Do you Yahoo!?
Yahoo! SiteBuilder - Free, easy-to-use web site design software
http://sitebuilder.yahoo.com
_
--- Martin Norbäck <[EMAIL PROTECTED]> wrote:
> mån 2003-09-08 klockan 21.21 skrev Krasimir Angelov:
> > Dear Haskellers
> >
> > I am pleased to announce HSQL 1.0. The
> package is
> > intended to give access to PostgresSQL, MySQL and
> ODBC
> > databases. The HSQL is a part of HToolkit
Dear Haskellers
I am pleased to announce HSQL 1.0. The package is
intended to give access to PostgresSQL, MySQL and ODBC
databases. The HSQL is a part of HToolkit project but
like GIO and Port it can be distributed as separate
bundle.
This is the first public release but as far as
Another tricky one. There are at least two difficulties.
1. Consider the simpler function
foo :: Fc Bool b => [b] -> Int
foo (x:xs) = x
Since b must be Int, you might argue that this function is OK, but GHC
rejects it because it unifies the signature type variable b. This is a
"
On Fri, 5 Sep 2003, Simon Marlow wrote:
> ... Claiming a lock on a file is
> > easy in C (well,
> > it takes 18 lines...), but there's nothing in the standard Haskell
> > libraries that can do it. So I borrowed a little C code from
> > the net, and
> > called it via the FFI.
>
> Locking support is
(Apologies if you receive multiple copies of this message)
SECOND CALL FOR PAPERS
[ Submission deadline: September 15, 2003 ]
***
International Workshop on Software Verification and Validation (SVV 2003)
In Conjunction with
International Conf.
