On Fri, 24 Oct 2008 07:35:36 +0200, Achim Schneider [EMAIL PROTECTED]
wrote:
http://www.haskell.org/haskellwiki/?title=Special:Categories
What are the mathematical properties of those Categories? Do they share
common axioms?
Oh, come on! Stop talking abstract nonsense (see
Benjamin L.Russell [EMAIL PROTECTED] wrote:
On Fri, 24 Oct 2008 07:35:36 +0200, Achim Schneider [EMAIL PROTECTED]
wrote:
http://www.haskell.org/haskellwiki/?title=Special:Categories
What are the mathematical properties of those Categories? Do they
share common axioms?
Oh, come on!
with:
{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-}
class A a
class R a
class S a
instance R a = A a
instance S a = A a
--
GHC gives
*Duplicate instance declarations*
* instance R a = A a *
* instance S a = A a *
**
*Why?*
Hi all,
Just pointing out that the darcs hacking sprint is taking place
tomorrow (Saturday and Sunday 25-26 October)!
Our Brighton and Portland venues are still open, so if you are
thinking of dropping by, let us know :-)
http://wiki.darcs.net/index.html/Sprints
Cheers,
--
Eric Kow
Hello Alberto,
Friday, October 24, 2008, 12:20:39 PM, you wrote:
instance R a = A a
instance S a = A a
Duplicate instance declarations
Why?
because you may write in other module
instance R Int
instance S Int
if class A includes functions, it may be problematic to determine
which
Instance instantiation is *not* search, and *not* similar to
subclassing in OO languages.
Both your instance declarations simply add constraints to functions that use it.
Here's a more concrete example:
class A a where
doA :: a - String
class R a where
doR :: a - String
instance R Int
On Thu, 23 Oct 2008 22:13:10 -0700
Jared Updike [EMAIL PROTECTED] wrote:
I can't even get a simple example to show up in a PDF file
I can't even get my simple example to show up anywhere, period. PDF,
DVI, PS - anything.
No matter which way I try, and I've tried lots, I always hit some kind
of
On Fri, 24 Oct 2008, Galchin, Vasili wrote:
I cabal installed numeric-prelude .. however, unlike other packages(e.g.
Sqlite3), I am unable to :m numeric-prelude in a ghci session.??
':m' is for importing modules not packages, at least up to GHC-6.8.2.
For playing around with the package I
Redirected to haskell-cafe, since that's where all discussions should go
(haskell = announcments only)
Does some one have made performance tests on the different XML
libraries for Haskell? I have a 20MB xml file that I want
to read. I
remember from my earlier experiments (years ago)
Galchin, Vasili [EMAIL PROTECTED] wrote in article [EMAIL PROTECTED] in
gmane.comp.lang.haskell.cafe:
Do you have any examples of say instance Lattice?
http://web.cecs.pdx.edu/~mpj/pubs/lattices.html
http://web.cecs.pdx.edu/~mpj/pubs/springschool.html
--
Edit this signature at
The point is... I'm not doing that. Gtk2hs is, but that's a well-tested
library, so I very much doubt it's the source of the bug.
I don't understand why Haskell users believe (perhaps are too often led to
believe) that haskell programs can't crash. Gtk2hs does a lot of native
stuff. Gtk's
newsham:
The point is... I'm not doing that. Gtk2hs is, but that's a well-tested
library, so I very much doubt it's the source of the bug.
I don't understand why Haskell users believe (perhaps are too often led to
believe) that haskell programs can't crash. Gtk2hs does a lot of native
Bulat Ziganshin wrote:
Hello Andrew,
Thursday, October 23, 2008, 11:42:04 PM, you wrote:
Theoretically, feeding invalid coordinates to the program might make it
run off the end of the IOUArray (or maybe off the beginning of it), but
I don't see what that has to do with GTK+...
Andrew Coppin wrote:
I'm actually wondering if my code is writing off the end of an array
and this just happens to hit some data structure used by GTK+? (In
which case, minute changes in linkage, etc., would disturb the bug.)
Yep, that's what it was. (Although not where I was expecting it to
Tim Newsham wrote:
The point is... I'm not doing that. Gtk2hs is, but that's a
well-tested library, so I very much doubt it's the source of the bug.
I don't understand why Haskell users believe (perhaps are too often
led to believe) that haskell programs can't crash. Gtk2hs does a lot
of
Hi folks:
I'm trying to use hackage/cabal/cabal-install, and I have a feature
request: it would be nice if the metadata about the package, which is
displayed on e.g. hackage-scripts/package/HTTP had a field for the
revision control tool that is used on that package (if any) and the
Haskell programs with particular constraints (i.e. pure, total Haskell, doesn't
primarily call gtk...)
Yup, and that's a great thing that we should be evangelizing to
all potential users. No need to go overboard and tell them that
there will never be a crash, though.. The robustness claim is
I'd like to be able to write something like
map zipWith ([1,2,3] = printMyInferredType)
and have the compiler treat 'printMyInferredType' as undefined, but
also produce the side effect of printing out its inferred type.
What's the easiest way to simulate this with what we have now?
--
Dan
On Fri, Oct 24, 2008 at 01:38:23PM -0700, Dan Piponi wrote:
I'd like to be able to write something like
map zipWith ([1,2,3] = printMyInferredType)
and have the compiler treat 'printMyInferredType' as undefined, but
also produce the side effect of printing out its inferred type.
What's
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
A quick note. Today was released the 4.2.2 version of the IRC bot
Lambdabot. You can find it at
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/lambdabot-4.2.2,
and the usual Darcs repository http://code.haskell.org/lambdabot.
What is
On Fri, 24 Oct 2008, Sebastian Sylvan wrote:
Another useful predefined space which I didn't see is the YCoCg space, which is
used in lots of
compression schemes (like H.264 IIRC).
YCoCg, like HLS and HSV, seems to not really be a colour space because it
isn't well specified. A
On Fri, 24 Oct 2008, zooko wrote:
Hi folks:
I'm trying to use hackage/cabal/cabal-install, and I have a feature request:
it would be nice if the metadata about the package, which is displayed on
e.g. hackage-scripts/package/HTTP had a field for the revision control tool
that is used on
22 matches
Mail list logo