David Roundy wrote:
> class Commutable a b d c
>
> commute :: Commutable a b d c =>
> (Patch a b, Patch b c) -> (Patch a d, Patch d c)
>
> But for this to work properly, I'd need to guarantee that
>
> 1. if (Commutable a b d c) then (Commutable a d b c)
>
> 2. for a given three types (a
ihope wrote:
How would I keep the "Foo!" from conflicting with the "Lorem ipsum
dolor sit amet."?
Well, if two millennia were not enough, I'm not sure any amount of
Haskell will help.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www
On 5/26/06, Bulat Ziganshin <[EMAIL PROTECTED]> wrote:
Hello Haskell,
i plan to publish new version of Streams library on next week (see
http://haskell.org/haskellwiki/Library/Streams if you still don't know
about it :) ). one of it's current drawbacks is lack of support for
file encodings other
"S. Alexander Jacobson" <[EMAIL PROTECTED]> wrote:
> Given that we have no easy way to serialize thunks, the whole RPC
> approach just seems wrong for Haskell.
Tom Shackell is developing a simple bytecode reflection API to be
implemented in the yhc compiler. This will allow the transmission of
On Thu, 25 May 2006, David Roundy wrote:
Hi all,
I've been thinking about extending some (experimental) GADT-based proof
code that verifies that the darcs patch theory code is properly used. A
given patch has type (Patch a b), and I'd like to be able to write
something like
commute :: (Patch
On Fri, May 26, 2006 at 09:20:25AM +0100, Joel Reymont wrote:
> On May 25, 2006, at 8:34 PM, Robert Dockins wrote:
> >If you want to deliver source code to be executed elsewhere, you
> >can use hs-plugins or the GHC API (in GHC HEAD branch).
>
> hs-plugins is too heavy since it runs ghc. I don't
Hi all,
I've been thinking about extending some (experimental) GADT-based proof
code that verifies that the darcs patch theory code is properly used. A
given patch has type (Patch a b), and I'd like to be able to write
something like
commute :: (Patch a b, Patch b c) -> (Patch a d, Patch d c)
i
Dear friends -
I must have clicked "reply" instead of "reply all" so here is the reply
haskell cafe would have received:
Matthew Bromberg wrote:
Not only does your suggestion make more sense than what I was doing,
but also
it causes the 'matrices' to behave as expected, namely to have the
side
Hello Haskell,
i plan to publish new version of Streams library on next week (see
http://haskell.org/haskellwiki/Library/Streams if you still don't know
about it :) ). one of it's current drawbacks is lack of support for
file encodings other than UTF-8 and Latin-1. if someone can work on
this supp
Hello Matthew,
Friday, May 26, 2006, 11:50:28 AM, you wrote:
> I can't say I fully understand why this is true. In both cases I was
> wrapping Rmatrix in
> a monad after every computation. The difference is that the array
> component had an
> additional monad wrapper around and now it doesn't
On May 25, 2006, at 8:34 PM, Robert Dockins wrote:
If you want to deliver source code to be executed elsewhere, you
can use hs-plugins or the GHC API (in GHC HEAD branch).
hs-plugins is too heavy since it runs ghc. I don't need to deliver
any type of source code, just a function call and i
On May 25, 2006, at 7:25 PM, Jason Dagit wrote:
I will say that you should add a macro or
high order function (depneding on lisp vs. haskell) that is something
like "(with-client (c args-list) body)", that way you can simplify
the creation/cleanup of clients. Same idea as with-open-file. You
Not only does your suggestion make more sense than what I was doing, but
also
it causes the 'matrices' to behave as expected, namely to have the side
effects
incorporated into their array values.
I can't say I fully understand why this is true. In both cases I was
wrapping Rmatrix in
a monad
13 matches
Mail list logo