On 28/05/2011 08:06 PM, michael rice wrote:
/tmp/glib-0.11.22906/glib-0.11.2/Gtk2HsSetup.hs:190:70:
Couldn't match expected type `[PackageDB]'
with actual type `PackageDB'
Expected type: PackageDBStack
Actual type: PackageDB
In the sixth argument of `registerPackage', namely `packageDb'
In the
Is this worth chasing down? I loaded the Haskell Platform, which I assume has
some graphics capability (Cairo?). Maybe my time would be better spent getting
familiar with that?
Michael
--- On Sun, 5/29/11, Andrew Coppin andrewcop...@btinternet.com wrote:
From: Andrew Coppin
Hi dear Haskellers!
I'm a senior undergraduate Computer Science student in Brazil, and have
always loved Haskell and wrote most of
my lab assignments and course projects in it. Haskellers are a very rare
species here in Brazil, but I always
tried my best to motivate people around me presenting
On 29/05/2011 02:52 PM, michael rice wrote:
Is this worth chasing down? I loaded the Haskell Platform, which I
assume has some graphics capability (Cairo?). Maybe my time would be
better spent getting familiar with that?
As far as I'm aware, the Haskell Platform doesn't come with any
On Sunday 29 May 2011 19:14:57, Andrew Coppin wrote:
As far as I'm aware, the Haskell Platform doesn't come with any
graphics-related packages
I thought OpenGL was in the platform.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Of which I was speaking, just saw it there this morning. Is there an adequate
basic tutorial available?
Michael
--- On Sun, 5/29/11, Daniel Fischer daniel.is.fisc...@googlemail.com wrote:
From: Daniel Fischer daniel.is.fisc...@googlemail.com
Subject: Re: [Haskell-cafe] Haskell School of
On 29/05/2011 06:23 PM, Daniel Fischer wrote:
On Sunday 29 May 2011 19:14:57, Andrew Coppin wrote:
As far as I'm aware, the Haskell Platform doesn't come with any
graphics-related packages
I thought OpenGL was in the platform.
Uh... yes, you might be right about that. However, AFAIK you
Yes, for my first example, the kind is wrong. I knew it, I just wrote it to
show, not to be correct Haskell, sorry.
@Antoine: Well, yes, internally, I think this is how it will be implemented.
What I wondered was if arrows would provide a nice interface to it.
@Stephen: Resumption monads? It
Hi Patrick.
What you are doing isn't possible in source code (Haskell doesn't prove
things at the value level like a dependently typed language does.)
Usually you document it just as you have, as a comment
-- inverse a ! a = e
You can also specify a QuickCheck property:
propInverse :: (Eq
I suggest you take a look at MonadPrompt and/or Operational (two competing
packages, one of which I wrote).
And yes, you probably need some operation
Concurrent :: [Mission ()] - Mission ()
or
Interrupt :: Mission () - Mission Bool - Mission () - Mission ()
which runs its first argument until
On Sun, 29 May 2011 22:50:46 +0200, Andrew Coppin
andrewcop...@btinternet.com wrote:
On 29/05/2011 06:23 PM, Daniel Fischer wrote:
On Sunday 29 May 2011 19:14:57, Andrew Coppin wrote:
As far as I'm aware, the Haskell Platform doesn't come with any
graphics-related packages
I thought
Hello
It always puzzled me why there are no packages for for testing general
type classes laws. (Monoid laws, monad laws etc). It looks like ideal
case for quickcheck and smallcheck.
I'm glad to present package quickcheck-properties[1]. It containt set
of generic properties for semiroups,
Try these two first:
Domain Specific Languages for Cellular Interactions
http://www.cs.missouri.edu/~harrison/papers/embc04.pdf
The Essence of Multitasking
http://www.cs.missouri.edu/~harrison/papers/amast06.pdf
There are more resumptions (and reactions) in Achieving Information
Flow Security
Ryan,
Thank you for your helpful reply.
I have no real understanding of dependent types (DT)
From the web is seems that DTs are types that depend on *values*.
How does the concept of DT relate to the equation from my example?
-- inverse a ! a = e
What type is depending on what value?
Once
From: Patrick Brown; Sent: Sunday, May 29, 2011 5:42 PM
Subject: Re: [Haskell-cafe] Sub class and model expansion
Ryan,
Thank you for your helpful reply.
I have no real understanding of dependent types (DT)
From the web is seems that DTs are types that depend on *values*.
How does the
On Thu, May 26, 2011 at 7:26 PM, Gregory Collins g...@gregorycollins.netwrote:
Based on the description it looks like you could be looking for:
http://hackage.haskell.org/package/simple-atom
G
Coincidentally, I put up a question at stackoverflow for this just yesterday
-
Why doesn't Haskell have built in syntactic sugar for atoms?
-- Anupam
I think because of deriving Enum.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
17 matches
Mail list logo
