<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 31, 2014 at 9:37 PM, Gershom Bazerman <span dir="ltr"><<a href="mailto:gershomb@gmail.com" target="_blank">gershomb@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
  

    
  
  <div bgcolor="#FFFFFF" text="#000000">
    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.<br></div></blockquote><div><br></div><div>Thanks Gershom!</div><div><br></div><div>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.</div>
<div><br></div><div>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.</div>
<div><br></div><div>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.</div>
<div><br></div><div>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]`.</div>
<div><br></div><div>Jason</div></div></div></div>