Re: Humble message of support and concern from an interested newbie

Great idea to link from the README: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/6974 Thanks! Richard > On Nov 10, 2021, at 2:59 PM, Haowen Liu via Haskell-prime > wrote: > > On 11/10/2021 11:21 AM, Richard Eisenberg wrote: >> >>> On Nov 9, 2021, at

Re: Humble message of support and concern from an interested newbie

es to Cale is sent privately > because I forgot to reply all... Sad... > > Best, > Haowen > > On 11/9/2021 7:57 PM, Richard Eisenberg wrote: >> I want to chime in with agreement that the GHC2021 push may meet many of the >> goals you may be after. I also want to bring i

Re: Humble message of support and concern from an interested newbie

I want to chime in with agreement that the GHC2021 push may meet many of the goals you may be after. I also want to bring in a further aspect of challenge in producing a new Report: we don't really understand Haskell well enough to do so. The two Reports do a very fine job of specifying the

Re: Report merged, steps to follow

Also sounds good to me. Thanks for laboriously breathing life back into this process! I will comment on the proposal sometime this week. Richard > On Nov 4, 2018, at 10:04 AM, Mario Blažević wrote: > > Four weeks having passed since the previous discussion with no objections, I > have now

Re: Quo vadis?

There was no Haskell 2020 meeting this year at ICFP. Sadly, interest seems to have waned here... Richard > On Sep 26, 2018, at 8:18 AM, Mario Blažević wrote: > > I could not attend ICFP this year. Has there been any discussion at all of > Haskell 2020 there? If so, can the rest of us get a

Re: Remove eq and show from num class

I don't mean to be a killjoy, but I think even something as simple as this should have a proposal. We still have to draft the changes to the Report associated with this change, and at least one is non-obvious: now numeric literals induce an Eq constraint (which should be mentioned). I'm

Re: Whose gonna be at icfp?

I'm here and would be happy to join. Either times proposed work for me. Thanks, Richard > On Sep 5, 2017, at 10:27 AM, Mario Blazevic wrote: > > I thought John said 4:40 today. You missed Andres Löh. > > > On Tue, Sep 5, 2017 at 3:12 AM, Henrik Nilsson >

Re: Proposal: accept tuple sections

+1 > On Oct 12, 2016, at 12:42 PM, John Wiegley wrote: > >> "ID" == Iavor Diatchki writes: > > ID> it seems that there isn't much controversy over the TupleSections propsal, > ID> so I'd like to move the we accept it for the next language

Re: Process question

Does this GitHub feature help: https://github.com/haskell/rfcs/projects/1 After a proposal is accepted, then an individual (or small group) needs to write up the changes to the Report, which should then also go back through the larger committee. And I’ll amplify some of Mario’s questions: >

Re: minutes from committee meeting at ICFP

I recall that Iavor took notes from the podium. Iavor? > On Sep 27, 2016, at 12:58 PM, Ben Gamari <b...@smart-cactus.org> wrote: > > Richard Eisenberg <r...@cs.brynmawr.edu> writes: > >> Below are the minutes from last week’s in-person meeting at ICFP

minutes from committee meeting at ICFP

with no suggestions submitted; I thus consider these notes ratified. Richard -- Sep 19, 2016, 12:43pm JST, call to order. Present: José Trilla, Iavor Diatchki, Wren Romano, Richard Eisenberg, Simon Peyton Jones, Andres Löh, Nicolas Wu, Lennart Augustsson Convener: José Notetaker: Richard José

Re: New Github features and Haskell Prime

> On Sep 26, 2016, at 8:47 PM, Matthias Fischmann wrote: > > i agree, and would like to propose an independent ratification > process. At the risk of sounding exclusionary, I wonder what the goal of defining the committee is if the larger community can vote on each

Re: New Proposal: EasyMacros

Eek. Just realized that this went unanswered! Sorry! Yes, a good next step is to email the Haskell-cafe list or to post on reddit.com/r/haskell. For the wiki page, I meant at the GHC developers' wiki, here: https://ghc.haskell.org/trac/ghc But it might be best to get feedback first. Richard

Re: New Proposal: EasyMacros

This strikes me as a more powerful form of RebindableSyntax, blazing new territory. (Existing RebindableSyntax never use Template Haskell.) I assume you've emailed the Haskell Prime list because you wish this to be considered for inclusion in the next version of the standard. However, an

Re: Scope of committee (can we do *new* things?)

I strongly agree with all the points Andres makes here: - Focus on existing extensions - Permit discussion and even modification of existing behavior - Allow possibility of discussing new behavior - Strive hard to (or even require) an implementation before standardization (at the moment, time

Scope of committee (can we do *new* things?)

On May 8, 2016, at 6:27 AM, Alexander Berntsen wrote: > > I realise now that the report is not the place to fix problems with > Haskell, but to standardise solutions that a high enough percentage of > packages already rely on. I misjudged the ambition level of the >

Re: The GADT debate

On May 7, 2016, at 11:05 PM, Gershom B wrote: > > an attempt (orthogonal to the prime committee at first) to specify an > algorithm for inference that is easier to describe and implement than > OutsideIn, and which is strictly less powerful. (And indeed whose >

Re: Infrastructure & Communication

I second this motion to call a vote or other concrete, forward-moving action on this topic. I, too, am refraining from commenting on other threads until this issue is resolved. Richard On May 6, 2016, at 12:32 PM, M Farkas-Dyck wrote: > I think we ought to make a

Re: Are there GHC extensions we'd like to incorporate wholesale?

There are many points I'd like to make in this discussion, but this one screams out the loudest: This thread is spiraling a bit out of control. I've seen useful conversations around many different extensions in here, but these conversations are sometimes only tangentially related. I'd

Re: Are there GHC extensions we'd like to incorporate wholesale?

Great questions. Here's my take: For something to be incorporated into the standard, we'd need to be able to give a concrete, precise description of how the extension changes the set of correct Haskell programs. We also need to consider how the extension changes properties of the language,

Re: Chairship / responsibility

Excellent. I'm very happy with how this thread has gone. :) (I didn't mean to imply, by the way, that we were slow to answer the `pseq` question. It's just that as I was about to move the email out of my inbox, I realized that we might all do so, and that would be bad. Yes, a few days' time is

Re: Infrastructure & Communication

I think the general interplay between mailing lists / wiki pages / Trac issues that GHC uses works well. Specifically: - Mailing list for routine communication. - Trac tickets / Git issues / Phab something-or-other for discussion on a specific proposal. - Wiki page to present a specific

Chairship / responsibility

Hi Prime, Is there a chair of this committee? Herbert has been acting as such (thank you!) but doesn't list himself as the chair in the initial announcement. I am **in no way** trying to change any status quo and am **not** interested in being chair at the moment, but I just wanted to clarify.

Re: Haskell Prime 2020 committee

Seems reasonable. I have started the page at https://wiki.haskell.org/Language/HaskellPrime Richard On Apr 28, 2016, at 12:52 PM, Howard B. Golden wrote: > I request that the committee members create a Haskell Prime page on the > Haskell wiki with capsule

Re: Update on Haskell Prime reboot?

I stand by ready to debate standards and would enjoy moving this process forward. However, I'm not in a position where I can lead at the moment -- just too consumed by other tasks right now. As a concrete suggestion, I wonder if we should have two goals: 1. Write down an updated standard for

Self Nomination

I would like to nominate myself for the Haskell Prime committee. I have been studying Haskell intensively as I'm working toward my PhD at the University of Pennsylvania, though I started programming in Haskell only in 2011. Qualifications: * I have designed and implemented several new features