New Releases darcs 2.10.0 New version of darcs is out packed with features and resolved issues. http://lists.osuosl.org/pipermail/darcs-users/2015-April/027119.html Stackage CLI This new tool helps to manage cabal files and share sandboxes. https://www.fpcomplete.com/blog/2015/04/announcing-stackage-cli Diagrams 1.3 Diagrams has switched from vector-space to linear for its linear algebra package, the internal representation of Measure has changed, a new Direction type has been added as well as a number of new transform isomorphisms (transformed, translated, movedTo, movedFrom and rotated) and new features, and two new backends — PGF and HTML5. http://projects.haskell.org/diagrams/ https://wiki.haskell.org/Diagrams/Dev/Migrate1.3 Discussion Improving Hackage security by Duncan Coutts A TUF-based system is being designed and implemented that will significantly improve Hackage security. http://www.well-typed.com/blog/2015/04/improving-hackage-security/ http://theupdateframework.com/ Cartesian Closed Comic #26: IDE Should Haskell have an IDE (and if yes should it be web-based), or does it already have one? http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_id... https://ro-che.info/ccc/26 Two "camps" of Haskell programmers A comment by Tekmo. http://www.reddit.com/r/haskell/comments/33chyv/from_imperative_to_functiona... What databases are most Haskellers using? It seems that PostgreSQL with persistent or postgresql-simple, and esqueleto for more complex queries. http://www.reddit.com/r/haskell/comments/33k8zx/what_databases_are_most_hask... https://hackage.haskell.org/package/persistent http://hackage.haskell.org/package/esqueleto https://hackage.haskell.org/package/postgresql-simple Podcasts Episode 4: Stephanie Weirich on Zombie and Dependent Haskell "Zombie is a different kind of dependently typed language, eschewing automatic β-reduction in the type checker for an approach based on explicit equality rewriting, which enables new ways of combining proofs and programs, as well as new forms of proof automation. Meanwhile, as languages designed for dependently typed programming come closer to practical applicability, Haskell is also moving towards full dependent types." http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-a... Quotes of the Week "My children are in IT, two of them – both graduated from MIT. One of them browsed a book and said, “Here, read this”. It said “Haskell – learn you a Haskell for great good”, and one day that will be my retirement reading." (Lee Hsien Loong) http://www.pmo.gov.sg/mediacentre/transcript-speech-prime-minister-lee-hsien... "Of course if darcs got the best of git, it's probably better than git now ;-)" (maxigit) http://www.reddit.com/r/haskell/comments/33646i/darcs_210_is_here_rebase_imp... "Yes changesets and snaphosts are isomorphic, therefore being based on changesets can't be a selling point. (maxigit) But it can, because the tooling evolves around the philosophy shaped by the underlying structure. Can you get branches for free in git? Sure. Do you? Nope." (kqr) http://www.reddit.com/r/haskell/comments/33646i/darcs_210_is_here_rebase_imp... "Leksah, Eclipse FP and various newer attempts are so ignored by everyone that they are not even in this Comic." (hamishmack) http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_id... "I don't actually want an IDE, but if I did, I'd want one that was free as in freedom, not free as in freemium." (get-your-shinebox) http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_id... "[Type-level reasoning] is more powerful but entails a hard dependency on a computer. Equational reasoning using abstract algebra is more "portable"; you can easily do it in your head or with pencil and paper." (Tekmo) http://www.reddit.com/r/haskell/comments/334x2v/cartesian_closed_comic_26_id... "… without strong typing or the sequestering of side effects that Haskell allows you, I felt really lost and confused as to why the hell anyone created a language that wasn't Haskell." (scientia_est_ars) http://www.reddit.com/r/haskell/comments/33chyv/from_imperative_to_functiona... "More polymorphism generally restricts the implementation, allowing us to better predict it's behavior. It's a trade-off, like most programming decisions." (bss03) http://www.reddit.com/r/haskell/comments/33chyv/from_imperative_to_functiona... "(cons cat (cons cat nil))" (Dmitry Ignatiev) https://twitter.com/lvsn/status/533685461957349376