4 ms·

Haskell GHC 7.10.1 Released

119 points by jonnybgood 12y ago

draven 12y ago
In the release notes linked in the announcement, the link to the migration guide points to the release notes themselves. The right link should be: https://ghc.haskell.org/trac/ghc/wiki/Migration/7.10 https://ghc.haskell.org/trac/ghc/wiki/Migration/7.10
ARussell 12y ago
Personally, I'm most glad to see that Applicative is finally a superclass of Monad.
- jordigh 12y ago
  Whoa, I never thought that would get fixed. It's been, what, 20 years? :-) So why wasn't it done earlier? Is there going to be any code breakage with that?
  - pseudonom- 12y ago
    There have been deprecation warnings (since 7.8?) about the AMP: https://wiki.haskell.org/Functor-Applicative-Monad_Proposal#Applying_the_AMP_to_GHC_and_then_Haskell_in_practice https://wiki.haskell.org/Functor-Applicative-Monad_Proposal#... There's a list of breakage at: https://www.fpcomplete.com/blog/2015/03/stackage-ghc-7-10 https://www.fpcomplete.com/blog/2015/03/stackage-ghc-7-10 (I'm not sure what portion of that is due to AMP.)
  - tome 12y ago
    I think Applicative was introduced within the last 10 years. The paper that introduced them was published in 2008 (Applicative Programming with Effects, Conor McBride and Ross Paterson)
    - tel 12y ago
      That just drives home how long it's been the case that Applicative wasn't a superclass of Monad! ;)
    - jordigh 12y ago
      What if you count the total length of time that monads have not been "officially" applicative functors?
deleted 12y ago
[deleted]
slashnull 12y ago
The type hole feature is pretty cool! I learned how to solve some of my type-related puzzlement by redefining stuff as "undefined" and using HDevTools to see what type gets inferred. Also I can't wait to see what wild stuff people will come up with using the typechecker plugin API
- dllthomas 12y ago
  You've always been able to have type holes at the ghci prompt - wrap your expression in a lambda and see what's inferred as the first argument. That's not to say the ability to do it in the middle of a program isn't huge - it is! - but just a technique I have occasionally found quite useful that's available to those stuck on older versions of ghc.
cies 12y ago
Sometimes the most relevant discussion takes place on reddit's /r/haskell. http://www.reddit.com/r/haskell/comments/30gyie/announce_ghc_version_7101/ http://www.reddit.com/r/haskell/comments/30gyie/announce_ghc...
- slashnull 12y ago
  Michael Snoyberg sez 1-4 months before a GHC7.10 Stackage release. Awesome! I love Stackage
  - cies 12y ago
    Yeah, Stackage is God-sent.
halosghost 12y ago
Things still on the wishlist: 1. giving cabal the ability to sensibly manage packages (dependency resolution / uninstallation, etc.) 2. Arbitrary-precision floating point arithmetic through openfp (corollary to the use of gmp to accomplish the separation between Int and Integer). 3. Arbitrary-radix integer literals (e.g. as in Erlang). Regardless, huge steps forward with this update :)

119 points by jonnybgood 12y ago

In the release notes linked in the announcement, the link to the migration guide points to the release notes themselves. The right link should be: https://ghc.haskell.org/trac/ghc/wiki/Migration/7.10 https://ghc.haskell.org/trac/ghc/wiki/Migration/7.10

ARussell 12y ago

Personally, I'm most glad to see that Applicative is finally a superclass of Monad.

jordigh 12y ago
Whoa, I never thought that would get fixed. It's been, what, 20 years? :-) So why wasn't it done earlier? Is there going to be any code breakage with that?
- pseudonom- 12y ago
  There have been deprecation warnings (since 7.8?) about the AMP: https://wiki.haskell.org/Functor-Applicative-Monad_Proposal#Applying_the_AMP_to_GHC_and_then_Haskell_in_practice https://wiki.haskell.org/Functor-Applicative-Monad_Proposal#... There's a list of breakage at: https://www.fpcomplete.com/blog/2015/03/stackage-ghc-7-10 https://www.fpcomplete.com/blog/2015/03/stackage-ghc-7-10 (I'm not sure what portion of that is due to AMP.)
- tome 12y ago
  I think Applicative was introduced within the last 10 years. The paper that introduced them was published in 2008 (Applicative Programming with Effects, Conor McBride and Ross Paterson)
  - tel 12y ago
    That just drives home how long it's been the case that Applicative wasn't a superclass of Monad! ;)
  - jordigh 12y ago
    What if you count the total length of time that monads have not been "officially" applicative functors?

deleted 12y ago

[deleted]

slashnull 12y ago

The type hole feature is pretty cool! I learned how to solve some of my type-related puzzlement by redefining stuff as "undefined" and using HDevTools to see what type gets inferred. Also I can't wait to see what wild stuff people will come up with using the typechecker plugin API

dllthomas 12y ago
You've always been able to have type holes at the ghci prompt - wrap your expression in a lambda and see what's inferred as the first argument. That's not to say the ability to do it in the middle of a program isn't huge - it is! - but just a technique I have occasionally found quite useful that's available to those stuck on older versions of ghc.

cies 12y ago

Sometimes the most relevant discussion takes place on reddit's /r/haskell. http://www.reddit.com/r/haskell/comments/30gyie/announce_ghc_version_7101/ http://www.reddit.com/r/haskell/comments/30gyie/announce_ghc...

slashnull 12y ago
Michael Snoyberg sez 1-4 months before a GHC7.10 Stackage release. Awesome! I love Stackage
- cies 12y ago
  Yeah, Stackage is God-sent.

halosghost 12y ago

Things still on the wishlist: 1. giving cabal the ability to sensibly manage packages (dependency resolution / uninstallation, etc.) 2. Arbitrary-precision floating point arithmetic through openfp (corollary to the use of gmp to accomplish the separation between Int and Integer). 3. Arbitrary-radix integer literals (e.g. as in Erlang). Regardless, huge steps forward with this update :)