[Urgent] Please fill out the 2014 HCAR entry for GHC!
Austin Seipp
austin at well-typed.com
Mon Apr 28 11:28:47 UTC 2014
Yes, major blunder. Sorry about that!
On Mon, Apr 28, 2014 at 6:27 AM, Simon Peyton Jones
<simonpj at microsoft.com> wrote:
> Austin omitted the all-important URL:
> https://ghc.haskell.org/trac/ghc/wiki/Status/May14
>
> It's on the wiki so you can fill in yourselves.
>
> Simon
>
> | -----Original Message-----
> | From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Austin
> | Seipp
> | Sent: 28 April 2014 12:21
> | To: ghc-devs at haskell.org
> | Cc: Simon Marlow; Herbert Valerio Riedel
> | Subject: [Urgent] Please fill out the 2014 HCAR entry for GHC!
> |
> | Hello all,
> |
> | I hate to pester so late, but this completely slipped my mind *twice*
> | so I'm afraid I have to!
> |
> | The HCAR entry deadling is rapidly approaching (~May 1st), and before
> | I send off what we have to Mihai, I'd like everyone to pitch in as
> | much as possible.
> |
> | I've already gone ahead and filled out the skeleton. Now I need y'all
> | to fill in details. To that end, I've directly CC'd interested
> | parties, and replicating the message here - if your name is below,
> | please take a quick look over, it shouldn't take you long.
> |
> | * Richard - I copied over the note about the old Explicit Type
> | Application work - do you have any update on what its current status
> | is? I also was under the impression the new kind equalities work *may*
> | go into 7.10, but I haven't heard anything yet. Do please confirm and
> | edit as you see fit.
> |
> | * Iavor - I know you, Eric, and Trevor had worked on Kinds without
> | Data before. Do you know of its current status? I copied the current
> | notes into the page -
> |
> | I also believe you have some recent work involving using an SMT
> | solver in the type-checker, which is quite interesting! If you feel
> | like it, please do mention it, I'm sure people would like to hear.
> |
> | * Thomas - everyone is excited about PartialTypeSignatures I think.
> | Please edit the page and write what you'd like - there's a tiny stub
> | there already.
> |
> | * Edward, Simon, Johan - I'm not sure what you're working on, but I
> | imagine you may have some runtime system or optimization changes up
> | your sleeve. Do feel free to add in things you feel you should
> | mention.
> |
> | * SimonM - I've added a small note for ApplicativeDo. Please feel
> | free to expand or tweak it as you see fit.
> |
> | * Herbert - Do please make the new repository changes clear, and be
> | sure to mention anything else you might be working on (perhaps more
> | integer-gmp improvements?)
> |
> | Please spread the word (by mouth somehow or IRC) - I'll be monitoring
> | the page closely for the next few days and send it to Mihail once it's
> | been expanded upon.
> |
> | --
> | Regards,
> |
> | Austin Seipp, Haskell Consultant
> | Well-Typed LLP, http://www.well-typed.com/
> | _______________________________________________
> | ghc-devs mailing list
> | ghc-devs at haskell.org
> | http://www.haskell.org/mailman/listinfo/ghc-devs
>
--
Regards,
Austin Seipp, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/
More information about the ghc-devs
mailing list