From johnw at newartisans.com Thu Apr 21 19:43:49 2016 From: johnw at newartisans.com (John Wiegley) Date: Thu, 21 Apr 2016 12:43:49 -0700 Subject: [Haskell-community] ANN: New Haskell.org committee members Message-ID: The Haskell.org committee has selected its new member following the March self-nomination period. The new (returning) member is: * Gershom Bazerman Thank you to everyone who submitted a self-nomination. Note that if you have self-nominated in the past, but not been picked, please self-nominate again in the future. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 629 bytes Desc: not available URL: From heathcynede at gmail.com Fri Apr 22 07:26:44 2016 From: heathcynede at gmail.com (Cynede) Date: Fri, 22 Apr 2016 11:26:44 +0400 Subject: [Haskell-community] Start thinking about system installation for users Maybe? Message-ID: There are known problems which developers regularry face with cabal-install and stack brings easier and safer workflow for developers, that's true. But I don't see how stack can help developers to understand other aspects When haskellers talk about user installation they really mean sandbox When haskellers talk about global installation they mean user installation When haskellers talk about system installation their brains blows People complain that on Haskell.org there is harmful workflow for developers introducing Haskell Platform and it should be overtaken by stack. (Note that Haskell Platform is system installation used by different users and it can't be messed up with user installation) However either `cabal-install` and `stack` worklows are both harmful for users, `stack` does resolve nothing for user side, it just helps you with sandbox managing during development stage. I will try to explain. Regularly users use package managers (on windows installers) to get what they want, that's how users install python projects, C++ projects, etc... users don't use pip (really they don't) What about haskell? On most distributions and Windows users should use what? sandboxes for every program and install those progam for every users avoiding system installation? Currently yes. Other ways will be harmful. There is solution from NixOS but I doubt if they've managed to implement revdep rebuild for haskell packages. I like (a lot) solution from gentoo where you can simply run `emerge idris` and everything will be installed on system alike you install some python util (alike portage itself). But even in Gentoo there is dirty hack to manage haskell packages updates. it looks really dirty haskell-updater -- --jobs="$(($(nproc) + 1))" --verbose-conflicts --backtrack=100 haskell-updater -- --jobs="$(($(nproc) + 1))" --verbose-conflicts --backtrack=100 basically it's rebuilding all libs depending on changed one then depending on depending incrementally What is it even? Haskell programs and libraries extensively reuse entitites (types, functions, rewrite rules, type instances, other stuff) exported from external libraries as non-opaque entities to allow aggressive cross-module inlining to compile away deep layers of abstraction. It?s language?s feature. If you accept the fact transitive dependencies being able to break ABI is not a GHC bug what actually affects real ABI (exported inlines, exported datatype layout changes, modules names, strictness annotations, unpack pragmas) ghc ?show-iface can help in tracking ABI drift. So in nutshell it's a feature but when we're fixing linkage for C/C++ we can scan libs for missing shared library dependencies and attempts to fix them by rebuilding broken libs For haskell we hardly can detect ABI changes and the only way I know currently is `haskell-updater` util and I'm still looking for better solution For example when one project, for example Idris, start using changed (bumped) library which is shipped with GHC it feels absolutely fine on sandbox But when user will install idris (and that library to system) all other libraries will become broken because their dependencies is changed by that That?s why some core packages has -compat compatibility layers Sure developers tell me that they don?t care and everything works fine in sandboxes and downgrading this library is distro-patch Note that currently either cabal-install and stack has nothing to do with atomic packages managing. Package manager can install, can remove, can update, can track dependies changes and end with working environment without sandbox replacing. Honestly it's very same situation with python or perl with only difference... When I install software written on python I don't need to use `pip` and `Haskell` seems like much harder to package but people everywhere only force you to use really wrong solutions (including community loved stack) So my question is generally to community: are we even going to think in direction of users or are we just focus on developers and their sandboxes? In second case we need docker for each Haskell project. Thanks for your attnetion, it's my first post to this mailing list and sorry for my horrible English Heather -------------- next part -------------- An HTML attachment was scrubbed... URL: From gershomb at gmail.com Mon Apr 25 15:04:37 2016 From: gershomb at gmail.com (Gershom B) Date: Mon, 25 Apr 2016 11:04:37 -0400 Subject: [Haskell-community] addition of http://www.happylearnhaskelltutorial.com/ to haskell website resources? Message-ID: There?s been a pull request open to add?http://www.happylearnhaskelltutorial.com/?to the website under /documentation I haven?t read it myself all the way through. It does look like it has developed a fair amount of material by now. Do people think it should be added as a tutorial? ?Gershom From chrisdone at gmail.com Mon Apr 25 16:33:21 2016 From: chrisdone at gmail.com (Christopher Done) Date: Mon, 25 Apr 2016 18:33:21 +0200 Subject: [Haskell-community] On the design used for haskell.org Message-ID: [Re-sending to the curiously conceived haskell-community list.] Hello, It's been two years (2014) since I published my design ( http://chrisdone.com/posts/haskell-lang), which came about because I wasn't happy with what was on haskell.org and how it was maintained. After that I was approached about using my design for haskell.org, I wasn't thrilled about handing over my work to be committee'd to death, and was initially shocked into nearly giving up on the whole business, but was turned around for the good of the Haskell community in general. In the end my fast horse, having waded through months of officialism, became a camel. It took one year. One year for the actual site to be deployed (2015) and now in 2016 it's still lacking clear coherent vision. I applied to be a committee member which wasn't considered worthy of reply. And since 2014 I've lost any energy in dealing with "the committee". So I'm going on record that I don't approve of the current haskell.org, nor your use of my design, and would like haskell.org to be reset to what you had before; the wiki. I don't expect much to happen (as usual), but that's kind of the point. Going our separate ways, Ciao! -------------- next part -------------- An HTML attachment was scrubbed... URL: From gershomb at gmail.com Mon Apr 25 16:50:24 2016 From: gershomb at gmail.com (Gershom B) Date: Mon, 25 Apr 2016 12:50:24 -0400 Subject: [Haskell-community] On the design used for haskell.org In-Reply-To: References: Message-ID: Hi Chris. On the conception of the list, see here for motivation: https://mail.haskell.org/pipermail/haskell-community/2015-September/000001.html Let me just quote my response to your email as it was sent to the committee email alias: "Chris: I?m sorry to hear you don?t like the use of the design. I promise we?ll discuss it seriously. It was a drastic improvement over the wiki and we were all thrilled to see it deployed. You were considered very seriously for the committee, but the open slots went to others who were also qualified, which happens. I do have to note that outside of the morass of the downloads page discussion, it doesn?t appear that there have been any obstacles to making any other parts of the site improved, so I don?t know why you feel the thing as a whole lacks coherent vision? I understand that under the license there?s no problem with us using the site. I also understand if you don?t want us to, and so in my opinion, ideally we?ll find some way to keep the newfound streamlinedness of the site (which is thanks to you! thanks again for your work!) without stepping on your toes by using a design you?d rather we didn?t. This is just an off the cuff response from one person of course ? we?ll need a proper discussion." I'd add that membership status on the committee doesn't (and shouldn't) correlate with the ability to make core contributions. The current haskell design is one such great example of this. Others include of course all the work done on hackage, cabal, stack, hoogle and many other important resources used widely (including just the core servers and infra themselves). So I'm doubly sorry you feel that your lack of membership on the haskell.org committee has precluded your ability to make contributions. Let me take this occasion to note, more generally, that I'll certainly ask around for volunteers to help with a new design for the haskell.org homepage, and I'd welcome anyone on this list stepping forward to get involved :-) Cheers, Gershom On Mon, Apr 25, 2016 at 12:33 PM, Christopher Done wrote: > [Re-sending to the curiously conceived haskell-community list.] > > Hello, > > It's been two years (2014) since I published my design > (http://chrisdone.com/posts/haskell-lang), which came about because I wasn't > happy with what was on haskell.org and how it was maintained. After that I > was approached about using my design for haskell.org, I wasn't thrilled > about handing over my work to be committee'd to death, and was initially > shocked into nearly giving up on the whole business, but was turned around > for the good of the Haskell community in general. In the end my fast horse, > having waded through months of officialism, became a camel. It took one > year. One year for the actual site to be deployed (2015) and now in 2016 > it's still lacking clear coherent vision. I applied to be a committee member > which wasn't considered worthy of reply. And since 2014 I've lost any energy > in dealing with "the committee". > > So I'm going on record that I don't approve of the current haskell.org, nor > your use of my design, and would like haskell.org to be reset to what you > had before; the wiki. I don't expect much to happen (as usual), but that's > kind of the point. > > Going our separate ways, > > Ciao! > > _______________________________________________ > Haskell-community mailing list > Haskell-community at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-community > From roma at ro-che.info Mon Apr 25 17:26:00 2016 From: roma at ro-che.info (Roman Cheplyaka) Date: Mon, 25 Apr 2016 20:26:00 +0300 Subject: [Haskell-community] On the design used for haskell.org In-Reply-To: References: Message-ID: <571E5328.6030805@ro-che.info> On 04/25/2016 07:50 PM, Gershom B wrote: > I'd add that membership status on the committee doesn't (and > shouldn't) correlate with the ability to make core contributions. Gershom, I agree (at least on the "shouldn't" part). I'm not sure though that this opinion is shared by all committee members. John W., for instance, said that you were chosen into the committee precisely for your contributions. (He seems to have quietly deleted his tweet since; my reply remained: https://twitter.com/shebang/status/723652347352780800.) This is one of the downsides to elections happening behind the closed doors by unspecified criteria. Roman From acfoltzer at gmail.com Mon Apr 25 18:06:51 2016 From: acfoltzer at gmail.com (Adam Foltzer) Date: Mon, 25 Apr 2016 11:06:51 -0700 Subject: [Haskell-community] addition of http://www.happylearnhaskelltutorial.com/ to haskell website resources? In-Reply-To: References: Message-ID: I'd not come across this before; at first glance, it looks like a good resource for beginners. The lack of clear authorship makes me a bit uncomfortable, though, since it's optionally available as a paid purchase. FWIW, the GetContented username has only been around on reddit for 3 months. I wouldn't want to end up in a situation where we're recommending a paid product that might very well disappear before the book is finished, even if we're only linking to the free version. Perhaps we could tentatively plan to add it to the Books section on the documentation page, but ask the author for more details first? On Mon, Apr 25, 2016 at 8:04 AM, Gershom B wrote: > There?s been a pull request open to add > http://www.happylearnhaskelltutorial.com/ to the website under > /documentation > > I haven?t read it myself all the way through. It does look like it has > developed a fair amount of material by now. Do people think it should be > added as a tutorial? > > ?Gershom > > > > > _______________________________________________ > Haskell-community mailing list > Haskell-community at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-community > -------------- next part -------------- An HTML attachment was scrubbed... URL: From julian at getcontented.com.au Mon Apr 25 18:39:09 2016 From: julian at getcontented.com.au (Julian Leviston) Date: Tue, 26 Apr 2016 04:39:09 +1000 Subject: [Haskell-community] addition of http://www.happylearnhaskelltutorial.com/ to haskell website resources? Message-ID: <00D38C66-E5EE-4C20-98B1-E330A654388B@getcontented.com.au> Hi Adam et al, Please feel free to ask us any questions you?d like, and thanks for the kind words. Volume 1 is actually finished (available on Leanpub, but we haven?t put it up entirely on our website yet, we?re releasing chapters there gradually to build interest). We?re in progress with Volume 2 as we speak and we don?t plan on abandoning this work any time soon. We're planning to keep it (and subsequent volumes) online as long as possible, and as up to date and relevant as possible. Our work is very much aimed at absolute beginners with the aim of using interesting topics to drive learning rather than Haskell?s features, which by themselves aren?t necessarily compelling enough to provide drive to learn Haskell. Having said this, we?re working on more volumes to bring the more interesting of the Haskell topics within the reach of the beginner (you might notice volume 1 really only just touches the surface of Haskell and its more interesting and useful capabilities, and we haven?t really begun with the level of exercises we?d like to bring to bear on it). Thanks! :) Julian and Rich (GetContented) > [Haskell-community] addition of http://www.happylearnhaskelltutorial.com/ to haskell website resources? > > Adam Foltzer acfoltzer at gmail.com? > Mon Apr 25 18:06:51 UTC 2016 > I'd not come across this before; at first glance, it looks like a good > resource for beginners. The lack of clear authorship makes me a bit > uncomfortable, though, since it's optionally available as a paid purchase. > FWIW, the GetContented username has only been around on reddit for 3 > months. I wouldn't want to end up in a situation where we're recommending a > paid product that might very well disappear before the book is finished, > even if we're only linking to the free version. > > Perhaps we could tentatively plan to add it to the Books section on the > documentation page, but ask the author for more details first? > > On Mon, Apr 25, 2016 at 8:04 AM, Gershom B > wrote: > > > There?s been a pull request open to add > > http://www.happylearnhaskelltutorial.com/ to the website under > > /documentation > > > > I haven?t read it myself all the way through. It does look like it has > > developed a fair amount of material by now. Do people think it should be > > added as a tutorial? > > > > ?Gershom > > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From johnw at newartisans.com Mon Apr 25 21:17:33 2016 From: johnw at newartisans.com (John Wiegley) Date: Mon, 25 Apr 2016 17:17:33 -0400 Subject: [Haskell-community] On the design used for haskell.org In-Reply-To: <571E5328.6030805@ro-che.info> (Roman Cheplyaka's message of "Mon, 25 Apr 2016 20:26:00 +0300") References: <571E5328.6030805@ro-che.info> Message-ID: >>>>> Roman Cheplyaka writes: > I'm not sure though that this opinion is shared by all committee members. > John W., for instance, said that you were chosen into the committee > precisely for your contributions. I meant his contributions within the committee, not generally. > (He seems to have quietly deleted his tweet since; my reply remained: > https://twitter.com/shebang/status/723652347352780800.) I deleted several tweets from that day, because I felt I was becoming contentious, something I try to avoid. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2