explanations are presented at the end of this mail.
Haskellers: Could you review the solution, please? Does it really
preserves referential integrity? Or am I completely wrong?
Do you have any suggestions on generalizing the idea?
I would be glad to hear from you!
Best regards
Sven Biedermann
I just realized that I mixed up data bases and functional programming
and apologize for this. Of course, I meant referential transparency!
Sven Biedermann
Am 02.11.2006 um 16:43 schrieb Sven Biedermann:
Dear Haskellers,
The OI Comonad in Richard Kieburtz' paper does break referential
Hello Nick,
Am 02.11.2006 um 20:51 schrieb Nicolas Frisby:
OI has been lingering in the back of my mind during my own
comonadic adventures.
Did you enjoy them?
One thing that's bothered me is the signature of comain.
comain :: OI () - ()
If the OI comonad is to represent values in
the arrow notation is as it is?
Greetings
Sven
-Original Message-
From: Chris Kuklewicz [mailto:[EMAIL PROTECTED]
Sent: Samstag, 28. Januar 2006 18:01
To: Sven Biedermann
Cc: haskell-cafe@haskell.org
Subject: Re: [Haskell-cafe] arr f
Sven Biedermann wrote:
Hello Henrik Ross
to reach what I
want: a different Dep* for different functions f.
What can I pattern match, here? What can I do else?
Greetings
Sven
-Original Message-
From: Henrik Nilsson [mailto:[EMAIL PROTECTED]
Sent: Freitag, 27. Januar 2006 21:46
To: Sven Biedermann
Cc: haskell-cafe@haskell.org
construct something different as when
having form (d,e,f).
Could I get a hint
how to express my needs, please!
Many thanks in
advance
Sven
Biedermann
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
