[Haskell-cafe] New GHC Features for 7.10.1 and Beyond
cgaebel at uwaterloo.ca
Tue Apr 1 15:40:37 UTC 2014
It's nice how we can easily generalize BigData to InfiniteData. That's part
of why I love Haskell!
On Tue, Apr 1, 2014 at 11:37 AM, Jason Dagit <dagitj at gmail.com> wrote:
> On Mon, Mar 31, 2014 at 9:37 PM, Gershom Bazerman <gershomb at gmail.com>wrote:
>> There’s been lots of exciting work going into the forthcoming GHC 7.8.1
>> release. But even with all these new features, our language is far from
>> complete and I wouldn’t want the GHC team to rest on their laurels.
>> Especially with so much renewed community involvement in GHC development,
>> it seems appropriate to share some ideas some of us have been discussing
>> for future releases, and take a poll of community consensus regarding which
>> ones people might be excited to jump in and help out with, or might find
>> particularly helpful.
> Thanks Gershom!
> I was going to wait till things were more mature before announcing them,
> but given the enthusiasm generated by your post I think I'll share what
> we've been working on early.
> Given the importance of BigData in today's business world and the
> complexities of writing software to support it, we have started working on
> an extension to Haskell to make BigData the language of choice for BigData
> The first hurdle we face is how to represent BigData. Previously, we could
> work with the data but not give it a consistent or unified type. The data
> was simply too large! To make the representation as natural and manageable
> as possible we have introduced -XBigTypes.
> Note: For technical reasons this also implies -XImpredicativeTypes and
> allows construction of infinite types. With these sorts of restrictions
> lifted we are able to construct much larger types than before such as the
> type of all types and the type a such that `a = [a]`.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
Key ID : 0x78099922
Fingerprint: B292 493C 51AE F3AB D016 DD04 E5E3 C36F 5534 F907
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe