On 04/05/12 09:08, Magicloud Magiclouds wrote:
Hi,
Assuming this:
run :: Monad IO a - IO a
data Test = Test { f }
Here I'd like to set f to run, like Test run. Then what is the type of f?
The confusing (me) part is that, the argument pass to f is not fixed
on return type, like f1 ::
This is an outstanding discussion. I am learning a lot from it.
I would find it useful to pull all this information together into a
single document that discusses all the performance issues in one
place and shares the real life experience is dealing with each
issue.
Dear Haskelers,
Since I don't quite know whether this is a SYB-thing or a GHC-specific thing, I
figured this report should go here. If not, kindly redirect.
I am trying to write a program, using the GHC-API to refactor some parts of the
GHC-code (initially, I want to add a type variable to the
On Sat, May 12, 2012 at 12:41 AM, Gregg Lebovitz glebov...@gmail.com wrote:
I would find it useful to pull all this information together into a single
document that discusses all the performance issues in one place and shares
the real life experience is dealing with each issue. I see this as a
