[Haskell-cafe] When will constraint kinds roll out?
aslatter at gmail.com
Tue Jan 10 20:36:02 CET 2012
On Tue, Jan 10, 2012 at 1:04 PM, Nicholas Tung <ntung at ntung.com> wrote:
> Just a quick, logistical question: I see constraint kinds didn't make it to
> GHC 7.2.2; does anyone have guesses when the extension will roll out in an
> official release? Our research team is interested in using Haskell for an
> EDSL, and having both constraint kinds and access to all of the libraries on
> Hackage would be optimal. (I've been writing an EDSL with monad transformers
> and the rmonad package myself, but think it is too difficult and cumbersome
> if we are to use Haskell EDSL approaches more broadly).
Constraint kinds are in the release branch for the upcoming 7.4
release, and were in the build of 7.4.1 RC 1 that went out a bit ago:
I'm not on the GHC team, but from what I've seen new features like
this generally don't get added in point releases (something like from
7.1.1 to 7.2.2).
> Thanks in advance,
> Nicholas — https://ntung.com — 4432-nstung
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe