[Haskell-cafe] New GHC Features for 7.10.1 and Beyond

Clark Gaebel 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!

  - Clark


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
> applications.
>
> 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]`.
>
> Jason
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>


-- 
Clark.

Key ID     : 0x78099922
Fingerprint: B292 493C 51AE F3AB D016  DD04 E5E3 C36F 5534 F907
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140401/751662c2/attachment.html>


More information about the Haskell-Cafe mailing list