>>>>> "DS" == Doaitse Swierstra 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 GPG fingerprint
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://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
___
re 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
>>>>> "CS" == Carter Schonwald writes:
CS> Missing Conall's talk seems like a terrible time to meet :(
Agreed, I can't miss Conal. :)
Any new time proposals after the coffee break?
--
John Wiegley GPG fingerprint = 4710 CF98
>>>>> "CS" == Carter Schonwald 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 AF9B 327B B80F
http://newartisans.com
s 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.
--
John Wiegl
>>>>> "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 standard.
No objection here.
--
John Wiegley GPG fi
e. 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 fin
them. 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 B8
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
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 60E1 46C4 BD1A 7AC1 4BA2
__
> 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
> forward.
Hi Henrik,
I'd really like
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 professiona
13 matches
Mail list logo