is that unification must
see through the forall. I've seen this behavior described [3, 4],
but all the problematic examples have been fixed in some way. Here, I
see no direct fix.
Best regards
Paolo G. Giarrusso
[1] http://hackage.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7
[2]
http://www.haskell.org/ghc
mentions them in one point of the document, without examples).
Cheers,
Paolo G. Giarrusso
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi,
while I'm still a Haskell learner, I wanted to contribute my point of
view, which I hope is different enough to be useful.
First, of course we don't need to restrict Hackage to contain just 1
library for every purpose, we just need to give incentives for people
to collaborate. And if they
On Oct 11, 3:20 pm, Uwe Schmidt u...@fh-wedel.de wrote:
Hi Gregory,
Is there some benefit that your library gets out of using arrows that I
missed which makes these costs worth it?
I thing, this is not a question of functionality, it's a question of style.
Of course everything in hxt
Dear Sebastiaan,
I would first refer to the description of the Change function in a
paper by Erik Meijer (an Haskeller among the designers of F#):
http://portal.acm.org/citation.cfm?id=1297027.1297078
In short, programmers will learn something new only if the improvement
is worth the effort of the
On Sep 13, 1:52 pm, Ross Paterson r...@soi.city.ac.uk wrote:
On Sat, Sep 11, 2010 at 12:17:27PM -0700, Jason Dagit wrote:
To avoid this problem in the future, avoid upgrading core packages.
The latest version of cabal-install has disabled the upgrade command
to make it a bit harder for
Hi all,
I would like to share a new very cool result given by the current
Cabal: if packages FOO, BAR and FOOBAR exist, such that FOO depends on
BAR which depends on FOOBAR, and all three are installed, you just
can't safely upgrade FOOBAR. When the same version of BAR is ever
recompiled against
On Sep 13, 6:27 pm, aditya siram aditya.si...@gmail.com wrote:
Hi all,
I was trying to read the documentation on monoids and the Sum type.
When I searched Hayoo for Monoid or Data.Monoid, the Data.Monoid
module in base did not show up - Hoogle found it without a problem.
The same goes for the
On Sep 13, 6:25 pm, Maciej Piechotka uzytkown...@gmail.com wrote:
I started experiment with strict functors. I come to:
import Control.Exception
import Foreign
import Prelude hiding (catch)
data StrictMonad a = StrictMonad a deriving Show
instance Functor StrictMonad where
f
On Sep 13, 12:22 pm, Michael Lazarev lazarev.mich...@gmail.com
wrote:
Thanks for examples and pointers.
Since I came from Lisp, it never occurred to me that let and lambda
are different constructs in Haskell.
You're not alone, I didn't believe my eyes when I first read about the
difference (I
On Sep 12, 2:51 am, wren ng thornton w...@freegeek.org wrote:
On 9/11/10 3:43 PM, Daniel Fischer wrote:
- is there a specification of which are the core packages?
core as in *do not update*?
Basically, what comes with GHC shouldn't be updated.
Though I heard updating Cabal was okay.
I
Hi all,
how comes that it is considered safe to use
Control.Monad.Primitive.primitive and .internal
[1]?
Why aren't they called, i.e.., unsafePrimitive and unsafeInternal?
primitive allows accessing the RealWorld state and, say, passing it
to two different IO actions unwrapped through internal?
12 matches
Mail list logo