Re: [Haskell-cafe] Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`

> Henrik Nilsson writes: > So before breaking anything more, that being code, research papers, books, > what people have learned, or even the community itself, it is time to very > carefully think about what the appropriate processes should be for going >

Re: Self-nomination

I will self-nominate as well, but not due to experience with Haskell; rather, I can offer a pair of fresh eyes, and also the perspective of someone who has worked on language standardization in the C++ world. About me: * Haskell user since 2012, full-time Coq user since 2014. * Worked

Re: Chairship / responsibility

lp. > I agree completely with this. I also agree, and offer my thanks to Herbert for being willing to take up this role from the beginning. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com

Re: Evaluation order control between two expressions

e that this has been discussed previously, but another incarnation of the Prime committee: https://mail.haskell.org/pipermail/glasgow-haskell-users/2006-November/011480.html -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com

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

her credence than paperware. However, they don't exclude paperware either. So I don't think we need to rely on implementation before considering a feature we all want, but I do agree that seeing a patch in GHC first allows for much testing and experimentation. -- John Wiegley GPG fi

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

. For example, MultiParamTypeClasses, OverloadedStrings, GADTs, TypeFamilies, etc. How much "work" is typically involved in promoting a feature to be in the Report, and how do we determine when it's a bad idea? -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newar

Re: Proposal: accept tuple sections

>>>>> "ID" == Iavor Diatchki <iavor.diatc...@gmail.com> 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 standard. No objection here. -- John Wiegley

Re: Haskell-prime Digest, Vol 104, Issue 2

l your code sticks to one SC> convention), but it would still, well, be really nice. As much as I'd love to see it too (after programming in Coq, I constantly get things mixed up whenever I jump back to Haskell), I can't see this ever happening either. That ship has sailed, as they say. -- Jo

Re: Remove eq and show from num class

of the committee members here at ICFP, so I took Carter's note to be a sign of enthusiasm, and not actual procedural decision making. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 ___

Re: Remove eq and show from num class

said "all yays from committee members", and that it was then asking people to simply affirm the vote. I should have read, "everyone who agrees, say yay". :) -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartis

Re: Whose gonna be at icfp?

>>>>> "CS" == Carter Schonwald <carter.schonw...@gmail.com> writes: CS> I'll be this time! :) CS> We should coord a committee catch-up at icfp. I will be there as well. -- John Wiegley GPG fingerprint = 4710 CF98

Re: Shall the Haskell Report remain in LaTeX?

>>>>> "DS" == Doaitse Swierstra <doai...@swierstra.net> writes: SD> The good thing about laTeX is that out of all the candidates it is the SD> most likely one to still work 40 years from now, +1 from me for LaTeX as well. -- John Wiegley